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-air04.opb
MD5SUMeb0734273e24196dd14c6f237b52fa81
Bench Categoryoptimization, medium integers (OPTMEDINT)
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 8904
Biggest coefficient in the objective function 2258
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 5135151
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 2258
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 5135151
Number of bits of the biggest sum of numbers23
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables8904
Total number of constraints9727
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)9727
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint368

Trace number 9193

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        923984 kB
Buffers:         10120 kB
Cached:          83176 kB
SwapCached:          0 kB
Active:          45816 kB
Inactive:        50348 kB
HighTotal:      131008 kB
HighFree:        47516 kB
LowTotal:       903652 kB
LowFree:        876468 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              68 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8928 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 11:40:40 (client local time) WITH STATUS 0 IN 1207.5 SECONDS
stats: 7913 7 1207.5 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 1443  (#equs: 4)
#decisions: 433839;  #end-nodes: 198171;
#proof improvement attempts: 0;  #restarts: 384
Current batch, end-nodes: 0 / 1226 (175)
#axs: 1652, #non-axs: 4829
tight: meta-meta: start: 4, end: 5;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 8, end: 12;  meta: start: 27, end (keep): 43
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: 1539  (#equs: 5)
Time taken: 5 min, 13 sec

2:
seed: 0
Nr of vars set: 1539  (#equs: 0)
Nr of vars set: 1539  (#equs: 0)
#decisions: 1468211;  #end-nodes: 710409;
#proof improvement attempts: 0;  #restarts: 672
Current batch, end-nodes: 0 / 418 (287)
#axs: 1628, #non-axs: 2730
tight: meta-meta: start: 3, end: 3;  meta: start: 4, end (keep): 5
loose: meta-meta: start: 6, end: 8;  meta: start: 18, end (keep): 28
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 1571  (#equs: 0)
Time taken: 14 min, 9 sec

3:
seed: 0
Nr of vars set: 1571  (#equs: 0)
Nr of vars set: 1572  (#equs: 0)
Interupt request received.
#decisions: 60256;  #end-nodes: 28602;
#proof improvement attempts: 0;  #restarts: 34
Current batch, end-nodes: 15330 / 16275 (168)
#axs: 1628, #non-axs: 2912
tight: meta-meta: start: 3, end: 3;  meta: start: 4, end (keep): 5
loose: meta-meta: start: 6, end: 8;  meta: start: 18, end (keep): 28
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 3453  (#equs: 0)
Time taken in seconds: 42

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/6034/stat): 6034 (vallstSAT2005PB) R 6033 6034 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19772467 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6034/statm): 174 3 169 147 0 27 0
[pid=6034] 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=6035
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=6035) exited with status: 0
New process pid=6036
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=6036) exited with status: 0
New process pid=6037
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/wulflinc22/normalized-mps-v2-13-7-air04.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0023 s]
Raw data (loadavg): 0.77 0.85 0.87 1/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) T 6034 6034 4060 0 -1 0 1156 0 0 0 895 36 0 0 25 0 1 0 19772477 6635520 1055 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6037/statm): 1620 1055 413 48 0 1572 0
[pid=6037] vsize: 6480
Current children cumulated CPU time (s) 9.32
Current children cumulated vsize (Kb) 8608

[startup+20.004 s]
Raw data (loadavg): 0.81 0.86 0.87 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 1210 0 0 0 1761 82 0 0 23 0 1 0 19772477 12681216 1109 4294967295 134512640 134702520 3221223952 3221223232 134554394 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3096 1109 413 48 0 3048 0
[pid=6037] vsize: 12384
Current children cumulated CPU time (s) 18.44
Current children cumulated vsize (Kb) 14512

[startup+30.0048 s]
Raw data (loadavg): 0.84 0.86 0.88 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 1289 0 0 0 2653 121 0 0 25 0 1 0 19772477 12771328 1188 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3118 1188 413 48 0 3070 0
[pid=6037] vsize: 12472
Current children cumulated CPU time (s) 27.75
Current children cumulated vsize (Kb) 14600

[startup+40.0044 s]
Raw data (loadavg): 0.86 0.86 0.88 1/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) T 6034 6034 4060 0 -1 0 1314 0 0 0 3561 150 0 0 25 0 1 0 19772477 12771328 1213 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6037/statm): 3118 1213 413 48 0 3070 0
[pid=6037] vsize: 12472
Current children cumulated CPU time (s) 37.12
Current children cumulated vsize (Kb) 14600

[startup+50.0052 s]
Raw data (loadavg): 0.88 0.87 0.88 1/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) T 6034 6034 4060 0 -1 0 1678 0 0 0 4458 187 0 0 25 0 1 0 19772477 12906496 1577 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3151 1577 413 48 0 3103 0
[pid=6037] vsize: 12604
Current children cumulated CPU time (s) 46.46
Current children cumulated vsize (Kb) 14732

[startup+60.0059 s]
Raw data (loadavg): 0.90 0.87 0.88 1/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) T 6034 6034 4060 0 -1 0 2809 0 0 0 5371 217 0 0 25 0 1 0 19772477 13176832 2708 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6037/statm): 3217 2708 413 48 0 3169 0
[pid=6037] vsize: 12868
Current children cumulated CPU time (s) 55.89
Current children cumulated vsize (Kb) 14996

[startup+70.0076 s]
Raw data (loadavg): 0.91 0.88 0.88 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 2833 0 0 0 6280 249 0 0 25 0 1 0 19772477 13312000 2732 4294967295 134512640 134702520 3221223952 3221222848 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3250 2732 413 48 0 3202 0
[pid=6037] vsize: 13000
Current children cumulated CPU time (s) 65.3
Current children cumulated vsize (Kb) 15128

[startup+80.0083 s]
Raw data (loadavg): 0.93 0.88 0.88 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) T 6034 6034 4060 0 -1 0 2834 0 0 0 7178 287 0 0 25 0 1 0 19772477 13312000 2733 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6037/statm): 3250 2733 413 48 0 3202 0
[pid=6037] vsize: 13000
Current children cumulated CPU time (s) 74.66
Current children cumulated vsize (Kb) 15128

[startup+90.008 s]
Raw data (loadavg): 0.94 0.88 0.88 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 2842 0 0 0 8073 324 0 0 25 0 1 0 19772477 13316096 2741 4294967295 134512640 134702520 3221223952 3221196208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3251 2741 413 48 0 3203 0
[pid=6037] vsize: 13004
Current children cumulated CPU time (s) 83.98
Current children cumulated vsize (Kb) 15132

