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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-standata.opb
MD5SUMd5b771efe8f3bc863eeca85beb6d9cd6
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 140
Biggest coefficient in the objective function 52428800
Number of bits for the biggest coefficient in the objective function 26
Sum of the numbers in the objective function 318766800
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 75573493760
Number of bits of the biggest number in a constraint 37
Biggest sum of numbers in a constraint 2374370081400
Number of bits of the biggest sum of numbers42
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables20142
Total number of constraints462
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints462
Minimum length of a constraint8
Maximum length of a constraint14900

Trace number 9188

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.023
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        945204 kB
Buffers:          9604 kB
Cached:          62680 kB
SwapCached:          0 kB
Active:          44932 kB
Inactive:        30240 kB
HighTotal:      131008 kB
HighFree:        64344 kB
LowTotal:       903652 kB
LowFree:        880860 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6972 kB
Slab:             8668 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 11:39:50 (client local time) WITH STATUS 0 IN 435.6 SECONDS
stats: 7896 7 435.6 0

Solver Data

1:
seed: 0
Nr of vars set: 5681  (#equs: 0)
Nr of vars set: 6334  (#equs: 16)
#decisions: 1155177;  #end-nodes: 21368;
#proof improvement attempts: 0;  #restarts: 192
Current batch, end-nodes: 0 / 203 (127)
#axs: 607, #non-axs: 581
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: 6351  (#equs: 16)
Time taken: 5 min, 22 sec

2:
seed: 0
Nr of vars set: 6351  (#equs: 0)
Nr of vars set: 6352  (#equs: 16)
#decisions: 1358223;  #end-nodes: 59007;
#proof improvement attempts: 0;  #restarts: 288
Current batch, end-nodes: 0 / 191 (191)
#axs: 590, #non-axs: 2732
tight: meta-meta: start: 6, end: 9;  meta: start: 10, end (keep): 18
loose: meta-meta: start: 8, end: 12;  meta: start: 26, end (keep): 42
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: 6398  (#equs: 16)
Time taken: 7 min, 30 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/5084/stat): 5084 (vallstSAT2005PB) R 5083 5084 4060 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 19780195 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5084/statm): 174 3 169 147 0 27 0
[pid=5084] 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=5085
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=5085) exited with status: 0
New process pid=5086
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=5086) exited with status: 0
New process pid=5087
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/wulflinc8/normalized-mps-v2-13-7-standata.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0025 s]
Raw data (loadavg): 0.84 0.97 0.98 2/56 5087
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19780195 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 242 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5084 5084 4060 0 -1 0 1458 0 0 0 981 7 0 0 25 0 1 0 19780202 7356416 1362 4294967295 134512640 134702520 3221223952 3220812288 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 1796 1362 413 48 0 1748 0
[pid=5087] vsize: 7184
Current children cumulated CPU time (s) 9.9
Current children cumulated vsize (Kb) 9312

[startup+20.0043 s]
Raw data (loadavg): 0.86 0.97 0.98 2/56 5087
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19780195 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 242 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5084 5084 4060 0 -1 0 1589 0 0 0 1926 25 0 0 25 0 1 0 19780202 7892992 1493 4294967295 134512640 134702520 3221223952 3221052108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 1927 1493 413 48 0 1879 0
[pid=5087] vsize: 7708
Current children cumulated CPU time (s) 19.53
Current children cumulated vsize (Kb) 9836

[startup+30.0051 s]
Raw data (loadavg): 0.88 0.97 0.98 2/56 5087
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19780195 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 242 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5084 5084 4060 0 -1 0 1786 0 0 0 2592 134 0 0 19 0 1 0 19780202 12529664 1690 4294967295 134512640 134702520 3221223952 3221219708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5087/statm): 3059 1690 413 48 0 3011 0
[pid=5087] vsize: 12236
Current children cumulated CPU time (s) 27.28
Current children cumulated vsize (Kb) 14364

[startup+40.0059 s]
Raw data (loadavg): 0.90 0.97 0.98 2/56 5087
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19780195 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 242 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5084 5084 4060 0 -1 0 1786 0 0 0 3592 134 0 0 25 0 1 0 19780202 12529664 1690 4294967295 134512640 134702520 3221223952 3220896508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5087/statm): 3059 1690 413 48 0 3011 0
[pid=5087] vsize: 12236
Current children cumulated CPU time (s) 37.28
Current children cumulated vsize (Kb) 14364

[startup+50.0067 s]
Raw data (loadavg): 0.91 0.97 0.98 1/56 5087
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19780195 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 242 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) T 5084 5084 4060 0 -1 0 1803 0 0 0 4482 168 0 0 19 0 1 0 19780202 12599296 1707 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5087/statm): 3076 1707 413 48 0 3028 0
[pid=5087] vsize: 12304
Current children cumulated CPU time (s) 46.52
Current children cumulated vsize (Kb) 14432

[startup+60.0074 s]
Raw data (loadavg): 0.93 0.97 0.98 1/56 5087
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19780195 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 242 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) T 5084 5084 4060 0 -1 0 1803 0 0 0 5097 293 0 0 19 0 1 0 19780202 12599296 1707 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5087/statm): 3076 1707 413 48 0 3028 0
[pid=5087] vsize: 12304
Current children cumulated CPU time (s) 53.92
Current children cumulated vsize (Kb) 14432

[startup+70.0092 s]
Raw data (loadavg): 0.94 0.97 0.98 2/56 5087
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19780195 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 242 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5084 5084 4060 0 -1 0 1803 0 0 0 6015 319 0 0 25 0 1 0 19780202 12599296 1707 4294967295 134512640 134702520 3221223952 3220986288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 3076 1707 413 48 0 3028 0
[pid=5087] vsize: 12304
Current children cumulated CPU time (s) 63.36
Current children cumulated vsize (Kb) 14432

[startup+80.01 s]
Raw data (loadavg): 0.95 0.97 0.98 2/56 5087
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19780195 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 242 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5084 5084 4060 0 -1 0 1803 0 0 0 7000 324 0 0 22 0 1 0 19780202 12599296 1707 4294967295 134512640 134702520 3221223952 3221223232 134552695 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 3076 1707 413 48 0 3028 0
[pid=5087] vsize: 12304
Current children cumulated CPU time (s) 73.26
Current children cumulated vsize (Kb) 14432

[startup+90.0118 s]
Raw data (loadavg): 0.95 0.97 0.98 1/56 5087
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19780195 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 242 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) T 5084 5084 4060 0 -1 0 1803 0 0 0 7613 453 0 0 18 0 1 0 19780202 12599296 1707 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5087/statm): 3076 1707 413 48 0 3028 0
[pid=5087] vsize: 12304
Current children cumulated CPU time (s) 80.68
Current children cumulated vsize (Kb) 14432

[startup+100.013 s]
Raw data (loadavg): 0.96 0.97 0.98 2/56 5087
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19780195 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 242 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5084 5084 4060 0 -1 0 1803 0 0 0 8567 469 0 0 25 0 1 0 19780202 12599296 1707 4294967295 134512640 134702520 3221223952 3220944688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 3076 1707 413 48 0 3028 0
[pid=5087] vsize: 12304
Current children cumulated CPU time (s) 90.38
Current children cumulated vsize (Kb) 14432

