Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-atlanta-ip.opb
MD5SUM5c887381904b4849f12f155c2e7ab40c
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 31296
Biggest coefficient in the objective function 1700000000000
Number of bits for the biggest coefficient in the objective function 41
Sum of the numbers in the objective function 81421012358779
Number of bits of the sum of numbers in the objective function 47
Biggest number in a constraint 1700000000000
Number of bits of the biggest number in a constraint 41
Biggest sum of numbers in a constraint 81421012358779
Number of bits of the biggest sum of numbers47
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables71516
Total number of constraints70354
Number of constraints which are clauses2311
Number of constraints which are cardinality constraints (but not clauses)47534
Number of constraints which are nor clauses,nor cardinality constraints20509
Minimum length of a constraint1
Maximum length of a constraint2790

Trace number 9246

Launcher Data

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        927788 kB
Buffers:         12348 kB
Cached:          75644 kB
SwapCached:          0 kB
Active:          54872 kB
Inactive:        35980 kB
HighTotal:      131008 kB
HighFree:        51464 kB
LowTotal:       903652 kB
LowFree:        876324 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:            10208 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 12:09:08 (client local time) WITH STATUS 0 IN 319.617 SECONDS
stats: 7976 7 319.617 0

Solver Data

1:
seed: 0
Nr of vars set: 1042  (#equs: 0)
Nr of vars set: 7701  (#equs: 0)
#decisions: 818200;  #end-nodes: 14758;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 112 (103)
#axs: 30333, #non-axs: 7520
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: 7709  (#equs: 0)
Time taken: 7 min, 7 sec

2:
seed: 0
Nr of vars set: 7709  (#equs: 0)
Nr of vars set: 7709  (#equs: 0)
#decisions: 812126;  #end-nodes: 17809;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 259 (143)
#axs: 29006, #non-axs: 13642
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)
seed: 0
Nr of vars set: 7964  (#equs: 0)
Time taken: 7 min, 36 sec

3:

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/5159/stat): 5159 (vallstSAT2005PB) R 5158 5159 4004 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 19911418 712704 3 4294967295 134512640 135087896 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5159/statm): 174 3 169 147 0 27 0
[pid=5159] 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=5160
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=5160) exited with status: 0
New process pid=5161
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=5161) exited with status: 0
New process pid=5162
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/wulflinc25/normalized-mps-v2-13-7-atlanta-ip.opb

[startup+10.0028 s]
Raw data (loadavg): 0.92 1.02 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 3978 0 0 0 954 24 0 0 25 0 1 0 19911425 24293376 3625 4294967295 134512640 134702520 3221223952 3221223548 1074540556 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 5931 3625 413 48 0 5883 0
[pid=5162] vsize: 23724
Current children cumulated CPU time (s) 9.8
Current children cumulated vsize (Kb) 25852
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+20.0034 s]
Raw data (loadavg): 0.93 1.02 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5101 0 0 0 1938 34 0 0 25 0 1 0 19911425 24412160 4547 4294967295 134512640 134702520 3221223952 3221169088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 5960 4547 413 48 0 5912 0
[pid=5162] vsize: 23840
Current children cumulated CPU time (s) 19.74
Current children cumulated vsize (Kb) 25968

[startup+30.004 s]
Raw data (loadavg): 0.94 1.02 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5101 0 0 0 2938 34 0 0 25 0 1 0 19911425 24412160 4547 4294967295 134512640 134702520 3221223952 3221093888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 5960 4547 413 48 0 5912 0
[pid=5162] vsize: 23840
Current children cumulated CPU time (s) 29.74
Current children cumulated vsize (Kb) 25968

[startup+40.0046 s]
Raw data (loadavg): 0.95 1.02 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5101 0 0 0 3938 34 0 0 25 0 1 0 19911425 24412160 4547 4294967295 134512640 134702520 3221223952 3221016448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 5960 4547 413 48 0 5912 0
[pid=5162] vsize: 23840
Current children cumulated CPU time (s) 39.74
Current children cumulated vsize (Kb) 25968

[startup+50.0052 s]
Raw data (loadavg): 0.96 1.02 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5112 0 0 0 4938 34 0 0 25 0 1 0 19911425 24457216 4558 4294967295 134512640 134702520 3221223952 3220935008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 5971 4558 413 48 0 5923 0
[pid=5162] vsize: 23884
Current children cumulated CPU time (s) 49.74
Current children cumulated vsize (Kb) 26012

[startup+60.0058 s]
Raw data (loadavg): 0.96 1.02 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5134 0 0 0 5938 35 0 0 25 0 1 0 19911425 24547328 4580 4294967295 134512640 134702520 3221223952 3220847168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 5993 4580 413 48 0 5945 0
[pid=5162] vsize: 23972
Current children cumulated CPU time (s) 59.75
Current children cumulated vsize (Kb) 26100

[startup+70.0064 s]
Raw data (loadavg): 0.97 1.02 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5157 0 0 0 6938 35 0 0 25 0 1 0 19911425 24641536 4603 4294967295 134512640 134702520 3221223952 3220751788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 6016 4603 413 48 0 5968 0
[pid=5162] vsize: 24064
Current children cumulated CPU time (s) 69.75
Current children cumulated vsize (Kb) 26192

[startup+80.008 s]
Raw data (loadavg): 0.97 1.01 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5183 0 0 0 7938 35 0 0 25 0 1 0 19911425 24748032 4629 4294967295 134512640 134702520 3221223952 3220646528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 6042 4629 413 48 0 5994 0
[pid=5162] vsize: 24168
Current children cumulated CPU time (s) 79.75
Current children cumulated vsize (Kb) 26296

[startup+90.0085 s]
Raw data (loadavg): 0.98 1.01 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5211 0 0 0 8938 35 0 0 25 0 1 0 19911425 24862720 4657 4294967295 134512640 134702520 3221223952 3220527328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 6070 4657 413 48 0 6022 0
[pid=5162] vsize: 24280
Current children cumulated CPU time (s) 89.75
Current children cumulated vsize (Kb) 26408

