Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-gen.opb
MD5SUM56b5875081183b5ab8f7e29cbac05646
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 8814
Biggest coefficient in the objective function 3375324200960
Number of bits for the biggest coefficient in the objective function 42
Sum of the numbers in the objective function 2061624536571104
Number of bits of the sum of numbers in the objective function 51
Biggest number in a constraint 3375324200960
Number of bits of the biggest number in a constraint 42
Biggest sum of numbers in a constraint 2061624536571104
Number of bits of the biggest sum of numbers51
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables12846
Total number of constraints1074
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)144
Number of constraints which are nor clauses,nor cardinality constraints930
Minimum length of a constraint1
Maximum length of a constraint192

Trace number 9207

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        947380 kB
Buffers:          9660 kB
Cached:          60516 kB
SwapCached:          0 kB
Active:          44648 kB
Inactive:        28440 kB
HighTotal:      131008 kB
HighFree:        66528 kB
LowTotal:       903652 kB
LowFree:        880852 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              12 kB
Writeback:           0 kB
Mapped:           6968 kB
Slab:             8676 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 11:47:05 (client local time) WITH STATUS 0 IN 891.962 SECONDS
stats: 7929 7 891.962 0

Solver Data

1:
seed: 0
Nr of vars set: 3336  (#equs: 0)
Nr of vars set: 5153  (#equs: 10)
#decisions: 630983;  #end-nodes: 49584;
#proof improvement attempts: 0;  #restarts: 384
Current batch, end-nodes: 0 / 175 (175)
#axs: 987, #non-axs: 45
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 5153  (#equs: 10)
Time taken: 5 min, 11 sec

2:

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) R 4853 4854 4061 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19814903 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4854/statm): 174 3 169 147 0 27 0
[pid=4854] 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=4855
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=4855) exited with status: 0
New process pid=4856
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=4856) exited with status: 0
New process pid=4857
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-gen.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0031 s]
Raw data (loadavg): 0.95 1.05 1.06 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1208 0 0 0 949 17 0 0 25 0 1 0 19814910 5844992 1043 4294967295 134512640 134702520 3221223952 3221126208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 1427 1043 413 48 0 1379 0
[pid=4857] vsize: 5708
Current children cumulated CPU time (s) 9.68
Current children cumulated vsize (Kb) 7836

[startup+20.0047 s]
Raw data (loadavg): 0.96 1.04 1.06 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1264 0 0 0 1844 51 0 0 23 0 1 0 19814910 8384512 1099 4294967295 134512640 134702520 3221223952 3221145968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2047 1099 413 48 0 1999 0
[pid=4857] vsize: 8188
Current children cumulated CPU time (s) 18.97
Current children cumulated vsize (Kb) 10316

[startup+30.0052 s]
Raw data (loadavg): 0.97 1.04 1.06 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1269 0 0 0 2742 84 0 0 25 0 1 0 19814910 8384512 1104 4294967295 134512640 134702520 3221223952 3220913152 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2047 1104 413 48 0 1999 0
[pid=4857] vsize: 8188
Current children cumulated CPU time (s) 28.28
Current children cumulated vsize (Kb) 10316

[startup+40.0048 s]
Raw data (loadavg): 0.97 1.04 1.06 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1306 0 0 0 3640 115 0 0 25 0 1 0 19814910 8531968 1141 4294967295 134512640 134702520 3221223952 3221045648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4857/statm): 2083 1141 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 37.57
Current children cumulated vsize (Kb) 10460

[startup+50.0054 s]
Raw data (loadavg): 0.98 1.04 1.06 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1307 0 0 0 4537 148 0 0 25 0 1 0 19814910 8531968 1142 4294967295 134512640 134702520 3221223952 3221159868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1142 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 46.87
Current children cumulated vsize (Kb) 10460

[startup+60.0059 s]
Raw data (loadavg): 0.98 1.04 1.06 1/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) T 4854 4854 4061 0 -1 0 1308 0 0 0 5487 163 0 0 17 0 1 0 19814910 8531968 1143 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1143 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 56.52
Current children cumulated vsize (Kb) 10460

[startup+70.0075 s]
Raw data (loadavg): 0.98 1.03 1.06 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1310 0 0 0 6439 179 0 0 25 0 1 0 19814910 8531968 1145 4294967295 134512640 134702520 3221223952 3220698128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1145 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 66.2
Current children cumulated vsize (Kb) 10460

[startup+80.0081 s]
Raw data (loadavg): 0.98 1.03 1.06 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1310 0 0 0 7331 215 0 0 25 0 1 0 19814910 8531968 1145 4294967295 134512640 134702520 3221223952 3220883728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4857/statm): 2083 1145 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 75.48
Current children cumulated vsize (Kb) 10460

[startup+90.0086 s]
Raw data (loadavg): 0.99 1.03 1.06 1/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) T 4854 4854 4061 0 -1 0 1310 0 0 0 8257 242 0 0 18 0 1 0 19814910 8531968 1145 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1145 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 85.01
Current children cumulated vsize (Kb) 10460

[startup+100.009 s]
Raw data (loadavg): 0.99 1.03 1.06 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1310 0 0 0 9193 263 0 0 25 0 1 0 19814910 8531968 1145 4294967295 134512640 134702520 3221223952 3220723088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1145 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 94.58
Current children cumulated vsize (Kb) 10460

[startup+110.01 s]
Raw data (loadavg): 0.99 1.03 1.06 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1311 0 0 0 10088 295 0 0 25 0 1 0 19814910 8531968 1146 4294967295 134512640 134702520 3221223952 3220897488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1146 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 103.85
Current children cumulated vsize (Kb) 10460

[startup+120.01 s]
Raw data (loadavg): 0.99 1.03 1.05 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1313 0 0 0 10981 328 0 0 25 0 1 0 19814910 8531968 1148 4294967295 134512640 134702520 3221223952 3221034448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4857/statm): 2083 1148 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 113.11
Current children cumulated vsize (Kb) 10460

[startup+130.011 s]
Raw data (loadavg): 0.99 1.03 1.05 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1314 0 0 0 11875 361 0 0 25 0 1 0 19814910 8531968 1149 4294967295 134512640 134702520 3221223952 3221151548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1149 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 122.38
Current children cumulated vsize (Kb) 10460

[startup+140.011 s]
Raw data (loadavg): 0.99 1.02 1.05 1/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) T 4854 4854 4061 0 -1 0 1315 0 0 0 12809 380 0 0 17 0 1 0 19814910 8531968 1150 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4857/statm): 2083 1150 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 131.91
Current children cumulated vsize (Kb) 10460