[startup+110.013 s]
Raw data (loadavg): 0.97 0.97 0.98 2/56 5087
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19780195 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 242 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5084 5084 4060 0 -1 0 1803 0 0 0 9524 482 0 0 21 0 1 0 19780202 12599296 1707 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 3076 1707 413 48 0 3028 0
[pid=5087] vsize: 12304
Current children cumulated CPU time (s) 100.08
Current children cumulated vsize (Kb) 14432

[startup+120.014 s]
Raw data (loadavg): 0.97 0.97 0.98 2/56 5087
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19780195 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 242 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5084 5084 4060 0 -1 0 1824 0 0 0 10258 566 0 0 25 0 1 0 19780202 12599296 1728 4294967295 134512640 134702520 3221223952 3221147888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 3076 1728 413 48 0 3028 0
[pid=5087] vsize: 12304
Current children cumulated CPU time (s) 108.26
Current children cumulated vsize (Kb) 14432

[startup+130.015 s]
Raw data (loadavg): 0.98 0.97 0.98 2/56 5087
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19780195 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 242 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5084 5084 4060 0 -1 0 1824 0 0 0 11258 566 0 0 25 0 1 0 19780202 12599296 1728 4294967295 134512640 134702520 3221223952 3220805008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 3076 1728 413 48 0 3028 0
[pid=5087] vsize: 12304
Current children cumulated CPU time (s) 118.26
Current children cumulated vsize (Kb) 14432

[startup+140.017 s]
Raw data (loadavg): 0.98 0.97 0.98 2/56 5087
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19780195 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 242 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5084 5084 4060 0 -1 0 1824 0 0 0 12078 625 0 0 18 0 1 0 19780202 12599296 1728 4294967295 134512640 134702520 3221223952 3221223232 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 3076 1728 413 48 0 3028 0
[pid=5087] vsize: 12304
Current children cumulated CPU time (s) 127.05
Current children cumulated vsize (Kb) 14432

[startup+150.018 s]
Raw data (loadavg): 0.98 0.97 0.98 2/56 5087
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19780195 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 242 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5084 5084 4060 0 -1 0 1824 0 0 0 12973 657 0 0 25 0 1 0 19780202 12599296 1728 4294967295 134512640 134702520 3221223952 3221012208 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5087/statm): 3076 1728 413 48 0 3028 0
[pid=5087] vsize: 12304
Current children cumulated CPU time (s) 136.32
Current children cumulated vsize (Kb) 14432

[startup+160.017 s]
Raw data (loadavg): 0.98 0.97 0.98 2/56 5087
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19780195 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 242 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5084 5084 4060 0 -1 0 1824 0 0 0 13973 657 0 0 25 0 1 0 19780202 12599296 1728 4294967295 134512640 134702520 3221223952 3220367408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5087/statm): 3076 1728 413 48 0 3028 0
[pid=5087] vsize: 12304
Current children cumulated CPU time (s) 146.32
Current children cumulated vsize (Kb) 14432