[startup+100.008 s]
Raw data (loadavg): 0.98 1.01 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5247 0 0 0 9938 35 0 0 25 0 1 0 19911425 25010176 4693 4294967295 134512640 134702520 3221223952 3220386528 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 6106 4693 413 48 0 6058 0
[pid=5162] vsize: 24424
Current children cumulated CPU time (s) 99.75
Current children cumulated vsize (Kb) 26552

[startup+110.009 s]
Raw data (loadavg): 0.98 1.01 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5289 0 0 0 10938 35 0 0 25 0 1 0 19911425 25182208 4735 4294967295 134512640 134702520 3221223952 3220209408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 6148 4735 413 48 0 6100 0
[pid=5162] vsize: 24592
Current children cumulated CPU time (s) 109.75
Current children cumulated vsize (Kb) 26720

[startup+120.009 s]
Raw data (loadavg): 0.98 1.01 0.99 1/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) T 5159 5159 4004 0 -1 0 5388 0 0 0 11845 66 0 0 17 0 1 0 19911425 51007488 4834 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5162/statm): 12453 4834 413 48 0 12405 0
[pid=5162] vsize: 49812
Current children cumulated CPU time (s) 119.13
Current children cumulated vsize (Kb) 51940

[startup+130.01 s]
Raw data (loadavg): 0.99 1.01 0.99 1/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) T 5159 5159 4004 0 -1 0 5392 0 0 0 12294 246 0 0 17 0 1 0 19911425 51007488 4838 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5162/statm): 12453 4838 413 48 0 12405 0
[pid=5162] vsize: 49812
Current children cumulated CPU time (s) 125.42
Current children cumulated vsize (Kb) 51940

[startup+140.011 s]
Raw data (loadavg): 0.99 1.01 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5457 0 0 0 13220 271 0 0 25 0 1 0 19911425 51273728 4903 4294967295 134512640 134702520 3221223952 3219659228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 12518 4903 413 48 0 12470 0
[pid=5162] vsize: 50072
Current children cumulated CPU time (s) 134.93
Current children cumulated vsize (Kb) 52200

[startup+150.011 s]
Raw data (loadavg): 0.99 1.01 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5797 0 0 0 14220 272 0 0 25 0 1 0 19911425 52666368 5243 4294967295 134512640 134702520 3221223952 3221056528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 12858 5243 413 48 0 12810 0
[pid=5162] vsize: 51432
Current children cumulated CPU time (s) 144.94
Current children cumulated vsize (Kb) 53560

[startup+160.012 s]
Raw data (loadavg): 0.99 1.01 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5797 0 0 0 15220 272 0 0 25 0 1 0 19911425 52666368 5243 4294967295 134512640 134702520 3221223952 3220673148 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 12858 5243 413 48 0 12810 0
[pid=5162] vsize: 51432
Current children cumulated CPU time (s) 154.94
Current children cumulated vsize (Kb) 53560

[startup+170.012 s]
Raw data (loadavg): 0.99 1.01 0.99 1/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) T 5159 5159 4004 0 -1 0 5797 0 0 0 16096 312 0 0 17 0 1 0 19911425 52666368 5243 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5162/statm): 12858 5243 413 48 0 12810 0
[pid=5162] vsize: 51432
Current children cumulated CPU time (s) 164.1
Current children cumulated vsize (Kb) 53560