[startup+150.013 s]
Raw data (loadavg): 0.99 1.02 1.05 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1316 0 0 0 13768 394 0 0 25 0 1 0 19814910 8531968 1151 4294967295 134512640 134702520 3221223952 3220692988 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4857/statm): 2083 1151 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 141.64
Current children cumulated vsize (Kb) 10460

[startup+160.014 s]
Raw data (loadavg): 0.99 1.02 1.05 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1317 0 0 0 14672 424 0 0 25 0 1 0 19814910 8531968 1152 4294967295 134512640 134702520 3221223952 3220877648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4857/statm): 2083 1152 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 150.98
Current children cumulated vsize (Kb) 10460

[startup+170.014 s]
Raw data (loadavg): 0.99 1.02 1.05 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1317 0 0 0 15590 452 0 0 17 0 1 0 19814910 8531968 1152 4294967295 134512640 134702520 3221223952 3221223232 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1152 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 160.44
Current children cumulated vsize (Kb) 10460

[startup+180.015 s]
Raw data (loadavg): 0.99 1.02 1.05 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1317 0 0 0 16526 470 0 0 25 0 1 0 19814910 8531968 1152 4294967295 134512640 134702520 3221223952 3220723868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1152 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 169.98
Current children cumulated vsize (Kb) 10460

[startup+190.015 s]
Raw data (loadavg): 0.99 1.02 1.05 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1319 0 0 0 17422 504 0 0 25 0 1 0 19814910 8531968 1154 4294967295 134512640 134702520 3221223952 3220898268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1154 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 179.28
Current children cumulated vsize (Kb) 10460

[startup+200.016 s]
Raw data (loadavg): 0.99 1.02 1.05 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1321 0 0 0 18321 535 0 0 25 0 1 0 19814910 8531968 1156 4294967295 134512640 134702520 3221223952 3221031888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1156 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 188.58
Current children cumulated vsize (Kb) 10460

[startup+210.016 s]
Raw data (loadavg): 0.99 1.02 1.05 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1322 0 0 0 19217 569 0 0 25 0 1 0 19814910 8531968 1157 4294967295 134512640 134702520 3221223952 3221146928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4857/statm): 2083 1157 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 197.88
Current children cumulated vsize (Kb) 10460

[startup+220.018 s]
Raw data (loadavg): 0.99 1.02 1.04 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1322 0 0 0 20153 592 0 0 17 0 1 0 19814910 8531968 1157 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4857/statm): 2083 1157 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 207.47
Current children cumulated vsize (Kb) 10460

[startup+230.019 s]
Raw data (loadavg): 0.99 1.02 1.04 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1323 0 0 0 21111 606 0 0 25 0 1 0 19814910 8531968 1158 4294967295 134512640 134702520 3221223952 3220697628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4857/statm): 2083 1158 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 217.19
Current children cumulated vsize (Kb) 10460

[startup+240.019 s]
Raw data (loadavg): 0.99 1.02 1.04 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1323 0 0 0 22007 640 0 0 25 0 1 0 19814910 8531968 1158 4294967295 134512640 134702520 3221223952 3220883228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1158 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 226.49
Current children cumulated vsize (Kb) 10460

[startup+250.021 s]
Raw data (loadavg): 0.99 1.01 1.04 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1324 0 0 0 22937 663 0 0 16 0 1 0 19814910 8531968 1159 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1159 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 236.02
Current children cumulated vsize (Kb) 10460

[startup+260.021 s]
Raw data (loadavg): 1.07 1.03 1.05 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1325 0 0 0 23860 687 0 0 25 0 1 0 19814910 8531968 1160 4294967295 134512640 134702520 3221223952 3220738928 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1160 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 245.49
Current children cumulated vsize (Kb) 10460

[startup+270.022 s]
Raw data (loadavg): 1.06 1.03 1.04 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1326 0 0 0 24758 719 0 0 25 0 1 0 19814910 8531968 1161 4294967295 134512640 134702520 3221223952 3220914448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4857/statm): 2083 1161 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 254.79
Current children cumulated vsize (Kb) 10460

[startup+280.022 s]
Raw data (loadavg): 1.05 1.03 1.04 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1327 0 0 0 25651 753 0 0 25 0 1 0 19814910 8531968 1162 4294967295 134512640 134702520 3221223952 3221051388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1162 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 264.06
Current children cumulated vsize (Kb) 10460

[startup+290.023 s]
Raw data (loadavg): 1.04 1.03 1.04 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1329 0 0 0 26546 788 0 0 25 0 1 0 19814910 8531968 1164 4294967295 134512640 134702520 3221223952 3221165648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1164 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 273.36
Current children cumulated vsize (Kb) 10460

[startup+300.024 s]
Raw data (loadavg): 1.03 1.03 1.04 1/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) T 4854 4854 4061 0 -1 0 1329 0 0 0 27504 803 0 0 17 0 1 0 19814910 8531968 1164 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1164 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 283.09
Current children cumulated vsize (Kb) 10460

[startup+310.024 s]
Raw data (loadavg): 1.03 1.02 1.04 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1330 0 0 0 28442 822 0 0 25 0 1 0 19814910 8531968 1165 4294967295 134512640 134702520 3221223952 3220728188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4857/statm): 2083 1165 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 292.66
Current children cumulated vsize (Kb) 10460

[startup+320.026 s]
Raw data (loadavg): 1.02 1.02 1.04 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4857/stat): 4857 (vallst) R 4854 4854 4061 0 -1 0 1331 0 0 0 29342 853 0 0 25 0 1 0 19814910 8531968 1166 4294967295 134512640 134702520 3221223952 3220905328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4857/statm): 2083 1166 413 48 0 2035 0
[pid=4857] vsize: 8332
Current children cumulated CPU time (s) 301.97
Current children cumulated vsize (Kb) 10460
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options

[startup+330.026 s]
Raw data (loadavg): 1.02 1.02 1.04 2/56 4857
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19814903 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 242 485 147 0 385 0
[pid=4854] vsize: 2128
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (Kb) 2128
One traced child (pid=4857) exited with status: 2
New process pid=4858
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=4858) exited with status: 0
New process pid=4859
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+340.026 s]
Raw data (loadavg): 1.02 1.02 1.04 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 884 0 0 0 958 14 0 0 21 0 1 0 19847914 5206016 854 4294967295 134512640 134702520 3221223712 3221222848 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 1271 854 413 48 0 1223 0
[pid=4859] vsize: 5084
Current children cumulated CPU time (s) 321.43
Current children cumulated vsize (Kb) 7212