[startup+170.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 5087
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19780195 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 242 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5084 5084 4060 0 -1 0 1824 0 0 0 14630 773 0 0 23 0 1 0 19780202 12599296 1728 4294967295 134512640 134702520 3221223952 3221207408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 3076 1728 413 48 0 3028 0
[pid=5087] vsize: 12304
Current children cumulated CPU time (s) 154.05
Current children cumulated vsize (Kb) 14432

[startup+180.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 5087
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19780195 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 242 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5084 5084 4060 0 -1 0 1824 0 0 0 15630 773 0 0 25 0 1 0 19780202 12599296 1728 4294967295 134512640 134702520 3221223952 3220884368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 3076 1728 413 48 0 3028 0
[pid=5087] vsize: 12304
Current children cumulated CPU time (s) 164.05
Current children cumulated vsize (Kb) 14432

[startup+190.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 5087
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19780195 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 242 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5084 5084 4060 0 -1 0 1824 0 0 0 16508 816 0 0 19 0 1 0 19780202 12599296 1728 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 3076 1728 413 48 0 3028 0
[pid=5087] vsize: 12304
Current children cumulated CPU time (s) 173.26
Current children cumulated vsize (Kb) 14432

[startup+200.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 5087
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19780195 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 242 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5084 5084 4060 0 -1 0 1845 0 0 0 17198 915 0 0 25 0 1 0 19780202 12603392 1749 4294967295 134512640 134702520 3221223952 3221167568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 3077 1749 413 48 0 3029 0
[pid=5087] vsize: 12308
Current children cumulated CPU time (s) 181.15
Current children cumulated vsize (Kb) 14436

[startup+210.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 5087
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19780195 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 242 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5084 5084 4060 0 -1 0 1845 0 0 0 18198 915 0 0 25 0 1 0 19780202 12603392 1749 4294967295 134512640 134702520 3221223952 3220831568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 3077 1749 413 48 0 3029 0
[pid=5087] vsize: 12308
Current children cumulated CPU time (s) 191.15
Current children cumulated vsize (Kb) 14436

[startup+220.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 5087
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19780195 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 242 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5084 5084 4060 0 -1 0 1845 0 0 0 19012 974 0 0 18 0 1 0 19780202 12603392 1749 4294967295 134512640 134702520 3221223952 3221223352 134607244 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 3077 1749 413 48 0 3029 0
[pid=5087] vsize: 12308
Current children cumulated CPU time (s) 199.88
Current children cumulated vsize (Kb) 14436

[startup+230.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 5087
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19780195 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 242 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5084 5084 4060 0 -1 0 1845 0 0 0 19732 1064 0 0 25 0 1 0 19780202 12603392 1749 4294967295 134512640 134702520 3221223952 3221163408 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 3077 1749 413 48 0 3029 0
[pid=5087] vsize: 12308
Current children cumulated CPU time (s) 207.98
Current children cumulated vsize (Kb) 14436

[startup+240.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 5087
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19780195 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 242 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5084 5084 4060 0 -1 0 1845 0 0 0 20732 1064 0 0 25 0 1 0 19780202 12603392 1749 4294967295 134512640 134702520 3221223952 3220826108 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 3077 1749 413 48 0 3029 0
[pid=5087] vsize: 12308
Current children cumulated CPU time (s) 217.98
Current children cumulated vsize (Kb) 14436

[startup+250.026 s]
Raw data (loadavg): 0.99 0.97 0.98 1/56 5087
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19780195 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 242 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) T 5084 5084 4060 0 -1 0 1845 0 0 0 21547 1122 0 0 18 0 1 0 19780202 12603392 1749 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5087/statm): 3077 1749 413 48 0 3029 0
[pid=5087] vsize: 12308
Current children cumulated CPU time (s) 226.71
Current children cumulated vsize (Kb) 14436

[startup+260.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 5087
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19780195 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 242 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5084 5084 4060 0 -1 0 1845 0 0 0 22323 1194 0 0 25 0 1 0 19780202 12603392 1749 4294967295 134512640 134702520 3221223952 3221097328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 3077 1749 413 48 0 3029 0
[pid=5087] vsize: 12308
Current children cumulated CPU time (s) 235.19
Current children cumulated vsize (Kb) 14436

[startup+270.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 5087
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19780195 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 242 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5084 5084 4060 0 -1 0 1845 0 0 0 23323 1194 0 0 25 0 1 0 19780202 12603392 1749 4294967295 134512640 134702520 3221223952 3220688988 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 3077 1749 413 48 0 3029 0
[pid=5087] vsize: 12308
Current children cumulated CPU time (s) 245.19
Current children cumulated vsize (Kb) 14436

[startup+280.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 5087
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19780195 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 242 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5084 5084 4060 0 -1 0 1845 0 0 0 24070 1283 0 0 20 0 1 0 19780202 12603392 1749 4294967295 134512640 134702520 3221223952 3221223536 134558829 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 3077 1749 413 48 0 3029 0
[pid=5087] vsize: 12308
Current children cumulated CPU time (s) 253.55
Current children cumulated vsize (Kb) 14436

[startup+290.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 5087
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19780195 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 242 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5084 5084 4060 0 -1 0 1845 0 0 0 24968 1317 0 0 25 0 1 0 19780202 12603392 1749 4294967295 134512640 134702520 3221223952 3220993168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 3077 1749 413 48 0 3029 0
[pid=5087] vsize: 12308
Current children cumulated CPU time (s) 262.87
Current children cumulated vsize (Kb) 14436

[startup+300.03 s]
Raw data (loadavg): 0.99 0.97 0.98 1/56 5087
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19780195 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 242 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) T 5084 5084 4060 0 -1 0 1845 0 0 0 25960 1320 0 0 23 0 1 0 19780202 12603392 1749 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5087/statm): 3077 1749 413 48 0 3029 0
[pid=5087] vsize: 12308
Current children cumulated CPU time (s) 272.82
Current children cumulated vsize (Kb) 14436

[startup+310.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 5087
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19780195 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 242 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5084 5084 4060 0 -1 0 1845 0 0 0 26599 1432 0 0 19 0 1 0 19780202 12603392 1749 4294967295 134512640 134702520 3221223952 3221219548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 3077 1749 413 48 0 3029 0
[pid=5087] vsize: 12308
Current children cumulated CPU time (s) 280.33
Current children cumulated vsize (Kb) 14436

[startup+320.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 5087
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19780195 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 242 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5084 5084 4060 0 -1 0 1845 0 0 0 27599 1432 0 0 25 0 1 0 19780202 12603392 1749 4294967295 134512640 134702520 3221223952 3220900208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 3077 1749 413 48 0 3029 0
[pid=5087] vsize: 12308
Current children cumulated CPU time (s) 290.33
Current children cumulated vsize (Kb) 14436

[startup+330.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 5087
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19780195 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 242 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5084 5084 4060 0 -1 0 1845 0 0 0 28514 1462 0 0 19 0 1 0 19780202 12603392 1749 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 3077 1749 413 48 0 3029 0
[pid=5087] vsize: 12308
Current children cumulated CPU time (s) 299.78
Current children cumulated vsize (Kb) 14436

[startup+340.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 5087
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19780195 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 242 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5084 5084 4060 0 -1 0 1845 0 0 0 29255 1547 0 0 25 0 1 0 19780202 12603392 1749 4294967295 134512640 134702520 3221223952 3221154428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 3077 1749 413 48 0 3029 0
[pid=5087] vsize: 12308
Current children cumulated CPU time (s) 308.04
Current children cumulated vsize (Kb) 14436

[startup+350.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 5087
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19780195 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 242 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5084 5084 4060 0 -1 0 1845 0 0 0 30255 1547 0 0 25 0 1 0 19780202 12603392 1749 4294967295 134512640 134702520 3221223952 3220814108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 3077 1749 413 48 0 3029 0
[pid=5087] vsize: 12308
Current children cumulated CPU time (s) 318.04
Current children cumulated vsize (Kb) 14436
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5087) exited with status: 2
New process pid=5088
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=5088) exited with status: 0
New process pid=5089
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+360.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1033 0 0 0 476 4 0 0 25 0 1 0 19815720 5775360 1003 4294967295 134512640 134702520 3221223712 3221043068 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5089/statm): 1410 1003 413 48 0 1362 0
[pid=5089] vsize: 5640
Current children cumulated CPU time (s) 327.98
Current children cumulated vsize (Kb) 7768

[startup+370.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1253 0 0 0 1426 21 0 0 17 0 1 0 19815720 6791168 1223 4294967295 134512640 134702520 3221223712 3221219728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5089/statm): 1658 1223 413 48 0 1610 0
[pid=5089] vsize: 6632
Current children cumulated CPU time (s) 337.65
Current children cumulated vsize (Kb) 8760

[startup+380.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1253 0 0 0 2426 21 0 0 25 0 1 0 19815720 6791168 1223 4294967295 134512640 134702520 3221223712 3220697168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5089/statm): 1658 1223 413 48 0 1610 0
[pid=5089] vsize: 6632
Current children cumulated CPU time (s) 347.65
Current children cumulated vsize (Kb) 8760

[startup+390.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1423 0 0 0 3191 95 0 0 25 0 1 0 19815720 10346496 1393 4294967295 134512640 134702520 3221223712 3221193568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5089/statm): 2526 1393 413 48 0 2478 0
[pid=5089] vsize: 10104
Current children cumulated CPU time (s) 356.04
Current children cumulated vsize (Kb) 12232

[startup+400.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1423 0 0 0 4192 95 0 0 25 0 1 0 19815720 10346496 1393 4294967295 134512640 134702520 3221223712 3220865868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5089/statm): 2526 1393 413 48 0 2478 0
[pid=5089] vsize: 10104
Current children cumulated CPU time (s) 366.05
Current children cumulated vsize (Kb) 12232

[startup+410.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1431 0 0 0 5033 147 0 0 18 0 1 0 19815720 10350592 1401 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5089/statm): 2527 1401 413 48 0 2479 0
[pid=5089] vsize: 10108
Current children cumulated CPU time (s) 374.98
Current children cumulated vsize (Kb) 12236

[startup+420.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1442 0 0 0 5921 182 0 0 25 0 1 0 19815720 10350592 1412 4294967295 134512640 134702520 3221223712 3221016608 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5089/statm): 2527 1412 413 48 0 2479 0
[pid=5089] vsize: 10108
Current children cumulated CPU time (s) 384.21
Current children cumulated vsize (Kb) 12236

[startup+430.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1442 0 0 0 6921 182 0 0 25 0 1 0 19815720 10350592 1412 4294967295 134512640 134702520 3221223712 3220441068 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5089/statm): 2527 1412 413 48 0 2479 0
[pid=5089] vsize: 10108
Current children cumulated CPU time (s) 394.21
Current children cumulated vsize (Kb) 12236

[startup+440.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1447 0 0 0 7638 270 0 0 25 0 1 0 19815720 10469376 1417 4294967295 134512640 134702520 3221223712 3221166208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5089/statm): 2556 1417 413 48 0 2508 0
[pid=5089] vsize: 10224
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (Kb) 12352

[startup+450.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1447 0 0 0 8638 270 0 0 25 0 1 0 19815720 10469376 1417 4294967295 134512640 134702520 3221223712 3220833248 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5089/statm): 2556 1417 413 48 0 2508 0
[pid=5089] vsize: 10224
Current children cumulated CPU time (s) 412.26
Current children cumulated vsize (Kb) 12352

[startup+460.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1453 0 0 0 9436 336 0 0 17 0 1 0 19815720 10469376 1423 4294967295 134512640 134702520 3221223712 3221223112 134606956 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5089/statm): 2556 1423 413 48 0 2508 0
[pid=5089] vsize: 10224
Current children cumulated CPU time (s) 420.9
Current children cumulated vsize (Kb) 12352

[startup+470.046 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1456 0 0 0 10281 388 0 0 25 0 1 0 19815720 10469376 1426 4294967295 134512640 134702520 3221223712 3221022508 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5089/statm): 2556 1426 413 48 0 2508 0
[pid=5089] vsize: 10224
Current children cumulated CPU time (s) 429.87
Current children cumulated vsize (Kb) 12352

[startup+480.046 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1456 0 0 0 11281 388 0 0 25 0 1 0 19815720 10469376 1426 4294967295 134512640 134702520 3221223712 3220470028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5089/statm): 2556 1426 413 48 0 2508 0
[pid=5089] vsize: 10224
Current children cumulated CPU time (s) 439.87
Current children cumulated vsize (Kb) 12352

[startup+490.048 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1520 0 0 0 11855 527 0 0 17 0 1 0 19815720 10698752 1490 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5089/statm): 2612 1490 413 48 0 2564 0
[pid=5089] vsize: 10448
Current children cumulated CPU time (s) 447
Current children cumulated vsize (Kb) 12576

[startup+500.049 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1520 0 0 0 12782 551 0 0 25 0 1 0 19815720 10698752 1490 4294967295 134512640 134702520 3221223712 3220962688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5089/statm): 2612 1490 413 48 0 2564 0
[pid=5089] vsize: 10448
Current children cumulated CPU time (s) 456.51
Current children cumulated vsize (Kb) 12576

[startup+510.05 s]
Raw data (loadavg): 0.99 0.97 0.98 1/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) T 5084 5084 4060 0 -1 0 1520 0 0 0 13732 568 0 0 18 0 1 0 19815720 10698752 1490 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5089/statm): 2612 1490 413 48 0 2564 0
[pid=5089] vsize: 10448
Current children cumulated CPU time (s) 466.18
Current children cumulated vsize (Kb) 12576

[startup+520.052 s]
Raw data (loadavg): 1.07 0.99 0.98 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1585 0 0 0 14431 668 0 0 25 0 1 0 19815720 10698752 1555 4294967295 134512640 134702520 3221223712 3221136608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5089/statm): 2612 1555 413 48 0 2564 0
[pid=5089] vsize: 10448
Current children cumulated CPU time (s) 474.17
Current children cumulated vsize (Kb) 12576

[startup+530.052 s]
Raw data (loadavg): 1.06 0.99 0.98 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1585 0 0 0 15431 668 0 0 25 0 1 0 19815720 10698752 1555 4294967295 134512640 134702520 3221223712 3220793888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5089/statm): 2612 1555 413 48 0 2564 0
[pid=5089] vsize: 10448
Current children cumulated CPU time (s) 484.17
Current children cumulated vsize (Kb) 12576

[startup+540.053 s]
Raw data (loadavg): 1.13 1.00 0.99 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1585 0 0 0 16193 742 0 0 18 0 1 0 19815720 10698752 1555 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5089/statm): 2612 1555 413 48 0 2564 0
[pid=5089] vsize: 10448
Current children cumulated CPU time (s) 492.53
Current children cumulated vsize (Kb) 12576

[startup+550.055 s]
Raw data (loadavg): 1.11 1.00 0.99 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1585 0 0 0 16902 838 0 0 25 0 1 0 19815720 10698752 1555 4294967295 134512640 134702520 3221223712 3221135808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5089/statm): 2612 1555 413 48 0 2564 0
[pid=5089] vsize: 10448
Current children cumulated CPU time (s) 500.58
Current children cumulated vsize (Kb) 12576

[startup+560.056 s]
Raw data (loadavg): 1.09 1.00 0.99 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1585 0 0 0 17902 838 0 0 25 0 1 0 19815720 10698752 1555 4294967295 134512640 134702520 3221223712 3220792748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5089/statm): 2612 1555 413 48 0 2564 0
[pid=5089] vsize: 10448
Current children cumulated CPU time (s) 510.58
Current children cumulated vsize (Kb) 12576

[startup+570.057 s]
Raw data (loadavg): 1.08 1.00 0.99 1/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) T 5084 5084 4060 0 -1 0 1585 0 0 0 18669 908 0 0 18 0 1 0 19815720 10698752 1555 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5089/statm): 2612 1555 413 48 0 2564 0
[pid=5089] vsize: 10448
Current children cumulated CPU time (s) 518.95
Current children cumulated vsize (Kb) 12576

[startup+580.057 s]
Raw data (loadavg): 1.06 1.00 0.99 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1585 0 0 0 19557 946 0 0 25 0 1 0 19815720 10698752 1555 4294967295 134512640 134702520 3221223712 3221012608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5089/statm): 2612 1555 413 48 0 2564 0
[pid=5089] vsize: 10448
Current children cumulated CPU time (s) 528.21
Current children cumulated vsize (Kb) 12576