[startup+180.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5803 0 0 0 16680 449 0 0 25 0 1 0 19911425 52666368 5249 4294967295 134512640 134702520 3221223952 3221065948 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 12858 5249 413 48 0 12810 0
[pid=5162] vsize: 51432
Current children cumulated CPU time (s) 171.31
Current children cumulated vsize (Kb) 53560

[startup+190.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5803 0 0 0 17680 449 0 0 25 0 1 0 19911425 52666368 5249 4294967295 134512640 134702520 3221223952 3220833308 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 12858 5249 413 48 0 12810 0
[pid=5162] vsize: 51432
Current children cumulated CPU time (s) 181.31
Current children cumulated vsize (Kb) 53560

[startup+200.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5803 0 0 0 18680 449 0 0 25 0 1 0 19911425 52666368 5249 4294967295 134512640 134702520 3221223952 3220950928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 12858 5249 413 48 0 12810 0
[pid=5162] vsize: 51432
Current children cumulated CPU time (s) 191.31
Current children cumulated vsize (Kb) 53560

[startup+210.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5803 0 0 0 19680 449 0 0 25 0 1 0 19911425 52666368 5249 4294967295 134512640 134702520 3221223952 3220514128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 12858 5249 413 48 0 12810 0
[pid=5162] vsize: 51432
Current children cumulated CPU time (s) 201.31
Current children cumulated vsize (Kb) 53560

[startup+220.015 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) T 5159 5159 4004 0 -1 0 5803 0 0 0 20410 538 0 0 17 0 1 0 19911425 52666368 5249 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5162/statm): 12858 5249 413 48 0 12810 0
[pid=5162] vsize: 51432
Current children cumulated CPU time (s) 209.5
Current children cumulated vsize (Kb) 53560

[startup+230.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5808 0 0 0 21202 605 0 0 25 0 1 0 19911425 52666368 5254 4294967295 134512640 134702520 3221223952 3220968508 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 12858 5254 413 48 0 12810 0
[pid=5162] vsize: 51432
Current children cumulated CPU time (s) 218.09
Current children cumulated vsize (Kb) 53560

[startup+240.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5808 0 0 0 22202 605 0 0 25 0 1 0 19911425 52666368 5254 4294967295 134512640 134702520 3221223952 3220424188 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 12858 5254 413 48 0 12810 0
[pid=5162] vsize: 51432
Current children cumulated CPU time (s) 228.09
Current children cumulated vsize (Kb) 53560

[startup+250.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5808 0 0 0 23202 605 0 0 25 0 1 0 19911425 52666368 5254 4294967295 134512640 134702520 3221223952 3219713628 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 12858 5254 413 48 0 12810 0
[pid=5162] vsize: 51432
Current children cumulated CPU time (s) 238.09
Current children cumulated vsize (Kb) 53560

[startup+260.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 5808 0 0 0 24202 605 0 0 25 0 1 0 19911425 52666368 5254 4294967295 134512640 134702520 3221223952 3218595392 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 12858 5254 413 48 0 12810 0
[pid=5162] vsize: 51432
Current children cumulated CPU time (s) 248.09
Current children cumulated vsize (Kb) 53560

[startup+270.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 6229 0 0 0 25201 606 0 0 25 0 1 0 19911425 54390784 5675 4294967295 134512640 134702520 3221223952 3221098428 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 13279 5675 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 258.09
Current children cumulated vsize (Kb) 55244

[startup+280.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 6229 0 0 0 26202 606 0 0 25 0 1 0 19911425 54390784 5675 4294967295 134512640 134702520 3221223952 3220656988 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 13279 5675 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 268.1
Current children cumulated vsize (Kb) 55244

[startup+290.018 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) T 5159 5159 4004 0 -1 0 6229 0 0 0 26980 681 0 0 18 0 1 0 19911425 54390784 5675 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5162/statm): 13279 5675 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 276.63
Current children cumulated vsize (Kb) 55244

[startup+300.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 6229 0 0 0 27744 758 0 0 25 0 1 0 19911425 54390784 5675 4294967295 134512640 134702520 3221223952 3220480828 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 13279 5675 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 285.04
Current children cumulated vsize (Kb) 55244

[startup+310.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 6229 0 0 0 28744 758 0 0 25 0 1 0 19911425 54390784 5675 4294967295 134512640 134702520 3221223952 3221159228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 13279 5675 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 295.04
Current children cumulated vsize (Kb) 55244

[startup+320.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 6229 0 0 0 29744 758 0 0 25 0 1 0 19911425 54390784 5675 4294967295 134512640 134702520 3221223952 3220819708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 13279 5675 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 305.04
Current children cumulated vsize (Kb) 55244

[startup+330.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 6229 0 0 0 30745 758 0 0 25 0 1 0 19911425 54390784 5675 4294967295 134512640 134702520 3221223952 3220266288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 13279 5675 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 315.05
Current children cumulated vsize (Kb) 55244

[startup+340.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) T 5159 5159 4004 0 -1 0 6233 0 0 0 31285 906 0 0 17 0 1 0 19911425 54390784 5679 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5162/statm): 13279 5679 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 321.93
Current children cumulated vsize (Kb) 55244

[startup+350.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 6234 0 0 0 32190 938 0 0 25 0 1 0 19911425 54390784 5680 4294967295 134512640 134702520 3221223952 3219855548 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 13279 5680 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 331.3
Current children cumulated vsize (Kb) 55244

[startup+360.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 6234 0 0 0 33190 938 0 0 25 0 1 0 19911425 54390784 5680 4294967295 134512640 134702520 3221223952 3221076528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 13279 5680 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 341.3
Current children cumulated vsize (Kb) 55244

[startup+370.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 6234 0 0 0 34190 938 0 0 25 0 1 0 19911425 54390784 5680 4294967295 134512640 134702520 3221223952 3220702748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 13279 5680 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 351.3
Current children cumulated vsize (Kb) 55244

[startup+380.025 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) T 5159 5159 4004 0 -1 0 6234 0 0 0 35104 965 0 0 17 0 1 0 19911425 54390784 5680 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5162/statm): 13279 5680 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 360.71
Current children cumulated vsize (Kb) 55244

[startup+390.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 6243 0 0 0 35721 1091 0 0 25 0 1 0 19911425 54390784 5689 4294967295 134512640 134702520 3221223952 3221151072 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 13279 5689 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 368.14
Current children cumulated vsize (Kb) 55244

[startup+400.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 6243 0 0 0 36721 1091 0 0 25 0 1 0 19911425 54390784 5689 4294967295 134512640 134702520 3221223952 3220644188 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 13279 5689 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 378.14
Current children cumulated vsize (Kb) 55244

[startup+410.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 6243 0 0 0 37722 1091 0 0 25 0 1 0 19911425 54390784 5689 4294967295 134512640 134702520 3221223952 3220012348 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 13279 5689 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 388.15
Current children cumulated vsize (Kb) 55244

[startup+420.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 6243 0 0 0 38722 1091 0 0 25 0 1 0 19911425 54390784 5689 4294967295 134512640 134702520 3221223952 3219111408 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 13279 5689 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 398.15
Current children cumulated vsize (Kb) 55244

[startup+430.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 6243 0 0 0 39722 1091 0 0 25 0 1 0 19911425 54390784 5689 4294967295 134512640 134702520 3221223952 3216772508 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 13279 5689 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 408.15
Current children cumulated vsize (Kb) 55244

[startup+440.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 6243 0 0 0 40723 1091 0 0 25 0 1 0 19911425 54390784 5689 4294967295 134512640 134702520 3221223952 3220851548 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5162/statm): 13279 5689 413 48 0 13231 0
[pid=5162] vsize: 53116
Current children cumulated CPU time (s) 418.16
Current children cumulated vsize (Kb) 55244
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+450.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5162
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19911418 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 242 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5162/stat): 5162 (vallst) R 5159 5159 4004 0 -1 0 6245 0 0 0 41716 1095 0 0 25 0 1 0 19911425 54394880 5691 4294967295 134512640 134702520 3221223952 3221221856 1074898718 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5162/statm): 13280 5691 413 48 0 13232 0
[pid=5162] vsize: 53120
Current children cumulated CPU time (s) 428.13
Current children cumulated vsize (Kb) 55248
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5162) exited with status: 2
New process pid=5163
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=5163) exited with status: 0
New process pid=5164
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+460.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 3801 0 0 0 845 21 0 0 25 0 1 0 19956550 20221952 3772 4294967295 134512640 134702520 3221223712 3221183228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 4937 3772 413 48 0 4889 0
[pid=5164] vsize: 19748
Current children cumulated CPU time (s) 437.95
Current children cumulated vsize (Kb) 21876

[startup+470.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 3801 0 0 0 1845 21 0 0 25 0 1 0 19956550 20221952 3772 4294967295 134512640 134702520 3221223712 3221108528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 4937 3772 413 48 0 4889 0
[pid=5164] vsize: 19748
Current children cumulated CPU time (s) 447.95
Current children cumulated vsize (Kb) 21876

[startup+480.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 3801 0 0 0 2845 21 0 0 25 0 1 0 19956550 20221952 3772 4294967295 134512640 134702520 3221223712 3221032368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 4937 3772 413 48 0 4889 0
[pid=5164] vsize: 19748
Current children cumulated CPU time (s) 457.95
Current children cumulated vsize (Kb) 21876

[startup+490.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 3801 0 0 0 3845 21 0 0 25 0 1 0 19956550 20221952 3772 4294967295 134512640 134702520 3221223712 3220952508 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 4937 3772 413 48 0 4889 0
[pid=5164] vsize: 19748
Current children cumulated CPU time (s) 467.95
Current children cumulated vsize (Kb) 21876

[startup+500.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 3819 0 0 0 4845 21 0 0 25 0 1 0 19956550 20295680 3790 4294967295 134512640 134702520 3221223712 3220866448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 4955 3790 413 48 0 4907 0
[pid=5164] vsize: 19820
Current children cumulated CPU time (s) 477.95
Current children cumulated vsize (Kb) 21948

[startup+510.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 3842 0 0 0 5845 21 0 0 25 0 1 0 19956550 20389888 3813 4294967295 134512640 134702520 3221223712 3220773168 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 4978 3813 413 48 0 4930 0
[pid=5164] vsize: 19912
Current children cumulated CPU time (s) 487.95
Current children cumulated vsize (Kb) 22040

[startup+520.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 3866 0 0 0 6845 21 0 0 25 0 1 0 19956550 20488192 3837 4294967295 134512640 134702520 3221223712 3220671408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 5002 3837 413 48 0 4954 0
[pid=5164] vsize: 20008
Current children cumulated CPU time (s) 497.95
Current children cumulated vsize (Kb) 22136

[startup+530.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 3895 0 0 0 7845 22 0 0 25 0 1 0 19956550 20606976 3866 4294967295 134512640 134702520 3221223712 3220556368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 5031 3866 413 48 0 4983 0
[pid=5164] vsize: 20124
Current children cumulated CPU time (s) 507.96
Current children cumulated vsize (Kb) 22252

[startup+540.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 3928 0 0 0 8845 22 0 0 25 0 1 0 19956550 20742144 3899 4294967295 134512640 134702520 3221223712 3220422608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 5064 3899 413 48 0 5016 0
[pid=5164] vsize: 20256
Current children cumulated CPU time (s) 517.96
Current children cumulated vsize (Kb) 22384

[startup+550.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 3967 0 0 0 9845 22 0 0 25 0 1 0 19956550 20901888 3938 4294967295 134512640 134702520 3221223712 3220258908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 5103 3938 413 48 0 5055 0
[pid=5164] vsize: 20412
Current children cumulated CPU time (s) 527.96
Current children cumulated vsize (Kb) 22540

[startup+560.035 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 4029 0 0 0 10846 22 0 0 25 0 1 0 19956550 21155840 4000 4294967295 134512640 134702520 3221223712 3220025488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 5165 4000 413 48 0 5117 0
[pid=5164] vsize: 20660
Current children cumulated CPU time (s) 537.97
Current children cumulated vsize (Kb) 22788

[startup+570.035 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5159 5159 4004 0 -1 0 4320 0 0 0 11364 179 0 0 17 0 1 0 19956550 43347968 4290 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5164/statm): 10583 4290 413 48 0 10535 0
[pid=5164] vsize: 42332
Current children cumulated CPU time (s) 544.72
Current children cumulated vsize (Kb) 44460

[startup+580.036 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 4333 0 0 0 12301 199 0 0 25 0 1 0 19956550 43347968 4303 4294967295 134512640 134702520 3221223712 3221071948 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 10583 4303 413 48 0 10535 0
[pid=5164] vsize: 42332
Current children cumulated CPU time (s) 554.29
Current children cumulated vsize (Kb) 44460

[startup+590.036 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 4772 0 0 0 13300 201 0 0 25 0 1 0 19956550 45146112 4742 4294967295 134512640 134702520 3221223712 3221156928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11022 4742 413 48 0 10974 0
[pid=5164] vsize: 44088
Current children cumulated CPU time (s) 564.3
Current children cumulated vsize (Kb) 46216

[startup+600.037 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 4772 0 0 0 14300 201 0 0 25 0 1 0 19956550 45146112 4742 4294967295 134512640 134702520 3221223712 3220974188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11022 4742 413 48 0 10974 0
[pid=5164] vsize: 44088
Current children cumulated CPU time (s) 574.3
Current children cumulated vsize (Kb) 46216

[startup+610.039 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 4772 0 0 0 15300 201 0 0 25 0 1 0 19956550 45146112 4742 4294967295 134512640 134702520 3221223712 3220586348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11022 4742 413 48 0 10974 0
[pid=5164] vsize: 44088
Current children cumulated CPU time (s) 584.3
Current children cumulated vsize (Kb) 46216

[startup+620.039 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5159 5159 4004 0 -1 0 4781 0 0 0 16131 254 0 0 17 0 1 0 19956550 45146112 4750 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11022 4750 413 48 0 10974 0
[pid=5164] vsize: 44088
Current children cumulated CPU time (s) 593.14
Current children cumulated vsize (Kb) 46216

[startup+630.041 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 4820 0 0 0 16697 397 0 0 25 0 1 0 19956550 45281280 4789 4294967295 134512640 134702520 3221223712 3221098988 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 11055 4789 413 48 0 11007 0
[pid=5164] vsize: 44220
Current children cumulated CPU time (s) 600.23
Current children cumulated vsize (Kb) 46348

[startup+640.041 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 4820 0 0 0 17697 397 0 0 25 0 1 0 19956550 45281280 4789 4294967295 134512640 134702520 3221223712 3221161708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 11055 4789 413 48 0 11007 0
[pid=5164] vsize: 44220
Current children cumulated CPU time (s) 610.23
Current children cumulated vsize (Kb) 46348

[startup+650.041 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 4820 0 0 0 18697 397 0 0 25 0 1 0 19956550 45281280 4789 4294967295 134512640 134702520 3221223712 3220992928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 11055 4789 413 48 0 11007 0
[pid=5164] vsize: 44220
Current children cumulated CPU time (s) 620.23
Current children cumulated vsize (Kb) 46348

[startup+660.042 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 4820 0 0 0 19698 397 0 0 25 0 1 0 19956550 45281280 4789 4294967295 134512640 134702520 3221223712 3220599788 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 11055 4789 413 48 0 11007 0
[pid=5164] vsize: 44220
Current children cumulated CPU time (s) 630.24
Current children cumulated vsize (Kb) 46348

[startup+670.042 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5159 5159 4004 0 -1 0 4835 0 0 0 20557 441 0 0 17 0 1 0 19956550 45281280 4803 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5164/statm): 11055 4803 413 48 0 11007 0
[pid=5164] vsize: 44220
Current children cumulated CPU time (s) 639.27
Current children cumulated vsize (Kb) 46348

[startup+680.043 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 4900 0 0 0 21158 573 0 0 25 0 1 0 19956550 45416448 4868 4294967295 134512640 134702520 3221223712 3221202988 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 11088 4868 413 48 0 11040 0
[pid=5164] vsize: 44352
Current children cumulated CPU time (s) 646.6
Current children cumulated vsize (Kb) 46480

[startup+690.043 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 4900 0 0 0 22158 573 0 0 25 0 1 0 19956550 45416448 4868 4294967295 134512640 134702520 3221223712 3218932268 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 11088 4868 413 48 0 11040 0
[pid=5164] vsize: 44352
Current children cumulated CPU time (s) 656.6
Current children cumulated vsize (Kb) 46480

[startup+700.043 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 4900 0 0 0 23158 573 0 0 25 0 1 0 19956550 45416448 4868 4294967295 134512640 134702520 3221223712 3221021228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 11088 4868 413 48 0 11040 0
[pid=5164] vsize: 44352
Current children cumulated CPU time (s) 666.6
Current children cumulated vsize (Kb) 46480

[startup+710.043 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 4900 0 0 0 24159 573 0 0 25 0 1 0 19956550 45416448 4868 4294967295 134512640 134702520 3221223712 3220641248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 11088 4868 413 48 0 11040 0
[pid=5164] vsize: 44352
Current children cumulated CPU time (s) 676.61
Current children cumulated vsize (Kb) 46480

[startup+720.044 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5159 5159 4004 0 -1 0 4907 0 0 0 25070 601 0 0 17 0 1 0 19956550 45551616 4874 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5164/statm): 11121 4874 413 48 0 11073 0
[pid=5164] vsize: 44484
Current children cumulated CPU time (s) 686
Current children cumulated vsize (Kb) 46612

[startup+730.045 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5159 5159 4004 0 -1 0 4934 0 0 0 25669 730 0 0 21 0 1 0 19956550 45551616 4901 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11121 4901 413 48 0 11073 0
[pid=5164] vsize: 44484
Current children cumulated CPU time (s) 693.28
Current children cumulated vsize (Kb) 46612

[startup+740.045 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 4934 0 0 0 26664 732 0 0 25 0 1 0 19956550 45551616 4901 4294967295 134512640 134702520 3221223712 3220777228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11121 4901 413 48 0 11073 0
[pid=5164] vsize: 44484
Current children cumulated CPU time (s) 703.25
Current children cumulated vsize (Kb) 46612

[startup+750.046 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 4934 0 0 0 27664 732 0 0 25 0 1 0 19956550 45551616 4901 4294967295 134512640 134702520 3221223712 3220170832 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11121 4901 413 48 0 11073 0
[pid=5164] vsize: 44484
Current children cumulated CPU time (s) 713.25
Current children cumulated vsize (Kb) 46612

[startup+760.047 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 4934 0 0 0 28664 732 0 0 25 0 1 0 19956550 45551616 4901 4294967295 134512640 134702520 3221223712 3219334848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11121 4901 413 48 0 11073 0
[pid=5164] vsize: 44484
Current children cumulated CPU time (s) 723.25
Current children cumulated vsize (Kb) 46612

[startup+770.047 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5164
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 5067 0 0 0 29664 732 0 0 25 0 1 0 19956550 46096384 5034 4294967295 134512640 134702520 3221223712 3217614348 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11254 5034 413 48 0 11206 0
[pid=5164] vsize: 45016
Current children cumulated CPU time (s) 733.25
Current children cumulated vsize (Kb) 47144

[startup+780.049 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5166
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 5367 0 0 0 30663 734 0 0 25 0 1 0 19956550 47325184 5334 4294967295 134512640 134702520 3221223712 3220945708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11554 5334 413 48 0 11506 0
[pid=5164] vsize: 46216
Current children cumulated CPU time (s) 743.26
Current children cumulated vsize (Kb) 48344

[startup+790.049 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5166
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 5367 0 0 0 31663 734 0 0 25 0 1 0 19956550 47325184 5334 4294967295 134512640 134702520 3221223712 3220376748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11554 5334 413 48 0 11506 0
[pid=5164] vsize: 46216
Current children cumulated CPU time (s) 753.26
Current children cumulated vsize (Kb) 48344

[startup+800.05 s]
Raw data (loadavg): 1.05 1.01 1.00 1/56 5166
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5159 5159 4004 0 -1 0 5390 0 0 0 32358 834 0 0 20 0 1 0 19956550 47325184 5356 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5164/statm): 11554 5356 413 48 0 11506 0
[pid=5164] vsize: 46216
Current children cumulated CPU time (s) 761.21
Current children cumulated vsize (Kb) 48344

[startup+810.051 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5166
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 5406 0 0 0 33119 916 0 0 25 0 1 0 19956550 47460352 5372 4294967295 134512640 134702520 3221223712 3221098668 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11587 5372 413 48 0 11539 0
[pid=5164] vsize: 46348
Current children cumulated CPU time (s) 769.64
Current children cumulated vsize (Kb) 48476

[startup+820.051 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5166
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 5406 0 0 0 34119 916 0 0 25 0 1 0 19956550 47460352 5372 4294967295 134512640 134702520 3221223712 3220570188 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11587 5372 413 48 0 11539 0
[pid=5164] vsize: 46348
Current children cumulated CPU time (s) 779.64
Current children cumulated vsize (Kb) 48476

[startup+830.053 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5166
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 5406 0 0 0 35120 916 0 0 25 0 1 0 19956550 47460352 5372 4294967295 134512640 134702520 3221223712 3219895792 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11587 5372 413 48 0 11539 0
[pid=5164] vsize: 46348
Current children cumulated CPU time (s) 789.65
Current children cumulated vsize (Kb) 48476

[startup+840.053 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5166
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 5406 0 0 0 36120 916 0 0 25 0 1 0 19956550 47460352 5372 4294967295 134512640 134702520 3221223712 3218898028 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11587 5372 413 48 0 11539 0
[pid=5164] vsize: 46348
Current children cumulated CPU time (s) 799.65
Current children cumulated vsize (Kb) 48476

[startup+850.054 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5166
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 5406 0 0 0 37120 916 0 0 25 0 1 0 19956550 47460352 5372 4294967295 134512640 134702520 3221223712 3221173228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11587 5372 413 48 0 11539 0
[pid=5164] vsize: 46348
Current children cumulated CPU time (s) 809.65
Current children cumulated vsize (Kb) 48476

[startup+860.055 s]
Raw data (loadavg): 1.02 1.01 1.00 2/59 5210
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 5406 0 0 0 38119 916 0 0 25 0 1 0 19956550 47460352 5372 4294967295 134512640 134702520 3221223712 3220783948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 11587 5372 413 48 0 11539 0
[pid=5164] vsize: 46348
Current children cumulated CPU time (s) 819.64
Current children cumulated vsize (Kb) 48476

[startup+870.056 s]
Raw data (loadavg): 1.09 1.02 1.00 2/56 5221
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 5416 0 0 0 39069 932 0 0 17 0 1 0 19956550 47460352 5381 4294967295 134512640 134702520 3221223712 3221222992 134552217 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11587 5381 413 48 0 11539 0
[pid=5164] vsize: 46348
Current children cumulated CPU time (s) 829.3
Current children cumulated vsize (Kb) 48476

[startup+880.057 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 5221
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5159 5159 4004 0 -1 0 5464 0 0 0 39737 1036 0 0 21 0 1 0 19956550 47460352 5429 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11587 5429 413 48 0 11539 0
[pid=5164] vsize: 46348
Current children cumulated CPU time (s) 837.02
Current children cumulated vsize (Kb) 48476

[startup+890.057 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5221
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 5478 0 0 0 40680 1054 0 0 25 0 1 0 19956550 47460352 5443 4294967295 134512640 134702520 3221223712 3221166688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 11587 5443 413 48 0 11539 0
[pid=5164] vsize: 46348
Current children cumulated CPU time (s) 846.63
Current children cumulated vsize (Kb) 48476

[startup+900.058 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 5221
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 5478 0 0 0 41681 1054 0 0 25 0 1 0 19956550 47460352 5443 4294967295 134512640 134702520 3221223712 3219152912 134611991 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 11587 5443 413 48 0 11539 0
[pid=5164] vsize: 46348
Current children cumulated CPU time (s) 856.64
Current children cumulated vsize (Kb) 48476

[startup+910.058 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5221
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 5478 0 0 0 42681 1054 0 0 25 0 1 0 19956550 47460352 5443 4294967295 134512640 134702520 3221223712 3221026188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 11587 5443 413 48 0 11539 0
[pid=5164] vsize: 46348
Current children cumulated CPU time (s) 866.64
Current children cumulated vsize (Kb) 48476

[startup+920.059 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5221
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) R 5159 5159 4004 0 -1 0 5478 0 0 0 43681 1054 0 0 25 0 1 0 19956550 47460352 5443 4294967295 134512640 134702520 3221223712 3220668908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5164/statm): 11587 5443 413 48 0 11539 0
[pid=5164] vsize: 46348
Current children cumulated CPU time (s) 876.64
Current children cumulated vsize (Kb) 48476
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+930.059 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 5225
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 378 6618 0 0 1 1 41819 1108 18 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5164/stat): 5164 (vallst) T 5159 5159 4004 0 -1 0 5482 0 0 0 44668 1063 0 0 25 0 1 0 19956550 47464448 5446 4294967295 134512640 134702520 3221223712 3221221616 1074898718 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5164/statm): 11588 5446 413 48 0 11540 0
[pid=5164] vsize: 46352
Current children cumulated CPU time (s) 886.6
Current children cumulated vsize (Kb) 48480
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5164) exited with status: 2
New process pid=5226
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=5226) exited with status: 0
New process pid=5227
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+940.059 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 3848 0 0 0 916 20 0 0 25 0 1 0 20004490 19841024 3820 4294967295 134512640 134702520 3221223712 3221177628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 4844 3820 413 48 0 4796 0
[pid=5227] vsize: 19376
Current children cumulated CPU time (s) 896.46
Current children cumulated vsize (Kb) 21504

[startup+950.06 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 3848 0 0 0 1917 20 0 0 25 0 1 0 20004490 19841024 3820 4294967295 134512640 134702520 3221223712 3221104528 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 4844 3820 413 48 0 4796 0
[pid=5227] vsize: 19376
Current children cumulated CPU time (s) 906.47
Current children cumulated vsize (Kb) 21504

[startup+960.06 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 3848 0 0 0 2917 20 0 0 25 0 1 0 20004490 19841024 3820 4294967295 134512640 134702520 3221223712 3221029468 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 4844 3820 413 48 0 4796 0
[pid=5227] vsize: 19376
Current children cumulated CPU time (s) 916.47
Current children cumulated vsize (Kb) 21504

[startup+970.061 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 3862 0 0 0 3917 20 0 0 25 0 1 0 20004490 19898368 3834 4294967295 134512640 134702520 3221223712 3220950748 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 4858 3834 413 48 0 4810 0
[pid=5227] vsize: 19432
Current children cumulated CPU time (s) 926.47
Current children cumulated vsize (Kb) 21560

[startup+980.061 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 3882 0 0 0 4917 20 0 0 25 0 1 0 20004490 19980288 3854 4294967295 134512640 134702520 3221223712 3220866128 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 4878 3854 413 48 0 4830 0
[pid=5227] vsize: 19512
Current children cumulated CPU time (s) 936.47
Current children cumulated vsize (Kb) 21640

[startup+990.061 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 3904 0 0 0 5917 20 0 0 25 0 1 0 20004490 20070400 3876 4294967295 134512640 134702520 3221223712 3220774428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 4900 3876 413 48 0 4852 0
[pid=5227] vsize: 19600
Current children cumulated CPU time (s) 946.47
Current children cumulated vsize (Kb) 21728

[startup+1000.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 3929 0 0 0 6917 20 0 0 25 0 1 0 20004490 20172800 3901 4294967295 134512640 134702520 3221223712 3220675076 134611990 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 4925 3901 413 48 0 4877 0
[pid=5227] vsize: 19700
Current children cumulated CPU time (s) 956.47
Current children cumulated vsize (Kb) 21828

[startup+1010.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 3955 0 0 0 7917 20 0 0 25 0 1 0 20004490 20279296 3927 4294967295 134512640 134702520 3221223712 3220563568 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 4951 3927 413 48 0 4903 0
[pid=5227] vsize: 19804
Current children cumulated CPU time (s) 966.47
Current children cumulated vsize (Kb) 21932

[startup+1020.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 3988 0 0 0 8917 20 0 0 25 0 1 0 20004490 20414464 3960 4294967295 134512640 134702520 3221223712 3220434928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 4984 3960 413 48 0 4936 0
[pid=5227] vsize: 19936
Current children cumulated CPU time (s) 976.47
Current children cumulated vsize (Kb) 22064

[startup+1030.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 4025 0 0 0 9917 21 0 0 25 0 1 0 20004490 20566016 3997 4294967295 134512640 134702520 3221223712 3220281308 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 5021 3997 413 48 0 4973 0
[pid=5227] vsize: 20084
Current children cumulated CPU time (s) 986.48
Current children cumulated vsize (Kb) 22212

[startup+1040.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 4074 0 0 0 10917 21 0 0 25 0 1 0 20004490 20766720 4046 4294967295 134512640 134702520 3221223712 3220078128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 5070 4046 413 48 0 5022 0
[pid=5227] vsize: 20280
Current children cumulated CPU time (s) 996.48
Current children cumulated vsize (Kb) 22408

[startup+1050.06 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) T 5159 5159 4004 0 -1 0 4498 0 0 0 11717 85 0 0 21 0 1 0 20004490 42352640 4469 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5227/statm): 10340 4469 413 48 0 10292 0
[pid=5227] vsize: 41360
Current children cumulated CPU time (s) 1005.12
Current children cumulated vsize (Kb) 43488

[startup+1060.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 4530 0 0 0 12431 177 0 0 25 0 1 0 20004490 42352640 4501 4294967295 134512640 134702520 3221223712 3221216428 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 10340 4501 413 48 0 10292 0
[pid=5227] vsize: 41360
Current children cumulated CPU time (s) 1013.18
Current children cumulated vsize (Kb) 43488

[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 4757 0 0 0 13431 177 0 0 25 0 1 0 20004490 43282432 4728 4294967295 134512640 134702520 3221223712 3218971788 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 10567 4728 413 48 0 10519 0
[pid=5227] vsize: 42268
Current children cumulated CPU time (s) 1023.18
Current children cumulated vsize (Kb) 44396

[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 4953 0 0 0 14431 177 0 0 25 0 1 0 20004490 44085248 4924 4294967295 134512640 134702520 3221223712 3221026688 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 10763 4924 413 48 0 10715 0
[pid=5227] vsize: 43052
Current children cumulated CPU time (s) 1033.18
Current children cumulated vsize (Kb) 45180

[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 4953 0 0 0 15431 177 0 0 25 0 1 0 20004490 44085248 4924 4294967295 134512640 134702520 3221223712 3220653568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 10763 4924 413 48 0 10715 0
[pid=5227] vsize: 43052
Current children cumulated CPU time (s) 1043.18
Current children cumulated vsize (Kb) 45180

[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 4957 0 0 0 16370 198 0 0 19 0 1 0 20004490 44085248 4927 4294967295 134512640 134702520 3221223712 3221222992 134553489 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 10763 4927 413 48 0 10715 0
[pid=5227] vsize: 43052
Current children cumulated CPU time (s) 1052.78
Current children cumulated vsize (Kb) 45180

[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 4983 0 0 0 17060 305 0 0 21 0 1 0 20004490 44220416 4953 4294967295 134512640 134702520 3221223712 3221222992 134552548 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5227/statm): 10796 4953 413 48 0 10748 0
[pid=5227] vsize: 43184
Current children cumulated CPU time (s) 1060.75
Current children cumulated vsize (Kb) 45312

[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 4986 0 0 0 18024 316 0 0 25 0 1 0 20004490 44220416 4956 4294967295 134512640 134702520 3221223712 3220841568 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 10796 4956 413 48 0 10748 0
[pid=5227] vsize: 43184
Current children cumulated CPU time (s) 1070.5
Current children cumulated vsize (Kb) 45312

[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 4986 0 0 0 19024 316 0 0 25 0 1 0 20004490 44220416 4956 4294967295 134512640 134702520 3221223712 3220253088 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 10796 4956 413 48 0 10748 0
[pid=5227] vsize: 43184
Current children cumulated CPU time (s) 1080.5
Current children cumulated vsize (Kb) 45312

[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 4986 0 0 0 20024 316 0 0 25 0 1 0 20004490 44220416 4956 4294967295 134512640 134702520 3221223712 3219451472 134611991 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 10796 4956 413 48 0 10748 0
[pid=5227] vsize: 43184
Current children cumulated CPU time (s) 1090.5
Current children cumulated vsize (Kb) 45312

[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 5045 0 0 0 21024 316 0 0 25 0 1 0 20004490 44462080 5015 4294967295 134512640 134702520 3221223712 3217925548 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 10855 5015 413 48 0 10807 0
[pid=5227] vsize: 43420
Current children cumulated CPU time (s) 1100.5
Current children cumulated vsize (Kb) 45548

[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 5421 0 0 0 22024 317 0 0 25 0 1 0 20004490 46002176 5391 4294967295 134512640 134702520 3221223712 3220995008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 11231 5391 413 48 0 11183 0
[pid=5227] vsize: 44924
Current children cumulated CPU time (s) 1110.51
Current children cumulated vsize (Kb) 47052

[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 5421 0 0 0 23024 317 0 0 25 0 1 0 20004490 46002176 5391 4294967295 134512640 134702520 3221223712 3220506348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 11231 5391 413 48 0 11183 0
[pid=5227] vsize: 44924
Current children cumulated CPU time (s) 1120.51
Current children cumulated vsize (Kb) 47052

[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) T 5159 5159 4004 0 -1 0 5443 0 0 0 23852 372 0 0 20 0 1 0 20004490 46002176 5412 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5227/statm): 11231 5412 413 48 0 11183 0
[pid=5227] vsize: 44924
Current children cumulated CPU time (s) 1129.34
Current children cumulated vsize (Kb) 47052

[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 5458 0 0 0 24649 436 0 0 25 0 1 0 20004490 46002176 5427 4294967295 134512640 134702520 3221223712 3220963948 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 11231 5427 413 48 0 11183 0
[pid=5227] vsize: 44924
Current children cumulated CPU time (s) 1137.95
Current children cumulated vsize (Kb) 47052

[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5227
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 5458 0 0 0 25649 436 0 0 25 0 1 0 20004490 46002176 5427 4294967295 134512640 134702520 3221223712 3220805556 134611987 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 11231 5427 413 48 0 11183 0
[pid=5227] vsize: 44924
Current children cumulated CPU time (s) 1147.95
Current children cumulated vsize (Kb) 47052

[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5229
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 5458 0 0 0 26649 436 0 0 25 0 1 0 20004490 46002176 5427 4294967295 134512640 134702520 3221223712 3220962368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 11231 5427 413 48 0 11183 0
[pid=5227] vsize: 44924
Current children cumulated CPU time (s) 1157.95
Current children cumulated vsize (Kb) 47052

[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5229
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 5458 0 0 0 27649 436 0 0 25 0 1 0 20004490 46002176 5427 4294967295 134512640 134702520 3221223712 3220559008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5227/statm): 11231 5427 413 48 0 11183 0
[pid=5227] vsize: 44924
Current children cumulated CPU time (s) 1167.95
Current children cumulated vsize (Kb) 47052

[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5229
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 5461 0 0 0 28534 476 0 0 20 0 1 0 20004490 46002176 5429 4294967295 134512640 134702520 3221223712 3221222992 134553118 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5227/statm): 11231 5429 413 48 0 11183 0
[pid=5227] vsize: 44924
Current children cumulated CPU time (s) 1177.2
Current children cumulated vsize (Kb) 47052

[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5229
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) T 5159 5159 4004 0 -1 0 5485 0 0 0 29211 582 0 0 20 0 1 0 20004490 46137344 5453 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5227/statm): 11264 5453 413 48 0 11216 0
[pid=5227] vsize: 45056
Current children cumulated CPU time (s) 1185.03
Current children cumulated vsize (Kb) 47184

[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5229
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 5487 0 0 0 30162 597 0 0 25 0 1 0 20004490 46137344 5455 4294967295 134512640 134702520 3221223712 3219811328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5227/statm): 11264 5455 413 48 0 11216 0
[pid=5227] vsize: 45056
Current children cumulated CPU time (s) 1194.69
Current children cumulated vsize (Kb) 47184

[startup+1260.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5229
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 5487 0 0 0 31162 598 0 0 25 0 1 0 20004490 46137344 5455 4294967295 134512640 134702520 3221223712 3221092288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5227/statm): 11264 5455 413 48 0 11216 0
[pid=5227] vsize: 45056
Current children cumulated CPU time (s) 1204.7
Current children cumulated vsize (Kb) 47184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1260.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5229
Raw data (/proc/5159/stat): 5159 (vallstSAT2005PB) S 5158 5159 4004 0 -1 0 417 12241 0 0 1 1 86531 2177 19 0 1 0 19911418 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5159/statm): 532 248 485 147 0 385 0
[pid=5159] vsize: 2128
Raw data (/proc/5227/stat): 5227 (vallst) R 5159 5159 4004 0 -1 0 5487 0 0 0 31162 598 0 0 25 0 1 0 20004490 46137344 5455 4294967295 134512640 134702520 3221223712 3221092288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5227/statm): 11264 5455 413 48 0 11216 0
[pid=5227] vsize: 45056
Current children cumulated CPU time (s) 1204.7
Current children cumulated vsize (Kb) 47184

Sending SIGTERM to -5159
Sleeping 2 seconds
New process pid=5231
New process pid=5232
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1451/stat
open syscall for file /proc/1451/status
open syscall for file /proc/1451/cmdline
open syscall for file /proc/1451/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/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/3986/stat
open syscall for file /proc/3986/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/3986/cmdline
open syscall for file /proc/3986/environ
open syscall for file /proc/4012/stat
open syscall for file /proc/4012/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/4012/cmdline
open syscall for file /proc/4012/environ
open syscall for file /proc/5120/stat
open syscall for file /proc/5120/status
open syscall for file /proc/5120/cmdline
open syscall for file /proc/5120/environ
open syscall for file /proc/5158/stat
open syscall for file /proc/5158/status
open syscall for file /proc/5158/cmdline
open syscall for file /proc/5158/environ
open syscall for file /proc/5159/stat
open syscall for file /proc/5159/status
open syscall for file /proc/5159/cmdline
open syscall for file /proc/5159/environ
open syscall for file /proc/5227/stat
open syscall for file /proc/5227/status
open syscall for file /proc/5227/cmdline
open syscall for file /proc/5227/environ
open syscall for file /proc/5231/stat
open syscall for file /proc/5231/status
open syscall for file /proc/5231/cmdline
open syscall for file /proc/5231/environ
open syscall for file /proc/5232/stat
open syscall for file /proc/5232/status
open syscall for file /proc/5232/cmdline
open syscall for file /proc/5232/environ
One traced child (pid=5231) exited with status: 0
One traced child (pid=5232) exited with status: 0
New process pid=5233
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=5233) exited with status: 0
New process pid=5234
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=5234) exited with status: 0
One traced child (pid=5159) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -5159
One traced child (pid=5227) 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): 1262.09
CPU time (s): 319.617
CPU user time (s): 313.619
CPU system time (s): 5.99809
CPU usage (%): 25.3245
Max. virtual memory (cumulated for all children) (Kb): 55248

Verifier Data

ERROR: no interpretation found !