[startup+100.009 s]
Raw data (loadavg): 0.95 0.89 0.88 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 2850 0 0 0 8987 355 0 0 25 0 1 0 19772477 13455360 2749 4294967295 134512640 134702520 3221223952 3221222976 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3285 2749 413 48 0 3237 0
[pid=6037] vsize: 13140
Current children cumulated CPU time (s) 93.43
Current children cumulated vsize (Kb) 15268

[startup+110.009 s]
Raw data (loadavg): 0.95 0.89 0.88 1/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) T 6034 6034 4060 0 -1 0 2871 0 0 0 9893 389 0 0 25 0 1 0 19772477 13455360 2770 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6037/statm): 3285 2770 413 48 0 3237 0
[pid=6037] vsize: 13140
Current children cumulated CPU time (s) 102.83
Current children cumulated vsize (Kb) 15268

[startup+120.011 s]
Raw data (loadavg): 0.96 0.89 0.88 1/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) T 6034 6034 4060 0 -1 0 2892 0 0 0 10805 419 0 0 25 0 1 0 19772477 13590528 2791 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6037/statm): 3318 2791 413 48 0 3270 0
[pid=6037] vsize: 13272
Current children cumulated CPU time (s) 112.25
Current children cumulated vsize (Kb) 15400

[startup+130.012 s]
Raw data (loadavg): 0.97 0.89 0.89 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 2959 0 0 0 11751 439 0 0 25 0 1 0 19772477 13860864 2858 4294967295 134512640 134702520 3221223952 3221074928 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6037/statm): 3384 2858 413 48 0 3336 0
[pid=6037] vsize: 13536
Current children cumulated CPU time (s) 121.91
Current children cumulated vsize (Kb) 15664

[startup+140.012 s]
Raw data (loadavg): 0.97 0.90 0.89 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 2990 0 0 0 12662 469 0 0 25 0 1 0 19772477 13864960 2889 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3385 2889 413 48 0 3337 0
[pid=6037] vsize: 13540
Current children cumulated CPU time (s) 131.32
Current children cumulated vsize (Kb) 15668

[startup+150.012 s]
Raw data (loadavg): 0.98 0.90 0.89 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 3017 0 0 0 13583 495 0 0 24 0 1 0 19772477 14000128 2916 4294967295 134512640 134702520 3221223952 3221222848 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3418 2916 413 48 0 3370 0
[pid=6037] vsize: 13672
Current children cumulated CPU time (s) 140.79
Current children cumulated vsize (Kb) 15800

[startup+160.013 s]
Raw data (loadavg): 0.98 0.90 0.89 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 3018 0 0 0 14495 527 0 0 25 0 1 0 19772477 14000128 2917 4294967295 134512640 134702520 3221223952 3221222848 134552693 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3418 2917 413 48 0 3370 0
[pid=6037] vsize: 13672
Current children cumulated CPU time (s) 150.23
Current children cumulated vsize (Kb) 15800

[startup+170.014 s]
Raw data (loadavg): 0.98 0.91 0.89 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) T 6034 6034 4060 0 -1 0 3018 0 0 0 15401 558 0 0 25 0 1 0 19772477 14000128 2917 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6037/statm): 3418 2917 413 48 0 3370 0
[pid=6037] vsize: 13672
Current children cumulated CPU time (s) 159.6
Current children cumulated vsize (Kb) 15800

[startup+180.014 s]
Raw data (loadavg): 0.98 0.91 0.89 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 3040 0 0 0 16315 587 0 0 25 0 1 0 19772477 14135296 2939 4294967295 134512640 134702520 3221223952 3221174108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6037/statm): 3451 2939 413 48 0 3403 0
[pid=6037] vsize: 13804
Current children cumulated CPU time (s) 169.03
Current children cumulated vsize (Kb) 15932

[startup+190.015 s]
Raw data (loadavg): 0.99 0.91 0.89 1/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) T 6034 6034 4060 0 -1 0 3049 0 0 0 17220 621 0 0 25 0 1 0 19772477 14135296 2948 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6037/statm): 3451 2948 413 48 0 3403 0
[pid=6037] vsize: 13804
Current children cumulated CPU time (s) 178.42
Current children cumulated vsize (Kb) 15932

[startup+200.016 s]
Raw data (loadavg): 0.99 0.91 0.89 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) T 6034 6034 4060 0 -1 0 3053 0 0 0 18138 647 0 0 25 0 1 0 19772477 14237696 2952 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6037/statm): 3476 2952 413 48 0 3428 0
[pid=6037] vsize: 13904
Current children cumulated CPU time (s) 187.86
Current children cumulated vsize (Kb) 16032

[startup+210.017 s]
Raw data (loadavg): 0.99 0.92 0.89 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 3060 0 0 0 19044 679 0 0 25 0 1 0 19772477 14237696 2959 4294967295 134512640 134702520 3221223952 3221223232 134553168 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3476 2959 413 48 0 3428 0
[pid=6037] vsize: 13904
Current children cumulated CPU time (s) 197.24
Current children cumulated vsize (Kb) 16032

[startup+220.018 s]
Raw data (loadavg): 0.99 0.92 0.89 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 3070 0 0 0 19956 710 0 0 25 0 1 0 19772477 14237696 2969 4294967295 134512640 134702520 3221223952 3221222976 134550404 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3476 2969 413 48 0 3428 0
[pid=6037] vsize: 13904
Current children cumulated CPU time (s) 206.67
Current children cumulated vsize (Kb) 16032

[startup+230.019 s]
Raw data (loadavg): 0.99 0.92 0.89 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 3073 0 0 0 20869 740 0 0 25 0 1 0 19772477 14237696 2972 4294967295 134512640 134702520 3221223952 3221222816 134564365 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3476 2972 413 48 0 3428 0
[pid=6037] vsize: 13904
Current children cumulated CPU time (s) 216.1
Current children cumulated vsize (Kb) 16032

[startup+240.019 s]
Raw data (loadavg): 0.99 0.92 0.90 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 3073 0 0 0 21760 781 0 0 25 0 1 0 19772477 14237696 2972 4294967295 134512640 134702520 3221223952 3221223248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3476 2972 413 48 0 3428 0
[pid=6037] vsize: 13904
Current children cumulated CPU time (s) 225.42
Current children cumulated vsize (Kb) 16032