[startup+590.059 s]
Raw data (loadavg): 1.05 1.00 0.99 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1585 0 0 0 20557 946 0 0 25 0 1 0 19815720 10698752 1555 4294967295 134512640 134702520 3221223712 3220415008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5089/statm): 2612 1555 413 48 0 2564 0
[pid=5089] vsize: 10448
Current children cumulated CPU time (s) 538.21
Current children cumulated vsize (Kb) 12576

[startup+600.06 s]
Raw data (loadavg): 1.04 1.00 0.99 1/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) T 5084 5084 4060 0 -1 0 1585 0 0 0 21128 1084 0 0 17 0 1 0 19815720 10698752 1555 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5089/statm): 2612 1555 413 48 0 2564 0
[pid=5089] vsize: 10448
Current children cumulated CPU time (s) 545.3
Current children cumulated vsize (Kb) 12576

[startup+610.061 s]
Raw data (loadavg): 1.04 1.00 0.99 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1585 0 0 0 22098 1096 0 0 25 0 1 0 19815720 10698752 1555 4294967295 134512640 134702520 3221223712 3220932608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5089/statm): 2612 1555 413 48 0 2564 0
[pid=5089] vsize: 10448
Current children cumulated CPU time (s) 555.12
Current children cumulated vsize (Kb) 12576