[startup+350.026 s]
Raw data (loadavg): 1.01 1.02 1.04 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 947 0 0 0 1787 71 0 0 25 0 1 0 19847914 7421952 917 4294967295 134512640 134702520 3221223712 3221156428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 1812 917 413 48 0 1764 0
[pid=4859] vsize: 7248
Current children cumulated CPU time (s) 330.29
Current children cumulated vsize (Kb) 9376

[startup+360.027 s]
Raw data (loadavg): 1.01 1.02 1.04 1/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4854 4854 4061 0 -1 0 948 0 0 0 2730 90 0 0 16 0 1 0 19847914 7421952 918 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1812 918 413 48 0 1764 0
[pid=4859] vsize: 7248
Current children cumulated CPU time (s) 339.91
Current children cumulated vsize (Kb) 9376

[startup+370.028 s]
Raw data (loadavg): 1.01 1.02 1.04 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 952 0 0 0 3686 104 0 0 25 0 1 0 19847914 7421952 922 4294967295 134512640 134702520 3221223712 3220679948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1812 922 413 48 0 1764 0
[pid=4859] vsize: 7248
Current children cumulated CPU time (s) 349.61
Current children cumulated vsize (Kb) 9376

[startup+380.029 s]
Raw data (loadavg): 1.01 1.02 1.03 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 955 0 0 0 4591 132 0 0 25 0 1 0 19847914 7421952 925 4294967295 134512640 134702520 3221223712 3220841708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1812 925 413 48 0 1764 0
[pid=4859] vsize: 7248
Current children cumulated CPU time (s) 358.94
Current children cumulated vsize (Kb) 9376