[startup+250.02 s]
Raw data (loadavg): 0.99 0.92 0.90 1/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) T 6034 6034 4060 0 -1 0 3127 0 0 0 22671 813 0 0 25 0 1 0 19772477 14237696 3026 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3476 3026 413 48 0 3428 0
[pid=6037] vsize: 13904
Current children cumulated CPU time (s) 234.85
Current children cumulated vsize (Kb) 16032

[startup+260.021 s]
Raw data (loadavg): 0.99 0.93 0.90 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 3192 0 0 0 23592 844 0 0 25 0 1 0 19772477 14237696 3091 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3476 3091 413 48 0 3428 0
[pid=6037] vsize: 13904
Current children cumulated CPU time (s) 244.37
Current children cumulated vsize (Kb) 16032

[startup+270.022 s]
Raw data (loadavg): 0.99 0.93 0.90 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 3291 0 0 0 24508 875 0 0 25 0 1 0 19772477 15196160 3190 4294967295 134512640 134702520 3221223952 3221223072 134573680 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3710 3190 413 48 0 3662 0
[pid=6037] vsize: 14840
Current children cumulated CPU time (s) 253.84
Current children cumulated vsize (Kb) 16968

[startup+280.022 s]
Raw data (loadavg): 0.99 0.93 0.90 1/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) T 6034 6034 4060 0 -1 0 3350 0 0 0 25424 903 0 0 25 0 1 0 19772477 15335424 3249 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6037/statm): 3744 3249 413 48 0 3696 0
[pid=6037] vsize: 14976
Current children cumulated CPU time (s) 263.28
Current children cumulated vsize (Kb) 17104

[startup+290.023 s]
Raw data (loadavg): 0.99 0.93 0.90 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 3402 0 0 0 26353 924 0 0 25 0 1 0 19772477 15335424 3301 4294967295 134512640 134702520 3221223952 3221167088 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3744 3301 413 48 0 3696 0
[pid=6037] vsize: 14976
Current children cumulated CPU time (s) 272.78
Current children cumulated vsize (Kb) 17104

[startup+300.024 s]
Raw data (loadavg): 0.99 0.93 0.90 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 3452 0 0 0 27283 948 0 0 25 0 1 0 19772477 15335424 3351 4294967295 134512640 134702520 3221223952 3221223072 134572146 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3744 3351 413 48 0 3696 0
[pid=6037] vsize: 14976
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (Kb) 17104

[startup+310.025 s]
Raw data (loadavg): 0.99 0.94 0.90 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) T 6034 6034 4060 0 -1 0 3519 0 0 0 28222 970 0 0 25 0 1 0 19772477 15470592 3418 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6037/statm): 3777 3418 413 48 0 3729 0
[pid=6037] vsize: 15108
Current children cumulated CPU time (s) 291.93
Current children cumulated vsize (Kb) 17236

[startup+320.025 s]
Raw data (loadavg): 0.99 0.94 0.90 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 3557 0 0 0 29164 990 0 0 25 0 1 0 19772477 16429056 3456 4294967295 134512640 134702520 3221223952 3221222976 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 4011 3456 413 48 0 3963 0
[pid=6037] vsize: 16044
Current children cumulated CPU time (s) 301.55
Current children cumulated vsize (Kb) 18172

[startup+330.026 s]
Raw data (loadavg): 0.99 0.94 0.90 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 3560 0 0 0 30085 1017 0 0 25 0 1 0 19772477 16429056 3459 4294967295 134512640 134702520 3221223952 3221222848 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 4011 3459 413 48 0 3963 0
[pid=6037] vsize: 16044
Current children cumulated CPU time (s) 311.03
Current children cumulated vsize (Kb) 18172
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=6037) exited with status: 2
New process pid=6038
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=6038) exited with status: 0
New process pid=6039
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): 0.99 0.94 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 1013 0 0 0 608 19 0 0 25 0 1 0 19805817 6201344 983 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 1514 983 413 48 0 1466 0
[pid=6039] vsize: 6056
Current children cumulated CPU time (s) 320.56
Current children cumulated vsize (Kb) 8184

[startup+350.027 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 1014 0 0 0 1530 45 0 0 25 0 1 0 19805817 6201344 984 4294967295 134512640 134702520 3221223712 3221222848 134550404 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 1514 984 413 48 0 1466 0
[pid=6039] vsize: 6056
Current children cumulated CPU time (s) 330.04
Current children cumulated vsize (Kb) 8184

[startup+360.027 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 1324 0 0 0 2443 77 0 0 25 0 1 0 19805817 11661312 1294 4294967295 134512640 134702520 3221223712 3221002688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6039/statm): 2847 1294 413 48 0 2799 0
[pid=6039] vsize: 11388
Current children cumulated CPU time (s) 339.49
Current children cumulated vsize (Kb) 13516

[startup+370.029 s]
Raw data (loadavg): 0.99 0.94 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 1381 0 0 0 3336 112 0 0 25 0 1 0 19805817 11796480 1351 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 2880 1351 413 48 0 2832 0
[pid=6039] vsize: 11520
Current children cumulated CPU time (s) 348.77
Current children cumulated vsize (Kb) 13648

[startup+380.03 s]
Raw data (loadavg): 0.99 0.95 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 2521 0 0 0 4250 146 0 0 25 0 1 0 19805817 12201984 2491 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6039/statm): 2979 2491 413 48 0 2931 0
[pid=6039] vsize: 11916
Current children cumulated CPU time (s) 358.25
Current children cumulated vsize (Kb) 14044