[startup+620.063 s]
Raw data (loadavg): 1.03 1.00 0.99 1/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) T 5084 5084 4060 0 -1 0 1585 0 0 0 23026 1121 0 0 17 0 1 0 19815720 10698752 1555 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5089/statm): 2612 1555 413 48 0 2564 0
[pid=5089] vsize: 10448
Current children cumulated CPU time (s) 564.65
Current children cumulated vsize (Kb) 12576

[startup+630.063 s]
Raw data (loadavg): 1.10 1.02 0.99 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1585 0 0 0 23802 1191 0 0 25 0 1 0 19815720 10698752 1555 4294967295 134512640 134702520 3221223712 3221088588 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5089/statm): 2612 1555 413 48 0 2564 0
[pid=5089] vsize: 10448
Current children cumulated CPU time (s) 573.11
Current children cumulated vsize (Kb) 12576

[startup+640.064 s]
Raw data (loadavg): 1.08 1.02 0.99 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1585 0 0 0 24802 1191 0 0 25 0 1 0 19815720 10698752 1555 4294967295 134512640 134702520 3221223712 3220675488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5089/statm): 2612 1555 413 48 0 2564 0
[pid=5089] vsize: 10448
Current children cumulated CPU time (s) 583.11
Current children cumulated vsize (Kb) 12576

[startup+650.065 s]
Raw data (loadavg): 1.07 1.01 0.99 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1585 0 0 0 25608 1252 0 0 25 0 1 0 19815720 10698752 1555 4294967295 134512640 134702520 3221223712 3221173228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5089/statm): 2612 1555 413 48 0 2564 0
[pid=5089] vsize: 10448
Current children cumulated CPU time (s) 591.78
Current children cumulated vsize (Kb) 12576

[startup+660.066 s]
Raw data (loadavg): 1.06 1.01 0.99 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1585 0 0 0 26608 1252 0 0 25 0 1 0 19815720 10698752 1555 4294967295 134512640 134702520 3221223712 3220843328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5089/statm): 2612 1555 413 48 0 2564 0
[pid=5089] vsize: 10448
Current children cumulated CPU time (s) 601.78
Current children cumulated vsize (Kb) 12576

[startup+670.066 s]
Raw data (loadavg): 1.05 1.01 0.99 1/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) T 5084 5084 4060 0 -1 0 1611 0 0 0 27464 1300 0 0 19 0 1 0 19815720 10702848 1581 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5089/statm): 2613 1581 413 48 0 2565 0
[pid=5089] vsize: 10452
Current children cumulated CPU time (s) 610.82
Current children cumulated vsize (Kb) 12580

[startup+680.067 s]
Raw data (loadavg): 1.04 1.01 0.99 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1621 0 0 0 28413 1316 0 0 25 0 1 0 19815720 10702848 1591 4294967295 134512640 134702520 3221223712 3220957708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5089/statm): 2613 1591 413 48 0 2565 0
[pid=5089] vsize: 10452
Current children cumulated CPU time (s) 620.47
Current children cumulated vsize (Kb) 12580

[startup+690.069 s]
Raw data (loadavg): 1.04 1.01 0.99 1/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) T 5084 5084 4060 0 -1 0 1622 0 0 0 29368 1332 0 0 17 0 1 0 19815720 10702848 1592 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5089/statm): 2613 1592 413 48 0 2565 0
[pid=5089] vsize: 10452
Current children cumulated CPU time (s) 630.18
Current children cumulated vsize (Kb) 12580

[startup+700.07 s]
Raw data (loadavg): 1.03 1.01 0.99 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1622 0 0 0 30124 1410 0 0 25 0 1 0 19815720 10702848 1592 4294967295 134512640 134702520 3221223712 3221094028 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5089/statm): 2613 1592 413 48 0 2565 0
[pid=5089] vsize: 10452
Current children cumulated CPU time (s) 638.52
Current children cumulated vsize (Kb) 12580

[startup+710.07 s]
Raw data (loadavg): 1.02 1.01 0.99 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1622 0 0 0 31124 1410 0 0 25 0 1 0 19815720 10702848 1592 4294967295 134512640 134702520 3221223712 3220698688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5089/statm): 2613 1592 413 48 0 2565 0
[pid=5089] vsize: 10452
Current children cumulated CPU time (s) 648.52
Current children cumulated vsize (Kb) 12580

[startup+720.07 s]
Raw data (loadavg): 1.02 1.01 0.99 1/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) T 5084 5084 4060 0 -1 0 1626 0 0 0 31893 1487 0 0 24 0 1 0 19815720 10702848 1596 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5089/statm): 2613 1596 413 48 0 2565 0
[pid=5089] vsize: 10452
Current children cumulated CPU time (s) 656.98
Current children cumulated vsize (Kb) 12580

[startup+730.072 s]
Raw data (loadavg): 1.02 1.01 0.99 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1641 0 0 0 32629 1575 0 0 25 0 1 0 19815720 10702848 1611 4294967295 134512640 134702520 3221223712 3221122848 134611982 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5089/statm): 2613 1611 413 48 0 2565 0
[pid=5089] vsize: 10452
Current children cumulated CPU time (s) 665.22
Current children cumulated vsize (Kb) 12580

[startup+740.073 s]
Raw data (loadavg): 1.01 1.01 0.99 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1641 0 0 0 33629 1575 0 0 25 0 1 0 19815720 10702848 1611 4294967295 134512640 134702520 3221223712 3220767788 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5089/statm): 2613 1611 413 48 0 2565 0
[pid=5089] vsize: 10452
Current children cumulated CPU time (s) 675.22
Current children cumulated vsize (Kb) 12580

[startup+750.074 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1663 0 0 0 34521 1609 0 0 25 0 1 0 19815720 10805248 1633 4294967295 134512640 134702520 3221223712 3221179808 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5089/statm): 2638 1633 413 48 0 2590 0
[pid=5089] vsize: 10552
Current children cumulated CPU time (s) 684.48
Current children cumulated vsize (Kb) 12680

[startup+760.075 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1663 0 0 0 35521 1609 0 0 25 0 1 0 19815720 10805248 1633 4294967295 134512640 134702520 3221223712 3220852108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5089/statm): 2638 1633 413 48 0 2590 0
[pid=5089] vsize: 10552
Current children cumulated CPU time (s) 694.48
Current children cumulated vsize (Kb) 12680

[startup+770.075 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1877 0 0 0 36422 1641 0 0 21 0 1 0 19815720 10805248 1847 4294967295 134512640 134702520 3221223712 3221222992 134553354 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5089/statm): 2638 1847 413 48 0 2590 0
[pid=5089] vsize: 10552
Current children cumulated CPU time (s) 703.81
Current children cumulated vsize (Kb) 12680

[startup+780.076 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1893 0 0 0 37334 1668 0 0 25 0 1 0 19815720 11190272 1863 4294967295 134512640 134702520 3221223712 3221018208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5089/statm): 2732 1863 413 48 0 2684 0
[pid=5089] vsize: 10928
Current children cumulated CPU time (s) 713.2
Current children cumulated vsize (Kb) 13056