[startup+390.03 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 959 0 0 0 5491 166 0 0 25 0 1 0 19847914 7421952 929 4294967295 134512640 134702520 3221223712 3220972128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 1812 929 413 48 0 1764 0
[pid=4859] vsize: 7248
Current children cumulated CPU time (s) 368.28
Current children cumulated vsize (Kb) 9376

[startup+400.03 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 962 0 0 0 6393 198 0 0 25 0 1 0 19847914 7421952 932 4294967295 134512640 134702520 3221223712 3221083168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1812 932 413 48 0 1764 0
[pid=4859] vsize: 7248
Current children cumulated CPU time (s) 377.62
Current children cumulated vsize (Kb) 9376

[startup+410.031 s]
Raw data (loadavg): 1.00 1.01 1.03 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 966 0 0 0 7294 228 0 0 25 0 1 0 19847914 7421952 936 4294967295 134512640 134702520 3221223712 3221178208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1812 936 413 48 0 1764 0
[pid=4859] vsize: 7248
Current children cumulated CPU time (s) 386.93
Current children cumulated vsize (Kb) 9376

[startup+420.031 s]
Raw data (loadavg): 1.00 1.01 1.03 1/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4854 4854 4061 0 -1 0 969 0 0 0 8266 236 0 0 18 0 1 0 19847914 7561216 939 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1846 939 413 48 0 1798 0
[pid=4859] vsize: 7384
Current children cumulated CPU time (s) 396.73
Current children cumulated vsize (Kb) 9512

[startup+430.033 s]
Raw data (loadavg): 1.00 1.01 1.03 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 969 0 0 0 9086 292 0 0 25 0 1 0 19847914 7499776 939 4294967295 134512640 134702520 3221223712 3221094828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 1831 939 413 48 0 1783 0
[pid=4859] vsize: 7324
Current children cumulated CPU time (s) 405.49
Current children cumulated vsize (Kb) 9452

[startup+440.032 s]
Raw data (loadavg): 1.00 1.01 1.03 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 971 0 0 0 9987 326 0 0 23 0 1 0 19847914 7499776 941 4294967295 134512640 134702520 3221223712 3221192448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 1831 941 413 48 0 1783 0
[pid=4859] vsize: 7324
Current children cumulated CPU time (s) 414.84
Current children cumulated vsize (Kb) 9452

[startup+450.033 s]
Raw data (loadavg): 1.00 1.01 1.03 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 971 0 0 0 10987 326 0 0 25 0 1 0 19847914 7499776 941 4294967295 134512640 134702520 3221223712 3220427948 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 1831 941 413 48 0 1783 0
[pid=4859] vsize: 7324
Current children cumulated CPU time (s) 424.84
Current children cumulated vsize (Kb) 9452

[startup+460.034 s]
Raw data (loadavg): 1.00 1.01 1.03 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 973 0 0 0 11886 359 0 0 25 0 1 0 19847914 7499776 943 4294967295 134512640 134702520 3221223712 3220764588 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 1831 943 413 48 0 1783 0
[pid=4859] vsize: 7324
Current children cumulated CPU time (s) 434.16
Current children cumulated vsize (Kb) 9452

[startup+470.034 s]
Raw data (loadavg): 1.00 1.01 1.03 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 978 0 0 0 12791 388 0 0 25 0 1 0 19847914 7499776 948 4294967295 134512640 134702520 3221223712 3220914848 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1831 948 413 48 0 1783 0
[pid=4859] vsize: 7324
Current children cumulated CPU time (s) 443.5
Current children cumulated vsize (Kb) 9452

[startup+480.035 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 979 0 0 0 13686 419 0 0 25 0 1 0 19847914 7499776 949 4294967295 134512640 134702520 3221223712 3221033868 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1831 949 413 48 0 1783 0
[pid=4859] vsize: 7324
Current children cumulated CPU time (s) 452.76
Current children cumulated vsize (Kb) 9452

[startup+490.035 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 981 0 0 0 14586 454 0 0 25 0 1 0 19847914 7499776 951 4294967295 134512640 134702520 3221223712 3221136928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1831 951 413 48 0 1783 0
[pid=4859] vsize: 7324
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (Kb) 9452

[startup+500.036 s]
Raw data (loadavg): 1.00 1.01 1.02 1/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4854 4854 4061 0 -1 0 985 0 0 0 15544 467 0 0 21 0 1 0 19847914 7499776 955 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1831 955 413 48 0 1783 0
[pid=4859] vsize: 7324
Current children cumulated CPU time (s) 471.82
Current children cumulated vsize (Kb) 9452

[startup+510.036 s]
Raw data (loadavg): 1.00 1.00 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 986 0 0 0 16364 527 0 0 25 0 1 0 19847914 7499776 956 4294967295 134512640 134702520 3221223712 3221052448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1831 956 413 48 0 1783 0
[pid=4859] vsize: 7324
Current children cumulated CPU time (s) 480.62
Current children cumulated vsize (Kb) 9452

[startup+520.037 s]
Raw data (loadavg): 1.00 1.00 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 989 0 0 0 17265 560 0 0 25 0 1 0 19847914 7499776 959 4294967295 134512640 134702520 3221223712 3221152108 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 1831 959 413 48 0 1783 0
[pid=4859] vsize: 7324
Current children cumulated CPU time (s) 489.96
Current children cumulated vsize (Kb) 9452

[startup+530.037 s]
Raw data (loadavg): 1.00 1.00 1.02 1/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4854 4854 4061 0 -1 0 991 0 0 0 18201 579 0 0 16 0 1 0 19847914 7499776 961 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4859/statm): 1831 961 413 48 0 1783 0
[pid=4859] vsize: 7324
Current children cumulated CPU time (s) 499.51
Current children cumulated vsize (Kb) 9452

[startup+540.038 s]
Raw data (loadavg): 1.00 1.00 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 992 0 0 0 19167 589 0 0 25 0 1 0 19847914 7499776 962 4294967295 134512640 134702520 3221223712 3220679168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 1831 962 413 48 0 1783 0
[pid=4859] vsize: 7324
Current children cumulated CPU time (s) 509.27
Current children cumulated vsize (Kb) 9452

[startup+550.04 s]
Raw data (loadavg): 1.00 1.00 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 993 0 0 0 20069 621 0 0 25 0 1 0 19847914 7499776 963 4294967295 134512640 134702520 3221223712 3220848268 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1831 963 413 48 0 1783 0
[pid=4859] vsize: 7324
Current children cumulated CPU time (s) 518.61
Current children cumulated vsize (Kb) 9452

[startup+560.04 s]
Raw data (loadavg): 1.00 1.00 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 993 0 0 0 20969 653 0 0 25 0 1 0 19847914 7499776 963 4294967295 134512640 134702520 3221223712 3220976588 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1831 963 413 48 0 1783 0
[pid=4859] vsize: 7324
Current children cumulated CPU time (s) 527.93
Current children cumulated vsize (Kb) 9452

[startup+570.041 s]
Raw data (loadavg): 1.08 1.02 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1000 0 0 0 21868 684 0 0 25 0 1 0 19847914 7499776 970 4294967295 134512640 134702520 3221223712 3221086688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1831 970 413 48 0 1783 0
[pid=4859] vsize: 7324
Current children cumulated CPU time (s) 537.23
Current children cumulated vsize (Kb) 9452

[startup+580.041 s]
Raw data (loadavg): 1.07 1.02 1.02 1/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4854 4854 4061 0 -1 0 1002 0 0 0 22811 704 0 0 24 0 1 0 19847914 7643136 972 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1866 972 413 48 0 1818 0
[pid=4859] vsize: 7464
Current children cumulated CPU time (s) 546.86
Current children cumulated vsize (Kb) 9592

[startup+590.041 s]
Raw data (loadavg): 1.06 1.01 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1003 0 0 0 23659 756 0 0 25 0 1 0 19847914 7581696 973 4294967295 134512640 134702520 3221223712 3220993888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1851 973 413 48 0 1803 0
[pid=4859] vsize: 7404
Current children cumulated CPU time (s) 555.86
Current children cumulated vsize (Kb) 9532

[startup+600.041 s]
Raw data (loadavg): 1.05 1.01 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1066 0 0 0 24556 786 0 0 25 0 1 0 19847914 7827456 1036 4294967295 134512640 134702520 3221223712 3221105248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1911 1036 413 48 0 1863 0
[pid=4859] vsize: 7644
Current children cumulated CPU time (s) 565.13
Current children cumulated vsize (Kb) 9772

[startup+610.042 s]
Raw data (loadavg): 1.04 1.01 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1121 0 0 0 25454 818 0 0 20 0 1 0 19847914 8073216 1091 4294967295 134512640 134702520 3221223712 3221203948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1971 1091 413 48 0 1923 0
[pid=4859] vsize: 7884
Current children cumulated CPU time (s) 574.43
Current children cumulated vsize (Kb) 10012

[startup+620.043 s]
Raw data (loadavg): 1.03 1.01 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1121 0 0 0 26454 818 0 0 25 0 1 0 19847914 8073216 1091 4294967295 134512640 134702520 3221223712 3220517232 134611991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1971 1091 413 48 0 1923 0
[pid=4859] vsize: 7884
Current children cumulated CPU time (s) 584.43
Current children cumulated vsize (Kb) 10012

[startup+630.043 s]
Raw data (loadavg): 1.10 1.03 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1133 0 0 0 27358 847 0 0 25 0 1 0 19847914 8073216 1103 4294967295 134512640 134702520 3221223712 3220781068 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 1971 1103 413 48 0 1923 0
[pid=4859] vsize: 7884
Current children cumulated CPU time (s) 593.76
Current children cumulated vsize (Kb) 10012

[startup+640.044 s]
Raw data (loadavg): 1.08 1.03 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1179 0 0 0 28258 881 0 0 25 0 1 0 19847914 8073216 1149 4294967295 134512640 134702520 3221223712 3220937248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 1971 1149 413 48 0 1923 0
[pid=4859] vsize: 7884
Current children cumulated CPU time (s) 603.1
Current children cumulated vsize (Kb) 10012

[startup+650.044 s]
Raw data (loadavg): 1.15 1.04 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1183 0 0 0 29150 914 0 0 25 0 1 0 19847914 8073216 1153 4294967295 134512640 134702520 3221223712 3221064928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1971 1153 413 48 0 1923 0
[pid=4859] vsize: 7884
Current children cumulated CPU time (s) 612.35
Current children cumulated vsize (Kb) 10012

[startup+660.045 s]
Raw data (loadavg): 1.13 1.04 1.02 1/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4854 4854 4061 0 -1 0 1186 0 0 0 30083 936 0 0 19 0 1 0 19847914 8228864 1156 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2009 1156 413 48 0 1961 0
[pid=4859] vsize: 8036
Current children cumulated CPU time (s) 621.9
Current children cumulated vsize (Kb) 10164

[startup+670.046 s]
Raw data (loadavg): 1.11 1.04 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1187 0 0 0 30926 987 0 0 25 0 1 0 19847914 8167424 1157 4294967295 134512640 134702520 3221223712 3220979168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1994 1157 413 48 0 1946 0
[pid=4859] vsize: 7976
Current children cumulated CPU time (s) 630.84
Current children cumulated vsize (Kb) 10104

[startup+680.047 s]
Raw data (loadavg): 1.09 1.04 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1189 0 0 0 31828 1017 0 0 25 0 1 0 19847914 8167424 1159 4294967295 134512640 134702520 3221223712 3221094048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 1994 1159 413 48 0 1946 0
[pid=4859] vsize: 7976
Current children cumulated CPU time (s) 640.16
Current children cumulated vsize (Kb) 10104

[startup+690.047 s]
Raw data (loadavg): 1.08 1.03 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1196 0 0 0 32724 1052 0 0 20 0 1 0 19847914 8167424 1166 4294967295 134512640 134702520 3221223712 3221200768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1994 1166 413 48 0 1946 0
[pid=4859] vsize: 7976
Current children cumulated CPU time (s) 649.47
Current children cumulated vsize (Kb) 10104

[startup+700.047 s]
Raw data (loadavg): 1.06 1.03 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1196 0 0 0 33724 1052 0 0 25 0 1 0 19847914 8167424 1166 4294967295 134512640 134702520 3221223712 3220489228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1994 1166 413 48 0 1946 0
[pid=4859] vsize: 7976
Current children cumulated CPU time (s) 659.47
Current children cumulated vsize (Kb) 10104

[startup+710.047 s]
Raw data (loadavg): 1.05 1.03 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1203 0 0 0 34622 1086 0 0 25 0 1 0 19847914 8167424 1173 4294967295 134512640 134702520 3221223712 3220777888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 1994 1173 413 48 0 1946 0
[pid=4859] vsize: 7976
Current children cumulated CPU time (s) 668.79
Current children cumulated vsize (Kb) 10104

[startup+720.047 s]
Raw data (loadavg): 1.05 1.03 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1207 0 0 0 35519 1120 0 0 25 0 1 0 19847914 8167424 1177 4294967295 134512640 134702520 3221223712 3220936768 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 1994 1177 413 48 0 1946 0
[pid=4859] vsize: 7976
Current children cumulated CPU time (s) 678.1
Current children cumulated vsize (Kb) 10104

[startup+730.048 s]
Raw data (loadavg): 1.04 1.03 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1210 0 0 0 36421 1149 0 0 25 0 1 0 19847914 8167424 1180 4294967295 134512640 134702520 3221223712 3221063008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 1994 1180 413 48 0 1946 0
[pid=4859] vsize: 7976
Current children cumulated CPU time (s) 687.41
Current children cumulated vsize (Kb) 10104

[startup+740.048 s]
Raw data (loadavg): 1.03 1.03 1.02 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1213 0 0 0 37358 1168 0 0 24 0 1 0 19847914 8302592 1183 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2027 1183 413 48 0 1979 0
[pid=4859] vsize: 8108
Current children cumulated CPU time (s) 696.97
Current children cumulated vsize (Kb) 10236

[startup+750.049 s]
Raw data (loadavg): 1.03 1.03 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1215 0 0 0 38206 1220 0 0 25 0 1 0 19847914 8241152 1185 4294967295 134512640 134702520 3221223712 3220974028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2012 1185 413 48 0 1964 0
[pid=4859] vsize: 8048
Current children cumulated CPU time (s) 705.97
Current children cumulated vsize (Kb) 10176

[startup+760.049 s]
Raw data (loadavg): 1.02 1.02 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1220 0 0 0 39104 1253 0 0 25 0 1 0 19847914 8241152 1190 4294967295 134512640 134702520 3221223712 3221092108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2012 1190 413 48 0 1964 0
[pid=4859] vsize: 8048
Current children cumulated CPU time (s) 715.28
Current children cumulated vsize (Kb) 10176

[startup+770.051 s]
Raw data (loadavg): 1.02 1.02 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1222 0 0 0 39996 1286 0 0 21 0 1 0 19847914 8241152 1192 4294967295 134512640 134702520 3221223712 3221196928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2012 1192 413 48 0 1964 0
[pid=4859] vsize: 8048
Current children cumulated CPU time (s) 724.53
Current children cumulated vsize (Kb) 10176

[startup+780.052 s]
Raw data (loadavg): 1.02 1.02 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1222 0 0 0 40997 1286 0 0 25 0 1 0 19847914 8241152 1192 4294967295 134512640 134702520 3221223712 3220432128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2012 1192 413 48 0 1964 0
[pid=4859] vsize: 8048
Current children cumulated CPU time (s) 734.54
Current children cumulated vsize (Kb) 10176

[startup+790.052 s]
Raw data (loadavg): 1.01 1.02 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1226 0 0 0 41895 1319 0 0 25 0 1 0 19847914 8486912 1196 4294967295 134512640 134702520 3221223712 3220771148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2072 1196 413 48 0 2024 0
[pid=4859] vsize: 8288
Current children cumulated CPU time (s) 743.85
Current children cumulated vsize (Kb) 10416

[startup+800.053 s]
Raw data (loadavg): 1.01 1.02 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1228 0 0 0 42791 1355 0 0 25 0 1 0 19847914 8486912 1198 4294967295 134512640 134702520 3221223712 3220928268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2072 1198 413 48 0 2024 0
[pid=4859] vsize: 8288
Current children cumulated CPU time (s) 753.17
Current children cumulated vsize (Kb) 10416

[startup+810.053 s]
Raw data (loadavg): 1.09 1.04 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1232 0 0 0 43685 1390 0 0 25 0 1 0 19847914 8486912 1202 4294967295 134512640 134702520 3221223712 3221056908 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2072 1202 413 48 0 2024 0
[pid=4859] vsize: 8288
Current children cumulated CPU time (s) 762.46
Current children cumulated vsize (Kb) 10416

[startup+820.054 s]
Raw data (loadavg): 1.07 1.03 1.01 1/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4854 4854 4061 0 -1 0 1235 0 0 0 44616 1413 0 0 24 0 1 0 19847914 8486912 1205 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2072 1205 413 48 0 2024 0
[pid=4859] vsize: 8288
Current children cumulated CPU time (s) 772
Current children cumulated vsize (Kb) 10416

[startup+830.054 s]
Raw data (loadavg): 1.06 1.03 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1236 0 0 0 45457 1464 0 0 25 0 1 0 19847914 8486912 1206 4294967295 134512640 134702520 3221223712 3220974828 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2072 1206 413 48 0 2024 0
[pid=4859] vsize: 8288
Current children cumulated CPU time (s) 780.92
Current children cumulated vsize (Kb) 10416

[startup+840.055 s]
Raw data (loadavg): 1.05 1.03 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1238 0 0 0 46355 1499 0 0 25 0 1 0 19847914 8486912 1208 4294967295 134512640 134702520 3221223712 3221096288 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 2072 1208 413 48 0 2024 0
[pid=4859] vsize: 8288
Current children cumulated CPU time (s) 790.25
Current children cumulated vsize (Kb) 10416

[startup+850.057 s]
Raw data (loadavg): 1.04 1.03 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1241 0 0 0 47249 1533 0 0 20 0 1 0 19847914 8486912 1211 4294967295 134512640 134702520 3221223712 3221205868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2072 1211 413 48 0 2024 0
[pid=4859] vsize: 8288
Current children cumulated CPU time (s) 799.53
Current children cumulated vsize (Kb) 10416

[startup+860.057 s]
Raw data (loadavg): 1.04 1.03 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1241 0 0 0 48249 1533 0 0 25 0 1 0 19847914 8486912 1211 4294967295 134512640 134702520 3221223712 3220532108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2072 1211 413 48 0 2024 0
[pid=4859] vsize: 8288
Current children cumulated CPU time (s) 809.53
Current children cumulated vsize (Kb) 10416

[startup+870.058 s]
Raw data (loadavg): 1.10 1.04 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1245 0 0 0 49142 1567 0 0 25 0 1 0 19847914 8486912 1215 4294967295 134512640 134702520 3221223712 3220791948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2072 1215 413 48 0 2024 0
[pid=4859] vsize: 8288
Current children cumulated CPU time (s) 818.8
Current children cumulated vsize (Kb) 10416

[startup+880.058 s]
Raw data (loadavg): 1.09 1.04 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1247 0 0 0 50033 1603 0 0 25 0 1 0 19847914 8486912 1217 4294967295 134512640 134702520 3221223712 3220948748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2072 1217 413 48 0 2024 0
[pid=4859] vsize: 8288
Current children cumulated CPU time (s) 828.07
Current children cumulated vsize (Kb) 10416

[startup+890.058 s]
Raw data (loadavg): 1.07 1.04 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1249 0 0 0 50921 1638 0 0 25 0 1 0 19847914 8486912 1219 4294967295 134512640 134702520 3221223712 3221079808 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2072 1219 413 48 0 2024 0
[pid=4859] vsize: 8288
Current children cumulated CPU time (s) 837.3
Current children cumulated vsize (Kb) 10416

[startup+900.058 s]
Raw data (loadavg): 1.06 1.04 1.01 1/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4854 4854 4061 0 -1 0 1252 0 0 0 51862 1660 0 0 24 0 1 0 19847914 8646656 1222 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2111 1222 413 48 0 2063 0
[pid=4859] vsize: 8444
Current children cumulated CPU time (s) 846.93
Current children cumulated vsize (Kb) 10572

[startup+910.059 s]
Raw data (loadavg): 1.05 1.04 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1253 0 0 0 52702 1710 0 0 25 0 1 0 19847914 8585216 1223 4294967295 134512640 134702520 3221223712 3220995148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2096 1223 413 48 0 2048 0
[pid=4859] vsize: 8384
Current children cumulated CPU time (s) 855.83
Current children cumulated vsize (Kb) 10512

[startup+920.059 s]
Raw data (loadavg): 1.04 1.03 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1258 0 0 0 53591 1746 0 0 25 0 1 0 19847914 8585216 1228 4294967295 134512640 134702520 3221223712 3221115328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2096 1228 413 48 0 2048 0
[pid=4859] vsize: 8384
Current children cumulated CPU time (s) 865.08
Current children cumulated vsize (Kb) 10512

[startup+930.06 s]
Raw data (loadavg): 1.04 1.03 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1261 0 0 0 54485 1779 0 0 17 0 1 0 19847914 8585216 1231 4294967295 134512640 134702520 3221223712 3221220128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2096 1231 413 48 0 2048 0
[pid=4859] vsize: 8384
Current children cumulated CPU time (s) 874.35
Current children cumulated vsize (Kb) 10512

[startup+940.06 s]
Raw data (loadavg): 1.03 1.03 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1261 0 0 0 55485 1779 0 0 25 0 1 0 19847914 8585216 1231 4294967295 134512640 134702520 3221223712 3220605868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2096 1231 413 48 0 2048 0
[pid=4859] vsize: 8384
Current children cumulated CPU time (s) 884.35
Current children cumulated vsize (Kb) 10512

[startup+950.06 s]
Raw data (loadavg): 1.02 1.03 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1271 0 0 0 56372 1814 0 0 25 0 1 0 19847914 8585216 1241 4294967295 134512640 134702520 3221223712 3220828928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 2096 1241 413 48 0 2048 0
[pid=4859] vsize: 8384
Current children cumulated CPU time (s) 893.57
Current children cumulated vsize (Kb) 10512

[startup+960.061 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1277 0 0 0 57265 1848 0 0 25 0 1 0 19847914 8585216 1247 4294967295 134512640 134702520 3221223712 3220978688 134612005 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2096 1247 413 48 0 2048 0
[pid=4859] vsize: 8384
Current children cumulated CPU time (s) 902.84
Current children cumulated vsize (Kb) 10512

[startup+970.062 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1278 0 0 0 58148 1887 0 0 25 0 1 0 19847914 8585216 1248 4294967295 134512640 134702520 3221223712 3221102188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 2096 1248 413 48 0 2048 0
[pid=4859] vsize: 8384
Current children cumulated CPU time (s) 912.06
Current children cumulated vsize (Kb) 10512

[startup+980.063 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4854 4854 4061 0 -1 0 1280 0 0 0 59096 1907 0 0 23 0 1 0 19847914 8585216 1250 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2096 1250 413 48 0 2048 0
[pid=4859] vsize: 8384
Current children cumulated CPU time (s) 921.74
Current children cumulated vsize (Kb) 10512

[startup+990.062 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1281 0 0 0 59919 1968 0 0 25 0 1 0 19847914 8585216 1251 4294967295 134512640 134702520 3221223712 3221020768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2096 1251 413 48 0 2048 0
[pid=4859] vsize: 8384
Current children cumulated CPU time (s) 930.58
Current children cumulated vsize (Kb) 10512

[startup+1000.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1282 0 0 0 60811 2004 0 0 25 0 1 0 19847914 8585216 1252 4294967295 134512640 134702520 3221223712 3221135488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2096 1252 413 48 0 2048 0
[pid=4859] vsize: 8384
Current children cumulated CPU time (s) 939.86
Current children cumulated vsize (Kb) 10512

[startup+1010.06 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4854 4854 4061 0 -1 0 1283 0 0 0 61722 2032 0 0 16 0 1 0 19847914 8585216 1253 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2096 1253 413 48 0 2048 0
[pid=4859] vsize: 8384
Current children cumulated CPU time (s) 949.25
Current children cumulated vsize (Kb) 10512

[startup+1020.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1283 0 0 0 62706 2037 0 0 25 0 1 0 19847914 8585216 1253 4294967295 134512640 134702520 3221223712 3220644748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2096 1253 413 48 0 2048 0
[pid=4859] vsize: 8384
Current children cumulated CPU time (s) 959.14
Current children cumulated vsize (Kb) 10512

[startup+1030.06 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1287 0 0 0 63599 2070 0 0 25 0 1 0 19847914 8585216 1257 4294967295 134512640 134702520 3221223712 3220846348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 2096 1257 413 48 0 2048 0
[pid=4859] vsize: 8384
Current children cumulated CPU time (s) 968.4
Current children cumulated vsize (Kb) 10512

[startup+1040.07 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1289 0 0 0 64483 2108 0 0 25 0 1 0 19847914 8585216 1259 4294967295 134512640 134702520 3221223712 3220994848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2096 1259 413 48 0 2048 0
[pid=4859] vsize: 8384
Current children cumulated CPU time (s) 977.62
Current children cumulated vsize (Kb) 10512

[startup+1050.07 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1292 0 0 0 65376 2143 0 0 25 0 1 0 19847914 8585216 1262 4294967295 134512640 134702520 3221223712 3221113888 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2096 1262 413 48 0 2048 0
[pid=4859] vsize: 8384
Current children cumulated CPU time (s) 986.9
Current children cumulated vsize (Kb) 10512

[startup+1060.07 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4854 4854 4061 0 -1 0 1294 0 0 0 66327 2159 0 0 23 0 1 0 19847914 8740864 1264 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2134 1264 413 48 0 2086 0
[pid=4859] vsize: 8536
Current children cumulated CPU time (s) 996.57
Current children cumulated vsize (Kb) 10664

[startup+1070.07 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1294 0 0 0 67149 2222 0 0 25 0 1 0 19847914 8679424 1264 4294967295 134512640 134702520 3221223712 3221037248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2119 1264 413 48 0 2071 0
[pid=4859] vsize: 8476
Current children cumulated CPU time (s) 1005.42
Current children cumulated vsize (Kb) 10604

[startup+1080.07 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1295 0 0 0 68043 2259 0 0 25 0 1 0 19847914 8679424 1265 4294967295 134512640 134702520 3221223712 3221149568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2119 1265 413 48 0 2071 0
[pid=4859] vsize: 8476
Current children cumulated CPU time (s) 1014.73
Current children cumulated vsize (Kb) 10604

[startup+1090.07 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4854 4854 4061 0 -1 0 1297 0 0 0 68975 2281 0 0 17 0 1 0 19847914 8679424 1267 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2119 1267 413 48 0 2071 0
[pid=4859] vsize: 8476
Current children cumulated CPU time (s) 1024.27
Current children cumulated vsize (Kb) 10604

[startup+1100.07 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1300 0 0 0 69935 2295 0 0 25 0 1 0 19847914 8679424 1270 4294967295 134512640 134702520 3221223712 3220691328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 2119 1270 413 48 0 2071 0
[pid=4859] vsize: 8476
Current children cumulated CPU time (s) 1034.01
Current children cumulated vsize (Kb) 10604

[startup+1110.07 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1301 0 0 0 70822 2330 0 0 25 0 1 0 19847914 8679424 1271 4294967295 134512640 134702520 3221223712 3220883008 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 2119 1271 413 48 0 2071 0
[pid=4859] vsize: 8476
Current children cumulated CPU time (s) 1043.23
Current children cumulated vsize (Kb) 10604

[startup+1120.07 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1303 0 0 0 71713 2365 0 0 25 0 1 0 19847914 8679424 1273 4294967295 134512640 134702520 3221223712 3221022348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2119 1273 413 48 0 2071 0
[pid=4859] vsize: 8476
Current children cumulated CPU time (s) 1052.49
Current children cumulated vsize (Kb) 10604

[startup+1130.07 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1303 0 0 0 72603 2401 0 0 25 0 1 0 19847914 8679424 1273 4294967295 134512640 134702520 3221223712 3221139648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2119 1273 413 48 0 2071 0
[pid=4859] vsize: 8476
Current children cumulated CPU time (s) 1061.75
Current children cumulated vsize (Kb) 10604

[startup+1140.07 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4854 4854 4061 0 -1 0 1305 0 0 0 73558 2414 0 0 22 0 1 0 19847914 8679424 1275 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2119 1275 413 48 0 2071 0
[pid=4859] vsize: 8476
Current children cumulated CPU time (s) 1071.43
Current children cumulated vsize (Kb) 10604

[startup+1150.07 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1306 0 0 0 74364 2478 0 0 25 0 1 0 19847914 8679424 1276 4294967295 134512640 134702520 3221223712 3221072768 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2119 1276 413 48 0 2071 0
[pid=4859] vsize: 8476
Current children cumulated CPU time (s) 1080.13
Current children cumulated vsize (Kb) 10604

[startup+1160.07 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1309 0 0 0 75254 2512 0 0 25 0 1 0 19847914 8679424 1279 4294967295 134512640 134702520 3221223712 3221183328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2119 1279 413 48 0 2071 0
[pid=4859] vsize: 8476
Current children cumulated CPU time (s) 1089.37
Current children cumulated vsize (Kb) 10604

[startup+1170.07 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4854 4854 4061 0 -1 0 1310 0 0 0 76235 2518 0 0 17 0 1 0 19847914 8679424 1280 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2119 1280 413 48 0 2071 0
[pid=4859] vsize: 8476
Current children cumulated CPU time (s) 1099.24
Current children cumulated vsize (Kb) 10604

[startup+1180.07 s]
Raw data (loadavg): 1.09 1.04 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1318 0 0 0 77142 2547 0 0 25 0 1 0 19847914 8679424 1288 4294967295 134512640 134702520 3221223712 3220756768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2119 1288 413 48 0 2071 0
[pid=4859] vsize: 8476
Current children cumulated CPU time (s) 1108.6
Current children cumulated vsize (Kb) 10604

[startup+1190.07 s]
Raw data (loadavg): 1.08 1.04 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1319 0 0 0 78031 2581 0 0 25 0 1 0 19847914 8679424 1289 4294967295 134512640 134702520 3221223712 3220926188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2119 1289 413 48 0 2071 0
[pid=4859] vsize: 8476
Current children cumulated CPU time (s) 1117.83
Current children cumulated vsize (Kb) 10604

[startup+1200.08 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1319 0 0 0 78918 2615 0 0 25 0 1 0 19847914 8679424 1289 4294967295 134512640 134702520 3221223712 3221064448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 2119 1289 413 48 0 2071 0
[pid=4859] vsize: 8476
Current children cumulated CPU time (s) 1127.04
Current children cumulated vsize (Kb) 10604

[startup+1210.08 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1321 0 0 0 79802 2654 0 0 24 0 1 0 19847914 8679424 1291 4294967295 134512640 134702520 3221223712 3221188128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2119 1291 413 48 0 2071 0
[pid=4859] vsize: 8476
Current children cumulated CPU time (s) 1136.27
Current children cumulated vsize (Kb) 10604

[startup+1220.08 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1322 0 0 0 80791 2658 0 0 22 0 1 0 19847914 8679424 1292 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 2119 1292 413 48 0 2071 0
[pid=4859] vsize: 8476
Current children cumulated CPU time (s) 1146.2
Current children cumulated vsize (Kb) 10604

[startup+1230.08 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1326 0 0 0 81576 2729 0 0 25 0 1 0 19847914 8753152 1296 4294967295 134512640 134702520 3221223712 3221124108 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2137 1296 413 48 0 2089 0
[pid=4859] vsize: 8548
Current children cumulated CPU time (s) 1154.76
Current children cumulated vsize (Kb) 10676

[startup+1240.08 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4854 4854 4061 0 -1 0 1327 0 0 0 82478 2762 0 0 17 0 1 0 19847914 8753152 1297 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4859/statm): 2137 1297 413 48 0 2089 0
[pid=4859] vsize: 8548
Current children cumulated CPU time (s) 1164.11
Current children cumulated vsize (Kb) 10676

[startup+1250.08 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1337 0 0 0 83464 2767 0 0 25 0 1 0 19847914 8753152 1307 4294967295 134512640 134702520 3221223712 3220654348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 2137 1307 413 48 0 2089 0
[pid=4859] vsize: 8548
Current children cumulated CPU time (s) 1174.02
Current children cumulated vsize (Kb) 10676

[startup+1260.08 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1361 0 0 0 84351 2802 0 0 25 0 1 0 19847914 8753152 1331 4294967295 134512640 134702520 3221223712 3220866348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 2137 1331 413 48 0 2089 0
[pid=4859] vsize: 8548
Current children cumulated CPU time (s) 1183.24
Current children cumulated vsize (Kb) 10676

[startup+1270.08 s]
Raw data (loadavg): 1.10 1.04 1.01 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1363 0 0 0 85237 2839 0 0 25 0 1 0 19847914 8753152 1333 4294967295 134512640 134702520 3221223712 3221021708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2137 1333 413 48 0 2089 0
[pid=4859] vsize: 8548
Current children cumulated CPU time (s) 1192.47
Current children cumulated vsize (Kb) 10676

[startup+1280.08 s]
Raw data (loadavg): 1.08 1.04 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1367 0 0 0 86119 2876 0 0 25 0 1 0 19847914 8753152 1337 4294967295 134512640 134702520 3221223712 3221149888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 2137 1337 413 48 0 2089 0
[pid=4859] vsize: 8548
Current children cumulated CPU time (s) 1201.66
Current children cumulated vsize (Kb) 10676



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1280.08 s]
Raw data (loadavg): 1.08 1.04 1.00 2/56 4859
Raw data (/proc/4854/stat): 4854 (vallstSAT2005PB) S 4853 4854 4061 0 -1 0 378 1706 0 0 1 2 30300 868 16 0 1 0 19814903 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4854/statm): 532 248 485 147 0 385 0
[pid=4854] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4854 4854 4061 0 -1 0 1367 0 0 0 86119 2876 0 0 25 0 1 0 19847914 8753152 1337 4294967295 134512640 134702520 3221223712 3221149888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 2137 1337 413 48 0 2089 0
[pid=4859] vsize: 8548
Current children cumulated CPU time (s) 1201.66
Current children cumulated vsize (Kb) 10676

Sending SIGTERM to -4854
Sleeping 2 seconds
New process pid=4861
New process pid=4862
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1478/stat
open syscall for file /proc/1478/status
open syscall for file /proc/1478/cmdline
open syscall for file /proc/1478/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/4044/stat
open syscall for file /proc/4044/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4044/cmdline
open syscall for file /proc/4044/environ
open syscall for file /proc/4069/stat
open syscall for file /proc/4069/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4069/cmdline
open syscall for file /proc/4069/environ
open syscall for file /proc/4815/stat
open syscall for file /proc/4815/status
open syscall for file /proc/4815/cmdline
open syscall for file /proc/4815/environ
open syscall for file /proc/4853/stat
open syscall for file /proc/4853/status
open syscall for file /proc/4853/cmdline
open syscall for file /proc/4853/environ
open syscall for file /proc/4854/stat
open syscall for file /proc/4854/status
open syscall for file /proc/4854/cmdline
open syscall for file /proc/4854/environ
open syscall for file /proc/4859/stat
open syscall for file /proc/4859/status
open syscall for file /proc/4859/cmdline
open syscall for file /proc/4859/environ
open syscall for file /proc/4861/stat
open syscall for file /proc/4861/status
open syscall for file /proc/4861/cmdline
open syscall for file /proc/4861/environ
open syscall for file /proc/4862/stat
open syscall for file /proc/4862/status
open syscall for file /proc/4862/cmdline
open syscall for file /proc/4862/environ
One traced child (pid=4861) exited with status: 0
One traced child (pid=4862) exited with status: 0
New process pid=4863
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=4863) exited with status: 0
New process pid=4864
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=4864) exited with status: 0
One traced child (pid=4854) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -4854
One traced child (pid=4859) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1282.09
CPU time (s): 891.962
CPU user time (s): 863.193
CPU system time (s): 28.7696
CPU usage (%): 69.5709
Max. virtual memory (cumulated for all children) (Kb): 10676

Verifier Data

ERROR: no interpretation found !