[startup+390.03 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 2543 0 0 0 5163 178 0 0 25 0 1 0 19805817 12337152 2513 4294967295 134512640 134702520 3221223712 3221222992 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 3012 2513 413 48 0 2964 0
[pid=6039] vsize: 12048
Current children cumulated CPU time (s) 367.7
Current children cumulated vsize (Kb) 14176

[startup+400.031 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 2552 0 0 0 6073 211 0 0 25 0 1 0 19805817 12496896 2522 4294967295 134512640 134702520 3221223712 3221222608 134552991 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 3051 2522 413 48 0 3003 0
[pid=6039] vsize: 12204
Current children cumulated CPU time (s) 377.13
Current children cumulated vsize (Kb) 14332

[startup+410.032 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 2553 0 0 0 6985 245 0 0 25 0 1 0 19805817 12496896 2523 4294967295 134512640 134702520 3221223712 3221222608 134550688 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 3051 2523 413 48 0 3003 0
[pid=6039] vsize: 12204
Current children cumulated CPU time (s) 386.59
Current children cumulated vsize (Kb) 14332

[startup+420.033 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 2558 0 0 0 7877 283 0 0 25 0 1 0 19805817 12435456 2528 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3036 2528 413 48 0 2988 0
[pid=6039] vsize: 12144
Current children cumulated CPU time (s) 395.89
Current children cumulated vsize (Kb) 14272

[startup+430.034 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 2620 0 0 0 8788 315 0 0 25 0 1 0 19805817 12705792 2590 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 3102 2590 413 48 0 3054 0
[pid=6039] vsize: 12408
Current children cumulated CPU time (s) 405.32
Current children cumulated vsize (Kb) 14536

[startup+440.034 s]
Raw data (loadavg): 0.99 0.95 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 2664 0 0 0 9680 354 0 0 25 0 1 0 19805817 12840960 2634 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3135 2634 413 48 0 3087 0
[pid=6039] vsize: 12540
Current children cumulated CPU time (s) 414.63
Current children cumulated vsize (Kb) 14668

[startup+450.035 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 2676 0 0 0 10582 389 0 0 25 0 1 0 19805817 12840960 2646 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 3135 2646 413 48 0 3087 0
[pid=6039] vsize: 12540
Current children cumulated CPU time (s) 424
Current children cumulated vsize (Kb) 14668

[startup+460.036 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 2690 0 0 0 11477 427 0 0 25 0 1 0 19805817 12976128 2660 4294967295 134512640 134702520 3221223712 3221196768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3168 2660 413 48 0 3120 0
[pid=6039] vsize: 12672
Current children cumulated CPU time (s) 433.33
Current children cumulated vsize (Kb) 14800

[startup+470.036 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 2696 0 0 0 12380 459 0 0 25 0 1 0 19805817 12976128 2666 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3168 2666 413 48 0 3120 0
[pid=6039] vsize: 12672
Current children cumulated CPU time (s) 442.68
Current children cumulated vsize (Kb) 14800

[startup+480.037 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 2706 0 0 0 13276 495 0 0 25 0 1 0 19805817 12976128 2676 4294967295 134512640 134702520 3221223712 3221222992 134550645 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 3168 2676 413 48 0 3120 0
[pid=6039] vsize: 12672
Current children cumulated CPU time (s) 452
Current children cumulated vsize (Kb) 14800

[startup+490.038 s]
Raw data (loadavg): 0.99 0.96 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 2718 0 0 0 14177 532 0 0 25 0 1 0 19805817 13123584 2688 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3204 2688 413 48 0 3156 0
[pid=6039] vsize: 12816
Current children cumulated CPU time (s) 461.38
Current children cumulated vsize (Kb) 14944

[startup+500.038 s]
Raw data (loadavg): 0.99 0.96 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 2721 0 0 0 15087 565 0 0 25 0 1 0 19805817 13123584 2691 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6039/statm): 3204 2691 413 48 0 3156 0
[pid=6039] vsize: 12816
Current children cumulated CPU time (s) 470.81
Current children cumulated vsize (Kb) 14944

[startup+510.039 s]
Raw data (loadavg): 0.99 0.96 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 2721 0 0 0 15984 603 0 0 25 0 1 0 19805817 13123584 2691 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3204 2691 413 48 0 3156 0
[pid=6039] vsize: 12816
Current children cumulated CPU time (s) 480.16
Current children cumulated vsize (Kb) 14944

[startup+520.04 s]
Raw data (loadavg): 0.99 0.96 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 2723 0 0 0 16877 639 0 0 25 0 1 0 19805817 13123584 2693 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3204 2693 413 48 0 3156 0
[pid=6039] vsize: 12816
Current children cumulated CPU time (s) 489.45
Current children cumulated vsize (Kb) 14944

[startup+530.041 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 2746 0 0 0 17803 663 0 0 25 0 1 0 19805817 13123584 2716 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3204 2716 413 48 0 3156 0
[pid=6039] vsize: 12816
Current children cumulated CPU time (s) 498.95
Current children cumulated vsize (Kb) 14944

[startup+540.04 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 2763 0 0 0 18720 692 0 0 25 0 1 0 19805817 13258752 2733 4294967295 134512640 134702520 3221223712 3221222992 134553133 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 3237 2733 413 48 0 3189 0
[pid=6039] vsize: 12948
Current children cumulated CPU time (s) 508.41
Current children cumulated vsize (Kb) 15076

[startup+550.042 s]
Raw data (loadavg): 0.99 0.96 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 2777 0 0 0 19629 724 0 0 25 0 1 0 19805817 13258752 2747 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3237 2747 413 48 0 3189 0
[pid=6039] vsize: 12948
Current children cumulated CPU time (s) 517.82
Current children cumulated vsize (Kb) 15076

[startup+560.043 s]
Raw data (loadavg): 0.99 0.96 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 2791 0 0 0 20540 753 0 0 25 0 1 0 19805817 13393920 2761 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3270 2761 413 48 0 3222 0
[pid=6039] vsize: 13080
Current children cumulated CPU time (s) 527.22
Current children cumulated vsize (Kb) 15208

[startup+570.044 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 2793 0 0 0 21431 789 0 0 25 0 1 0 19805817 13393920 2763 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3270 2763 413 48 0 3222 0
[pid=6039] vsize: 13080
Current children cumulated CPU time (s) 536.49
Current children cumulated vsize (Kb) 15208

[startup+580.045 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 2808 0 0 0 22325 827 0 0 25 0 1 0 19805817 13393920 2778 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3270 2778 413 48 0 3222 0
[pid=6039] vsize: 13080
Current children cumulated CPU time (s) 545.81
Current children cumulated vsize (Kb) 15208

[startup+590.045 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 2819 0 0 0 23244 855 0 0 25 0 1 0 19805817 13529088 2789 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3303 2789 413 48 0 3255 0
[pid=6039] vsize: 13212
Current children cumulated CPU time (s) 555.28
Current children cumulated vsize (Kb) 15340

[startup+600.046 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 2824 0 0 0 24161 885 0 0 25 0 1 0 19805817 13529088 2794 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6039/statm): 3303 2794 413 48 0 3255 0
[pid=6039] vsize: 13212
Current children cumulated CPU time (s) 564.75
Current children cumulated vsize (Kb) 15340

[startup+610.046 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 2824 0 0 0 25055 920 0 0 25 0 1 0 19805817 13529088 2794 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3303 2794 413 48 0 3255 0
[pid=6039] vsize: 13212
Current children cumulated CPU time (s) 574.04
Current children cumulated vsize (Kb) 15340

[startup+620.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 2844 0 0 0 25941 961 0 0 25 0 1 0 19805817 13533184 2814 4294967295 134512640 134702520 3221223712 3221222832 134573689 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 3304 2814 413 48 0 3256 0
[pid=6039] vsize: 13216
Current children cumulated CPU time (s) 583.31
Current children cumulated vsize (Kb) 15344

[startup+630.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 2937 0 0 0 26866 988 0 0 25 0 1 0 19805817 13668352 2907 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3337 2907 413 48 0 3289 0
[pid=6039] vsize: 13348
Current children cumulated CPU time (s) 592.83
Current children cumulated vsize (Kb) 15476

[startup+640.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3004 0 0 0 27777 1016 0 0 25 0 1 0 19805817 14385152 2974 4294967295 134512640 134702520 3221223712 3221222992 134557466 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 3512 2974 413 48 0 3464 0
[pid=6039] vsize: 14048
Current children cumulated CPU time (s) 602.22
Current children cumulated vsize (Kb) 16176

[startup+650.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3081 0 0 0 28684 1051 0 0 25 0 1 0 19805817 14385152 3051 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3512 3051 413 48 0 3464 0
[pid=6039] vsize: 14048
Current children cumulated CPU time (s) 611.64
Current children cumulated vsize (Kb) 16176

[startup+660.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3162 0 0 0 29622 1071 0 0 25 0 1 0 19805817 14520320 3132 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6039/statm): 3545 3132 413 48 0 3497 0
[pid=6039] vsize: 14180
Current children cumulated CPU time (s) 621.22
Current children cumulated vsize (Kb) 16308

[startup+670.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3207 0 0 0 30547 1098 0 0 25 0 1 0 19805817 14655488 3177 4294967295 134512640 134702520 3221223712 3221222992 134557527 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 3578 3177 413 48 0 3530 0
[pid=6039] vsize: 14312
Current children cumulated CPU time (s) 630.74
Current children cumulated vsize (Kb) 16440

[startup+680.052 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3288 0 0 0 31470 1124 0 0 25 0 1 0 19805817 15507456 3258 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3786 3258 413 48 0 3738 0
[pid=6039] vsize: 15144
Current children cumulated CPU time (s) 640.23
Current children cumulated vsize (Kb) 17272

[startup+690.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3351 0 0 0 32398 1147 0 0 25 0 1 0 19805817 15507456 3321 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 3786 3321 413 48 0 3738 0
[pid=6039] vsize: 15144
Current children cumulated CPU time (s) 649.74
Current children cumulated vsize (Kb) 17272

[startup+700.053 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3365 0 0 0 33315 1177 0 0 25 0 1 0 19805817 15507456 3335 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3786 3335 413 48 0 3738 0
[pid=6039] vsize: 15144
Current children cumulated CPU time (s) 659.21
Current children cumulated vsize (Kb) 17272

[startup+710.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3449 0 0 0 34246 1201 0 0 25 0 1 0 19805817 15642624 3419 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3819 3419 413 48 0 3771 0
[pid=6039] vsize: 15276
Current children cumulated CPU time (s) 668.76
Current children cumulated vsize (Kb) 17404

[startup+720.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3491 0 0 0 35198 1218 0 0 25 0 1 0 19805817 15777792 3461 4294967295 134512640 134702520 3221223712 3221222832 134578768 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 3852 3461 413 48 0 3804 0
[pid=6039] vsize: 15408
Current children cumulated CPU time (s) 678.45
Current children cumulated vsize (Kb) 17536

[startup+730.055 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3525 0 0 0 36130 1243 0 0 25 0 1 0 19805817 16494592 3495 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4027 3495 413 48 0 3979 0
[pid=6039] vsize: 16108
Current children cumulated CPU time (s) 688.02
Current children cumulated vsize (Kb) 18236

[startup+740.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3537 0 0 0 37060 1268 0 0 25 0 1 0 19805817 16629760 3507 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4060 3507 413 48 0 4012 0
[pid=6039] vsize: 16240
Current children cumulated CPU time (s) 697.57
Current children cumulated vsize (Kb) 18368

[startup+750.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3553 0 0 0 38003 1289 0 0 25 0 1 0 19805817 16629760 3523 4294967295 134512640 134702520 3221223712 3221222736 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4060 3523 413 48 0 4012 0
[pid=6039] vsize: 16240
Current children cumulated CPU time (s) 707.21
Current children cumulated vsize (Kb) 18368

[startup+760.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3556 0 0 0 38925 1314 0 0 25 0 1 0 19805817 16629760 3526 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4060 3526 413 48 0 4012 0
[pid=6039] vsize: 16240
Current children cumulated CPU time (s) 716.68
Current children cumulated vsize (Kb) 18368

[startup+770.058 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3556 0 0 0 39828 1347 0 0 25 0 1 0 19805817 16629760 3526 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4060 3526 413 48 0 4012 0
[pid=6039] vsize: 16240
Current children cumulated CPU time (s) 726.04
Current children cumulated vsize (Kb) 18368

[startup+780.059 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3559 0 0 0 40741 1380 0 0 21 0 1 0 19805817 16629760 3529 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4060 3529 413 48 0 4012 0
[pid=6039] vsize: 16240
Current children cumulated CPU time (s) 735.5
Current children cumulated vsize (Kb) 18368

[startup+790.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3566 0 0 0 41657 1409 0 0 25 0 1 0 19805817 16629760 3536 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4060 3536 413 48 0 4012 0
[pid=6039] vsize: 16240
Current children cumulated CPU time (s) 744.95
Current children cumulated vsize (Kb) 18368

[startup+800.06 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3577 0 0 0 42589 1433 0 0 25 0 1 0 19805817 16764928 3547 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4093 3547 413 48 0 4045 0
[pid=6039] vsize: 16372
Current children cumulated CPU time (s) 754.51
Current children cumulated vsize (Kb) 18500

[startup+810.061 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3583 0 0 0 43508 1462 0 0 25 0 1 0 19805817 16764928 3553 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4093 3553 413 48 0 4045 0
[pid=6039] vsize: 16372
Current children cumulated CPU time (s) 763.99
Current children cumulated vsize (Kb) 18500

[startup+820.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3594 0 0 0 44431 1488 0 0 25 0 1 0 19805817 16764928 3564 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4093 3564 413 48 0 4045 0
[pid=6039] vsize: 16372
Current children cumulated CPU time (s) 773.48
Current children cumulated vsize (Kb) 18500

[startup+830.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3610 0 0 0 45361 1513 0 0 25 0 1 0 19805817 16900096 3580 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4126 3580 413 48 0 4078 0
[pid=6039] vsize: 16504
Current children cumulated CPU time (s) 783.03
Current children cumulated vsize (Kb) 18632

[startup+840.062 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3620 0 0 0 46298 1535 0 0 25 0 1 0 19805817 16900096 3590 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4126 3590 413 48 0 4078 0
[pid=6039] vsize: 16504
Current children cumulated CPU time (s) 792.62
Current children cumulated vsize (Kb) 18632

[startup+850.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3629 0 0 0 47229 1560 0 0 25 0 1 0 19805817 17035264 3599 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4159 3599 413 48 0 4111 0
[pid=6039] vsize: 16636
Current children cumulated CPU time (s) 802.18
Current children cumulated vsize (Kb) 18764

[startup+860.064 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3638 0 0 0 48149 1589 0 0 25 0 1 0 19805817 17035264 3608 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4159 3608 413 48 0 4111 0
[pid=6039] vsize: 16636
Current children cumulated CPU time (s) 811.67
Current children cumulated vsize (Kb) 18764

[startup+870.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3640 0 0 0 49080 1614 0 0 25 0 1 0 19805817 17035264 3610 4294967295 134512640 134702520 3221223712 3221222992 134557285 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4159 3610 413 48 0 4111 0
[pid=6039] vsize: 16636
Current children cumulated CPU time (s) 821.23
Current children cumulated vsize (Kb) 18764

[startup+880.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3646 0 0 0 50011 1638 0 0 25 0 1 0 19805817 17035264 3616 4294967295 134512640 134702520 3221223712 3221222960 134564365 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4159 3616 413 48 0 4111 0
[pid=6039] vsize: 16636
Current children cumulated CPU time (s) 830.78
Current children cumulated vsize (Kb) 18764

[startup+890.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3652 0 0 0 50952 1657 0 0 25 0 1 0 19805817 17035264 3622 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4159 3622 413 48 0 4111 0
[pid=6039] vsize: 16636
Current children cumulated CPU time (s) 840.38
Current children cumulated vsize (Kb) 18764

[startup+900.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3663 0 0 0 51875 1686 0 0 25 0 1 0 19805817 17035264 3633 4294967295 134512640 134702520 3221223712 3221222992 134553277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4159 3633 413 48 0 4111 0
[pid=6039] vsize: 16636
Current children cumulated CPU time (s) 849.9
Current children cumulated vsize (Kb) 18764

[startup+910.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3682 0 0 0 52810 1708 0 0 25 0 1 0 19805817 17170432 3652 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4192 3652 413 48 0 4144 0
[pid=6039] vsize: 16768
Current children cumulated CPU time (s) 859.47
Current children cumulated vsize (Kb) 18896

[startup+920.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3707 0 0 0 53757 1727 0 0 25 0 1 0 19805817 17305600 3677 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4225 3677 413 48 0 4177 0
[pid=6039] vsize: 16900
Current children cumulated CPU time (s) 869.13
Current children cumulated vsize (Kb) 19028

[startup+930.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3711 0 0 0 54687 1752 0 0 25 0 1 0 19805817 17305600 3681 4294967295 134512640 134702520 3221223712 3221222992 134557206 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4225 3681 413 48 0 4177 0
[pid=6039] vsize: 16900
Current children cumulated CPU time (s) 878.68
Current children cumulated vsize (Kb) 19028

[startup+940.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3713 0 0 0 55602 1782 0 0 25 0 1 0 19805817 17305600 3683 4294967295 134512640 134702520 3221223712 3221222992 134557278 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4225 3683 413 48 0 4177 0
[pid=6039] vsize: 16900
Current children cumulated CPU time (s) 888.13
Current children cumulated vsize (Kb) 19028

[startup+950.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3722 0 0 0 56536 1806 0 0 23 0 1 0 19805817 17305600 3692 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4225 3692 413 48 0 4177 0
[pid=6039] vsize: 16900
Current children cumulated CPU time (s) 897.71
Current children cumulated vsize (Kb) 19028

[startup+960.071 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3728 0 0 0 57464 1832 0 0 25 0 1 0 19805817 17305600 3698 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4225 3698 413 48 0 4177 0
[pid=6039] vsize: 16900
Current children cumulated CPU time (s) 907.25
Current children cumulated vsize (Kb) 19028

[startup+970.073 s]
Raw data (loadavg): 1.07 0.99 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3734 0 0 0 58389 1859 0 0 25 0 1 0 19805817 17465344 3704 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4264 3704 413 48 0 4216 0
[pid=6039] vsize: 17056
Current children cumulated CPU time (s) 916.77
Current children cumulated vsize (Kb) 19184

[startup+980.074 s]
Raw data (loadavg): 1.06 0.99 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3737 0 0 0 59313 1887 0 0 25 0 1 0 19805817 17465344 3707 4294967295 134512640 134702520 3221223712 3221222608 134553354 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4264 3707 413 48 0 4216 0
[pid=6039] vsize: 17056
Current children cumulated CPU time (s) 926.29
Current children cumulated vsize (Kb) 19184

[startup+990.074 s]
Raw data (loadavg): 1.05 0.99 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3739 0 0 0 60219 1923 0 0 25 0 1 0 19805817 17465344 3709 4294967295 134512640 134702520 3221223712 3221222992 134550369 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4264 3709 413 48 0 4216 0
[pid=6039] vsize: 17056
Current children cumulated CPU time (s) 935.71
Current children cumulated vsize (Kb) 19184

[startup+1000.08 s]
Raw data (loadavg): 1.04 0.99 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3741 0 0 0 61122 1957 0 0 25 0 1 0 19805817 17465344 3711 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4264 3711 413 48 0 4216 0
[pid=6039] vsize: 17056
Current children cumulated CPU time (s) 945.08
Current children cumulated vsize (Kb) 19184

[startup+1010.08 s]
Raw data (loadavg): 1.03 0.99 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3746 0 0 0 62033 1988 0 0 25 0 1 0 19805817 17465344 3716 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4264 3716 413 48 0 4216 0
[pid=6039] vsize: 17056
Current children cumulated CPU time (s) 954.5
Current children cumulated vsize (Kb) 19184

[startup+1020.08 s]
Raw data (loadavg): 1.03 0.99 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3747 0 0 0 62922 2025 0 0 25 0 1 0 19805817 17465344 3717 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4264 3717 413 48 0 4216 0
[pid=6039] vsize: 17056
Current children cumulated CPU time (s) 963.76
Current children cumulated vsize (Kb) 19184

[startup+1030.08 s]
Raw data (loadavg): 1.02 0.99 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3755 0 0 0 63834 2059 0 0 25 0 1 0 19805817 17465344 3725 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4264 3725 413 48 0 4216 0
[pid=6039] vsize: 17056
Current children cumulated CPU time (s) 973.22
Current children cumulated vsize (Kb) 19184

[startup+1040.08 s]
Raw data (loadavg): 1.02 0.99 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3758 0 0 0 64722 2099 0 0 25 0 1 0 19805817 17465344 3728 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4264 3728 413 48 0 4216 0
[pid=6039] vsize: 17056
Current children cumulated CPU time (s) 982.5
Current children cumulated vsize (Kb) 19184

[startup+1050.08 s]
Raw data (loadavg): 1.02 0.99 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3760 0 0 0 65627 2134 0 0 25 0 1 0 19805817 17465344 3730 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4264 3730 413 48 0 4216 0
[pid=6039] vsize: 17056
Current children cumulated CPU time (s) 991.9
Current children cumulated vsize (Kb) 19184

[startup+1060.08 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3762 0 0 0 66499 2177 0 0 25 0 1 0 19805817 17465344 3732 4294967295 134512640 134702520 3221223712 3221206848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4264 3732 413 48 0 4216 0
[pid=6039] vsize: 17056
Current children cumulated CPU time (s) 1001.05
Current children cumulated vsize (Kb) 19184

[startup+1070.08 s]
Raw data (loadavg): 1.01 0.99 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3767 0 0 0 67398 2213 0 0 25 0 1 0 19805817 17465344 3737 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4264 3737 413 48 0 4216 0
[pid=6039] vsize: 17056
Current children cumulated CPU time (s) 1010.4
Current children cumulated vsize (Kb) 19184

[startup+1080.08 s]
Raw data (loadavg): 1.01 0.99 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3769 0 0 0 68314 2240 0 0 25 0 1 0 19805817 17612800 3739 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4300 3739 413 48 0 4252 0
[pid=6039] vsize: 17200
Current children cumulated CPU time (s) 1019.83
Current children cumulated vsize (Kb) 19328

[startup+1090.08 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3769 0 0 0 69204 2279 0 0 25 0 1 0 19805817 17551360 3739 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4285 3739 413 48 0 4237 0
[pid=6039] vsize: 17140
Current children cumulated CPU time (s) 1029.12
Current children cumulated vsize (Kb) 19268

[startup+1100.08 s]
Raw data (loadavg): 1.00 0.99 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3771 0 0 0 70121 2310 0 0 25 0 1 0 19805817 17551360 3741 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4285 3741 413 48 0 4237 0
[pid=6039] vsize: 17140
Current children cumulated CPU time (s) 1038.6
Current children cumulated vsize (Kb) 19268

[startup+1110.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3774 0 0 0 71020 2345 0 0 25 0 1 0 19805817 17551360 3744 4294967295 134512640 134702520 3221223712 3221222992 134551048 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4285 3744 413 48 0 4237 0
[pid=6039] vsize: 17140
Current children cumulated CPU time (s) 1047.94
Current children cumulated vsize (Kb) 19268

[startup+1120.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3781 0 0 0 71926 2379 0 0 25 0 1 0 19805817 17551360 3751 4294967295 134512640 134702520 3221223712 3221222676 134550176 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4285 3751 413 48 0 4237 0
[pid=6039] vsize: 17140
Current children cumulated CPU time (s) 1057.34
Current children cumulated vsize (Kb) 19268

[startup+1130.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3783 0 0 0 72813 2417 0 0 25 0 1 0 19805817 17551360 3753 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4285 3753 413 48 0 4237 0
[pid=6039] vsize: 17140
Current children cumulated CPU time (s) 1066.59
Current children cumulated vsize (Kb) 19268

[startup+1140.09 s]
Raw data (loadavg): 1.00 0.99 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3784 0 0 0 73715 2450 0 0 25 0 1 0 19805817 17551360 3754 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4285 3754 413 48 0 4237 0
[pid=6039] vsize: 17140
Current children cumulated CPU time (s) 1075.94
Current children cumulated vsize (Kb) 19268

[startup+1150.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3789 0 0 0 74617 2487 0 0 25 0 1 0 19805817 17551360 3759 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4285 3759 413 48 0 4237 0
[pid=6039] vsize: 17140
Current children cumulated CPU time (s) 1085.33
Current children cumulated vsize (Kb) 19268

[startup+1160.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3797 0 0 0 75509 2523 0 0 25 0 1 0 19805817 17686528 3767 4294967295 134512640 134702520 3221223712 3221222992 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4318 3767 413 48 0 4270 0
[pid=6039] vsize: 17272
Current children cumulated CPU time (s) 1094.61
Current children cumulated vsize (Kb) 19400

[startup+1170.09 s]
Raw data (loadavg): 1.00 0.99 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3803 0 0 0 76419 2551 0 0 25 0 1 0 19805817 17686528 3773 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4318 3773 413 48 0 4270 0
[pid=6039] vsize: 17272
Current children cumulated CPU time (s) 1103.99
Current children cumulated vsize (Kb) 19400

[startup+1180.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3806 0 0 0 77325 2584 0 0 25 0 1 0 19805817 17686528 3776 4294967295 134512640 134702520 3221223712 3221222992 134557278 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4318 3776 413 48 0 4270 0
[pid=6039] vsize: 17272
Current children cumulated CPU time (s) 1113.38
Current children cumulated vsize (Kb) 19400

[startup+1190.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3810 0 0 0 78210 2626 0 0 25 0 1 0 19805817 17686528 3780 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4318 3780 413 48 0 4270 0
[pid=6039] vsize: 17272
Current children cumulated CPU time (s) 1122.65
Current children cumulated vsize (Kb) 19400

[startup+1200.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3812 0 0 0 79113 2656 0 0 25 0 1 0 19805817 17686528 3782 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4318 3782 413 48 0 4270 0
[pid=6039] vsize: 17272
Current children cumulated CPU time (s) 1131.98
Current children cumulated vsize (Kb) 19400

[startup+1210.09 s]
Raw data (loadavg): 1.07 1.00 0.92 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3812 0 0 0 80009 2694 0 0 25 0 1 0 19805817 17686528 3782 4294967295 134512640 134702520 3221223712 3221222736 134553458 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4318 3782 413 48 0 4270 0
[pid=6039] vsize: 17272
Current children cumulated CPU time (s) 1141.32
Current children cumulated vsize (Kb) 19400

[startup+1220.09 s]
Raw data (loadavg): 1.06 1.00 0.92 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3812 0 0 0 80892 2736 0 0 25 0 1 0 19805817 17686528 3782 4294967295 134512640 134702520 3221223712 3221222736 134552372 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4318 3782 413 48 0 4270 0
[pid=6039] vsize: 17272
Current children cumulated CPU time (s) 1150.57
Current children cumulated vsize (Kb) 19400

[startup+1230.09 s]
Raw data (loadavg): 1.05 1.00 0.92 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3816 0 0 0 81805 2766 0 0 25 0 1 0 19805817 17686528 3786 4294967295 134512640 134702520 3221223712 3221222608 134551079 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4318 3786 413 48 0 4270 0
[pid=6039] vsize: 17272
Current children cumulated CPU time (s) 1160
Current children cumulated vsize (Kb) 19400
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=6039) exited with status: 2
New process pid=6040
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=6040) exited with status: 0
New process pid=6041
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+1240.09 s]
Raw data (loadavg): 1.04 1.00 0.92 2/56 6041
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 417 7895 0 0 1 2 112638 3812 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6041/stat): 6041 (vallst) R 6034 6034 4060 0 -1 0 996 0 0 0 475 18 0 0 25 0 1 0 19895974 5959680 967 4294967295 134512640 134702520 3221223712 3221222848 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6041/statm): 1455 967 413 48 0 1407 0
[pid=6041] vsize: 5820
Current children cumulated CPU time (s) 1169.46
Current children cumulated vsize (Kb) 7948

[startup+1250.09 s]
Raw data (loadavg): 1.04 1.00 0.92 2/56 6041
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 417 7895 0 0 1 2 112638 3812 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6041/stat): 6041 (vallst) R 6034 6034 4060 0 -1 0 998 0 0 0 1397 46 0 0 25 0 1 0 19895974 5959680 969 4294967295 134512640 134702520 3221223712 3221223152 134617852 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6041/statm): 1455 969 413 48 0 1407 0
[pid=6041] vsize: 5820
Current children cumulated CPU time (s) 1178.96
Current children cumulated vsize (Kb) 7948

[startup+1260.1 s]
Raw data (loadavg): 1.03 1.00 0.92 2/56 6041
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 417 7895 0 0 1 2 112638 3812 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6041/stat): 6041 (vallst) R 6034 6034 4060 0 -1 0 1754 0 0 0 2287 87 0 0 25 0 1 0 19895974 10588160 1725 4294967295 134512640 134702520 3221223712 3221194528 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6041/statm): 2585 1725 413 48 0 2537 0
[pid=6041] vsize: 10340
Current children cumulated CPU time (s) 1188.27
Current children cumulated vsize (Kb) 12468

[startup+1270.1 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 6041
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 417 7895 0 0 1 2 112638 3812 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6041/stat): 6041 (vallst) R 6034 6034 4060 0 -1 0 1998 0 0 0 3188 120 0 0 25 0 1 0 19895974 10727424 1969 4294967295 134512640 134702520 3221223712 3221223104 134603635 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6041/statm): 2619 1969 413 48 0 2571 0
[pid=6041] vsize: 10476
Current children cumulated CPU time (s) 1197.61
Current children cumulated vsize (Kb) 12604

[startup+1280.1 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 6041
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 417 7895 0 0 1 2 112638 3812 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6041/stat): 6041 (vallst) R 6034 6034 4060 0 -1 0 2283 0 0 0 4098 152 0 0 25 0 1 0 19895974 10997760 2254 4294967295 134512640 134702520 3221223712 3221222992 134554260 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6041/statm): 2685 2254 413 48 0 2637 0
[pid=6041] vsize: 10740
Current children cumulated CPU time (s) 1207.03
Current children cumulated vsize (Kb) 12868



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1280.1 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 6041
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 417 7895 0 0 1 2 112638 3812 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6041/stat): 6041 (vallst) R 6034 6034 4060 0 -1 0 2283 0 0 0 4098 152 0 0 25 0 1 0 19895974 10997760 2254 4294967295 134512640 134702520 3221223712 3221222992 134554260 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6041/statm): 2685 2254 413 48 0 2637 0
[pid=6041] vsize: 10740
Current children cumulated CPU time (s) 1207.03
Current children cumulated vsize (Kb) 12868

Sending SIGTERM to -6034
Sleeping 2 seconds
New process pid=6043
New process pid=6044
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4042/stat
open syscall for file /proc/4042/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/5995/stat
open syscall for file /proc/5995/status
open syscall for file /proc/5995/cmdline
open syscall for file /proc/5995/environ
open syscall for file /proc/6033/stat
open syscall for file /proc/6033/status
open syscall for file /proc/6033/cmdline
open syscall for file /proc/6033/environ
open syscall for file /proc/6034/stat
open syscall for file /proc/6034/status
open syscall for file /proc/6034/cmdline
open syscall for file /proc/6034/environ
open syscall for file /proc/6041/stat
open syscall for file /proc/6041/status
open syscall for file /proc/6041/cmdline
open syscall for file /proc/6041/environ
open syscall for file /proc/6043/stat
open syscall for file /proc/6043/status
open syscall for file /proc/6043/cmdline
open syscall for file /proc/6043/environ
open syscall for file /proc/6044/stat
open syscall for file /proc/6044/status
open syscall for file /proc/6044/cmdline
open syscall for file /proc/6044/environ
One traced child (pid=6043) exited with status: 0
One traced child (pid=6044) exited with status: 0
New process pid=6045
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
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=6041) exited with status: 3
One traced child (pid=6045) exited with status: 0
New process pid=6046
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=6046) exited with status: 0
One traced child (pid=6034) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1280.58
CPU time (s): 1207.5
CPU user time (s): 1167.74
CPU system time (s): 39.758
CPU usage (%): 94.293
Max. virtual memory (cumulated for all children) (Kb): 19400

Verifier Data

ERROR: no interpretation found !