[startup+790.078 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1893 0 0 0 38334 1668 0 0 25 0 1 0 19815720 11190272 1863 4294967295 134512640 134702520 3221223712 3220466688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5089/statm): 2732 1863 413 48 0 2684 0
[pid=5089] vsize: 10928
Current children cumulated CPU time (s) 723.2
Current children cumulated vsize (Kb) 13056

[startup+800.079 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1913 0 0 0 39143 1728 0 0 25 0 1 0 19815720 11304960 1883 4294967295 134512640 134702520 3221223712 3221160128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5089/statm): 2760 1883 413 48 0 2712 0
[pid=5089] vsize: 11040
Current children cumulated CPU time (s) 731.89
Current children cumulated vsize (Kb) 13168

[startup+810.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1913 0 0 0 40143 1728 0 0 25 0 1 0 19815720 11304960 1883 4294967295 134512640 134702520 3221223712 3220826028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5089/statm): 2760 1883 413 48 0 2712 0
[pid=5089] vsize: 11040
Current children cumulated CPU time (s) 741.89
Current children cumulated vsize (Kb) 13168

[startup+820.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1932 0 0 0 41093 1745 0 0 25 0 1 0 19815720 11382784 1902 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5089/statm): 2779 1902 413 48 0 2731 0
[pid=5089] vsize: 11116
Current children cumulated CPU time (s) 751.56
Current children cumulated vsize (Kb) 13244

[startup+830.081 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1958 0 0 0 42023 1766 0 0 25 0 1 0 19815720 11382784 1928 4294967295 134512640 134702520 3221223712 3221061068 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5089/statm): 2779 1928 413 48 0 2731 0
[pid=5089] vsize: 11116
Current children cumulated CPU time (s) 761.07
Current children cumulated vsize (Kb) 13244

[startup+840.082 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5089
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 378 2220 0 0 1 1 30765 1551 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5089/stat): 5089 (vallst) R 5084 5084 4060 0 -1 0 1958 0 0 0 43023 1766 0 0 25 0 1 0 19815720 11382784 1928 4294967295 134512640 134702520 3221223712 3220616268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5089/statm): 2779 1928 413 48 0 2731 0
[pid=5089] vsize: 11116
Current children cumulated CPU time (s) 771.07
Current children cumulated vsize (Kb) 13244
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5089) exited with status: 2
New process pid=5090
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=5090) exited with status: 0
New process pid=5091
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+850.083 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1077 0 0 0 730 3 0 0 25 0 1 0 19864479 6094848 1048 4294967295 134512640 134702520 3221223712 3220921328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5091/statm): 1488 1048 413 48 0 1440 0
[pid=5091] vsize: 5952
Current children cumulated CPU time (s) 781.03
Current children cumulated vsize (Kb) 8080

[startup+860.083 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1271 0 0 0 1679 20 0 0 25 0 1 0 19864479 6815744 1242 4294967295 134512640 134702520 3221223712 3220993008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5091/statm): 1664 1242 413 48 0 1616 0
[pid=5091] vsize: 6656
Current children cumulated CPU time (s) 790.69
Current children cumulated vsize (Kb) 8784

[startup+870.085 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1500 0 0 0 2464 89 0 0 18 0 1 0 19864479 10715136 1471 4294967295 134512640 134702520 3221223712 3221222992 134552270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5091/statm): 2616 1471 413 48 0 2568 0
[pid=5091] vsize: 10464
Current children cumulated CPU time (s) 799.23
Current children cumulated vsize (Kb) 12592

[startup+880.086 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1500 0 0 0 3461 91 0 0 25 0 1 0 19864479 10715136 1471 4294967295 134512640 134702520 3221223712 3220911968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5091/statm): 2616 1471 413 48 0 2568 0
[pid=5091] vsize: 10464
Current children cumulated CPU time (s) 809.22
Current children cumulated vsize (Kb) 12592

[startup+890.087 s]
Raw data (loadavg): 1.00 1.00 0.99 1/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) T 5084 5084 4060 0 -1 0 1500 0 0 0 4363 124 0 0 18 0 1 0 19864479 10715136 1471 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5091/statm): 2616 1471 413 48 0 2568 0
[pid=5091] vsize: 10464
Current children cumulated CPU time (s) 818.57
Current children cumulated vsize (Kb) 12592

[startup+900.088 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1502 0 0 0 5246 159 0 0 25 0 1 0 19864479 10715136 1473 4294967295 134512640 134702520 3221223712 3221004108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5091/statm): 2616 1473 413 48 0 2568 0
[pid=5091] vsize: 10464
Current children cumulated CPU time (s) 827.75
Current children cumulated vsize (Kb) 12592

[startup+910.088 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1502 0 0 0 6246 159 0 0 25 0 1 0 19864479 10715136 1473 4294967295 134512640 134702520 3221223712 3220360588 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5091/statm): 2616 1473 413 48 0 2568 0
[pid=5091] vsize: 10464
Current children cumulated CPU time (s) 837.75
Current children cumulated vsize (Kb) 12592

[startup+920.089 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1534 0 0 0 6998 240 0 0 25 0 1 0 19864479 10715136 1505 4294967295 134512640 134702520 3221223712 3221114048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5091/statm): 2616 1505 413 48 0 2568 0
[pid=5091] vsize: 10464
Current children cumulated CPU time (s) 846.08
Current children cumulated vsize (Kb) 12592

[startup+930.09 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1534 0 0 0 7998 240 0 0 25 0 1 0 19864479 10715136 1505 4294967295 134512640 134702520 3221223712 3220750688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5091/statm): 2616 1505 413 48 0 2568 0
[pid=5091] vsize: 10464
Current children cumulated CPU time (s) 856.08
Current children cumulated vsize (Kb) 12592

[startup+940.091 s]
Raw data (loadavg): 1.00 1.00 0.99 1/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) T 5084 5084 4060 0 -1 0 1535 0 0 0 8722 329 0 0 17 0 1 0 19864479 10719232 1506 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5091/statm): 2617 1506 413 48 0 2569 0
[pid=5091] vsize: 10468
Current children cumulated CPU time (s) 864.21
Current children cumulated vsize (Kb) 12596

[startup+950.091 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1535 0 0 0 9578 376 0 0 25 0 1 0 19864479 10719232 1506 4294967295 134512640 134702520 3221223712 3221019648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5091/statm): 2617 1506 413 48 0 2569 0
[pid=5091] vsize: 10468
Current children cumulated CPU time (s) 873.24
Current children cumulated vsize (Kb) 12596

[startup+960.092 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1535 0 0 0 10578 376 0 0 25 0 1 0 19864479 10719232 1506 4294967295 134512640 134702520 3221223712 3220480588 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5091/statm): 2617 1506 413 48 0 2569 0
[pid=5091] vsize: 10468
Current children cumulated CPU time (s) 883.24
Current children cumulated vsize (Kb) 12596

[startup+970.094 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1535 0 0 0 11255 481 0 0 25 0 1 0 19864479 10719232 1506 4294967295 134512640 134702520 3221223712 3221176108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5091/statm): 2617 1506 413 48 0 2569 0
[pid=5091] vsize: 10468
Current children cumulated CPU time (s) 891.06
Current children cumulated vsize (Kb) 12596

[startup+980.095 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1535 0 0 0 12255 481 0 0 25 0 1 0 19864479 10719232 1506 4294967295 134512640 134702520 3221223712 3220847468 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5091/statm): 2617 1506 413 48 0 2569 0
[pid=5091] vsize: 10468
Current children cumulated CPU time (s) 901.06
Current children cumulated vsize (Kb) 12596

[startup+990.096 s]
Raw data (loadavg): 1.04 1.01 1.00 1/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) T 5084 5084 4060 0 -1 0 1536 0 0 0 13087 537 0 0 17 0 1 0 19864479 10805248 1507 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5091/statm): 2638 1507 413 48 0 2590 0
[pid=5091] vsize: 10552
Current children cumulated CPU time (s) 909.94
Current children cumulated vsize (Kb) 12680

[startup+1000.1 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1549 0 0 0 14056 548 0 0 25 0 1 0 19864479 10805248 1520 4294967295 134512640 134702520 3221223712 3220949568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5091/statm): 2638 1520 413 48 0 2590 0
[pid=5091] vsize: 10552
Current children cumulated CPU time (s) 919.74
Current children cumulated vsize (Kb) 12680

[startup+1010.1 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) T 5084 5084 4060 0 -1 0 1550 0 0 0 15007 563 0 0 18 0 1 0 19864479 10805248 1521 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5091/statm): 2638 1521 413 48 0 2590 0
[pid=5091] vsize: 10552
Current children cumulated CPU time (s) 929.4
Current children cumulated vsize (Kb) 12680

[startup+1020.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1556 0 0 0 15756 643 0 0 25 0 1 0 19864479 10805248 1527 4294967295 134512640 134702520 3221223712 3221095488 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5091/statm): 2638 1527 413 48 0 2590 0
[pid=5091] vsize: 10552
Current children cumulated CPU time (s) 937.69
Current children cumulated vsize (Kb) 12680

[startup+1030.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1556 0 0 0 16756 643 0 0 25 0 1 0 19864479 10805248 1527 4294967295 134512640 134702520 3221223712 3220699148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5091/statm): 2638 1527 413 48 0 2590 0
[pid=5091] vsize: 10552
Current children cumulated CPU time (s) 947.69
Current children cumulated vsize (Kb) 12680

[startup+1040.1 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1566 0 0 0 17584 700 0 0 25 0 1 0 19864479 10805248 1537 4294967295 134512640 134702520 3221223712 3221150992 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5091/statm): 2638 1537 413 48 0 2590 0
[pid=5091] vsize: 10552
Current children cumulated CPU time (s) 956.54
Current children cumulated vsize (Kb) 12680

[startup+1050.1 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1566 0 0 0 18584 700 0 0 25 0 1 0 19864479 10805248 1537 4294967295 134512640 134702520 3221223712 3220814048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5091/statm): 2638 1537 413 48 0 2590 0
[pid=5091] vsize: 10552
Current children cumulated CPU time (s) 966.54
Current children cumulated vsize (Kb) 12680

[startup+1060.1 s]
Raw data (loadavg): 1.09 1.02 1.01 1/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) T 5084 5084 4060 0 -1 0 1570 0 0 0 19361 771 0 0 17 0 1 0 19864479 10915840 1541 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5091/statm): 2665 1541 413 48 0 2617 0
[pid=5091] vsize: 10660
Current children cumulated CPU time (s) 975.02
Current children cumulated vsize (Kb) 12788

[startup+1070.1 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1573 0 0 0 20098 858 0 0 25 0 1 0 19864479 10915840 1544 4294967295 134512640 134702520 3221223712 3221097548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5091/statm): 2665 1544 413 48 0 2617 0
[pid=5091] vsize: 10660
Current children cumulated CPU time (s) 983.26
Current children cumulated vsize (Kb) 12788

[startup+1080.1 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1573 0 0 0 21098 858 0 0 25 0 1 0 19864479 10915840 1544 4294967295 134512640 134702520 3221223712 3220707008 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5091/statm): 2665 1544 413 48 0 2617 0
[pid=5091] vsize: 10660
Current children cumulated CPU time (s) 993.26
Current children cumulated vsize (Kb) 12788

[startup+1090.11 s]
Raw data (loadavg): 1.05 1.02 1.00 1/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) T 5084 5084 4060 0 -1 0 1577 0 0 0 21858 937 0 0 18 0 1 0 19864479 10915840 1548 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5091/statm): 2665 1548 413 48 0 2617 0
[pid=5091] vsize: 10660
Current children cumulated CPU time (s) 1001.65
Current children cumulated vsize (Kb) 12788

[startup+1100.11 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1580 0 0 0 22660 1003 0 0 25 0 1 0 19864479 10915840 1551 4294967295 134512640 134702520 3221223712 3221061388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5091/statm): 2665 1551 413 48 0 2617 0
[pid=5091] vsize: 10660
Current children cumulated CPU time (s) 1010.33
Current children cumulated vsize (Kb) 12788

[startup+1110.11 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1580 0 0 0 23660 1003 0 0 25 0 1 0 19864479 10915840 1551 4294967295 134512640 134702520 3221223712 3220607168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5091/statm): 2665 1551 413 48 0 2617 0
[pid=5091] vsize: 10660
Current children cumulated CPU time (s) 1020.33
Current children cumulated vsize (Kb) 12788

[startup+1120.11 s]
Raw data (loadavg): 1.10 1.03 1.00 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1586 0 0 0 24303 1118 0 0 18 0 1 0 19864479 10915840 1557 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5091/statm): 2665 1557 413 48 0 2617 0
[pid=5091] vsize: 10660
Current children cumulated CPU time (s) 1027.91
Current children cumulated vsize (Kb) 12788

[startup+1130.11 s]
Raw data (loadavg): 1.09 1.03 1.00 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1587 0 0 0 25299 1120 0 0 25 0 1 0 19864479 10915840 1558 4294967295 134512640 134702520 3221223712 3220921068 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5091/statm): 2665 1558 413 48 0 2617 0
[pid=5091] vsize: 10660
Current children cumulated CPU time (s) 1037.89
Current children cumulated vsize (Kb) 12788

[startup+1140.11 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) T 5084 5084 4060 0 -1 0 1590 0 0 0 26230 1143 0 0 18 0 1 0 19864479 11001856 1561 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5091/statm): 2686 1561 413 48 0 2638 0
[pid=5091] vsize: 10744
Current children cumulated CPU time (s) 1047.43
Current children cumulated vsize (Kb) 12872

[startup+1150.11 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1594 0 0 0 27040 1202 0 0 25 0 1 0 19864479 11001856 1565 4294967295 134512640 134702520 3221223712 3221058688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5091/statm): 2686 1565 413 48 0 2638 0
[pid=5091] vsize: 10744
Current children cumulated CPU time (s) 1056.12
Current children cumulated vsize (Kb) 12872

[startup+1160.11 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1594 0 0 0 28040 1202 0 0 25 0 1 0 19864479 11001856 1565 4294967295 134512640 134702520 3221223712 3220599148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5091/statm): 2686 1565 413 48 0 2638 0
[pid=5091] vsize: 10744
Current children cumulated CPU time (s) 1066.12
Current children cumulated vsize (Kb) 12872

[startup+1170.11 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1597 0 0 0 28830 1273 0 0 25 0 1 0 19864479 11001856 1568 4294967295 134512640 134702520 3221223712 3221139968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5091/statm): 2686 1568 413 48 0 2638 0
[pid=5091] vsize: 10744
Current children cumulated CPU time (s) 1074.73
Current children cumulated vsize (Kb) 12872

[startup+1180.11 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1597 0 0 0 29830 1273 0 0 25 0 1 0 19864479 11001856 1568 4294967295 134512640 134702520 3221223712 3220795148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5091/statm): 2686 1568 413 48 0 2638 0
[pid=5091] vsize: 10744
Current children cumulated CPU time (s) 1084.73
Current children cumulated vsize (Kb) 12872

[startup+1190.11 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1602 0 0 0 30713 1312 0 0 25 0 1 0 19864479 11001856 1573 4294967295 134512640 134702520 3221223712 3221165888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5091/statm): 2686 1573 413 48 0 2638 0
[pid=5091] vsize: 10744
Current children cumulated CPU time (s) 1093.95
Current children cumulated vsize (Kb) 12872

[startup+1200.11 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1602 0 0 0 31713 1312 0 0 25 0 1 0 19864479 11001856 1573 4294967295 134512640 134702520 3221223712 3220833888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5091/statm): 2686 1573 413 48 0 2638 0
[pid=5091] vsize: 10744
Current children cumulated CPU time (s) 1103.95
Current children cumulated vsize (Kb) 12872

[startup+1210.11 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1623 0 0 0 32559 1362 0 0 20 0 1 0 19864479 11001856 1594 4294967295 134512640 134702520 3221223712 3221215488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5091/statm): 2686 1594 413 48 0 2638 0
[pid=5091] vsize: 10744
Current children cumulated CPU time (s) 1112.91
Current children cumulated vsize (Kb) 12872

[startup+1220.11 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1623 0 0 0 33560 1362 0 0 25 0 1 0 19864479 11001856 1594 4294967295 134512640 134702520 3221223712 3220899308 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5091/statm): 2686 1594 413 48 0 2638 0
[pid=5091] vsize: 10744
Current children cumulated CPU time (s) 1122.92
Current children cumulated vsize (Kb) 12872

[startup+1230.12 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) T 5084 5084 4060 0 -1 0 1626 0 0 0 34464 1391 0 0 19 0 1 0 19864479 11104256 1597 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5091/statm): 2711 1597 413 48 0 2663 0
[pid=5091] vsize: 10844
Current children cumulated CPU time (s) 1132.25
Current children cumulated vsize (Kb) 12972

[startup+1240.12 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1830 0 0 0 35317 1437 0 0 25 0 1 0 19864479 11104256 1801 4294967295 134512640 134702520 3221223712 3221162848 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5091/statm): 2711 1801 413 48 0 2663 0
[pid=5091] vsize: 10844
Current children cumulated CPU time (s) 1141.24
Current children cumulated vsize (Kb) 12972

[startup+1250.12 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1830 0 0 0 36317 1437 0 0 25 0 1 0 19864479 11104256 1801 4294967295 134512640 134702520 3221223712 3220826208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5091/statm): 2711 1801 413 48 0 2663 0
[pid=5091] vsize: 10844
Current children cumulated CPU time (s) 1151.24
Current children cumulated vsize (Kb) 12972

[startup+1260.12 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1836 0 0 0 37189 1476 0 0 24 0 1 0 19864479 11108352 1807 4294967295 134512640 134702520 3221223712 3221203788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5091/statm): 2712 1807 413 48 0 2664 0
[pid=5091] vsize: 10848
Current children cumulated CPU time (s) 1160.35
Current children cumulated vsize (Kb) 12976

[startup+1270.12 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1836 0 0 0 38190 1476 0 0 25 0 1 0 19864479 11108352 1807 4294967295 134512640 134702520 3221223712 3220880112 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5091/statm): 2712 1807 413 48 0 2664 0
[pid=5091] vsize: 10848
Current children cumulated CPU time (s) 1170.36
Current children cumulated vsize (Kb) 12976

[startup+1280.12 s]
Raw data (loadavg): 1.08 1.03 1.01 1/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) T 5084 5084 4060 0 -1 0 1840 0 0 0 39077 1516 0 0 19 0 1 0 19864479 11194368 1811 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5091/statm): 2733 1811 413 48 0 2685 0
[pid=5091] vsize: 10932
Current children cumulated CPU time (s) 1179.63
Current children cumulated vsize (Kb) 13060

[startup+1290.12 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1842 0 0 0 39961 1555 0 0 25 0 1 0 19864479 11194368 1813 4294967295 134512640 134702520 3221223712 3221005408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5091/statm): 2733 1813 413 48 0 2685 0
[pid=5091] vsize: 10932
Current children cumulated CPU time (s) 1188.86
Current children cumulated vsize (Kb) 13060

[startup+1300.12 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1842 0 0 0 40961 1555 0 0 25 0 1 0 19864479 11194368 1813 4294967295 134512640 134702520 3221223712 3220405228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5091/statm): 2733 1813 413 48 0 2685 0
[pid=5091] vsize: 10932
Current children cumulated CPU time (s) 1198.86
Current children cumulated vsize (Kb) 13060

[startup+1310.12 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1851 0 0 0 41728 1630 0 0 25 0 1 0 19864479 11194368 1822 4294967295 134512640 134702520 3221223712 3221105068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5091/statm): 2733 1822 413 48 0 2685 0
[pid=5091] vsize: 10932
Current children cumulated CPU time (s) 1207.28
Current children cumulated vsize (Kb) 13060



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1310.12 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 5091
Raw data (/proc/5084/stat): 5084 (vallstSAT2005PB) S 5083 5084 4060 0 -1 0 417 4323 0 0 2 1 74047 3320 19 0 1 0 19780195 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5084/statm): 532 248 485 147 0 385 0
[pid=5084] vsize: 2128
Raw data (/proc/5091/stat): 5091 (vallst) R 5084 5084 4060 0 -1 0 1851 0 0 0 41729 1630 0 0 25 0 1 0 19864479 11194368 1822 4294967295 134512640 134702520 3221223712 3221104908 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5091/statm): 2733 1822 413 48 0 2685 0
[pid=5091] vsize: 10932
Current children cumulated CPU time (s) 1207.29
Current children cumulated vsize (Kb) 13060

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

Verifier Data

ERROR: no interpretation found !