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/miplib3/normalized-mps-v2-13-7-set1ch.opb
MD5SUM28671fa27f6142d46ae445332a951f0d
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 71225856
Optimality of the best value was proved NO
Number of terms in the objective function 4880
Biggest coefficient in the objective function 10485760
Number of bits for the biggest coefficient in the objective function 24
Sum of the numbers in the objective function 1662757407
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 10485760
Number of bits of the biggest number in a constraint 24
Biggest sum of numbers in a constraint 1662757407
Number of bits of the biggest sum of numbers31
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1247.96
Number of variables9680
Total number of constraints732
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)240
Number of constraints which are nor clauses,nor cardinality constraints492
Minimum length of a constraint1
Maximum length of a constraint420

Trace number 9355

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        936056 kB
Buffers:         12844 kB
Cached:          67124 kB
SwapCached:          0 kB
Active:          44348 kB
Inactive:        38524 kB
HighTotal:      131008 kB
HighFree:        60004 kB
LowTotal:       903652 kB
LowFree:        876052 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:               8 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:            10128 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 13:11:42 (client local time) WITH STATUS 0 IN 1203.89 SECONDS
stats: 8080 7 1203.89 0

Solver Data

1:
seed: 0
Nr of vars set: 1266  (#equs: 0)
Nr of vars set: 2123  (#equs: 30)
#decisions: 3017134;  #end-nodes: 136118;
#proof improvement attempts: 0;  #restarts: 768
Current batch, end-nodes: 0 / 271 (271)
#axs: 763, #non-axs: 1007
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 29, end (keep): 48
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: 2150  (#equs: 30)
Time taken: 5 min, 8 sec

2:
seed: 0
Nr of vars set: 2150  (#equs: 0)
Nr of vars set: 2150  (#equs: 15)
#decisions: 8586498;  #end-nodes: 703745;
#proof improvement attempts: 0;  #restarts: 1920
Current batch, end-nodes: 0 / 615 (599)
#axs: 755, #non-axs: 715
tight: meta-meta: start: 3, end: 4;  meta: start: 11, end (keep): 20
loose: meta-meta: start: 4, end: 5;  meta: start: 8, end (keep): 12
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 2157  (#equs: 23)
Time taken: 12 min, 9 sec

3:
seed: 0
Nr of vars set: 2157  (#equs: 0)
Nr of vars set: 2157  (#equs: 15)
Interupt request received.
#decisions: 1660954;  #end-nodes: 85650;
#proof improvement attempts: 0;  #restarts: 402
Current batch, end-nodes: 62 / 260 (260)
#axs: 750, #non-axs: 972
tight: meta-meta: start: 3, end: 4;  meta: start: 11, end (keep): 20
loose: meta-meta: start: 4, end: 5;  meta: start: 8, end (keep): 12
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 2868  (#equs: 18)
Time taken: 2 min, 44 sec
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 71: kill: (5898) - No such process

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/5828/stat): 5828 (vallstSAT2005PB) R 5827 5828 4004 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20234043 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5828/statm): 174 3 169 147 0 27 0
[pid=5828] 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=5829
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=5829) exited with status: 0
New process pid=5830
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=5830) exited with status: 0
New process pid=5831
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-set1ch.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0034 s]
Raw data (loadavg): 0.84 0.95 0.98 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 952 0 0 0 652 115 0 0 18 0 1 0 20234050 4767744 805 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1164 805 413 48 0 1116 0
[pid=5831] vsize: 4656
Current children cumulated CPU time (s) 7.69
Current children cumulated vsize (Kb) 6784

[startup+20.004 s]
Raw data (loadavg): 0.86 0.95 0.98 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 952 0 0 0 1272 239 0 0 20 0 1 0 20234050 4767744 805 4294967295 134512640 134702520 3221223952 3221223192 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1164 805 413 48 0 1116 0
[pid=5831] vsize: 4656
Current children cumulated CPU time (s) 15.13
Current children cumulated vsize (Kb) 6784

[startup+30.0046 s]
Raw data (loadavg): 0.88 0.95 0.98 2/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) R 5828 5828 4004 0 -1 0 1019 0 0 0 1775 395 0 0 16 0 1 0 20234050 6959104 872 4294967295 134512640 134702520 3221223952 3221223232 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1699 872 413 48 0 1651 0
[pid=5831] vsize: 6796
Current children cumulated CPU time (s) 21.72
Current children cumulated vsize (Kb) 8924

[startup+40.0052 s]
Raw data (loadavg): 0.90 0.96 0.98 2/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) R 5828 5828 4004 0 -1 0 1023 0 0 0 2332 533 0 0 17 0 1 0 20234050 6963200 876 4294967295 134512640 134702520 3221223952 3221201308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 876 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 28.67
Current children cumulated vsize (Kb) 8928

[startup+50.0058 s]
Raw data (loadavg): 0.92 0.96 0.98 2/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) R 5828 5828 4004 0 -1 0 1025 0 0 0 2864 682 0 0 17 0 1 0 20234050 6963200 878 4294967295 134512640 134702520 3221223952 3221220848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 878 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 35.48
Current children cumulated vsize (Kb) 8928

[startup+60.0064 s]
Raw data (loadavg): 0.93 0.96 0.98 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1025 0 0 0 3539 790 0 0 18 0 1 0 20234050 6963200 878 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 878 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 43.31
Current children cumulated vsize (Kb) 8928

[startup+70.008 s]
Raw data (loadavg): 0.94 0.96 0.98 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1025 0 0 0 4152 912 0 0 19 0 1 0 20234050 6963200 878 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 878 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (Kb) 8928

[startup+80.0086 s]
Raw data (loadavg): 0.95 0.96 0.98 2/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) R 5828 5828 4004 0 -1 0 1027 0 0 0 4700 1054 0 0 25 0 1 0 20234050 6963200 880 4294967295 134512640 134702520 3221223952 3221038748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5831/statm): 1700 880 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 57.56
Current children cumulated vsize (Kb) 8928

[startup+90.0092 s]
Raw data (loadavg): 0.95 0.96 0.98 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1029 0 0 0 5282 1191 0 0 16 0 1 0 20234050 6963200 882 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5831/statm): 1700 882 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 64.75
Current children cumulated vsize (Kb) 8928

[startup+100.01 s]
Raw data (loadavg): 0.96 0.96 0.98 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1031 0 0 0 5889 1315 0 0 19 0 1 0 20234050 6963200 884 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5831/statm): 1700 884 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 72.06
Current children cumulated vsize (Kb) 8928

[startup+110.011 s]
Raw data (loadavg): 0.97 0.96 0.98 2/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) R 5828 5828 4004 0 -1 0 1031 0 0 0 6511 1443 0 0 18 0 1 0 20234050 6963200 884 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 884 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 79.56
Current children cumulated vsize (Kb) 8928

[startup+120.012 s]
Raw data (loadavg): 1.05 0.98 0.99 2/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) R 5828 5828 4004 0 -1 0 1031 0 0 0 7048 1594 0 0 17 0 1 0 20234050 6963200 884 4294967295 134512640 134702520 3221223952 3221215568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5831/statm): 1700 884 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 86.44
Current children cumulated vsize (Kb) 8928

[startup+130.013 s]
Raw data (loadavg): 1.04 0.98 0.99 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1034 0 0 0 7592 1746 0 0 17 0 1 0 20234050 6963200 887 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5831/statm): 1700 887 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 93.4
Current children cumulated vsize (Kb) 8928

[startup+140.013 s]
Raw data (loadavg): 1.04 0.98 0.99 2/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) R 5828 5828 4004 0 -1 0 1035 0 0 0 8164 1889 0 0 18 0 1 0 20234050 6963200 888 4294967295 134512640 134702520 3221223952 3221196528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 888 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 100.55
Current children cumulated vsize (Kb) 8928

[startup+150.014 s]
Raw data (loadavg): 1.03 0.98 0.99 2/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) R 5828 5828 4004 0 -1 0 1036 0 0 0 8819 2001 0 0 18 0 1 0 20234050 6963200 889 4294967295 134512640 134702520 3221223952 3221222848 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 889 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 108.22
Current children cumulated vsize (Kb) 8928

[startup+160.014 s]
Raw data (loadavg): 1.03 0.98 0.99 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1036 0 0 0 9437 2131 0 0 18 0 1 0 20234050 6963200 889 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 889 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 115.7
Current children cumulated vsize (Kb) 8928

[startup+170.015 s]
Raw data (loadavg): 1.02 0.98 0.99 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1037 0 0 0 10034 2265 0 0 18 0 1 0 20234050 6963200 890 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5831/statm): 1700 890 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 123.01
Current children cumulated vsize (Kb) 8928

[startup+180.015 s]
Raw data (loadavg): 1.02 0.98 0.99 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1041 0 0 0 10596 2404 0 0 17 0 1 0 20234050 6963200 894 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5831/statm): 1700 894 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 8928

[startup+190.015 s]
Raw data (loadavg): 1.09 1.00 0.99 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1041 0 0 0 11157 2548 0 0 16 0 1 0 20234050 6963200 894 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 894 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 137.07
Current children cumulated vsize (Kb) 8928

[startup+200.016 s]
Raw data (loadavg): 1.07 1.00 0.99 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1041 0 0 0 11791 2664 0 0 18 0 1 0 20234050 6963200 894 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5831/statm): 1700 894 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 144.57
Current children cumulated vsize (Kb) 8928

[startup+210.017 s]
Raw data (loadavg): 1.06 1.00 0.99 2/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) R 5828 5828 4004 0 -1 0 1041 0 0 0 12417 2789 0 0 18 0 1 0 20234050 6963200 894 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5831/statm): 1700 894 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 152.08
Current children cumulated vsize (Kb) 8928

[startup+220.018 s]
Raw data (loadavg): 1.12 1.01 1.00 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1044 0 0 0 12934 2946 0 0 16 0 1 0 20234050 6963200 897 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 897 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 158.82
Current children cumulated vsize (Kb) 8928

[startup+230.018 s]
Raw data (loadavg): 1.11 1.01 1.00 2/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) R 5828 5828 4004 0 -1 0 1044 0 0 0 13573 3066 0 0 25 0 1 0 20234050 6963200 897 4294967295 134512640 134702520 3221223952 3221103388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 897 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 166.41
Current children cumulated vsize (Kb) 8928

[startup+240.019 s]
Raw data (loadavg): 1.16 1.03 1.00 2/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) R 5828 5828 4004 0 -1 0 1049 0 0 0 14073 3231 0 0 18 0 1 0 20234050 6963200 902 4294967295 134512640 134702520 3221223952 3221193948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 902 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 173.06
Current children cumulated vsize (Kb) 8928

[startup+250.02 s]
Raw data (loadavg): 1.14 1.03 1.00 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1049 0 0 0 14763 3335 0 0 18 0 1 0 20234050 6963200 902 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 902 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 181
Current children cumulated vsize (Kb) 8928

[startup+260.02 s]
Raw data (loadavg): 1.12 1.03 1.00 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1049 0 0 0 15396 3457 0 0 19 0 1 0 20234050 6963200 902 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 902 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 188.55
Current children cumulated vsize (Kb) 8928

[startup+270.021 s]
Raw data (loadavg): 1.10 1.02 1.00 2/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) R 5828 5828 4004 0 -1 0 1052 0 0 0 15954 3598 0 0 25 0 1 0 20234050 6963200 905 4294967295 134512640 134702520 3221223952 3220978908 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 905 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 195.54
Current children cumulated vsize (Kb) 8928

[startup+280.022 s]
Raw data (loadavg): 1.08 1.02 1.00 3/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) R 5828 5828 4004 0 -1 0 1052 0 0 0 16392 3780 0 0 16 0 1 0 20234050 6963200 905 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 905 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 201.74
Current children cumulated vsize (Kb) 8928

[startup+290.022 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1053 0 0 0 16943 3921 0 0 21 0 1 0 20234050 6963200 906 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 906 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 208.66
Current children cumulated vsize (Kb) 8928

[startup+300.023 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1053 0 0 0 17526 4058 0 0 19 0 1 0 20234050 6963200 906 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 906 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 215.86
Current children cumulated vsize (Kb) 8928

[startup+310.024 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) R 5828 5828 4004 0 -1 0 1053 0 0 0 18159 4179 0 0 18 0 1 0 20234050 6963200 906 4294967295 134512640 134702520 3221223952 3221222848 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 906 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 223.4
Current children cumulated vsize (Kb) 8928

[startup+320.025 s]
Raw data (loadavg): 1.04 1.02 1.00 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1054 0 0 0 18746 4309 0 0 17 0 1 0 20234050 6963200 907 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 907 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 230.57
Current children cumulated vsize (Kb) 8928

[startup+330.026 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1094 0 0 0 19313 4440 0 0 17 0 1 0 20234050 6963200 947 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1700 947 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 237.55
Current children cumulated vsize (Kb) 8928

[startup+340.026 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1106 0 0 0 19612 4660 0 0 16 0 1 0 20234050 6963200 959 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5831/statm): 1700 959 413 48 0 1652 0
[pid=5831] vsize: 6800
Current children cumulated CPU time (s) 242.74
Current children cumulated vsize (Kb) 8928

[startup+350.027 s]
Raw data (loadavg): 1.10 1.03 1.01 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1125 0 0 0 20045 4842 0 0 16 0 1 0 20234050 7208960 978 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5831/statm): 1760 978 413 48 0 1712 0
[pid=5831] vsize: 7040
Current children cumulated CPU time (s) 248.89
Current children cumulated vsize (Kb) 9168

[startup+360.028 s]
Raw data (loadavg): 1.09 1.03 1.00 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1139 0 0 0 20620 4978 0 0 19 0 1 0 20234050 7208960 992 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1760 992 413 48 0 1712 0
[pid=5831] vsize: 7040
Current children cumulated CPU time (s) 256
Current children cumulated vsize (Kb) 9168

[startup+370.029 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1139 0 0 0 21266 5094 0 0 19 0 1 0 20234050 7208960 992 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1760 992 413 48 0 1712 0
[pid=5831] vsize: 7040
Current children cumulated CPU time (s) 263.62
Current children cumulated vsize (Kb) 9168

[startup+380.03 s]
Raw data (loadavg): 1.14 1.04 1.01 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1139 0 0 0 21841 5232 0 0 17 0 1 0 20234050 7208960 992 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1760 992 413 48 0 1712 0
[pid=5831] vsize: 7040
Current children cumulated CPU time (s) 270.75
Current children cumulated vsize (Kb) 9168

[startup+390.03 s]
Raw data (loadavg): 1.12 1.04 1.01 2/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) R 5828 5828 4004 0 -1 0 1141 0 0 0 22418 5365 0 0 16 0 1 0 20234050 7208960 994 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5831/statm): 1760 994 413 48 0 1712 0
[pid=5831] vsize: 7040
Current children cumulated CPU time (s) 277.85
Current children cumulated vsize (Kb) 9168

[startup+400.031 s]
Raw data (loadavg): 1.10 1.04 1.01 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1141 0 0 0 22990 5499 0 0 24 0 1 0 20234050 7208960 994 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5831/statm): 1760 994 413 48 0 1712 0
[pid=5831] vsize: 7040
Current children cumulated CPU time (s) 284.91
Current children cumulated vsize (Kb) 9168

[startup+410.031 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1160 0 0 0 23432 5680 0 0 17 0 1 0 20234050 7208960 1013 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1760 1013 413 48 0 1712 0
[pid=5831] vsize: 7040
Current children cumulated CPU time (s) 291.14
Current children cumulated vsize (Kb) 9168

[startup+420.033 s]
Raw data (loadavg): 1.07 1.04 1.00 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1165 0 0 0 24045 5809 0 0 19 0 1 0 20234050 7208960 1018 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1760 1018 413 48 0 1712 0
[pid=5831] vsize: 7040
Current children cumulated CPU time (s) 298.56
Current children cumulated vsize (Kb) 9168

[startup+430.034 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 5831
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20234043 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 242 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5831/stat): 5831 (vallst) T 5828 5828 4004 0 -1 0 1165 0 0 0 24700 5924 0 0 19 0 1 0 20234050 7208960 1018 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5831/statm): 1760 1018 413 48 0 1712 0
[pid=5831] vsize: 7040
Current children cumulated CPU time (s) 306.26
Current children cumulated vsize (Kb) 9168
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=5831) exited with status: 2
New process pid=5832
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=5832) exited with status: 0
New process pid=5833
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+440.034 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 667 0 0 0 452 66 0 0 16 0 1 0 20277397 4263936 637 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1041 637 413 48 0 993 0
[pid=5833] vsize: 4164
Current children cumulated CPU time (s) 314.08
Current children cumulated vsize (Kb) 6292

[startup+450.035 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 669 0 0 0 870 254 0 0 17 0 1 0 20277397 4399104 639 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1074 639 413 48 0 1026 0
[pid=5833] vsize: 4296
Current children cumulated CPU time (s) 320.14
Current children cumulated vsize (Kb) 6424

[startup+460.035 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 769 0 0 0 1333 425 0 0 16 0 1 0 20277397 6512640 739 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1590 739 413 48 0 1542 0
[pid=5833] vsize: 6360
Current children cumulated CPU time (s) 326.48
Current children cumulated vsize (Kb) 8488

[startup+470.036 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 781 0 0 0 1866 579 0 0 16 0 1 0 20277397 6512640 751 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1590 751 413 48 0 1542 0
[pid=5833] vsize: 6360
Current children cumulated CPU time (s) 333.35
Current children cumulated vsize (Kb) 8488

[startup+480.037 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 785 0 0 0 2354 742 0 0 16 0 1 0 20277397 6512640 755 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1590 755 413 48 0 1542 0
[pid=5833] vsize: 6360
Current children cumulated CPU time (s) 339.86
Current children cumulated vsize (Kb) 8488

[startup+490.038 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 790 0 0 0 2820 919 0 0 16 0 1 0 20277397 6647808 760 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1623 760 413 48 0 1575 0
[pid=5833] vsize: 6492
Current children cumulated CPU time (s) 346.29
Current children cumulated vsize (Kb) 8620

[startup+500.039 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 791 0 0 0 3273 1094 0 0 18 0 1 0 20277397 6647808 761 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1623 761 413 48 0 1575 0
[pid=5833] vsize: 6492
Current children cumulated CPU time (s) 352.57
Current children cumulated vsize (Kb) 8620

[startup+510.039 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 792 0 0 0 3788 1252 0 0 25 0 1 0 20277397 6619136 762 4294967295 134512640 134702520 3221223712 3221063948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1616 762 413 48 0 1568 0
[pid=5833] vsize: 6464
Current children cumulated CPU time (s) 359.3
Current children cumulated vsize (Kb) 8592

[startup+520.04 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 793 0 0 0 4212 1433 0 0 18 0 1 0 20277397 6619136 763 4294967295 134512640 134702520 3221223712 3221193408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1616 763 413 48 0 1568 0
[pid=5833] vsize: 6464
Current children cumulated CPU time (s) 365.35
Current children cumulated vsize (Kb) 8592

[startup+530.04 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 804 0 0 0 4682 1603 0 0 16 0 1 0 20277397 6619136 774 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1616 774 413 48 0 1568 0
[pid=5833] vsize: 6464
Current children cumulated CPU time (s) 371.75
Current children cumulated vsize (Kb) 8592

[startup+540.041 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 806 0 0 0 5290 1729 0 0 16 0 1 0 20277397 6619136 776 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1616 776 413 48 0 1568 0
[pid=5833] vsize: 6464
Current children cumulated CPU time (s) 379.09
Current children cumulated vsize (Kb) 8592

[startup+550.042 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 807 0 0 0 5740 1903 0 0 17 0 1 0 20277397 6619136 777 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1616 777 413 48 0 1568 0
[pid=5833] vsize: 6464
Current children cumulated CPU time (s) 385.33
Current children cumulated vsize (Kb) 8592

[startup+560.043 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 810 0 0 0 6313 2043 0 0 16 0 1 0 20277397 6660096 780 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1626 780 413 48 0 1578 0
[pid=5833] vsize: 6504
Current children cumulated CPU time (s) 392.46
Current children cumulated vsize (Kb) 8632

[startup+570.044 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 819 0 0 0 6805 2205 0 0 16 0 1 0 20277397 6660096 789 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1626 789 413 48 0 1578 0
[pid=5833] vsize: 6504
Current children cumulated CPU time (s) 399
Current children cumulated vsize (Kb) 8632

[startup+580.045 s]
Raw data (loadavg): 1.08 1.03 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 824 0 0 0 7372 2344 0 0 19 0 1 0 20277397 6660096 794 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1626 794 413 48 0 1578 0
[pid=5833] vsize: 6504
Current children cumulated CPU time (s) 406.06
Current children cumulated vsize (Kb) 8632

[startup+590.046 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 827 0 0 0 7829 2513 0 0 16 0 1 0 20277397 6660096 797 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1626 797 413 48 0 1578 0
[pid=5833] vsize: 6504
Current children cumulated CPU time (s) 412.32
Current children cumulated vsize (Kb) 8632

[startup+600.047 s]
Raw data (loadavg): 1.13 1.05 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 828 0 0 0 8275 2690 0 0 17 0 1 0 20277397 6799360 798 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1660 798 413 48 0 1612 0
[pid=5833] vsize: 6640
Current children cumulated CPU time (s) 418.55
Current children cumulated vsize (Kb) 8768

[startup+610.048 s]
Raw data (loadavg): 1.11 1.04 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 852 0 0 0 8712 2867 0 0 17 0 1 0 20277397 6709248 822 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1638 822 413 48 0 1590 0
[pid=5833] vsize: 6552
Current children cumulated CPU time (s) 424.69
Current children cumulated vsize (Kb) 8680

[startup+620.049 s]
Raw data (loadavg): 1.09 1.04 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 852 0 0 0 9240 3019 0 0 16 0 1 0 20277397 6709248 822 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1638 822 413 48 0 1590 0
[pid=5833] vsize: 6552
Current children cumulated CPU time (s) 431.49
Current children cumulated vsize (Kb) 8680

[startup+630.05 s]
Raw data (loadavg): 1.08 1.04 1.01 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 857 0 0 0 9740 3180 0 0 17 0 1 0 20277397 6832128 827 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1668 827 413 48 0 1620 0
[pid=5833] vsize: 6672
Current children cumulated CPU time (s) 438.1
Current children cumulated vsize (Kb) 8800

[startup+640.05 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 857 0 0 0 10218 3350 0 0 16 0 1 0 20277397 6832128 827 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1668 827 413 48 0 1620 0
[pid=5833] vsize: 6672
Current children cumulated CPU time (s) 444.58
Current children cumulated vsize (Kb) 8800

[startup+650.051 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 859 0 0 0 10683 3523 0 0 17 0 1 0 20277397 6832128 829 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1668 829 413 48 0 1620 0
[pid=5833] vsize: 6672
Current children cumulated CPU time (s) 450.96
Current children cumulated vsize (Kb) 8800

[startup+660.053 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 860 0 0 0 11123 3707 0 0 16 0 1 0 20277397 6832128 830 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1668 830 413 48 0 1620 0
[pid=5833] vsize: 6672
Current children cumulated CPU time (s) 457.2
Current children cumulated vsize (Kb) 8800

[startup+670.053 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 862 0 0 0 11637 3860 0 0 16 0 1 0 20277397 6832128 832 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1668 832 413 48 0 1620 0
[pid=5833] vsize: 6672
Current children cumulated CPU time (s) 463.87
Current children cumulated vsize (Kb) 8800

[startup+680.054 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 865 0 0 0 12267 3974 0 0 16 0 1 0 20277397 6832128 835 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1668 835 413 48 0 1620 0
[pid=5833] vsize: 6672
Current children cumulated CPU time (s) 471.31
Current children cumulated vsize (Kb) 8800

[startup+690.054 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 870 0 0 0 12730 4145 0 0 16 0 1 0 20277397 6832128 840 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1668 840 413 48 0 1620 0
[pid=5833] vsize: 6672
Current children cumulated CPU time (s) 477.65
Current children cumulated vsize (Kb) 8800

[startup+700.055 s]
Raw data (loadavg): 1.18 1.06 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 871 0 0 0 13185 4322 0 0 17 0 1 0 20277397 6832128 841 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1668 841 413 48 0 1620 0
[pid=5833] vsize: 6672
Current children cumulated CPU time (s) 483.97
Current children cumulated vsize (Kb) 8800

[startup+710.056 s]
Raw data (loadavg): 1.15 1.06 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 880 0 0 0 13651 4503 0 0 17 0 1 0 20277397 6848512 850 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1672 850 413 48 0 1624 0
[pid=5833] vsize: 6688
Current children cumulated CPU time (s) 490.44
Current children cumulated vsize (Kb) 8816

[startup+720.056 s]
Raw data (loadavg): 1.12 1.06 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 883 0 0 0 14228 4634 0 0 16 0 1 0 20277397 6848512 853 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1672 853 413 48 0 1624 0
[pid=5833] vsize: 6688
Current children cumulated CPU time (s) 497.52
Current children cumulated vsize (Kb) 8816

[startup+730.057 s]
Raw data (loadavg): 1.10 1.05 1.01 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 885 0 0 0 14729 4797 0 0 21 0 1 0 20277397 6848512 855 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1672 855 413 48 0 1624 0
[pid=5833] vsize: 6688
Current children cumulated CPU time (s) 504.16
Current children cumulated vsize (Kb) 8816

[startup+740.057 s]
Raw data (loadavg): 1.17 1.07 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 894 0 0 0 15187 4974 0 0 16 0 1 0 20277397 6848512 864 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1672 864 413 48 0 1624 0
[pid=5833] vsize: 6688
Current children cumulated CPU time (s) 510.51
Current children cumulated vsize (Kb) 8816

[startup+750.058 s]
Raw data (loadavg): 1.22 1.08 1.02 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 895 0 0 0 15617 5165 0 0 17 0 1 0 20277397 6995968 865 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1708 865 413 48 0 1660 0
[pid=5833] vsize: 6832
Current children cumulated CPU time (s) 516.72
Current children cumulated vsize (Kb) 8960

[startup+760.059 s]
Raw data (loadavg): 1.18 1.08 1.02 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 898 0 0 0 16074 5340 0 0 16 0 1 0 20277397 6905856 868 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1686 868 413 48 0 1638 0
[pid=5833] vsize: 6744
Current children cumulated CPU time (s) 523.04
Current children cumulated vsize (Kb) 8872

[startup+770.06 s]
Raw data (loadavg): 1.15 1.08 1.01 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 902 0 0 0 16553 5512 0 0 25 0 1 0 20277397 6905856 872 4294967295 134512640 134702520 3221223712 3221017408 134612101 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1686 872 413 48 0 1638 0
[pid=5833] vsize: 6744
Current children cumulated CPU time (s) 529.55
Current children cumulated vsize (Kb) 8872

[startup+780.061 s]
Raw data (loadavg): 1.13 1.07 1.01 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1083 0 0 0 17050 5673 0 0 25 0 1 0 20277397 7630848 1053 4294967295 134512640 134702520 3221223712 3221083788 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1863 1053 413 48 0 1815 0
[pid=5833] vsize: 7452
Current children cumulated CPU time (s) 536.13
Current children cumulated vsize (Kb) 9580

[startup+790.062 s]
Raw data (loadavg): 1.11 1.07 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1193 0 0 0 17560 5835 0 0 17 0 1 0 20277397 7737344 1099 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1889 1099 413 48 0 1841 0
[pid=5833] vsize: 7556
Current children cumulated CPU time (s) 542.85
Current children cumulated vsize (Kb) 9684

[startup+800.063 s]
Raw data (loadavg): 1.09 1.07 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1194 0 0 0 18023 6011 0 0 18 0 1 0 20277397 7737344 1100 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1889 1100 413 48 0 1841 0
[pid=5833] vsize: 7556
Current children cumulated CPU time (s) 549.24
Current children cumulated vsize (Kb) 9684

[startup+810.063 s]
Raw data (loadavg): 1.08 1.06 1.01 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1198 0 0 0 18557 6162 0 0 25 0 1 0 20277397 7737344 1104 4294967295 134512640 134702520 3221223712 3220976428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1889 1104 413 48 0 1841 0
[pid=5833] vsize: 7556
Current children cumulated CPU time (s) 556.09
Current children cumulated vsize (Kb) 9684

[startup+820.064 s]
Raw data (loadavg): 1.06 1.06 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1214 0 0 0 18981 6347 0 0 16 0 1 0 20277397 7979008 1120 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1948 1120 413 48 0 1900 0
[pid=5833] vsize: 7792
Current children cumulated CPU time (s) 562.18
Current children cumulated vsize (Kb) 9920

[startup+830.065 s]
Raw data (loadavg): 1.05 1.06 1.01 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1223 0 0 0 19388 6534 0 0 17 0 1 0 20277397 7979008 1129 4294967295 134512640 134702520 3221223712 3221218028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1948 1129 413 48 0 1900 0
[pid=5833] vsize: 7792
Current children cumulated CPU time (s) 568.12
Current children cumulated vsize (Kb) 9920

[startup+840.066 s]
Raw data (loadavg): 1.05 1.06 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1231 0 0 0 19939 6678 0 0 16 0 1 0 20277397 8118272 1137 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1982 1137 413 48 0 1934 0
[pid=5833] vsize: 7928
Current children cumulated CPU time (s) 575.07
Current children cumulated vsize (Kb) 10056

[startup+850.067 s]
Raw data (loadavg): 1.04 1.05 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1234 0 0 0 20457 6835 0 0 17 0 1 0 20277397 7876608 1132 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1923 1132 413 48 0 1875 0
[pid=5833] vsize: 7692
Current children cumulated CPU time (s) 581.82
Current children cumulated vsize (Kb) 9820

[startup+860.068 s]
Raw data (loadavg): 1.03 1.05 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1235 0 0 0 20968 6999 0 0 17 0 1 0 20277397 7876608 1133 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1923 1133 413 48 0 1875 0
[pid=5833] vsize: 7692
Current children cumulated CPU time (s) 588.57
Current children cumulated vsize (Kb) 9820

[startup+870.069 s]
Raw data (loadavg): 1.03 1.05 1.00 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1241 0 0 0 21446 7162 0 0 16 0 1 0 20277397 7876608 1139 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1923 1139 413 48 0 1875 0
[pid=5833] vsize: 7692
Current children cumulated CPU time (s) 594.98
Current children cumulated vsize (Kb) 9820

[startup+880.069 s]
Raw data (loadavg): 1.10 1.06 1.01 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1246 0 0 0 21816 7361 0 0 16 0 1 0 20277397 7876608 1144 4294967295 134512640 134702520 3221223712 3221222992 134551028 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1923 1144 413 48 0 1875 0
[pid=5833] vsize: 7692
Current children cumulated CPU time (s) 600.67
Current children cumulated vsize (Kb) 9820

[startup+890.069 s]
Raw data (loadavg): 1.08 1.06 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1250 0 0 0 22220 7553 0 0 16 0 1 0 20277397 7876608 1148 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1923 1148 413 48 0 1875 0
[pid=5833] vsize: 7692
Current children cumulated CPU time (s) 606.63
Current children cumulated vsize (Kb) 9820

[startup+900.07 s]
Raw data (loadavg): 1.07 1.06 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1259 0 0 0 22746 7700 0 0 16 0 1 0 20277397 7876608 1157 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1923 1157 413 48 0 1875 0
[pid=5833] vsize: 7692
Current children cumulated CPU time (s) 613.36
Current children cumulated vsize (Kb) 9820

[startup+910.071 s]
Raw data (loadavg): 1.06 1.06 1.01 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1264 0 0 0 23247 7861 0 0 17 0 1 0 20277397 7876608 1162 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1923 1162 413 48 0 1875 0
[pid=5833] vsize: 7692
Current children cumulated CPU time (s) 619.98
Current children cumulated vsize (Kb) 9820

[startup+920.072 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1265 0 0 0 23738 8029 0 0 17 0 1 0 20277397 8019968 1163 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1958 1163 413 48 0 1910 0
[pid=5833] vsize: 7832
Current children cumulated CPU time (s) 626.57
Current children cumulated vsize (Kb) 9960

[startup+930.073 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1269 0 0 0 24281 8172 0 0 19 0 1 0 20277397 7929856 1167 4294967295 134512640 134702520 3221223712 3221162368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1936 1167 413 48 0 1888 0
[pid=5833] vsize: 7744
Current children cumulated CPU time (s) 633.43
Current children cumulated vsize (Kb) 9872

[startup+940.073 s]
Raw data (loadavg): 1.03 1.05 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1273 0 0 0 24705 8360 0 0 16 0 1 0 20277397 7929856 1171 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1936 1171 413 48 0 1888 0
[pid=5833] vsize: 7744
Current children cumulated CPU time (s) 639.55
Current children cumulated vsize (Kb) 9872

[startup+950.074 s]
Raw data (loadavg): 1.11 1.07 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1276 0 0 0 25237 8512 0 0 17 0 1 0 20277397 7929856 1174 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1936 1174 413 48 0 1888 0
[pid=5833] vsize: 7744
Current children cumulated CPU time (s) 646.39
Current children cumulated vsize (Kb) 9872

[startup+960.074 s]
Raw data (loadavg): 1.09 1.06 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1284 0 0 0 25761 8671 0 0 18 0 1 0 20277397 7929856 1182 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1936 1182 413 48 0 1888 0
[pid=5833] vsize: 7744
Current children cumulated CPU time (s) 653.22
Current children cumulated vsize (Kb) 9872

[startup+970.076 s]
Raw data (loadavg): 1.08 1.06 1.01 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1284 0 0 0 26233 8846 0 0 17 0 1 0 20277397 7929856 1182 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1936 1182 413 48 0 1888 0
[pid=5833] vsize: 7744
Current children cumulated CPU time (s) 659.69
Current children cumulated vsize (Kb) 9872

[startup+980.076 s]
Raw data (loadavg): 1.06 1.06 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1286 0 0 0 26802 8991 0 0 18 0 1 0 20277397 8077312 1184 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1972 1184 413 48 0 1924 0
[pid=5833] vsize: 7888
Current children cumulated CPU time (s) 666.83
Current children cumulated vsize (Kb) 10016

[startup+990.076 s]
Raw data (loadavg): 1.05 1.06 1.00 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1289 0 0 0 27283 9164 0 0 21 0 1 0 20277397 7987200 1187 4294967295 134512640 134702520 3221223712 3221148268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1950 1187 413 48 0 1902 0
[pid=5833] vsize: 7800
Current children cumulated CPU time (s) 673.37
Current children cumulated vsize (Kb) 9928

[startup+1000.08 s]
Raw data (loadavg): 1.04 1.05 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1293 0 0 0 27784 9321 0 0 17 0 1 0 20277397 7987200 1191 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1950 1191 413 48 0 1902 0
[pid=5833] vsize: 7800
Current children cumulated CPU time (s) 679.95
Current children cumulated vsize (Kb) 9928

[startup+1010.08 s]
Raw data (loadavg): 1.12 1.07 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1301 0 0 0 28318 9472 0 0 16 0 1 0 20277397 7987200 1199 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1950 1199 413 48 0 1902 0
[pid=5833] vsize: 7800
Current children cumulated CPU time (s) 686.8
Current children cumulated vsize (Kb) 9928

[startup+1020.08 s]
Raw data (loadavg): 1.10 1.06 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1304 0 0 0 28836 9628 0 0 17 0 1 0 20277397 8142848 1202 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1988 1202 413 48 0 1940 0
[pid=5833] vsize: 7952
Current children cumulated CPU time (s) 693.54
Current children cumulated vsize (Kb) 10080

[startup+1030.08 s]
Raw data (loadavg): 1.08 1.06 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1305 0 0 0 29353 9785 0 0 18 0 1 0 20277397 8142848 1203 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1988 1203 413 48 0 1940 0
[pid=5833] vsize: 7952
Current children cumulated CPU time (s) 700.28
Current children cumulated vsize (Kb) 10080

[startup+1040.08 s]
Raw data (loadavg): 1.07 1.06 1.00 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1309 0 0 0 29905 9930 0 0 25 0 1 0 20277397 8081408 1207 4294967295 134512640 134702520 3221223712 3220999808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1973 1207 413 48 0 1925 0
[pid=5833] vsize: 7892
Current children cumulated CPU time (s) 707.25
Current children cumulated vsize (Kb) 10020

[startup+1050.08 s]
Raw data (loadavg): 1.06 1.06 1.00 2/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1317 0 0 0 30341 10116 0 0 16 0 1 0 20277397 8081408 1215 4294967295 134512640 134702520 3221223712 3221223148 1074228942 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1973 1215 413 48 0 1925 0
[pid=5833] vsize: 7892
Current children cumulated CPU time (s) 713.47
Current children cumulated vsize (Kb) 10020

[startup+1060.08 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1324 0 0 0 30859 10273 0 0 17 0 1 0 20277397 8081408 1222 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1973 1222 413 48 0 1925 0
[pid=5833] vsize: 7892
Current children cumulated CPU time (s) 720.22
Current children cumulated vsize (Kb) 10020

[startup+1070.08 s]
Raw data (loadavg): 1.12 1.07 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1332 0 0 0 31389 10429 0 0 25 0 1 0 20277397 8081408 1230 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1973 1230 413 48 0 1925 0
[pid=5833] vsize: 7892
Current children cumulated CPU time (s) 727.08
Current children cumulated vsize (Kb) 10020

[startup+1080.08 s]
Raw data (loadavg): 1.18 1.08 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1333 0 0 0 31852 10604 0 0 17 0 1 0 20277397 8228864 1231 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2009 1231 413 48 0 1961 0
[pid=5833] vsize: 8036
Current children cumulated CPU time (s) 733.46
Current children cumulated vsize (Kb) 10164

[startup+1090.08 s]
Raw data (loadavg): 1.15 1.08 1.01 1/56 5833
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1335 0 0 0 32406 10753 0 0 19 0 1 0 20277397 8228864 1233 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2009 1233 413 48 0 1961 0
[pid=5833] vsize: 8036
Current children cumulated CPU time (s) 740.49
Current children cumulated vsize (Kb) 10164

[startup+1100.08 s]
Raw data (loadavg): 1.20 1.09 1.01 1/56 5888
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1343 0 0 0 32855 10930 0 0 16 0 1 0 20277397 8167424 1241 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 1994 1241 413 48 0 1946 0
[pid=5833] vsize: 7976
Current children cumulated CPU time (s) 746.75
Current children cumulated vsize (Kb) 10104

[startup+1110.08 s]
Raw data (loadavg): 1.17 1.09 1.01 1/56 5888
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1355 0 0 0 33392 11073 0 0 16 0 1 0 20277397 8167424 1253 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1994 1253 413 48 0 1946 0
[pid=5833] vsize: 7976
Current children cumulated CPU time (s) 753.55
Current children cumulated vsize (Kb) 10104

[startup+1120.08 s]
Raw data (loadavg): 1.14 1.09 1.01 2/56 5888
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1360 0 0 0 33923 11225 0 0 17 0 1 0 20277397 8167424 1258 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 1994 1258 413 48 0 1946 0
[pid=5833] vsize: 7976
Current children cumulated CPU time (s) 760.38
Current children cumulated vsize (Kb) 10104

[startup+1130.08 s]
Raw data (loadavg): 1.12 1.08 1.01 1/56 5888
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1362 0 0 0 34426 11391 0 0 17 0 1 0 20277397 8306688 1260 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2028 1260 413 48 0 1980 0
[pid=5833] vsize: 8112
Current children cumulated CPU time (s) 767.07
Current children cumulated vsize (Kb) 10240

[startup+1140.09 s]
Raw data (loadavg): 1.10 1.08 1.01 1/56 5888
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1363 0 0 0 34934 11551 0 0 18 0 1 0 20277397 8306688 1261 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2028 1261 413 48 0 1980 0
[pid=5833] vsize: 8112
Current children cumulated CPU time (s) 773.75
Current children cumulated vsize (Kb) 10240

[startup+1150.09 s]
Raw data (loadavg): 1.09 1.08 1.01 2/58 5890
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1365 0 0 0 35410 11710 0 0 24 0 1 0 20277397 8245248 1263 4294967295 134512640 134702520 3221223712 3221095308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2013 1263 413 48 0 1965 0
[pid=5833] vsize: 8052
Current children cumulated CPU time (s) 780.1
Current children cumulated vsize (Kb) 10180

[startup+1160.09 s]
Raw data (loadavg): 1.15 1.09 1.01 1/56 5890
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1371 0 0 0 35867 11883 0 0 17 0 1 0 20277397 8245248 1269 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2013 1269 413 48 0 1965 0
[pid=5833] vsize: 8052
Current children cumulated CPU time (s) 786.4
Current children cumulated vsize (Kb) 10180

[startup+1170.09 s]
Raw data (loadavg): 1.13 1.09 1.01 1/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1373 0 0 0 36402 12030 0 0 17 0 1 0 20277397 8245248 1271 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2013 1271 413 48 0 1965 0
[pid=5833] vsize: 8052
Current children cumulated CPU time (s) 793.22
Current children cumulated vsize (Kb) 10180

[startup+1180.09 s]
Raw data (loadavg): 1.11 1.08 1.01 2/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1378 0 0 0 36901 12190 0 0 25 0 1 0 20277397 8245248 1276 4294967295 134512640 134702520 3221223712 3221056748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2013 1276 413 48 0 1965 0
[pid=5833] vsize: 8052
Current children cumulated CPU time (s) 799.81
Current children cumulated vsize (Kb) 10180

[startup+1190.09 s]
Raw data (loadavg): 1.09 1.08 1.01 1/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1380 0 0 0 37359 12362 0 0 17 0 1 0 20277397 8245248 1278 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2013 1278 413 48 0 1965 0
[pid=5833] vsize: 8052
Current children cumulated CPU time (s) 806.11
Current children cumulated vsize (Kb) 10180

[startup+1200.09 s]
Raw data (loadavg): 1.08 1.08 1.01 1/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1382 0 0 0 37897 12515 0 0 18 0 1 0 20277397 8310784 1280 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2029 1280 413 48 0 1981 0
[pid=5833] vsize: 8116
Current children cumulated CPU time (s) 813.02
Current children cumulated vsize (Kb) 10244

[startup+1210.09 s]
Raw data (loadavg): 1.06 1.08 1.01 2/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1386 0 0 0 38303 12707 0 0 17 0 1 0 20277397 8310784 1284 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2029 1284 413 48 0 1981 0
[pid=5833] vsize: 8116
Current children cumulated CPU time (s) 819
Current children cumulated vsize (Kb) 10244

[startup+1220.09 s]
Raw data (loadavg): 1.05 1.07 1.01 2/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1388 0 0 0 38820 12869 0 0 17 0 1 0 20277397 8310784 1286 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2029 1286 413 48 0 1981 0
[pid=5833] vsize: 8116
Current children cumulated CPU time (s) 825.79
Current children cumulated vsize (Kb) 10244

[startup+1230.09 s]
Raw data (loadavg): 1.05 1.07 1.01 2/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1392 0 0 0 39276 13041 0 0 19 0 1 0 20277397 8310784 1290 4294967295 134512640 134702520 3221223712 3221169068 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2029 1290 413 48 0 1981 0
[pid=5833] vsize: 8116
Current children cumulated CPU time (s) 832.07
Current children cumulated vsize (Kb) 10244

[startup+1240.09 s]
Raw data (loadavg): 1.04 1.07 1.01 1/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1399 0 0 0 39790 13194 0 0 17 0 1 0 20277397 8310784 1297 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2029 1297 413 48 0 1981 0
[pid=5833] vsize: 8116
Current children cumulated CPU time (s) 838.74
Current children cumulated vsize (Kb) 10244

[startup+1250.09 s]
Raw data (loadavg): 1.11 1.08 1.01 2/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1399 0 0 0 40239 13376 0 0 17 0 1 0 20277397 8310784 1297 4294967295 134512640 134702520 3221223712 3221222608 134550744 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2029 1297 413 48 0 1981 0
[pid=5833] vsize: 8116
Current children cumulated CPU time (s) 845.05
Current children cumulated vsize (Kb) 10244

[startup+1260.09 s]
Raw data (loadavg): 1.17 1.09 1.01 1/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1402 0 0 0 40747 13539 0 0 17 0 1 0 20277397 8372224 1300 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2044 1300 413 48 0 1996 0
[pid=5833] vsize: 8176
Current children cumulated CPU time (s) 851.76
Current children cumulated vsize (Kb) 10304

[startup+1270.09 s]
Raw data (loadavg): 1.15 1.09 1.01 1/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1406 0 0 0 41272 13693 0 0 17 0 1 0 20277397 8372224 1304 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2044 1304 413 48 0 1996 0
[pid=5833] vsize: 8176
Current children cumulated CPU time (s) 858.55
Current children cumulated vsize (Kb) 10304

[startup+1280.09 s]
Raw data (loadavg): 1.12 1.09 1.01 1/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1408 0 0 0 41692 13876 0 0 16 0 1 0 20277397 8372224 1306 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2044 1306 413 48 0 1996 0
[pid=5833] vsize: 8176
Current children cumulated CPU time (s) 864.58
Current children cumulated vsize (Kb) 10304

[startup+1290.09 s]
Raw data (loadavg): 1.10 1.08 1.01 1/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1414 0 0 0 42219 14024 0 0 16 0 1 0 20277397 8372224 1312 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2044 1312 413 48 0 1996 0
[pid=5833] vsize: 8176
Current children cumulated CPU time (s) 871.33
Current children cumulated vsize (Kb) 10304

[startup+1300.09 s]
Raw data (loadavg): 1.09 1.08 1.01 1/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1416 0 0 0 42716 14185 0 0 17 0 1 0 20277397 8372224 1314 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2044 1314 413 48 0 1996 0
[pid=5833] vsize: 8176
Current children cumulated CPU time (s) 877.91
Current children cumulated vsize (Kb) 10304

[startup+1310.09 s]
Raw data (loadavg): 1.07 1.08 1.01 1/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1417 0 0 0 43205 14350 0 0 18 0 1 0 20277397 8523776 1315 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2081 1315 413 48 0 2033 0
[pid=5833] vsize: 8324
Current children cumulated CPU time (s) 884.45
Current children cumulated vsize (Kb) 10452

[startup+1320.1 s]
Raw data (loadavg): 1.06 1.07 1.01 2/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1418 0 0 0 43704 14507 0 0 25 0 1 0 20277397 8433664 1316 4294967295 134512640 134702520 3221223712 3221066208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2059 1316 413 48 0 2011 0
[pid=5833] vsize: 8236
Current children cumulated CPU time (s) 891.01
Current children cumulated vsize (Kb) 10364

[startup+1330.1 s]
Raw data (loadavg): 1.12 1.09 1.01 2/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1422 0 0 0 44165 14676 0 0 16 0 1 0 20277397 8433664 1320 4294967295 134512640 134702520 3221223712 3221223112 134607341 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2059 1320 413 48 0 2011 0
[pid=5833] vsize: 8236
Current children cumulated CPU time (s) 897.31
Current children cumulated vsize (Kb) 10364

[startup+1340.1 s]
Raw data (loadavg): 1.11 1.08 1.01 2/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1427 0 0 0 44670 14838 0 0 25 0 1 0 20277397 8433664 1325 4294967295 134512640 134702520 3221223712 3221038528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2059 1325 413 48 0 2011 0
[pid=5833] vsize: 8236
Current children cumulated CPU time (s) 903.98
Current children cumulated vsize (Kb) 10364

[startup+1350.1 s]
Raw data (loadavg): 1.16 1.10 1.02 1/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1430 0 0 0 45111 15020 0 0 17 0 1 0 20277397 8433664 1328 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2059 1328 413 48 0 2011 0
[pid=5833] vsize: 8236
Current children cumulated CPU time (s) 910.21
Current children cumulated vsize (Kb) 10364

[startup+1360.1 s]
Raw data (loadavg): 1.14 1.09 1.02 2/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1431 0 0 0 45622 15179 0 0 17 0 1 0 20277397 8433664 1329 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2059 1329 413 48 0 2011 0
[pid=5833] vsize: 8236
Current children cumulated CPU time (s) 916.91
Current children cumulated vsize (Kb) 10364

[startup+1370.1 s]
Raw data (loadavg): 1.12 1.09 1.01 2/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1432 0 0 0 46132 15339 0 0 18 0 1 0 20277397 8581120 1330 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2095 1330 413 48 0 2047 0
[pid=5833] vsize: 8380
Current children cumulated CPU time (s) 923.61
Current children cumulated vsize (Kb) 10508

[startup+1380.1 s]
Raw data (loadavg): 1.10 1.09 1.01 1/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1436 0 0 0 46625 15504 0 0 25 0 1 0 20277397 8491008 1334 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2073 1334 413 48 0 2025 0
[pid=5833] vsize: 8292
Current children cumulated CPU time (s) 930.19
Current children cumulated vsize (Kb) 10420

[startup+1390.1 s]
Raw data (loadavg): 1.08 1.08 1.01 2/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1443 0 0 0 47044 15683 0 0 16 0 1 0 20277397 8491008 1341 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2073 1341 413 48 0 2025 0
[pid=5833] vsize: 8292
Current children cumulated CPU time (s) 936.17
Current children cumulated vsize (Kb) 10420

[startup+1400.1 s]
Raw data (loadavg): 1.15 1.10 1.02 1/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1452 0 0 0 47586 15831 0 0 16 0 1 0 20277397 8491008 1350 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2073 1350 413 48 0 2025 0
[pid=5833] vsize: 8292
Current children cumulated CPU time (s) 943.07
Current children cumulated vsize (Kb) 10420

[startup+1410.1 s]
Raw data (loadavg): 1.13 1.09 1.02 2/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1454 0 0 0 48054 16001 0 0 20 0 1 0 20277397 8491008 1352 4294967295 134512640 134702520 3221223712 3221161068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2073 1352 413 48 0 2025 0
[pid=5833] vsize: 8292
Current children cumulated CPU time (s) 949.45
Current children cumulated vsize (Kb) 10420

[startup+1420.1 s]
Raw data (loadavg): 1.19 1.11 1.02 2/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1456 0 0 0 48529 16172 0 0 17 0 1 0 20277397 8491008 1354 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2073 1354 413 48 0 2025 0
[pid=5833] vsize: 8292
Current children cumulated CPU time (s) 955.91
Current children cumulated vsize (Kb) 10420

[startup+1430.1 s]
Raw data (loadavg): 1.16 1.10 1.02 1/56 5894
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1458 0 0 0 49038 16332 0 0 16 0 1 0 20277397 8560640 1356 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2090 1356 413 48 0 2042 0
[pid=5833] vsize: 8360
Current children cumulated CPU time (s) 962.6
Current children cumulated vsize (Kb) 10488

[startup+1440.1 s]
Raw data (loadavg): 1.13 1.10 1.02 1/56 5896
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1462 0 0 0 49423 16540 0 0 17 0 1 0 20277397 8560640 1360 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2090 1360 413 48 0 2042 0
[pid=5833] vsize: 8360
Current children cumulated CPU time (s) 968.53
Current children cumulated vsize (Kb) 10488

[startup+1450.1 s]
Raw data (loadavg): 1.11 1.09 1.02 2/56 5896
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1466 0 0 0 49873 16709 0 0 17 0 1 0 20277397 8560640 1364 4294967295 134512640 134702520 3221223712 3221210348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2090 1364 413 48 0 2042 0
[pid=5833] vsize: 8360
Current children cumulated CPU time (s) 974.72
Current children cumulated vsize (Kb) 10488

[startup+1460.1 s]
Raw data (loadavg): 1.09 1.09 1.02 1/56 5896
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1470 0 0 0 50395 16861 0 0 16 0 1 0 20277397 8560640 1368 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2090 1368 413 48 0 2042 0
[pid=5833] vsize: 8360
Current children cumulated CPU time (s) 981.46
Current children cumulated vsize (Kb) 10488

[startup+1470.1 s]
Raw data (loadavg): 1.08 1.09 1.02 2/56 5896
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1475 0 0 0 50933 17012 0 0 25 0 1 0 20277397 8634368 1373 4294967295 134512640 134702520 3221223712 3220947308 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2108 1373 413 48 0 2060 0
[pid=5833] vsize: 8432
Current children cumulated CPU time (s) 988.35
Current children cumulated vsize (Kb) 10560

[startup+1480.1 s]
Raw data (loadavg): 1.14 1.10 1.02 1/56 5896
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1477 0 0 0 51355 17197 0 0 17 0 1 0 20277397 8634368 1375 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2108 1375 413 48 0 2060 0
[pid=5833] vsize: 8432
Current children cumulated CPU time (s) 994.42
Current children cumulated vsize (Kb) 10560

[startup+1490.1 s]
Raw data (loadavg): 1.12 1.10 1.02 1/56 5896
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1480 0 0 0 51848 17363 0 0 16 0 1 0 20277397 8654848 1378 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2113 1378 413 48 0 2065 0
[pid=5833] vsize: 8452
Current children cumulated CPU time (s) 1001.01
Current children cumulated vsize (Kb) 10580

[startup+1500.1 s]
Raw data (loadavg): 1.10 1.09 1.02 1/56 5896
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1484 0 0 0 52260 17554 0 0 16 0 1 0 20277397 8654848 1382 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2113 1382 413 48 0 2065 0
[pid=5833] vsize: 8452
Current children cumulated CPU time (s) 1007.04
Current children cumulated vsize (Kb) 10580

[startup+1510.11 s]
Raw data (loadavg): 1.08 1.09 1.02 1/56 5896
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1488 0 0 0 52789 17705 0 0 17 0 1 0 20277397 8654848 1386 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2113 1386 413 48 0 2065 0
[pid=5833] vsize: 8452
Current children cumulated CPU time (s) 1013.84
Current children cumulated vsize (Kb) 10580

[startup+1520.11 s]
Raw data (loadavg): 1.14 1.10 1.02 1/56 5896
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) T 5828 5828 4004 0 -1 0 1494 0 0 0 53190 17900 0 0 17 0 1 0 20277397 8654848 1392 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5833/statm): 2113 1392 413 48 0 2065 0
[pid=5833] vsize: 8452
Current children cumulated CPU time (s) 1019.8
Current children cumulated vsize (Kb) 10580

[startup+1530.11 s]
Raw data (loadavg): 1.12 1.10 1.02 2/56 5896
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1506 0 0 0 53713 18056 0 0 25 0 1 0 20277397 8654848 1404 4294967295 134512640 134702520 3221223712 3221039308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2113 1404 413 48 0 2065 0
[pid=5833] vsize: 8452
Current children cumulated CPU time (s) 1026.59
Current children cumulated vsize (Kb) 10580

[startup+1540.11 s]
Raw data (loadavg): 1.10 1.09 1.02 2/56 5896
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 378 1540 0 0 1 1 24924 5964 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5833/stat): 5833 (vallst) R 5828 5828 4004 0 -1 0 1506 0 0 0 54145 18242 0 0 17 0 1 0 20277397 8654848 1404 4294967295 134512640 134702520 3221223712 3221222608 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5833/statm): 2113 1404 413 48 0 2065 0
[pid=5833] vsize: 8452
Current children cumulated CPU time (s) 1032.77
Current children cumulated vsize (Kb) 10580
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=5833) exited with status: 2
New process pid=5897
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=5897) exited with status: 0
New process pid=5898
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+1550.11 s]
Raw data (loadavg): 1.09 1.09 1.02 2/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) R 5828 5828 4004 0 -1 0 594 0 0 0 99 2 0 0 25 0 1 0 20388974 3883008 565 4294967295 134512640 134702520 3221223712 3221117148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5898/statm): 948 565 413 48 0 900 0
[pid=5898] vsize: 3792
Current children cumulated CPU time (s) 1040
Current children cumulated vsize (Kb) 5920

[startup+1560.11 s]
Raw data (loadavg): 1.07 1.09 1.02 1/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) T 5828 5828 4004 0 -1 0 661 0 0 0 712 122 0 0 18 0 1 0 20388974 4120576 632 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5898/statm): 1006 632 413 48 0 958 0
[pid=5898] vsize: 4024
Current children cumulated CPU time (s) 1047.33
Current children cumulated vsize (Kb) 6152

[startup+1570.11 s]
Raw data (loadavg): 1.13 1.10 1.02 1/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) T 5828 5828 4004 0 -1 0 662 0 0 0 1295 258 0 0 18 0 1 0 20388974 4263936 633 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5898/statm): 1041 633 413 48 0 993 0
[pid=5898] vsize: 4164
Current children cumulated CPU time (s) 1054.52
Current children cumulated vsize (Kb) 6292

[startup+1580.11 s]
Raw data (loadavg): 1.19 1.11 1.03 2/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) R 5828 5828 4004 0 -1 0 752 0 0 0 1815 415 0 0 25 0 1 0 20388974 6021120 723 4294967295 134512640 134702520 3221223712 3221007168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5898/statm): 1470 723 413 48 0 1422 0
[pid=5898] vsize: 5880
Current children cumulated CPU time (s) 1061.29
Current children cumulated vsize (Kb) 8008

[startup+1590.11 s]
Raw data (loadavg): 1.24 1.12 1.03 2/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) R 5828 5828 4004 0 -1 0 770 0 0 0 2311 571 0 0 25 0 1 0 20388974 6021120 741 4294967295 134512640 134702520 3221223712 3220990048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5898/statm): 1470 741 413 48 0 1422 0
[pid=5898] vsize: 5880
Current children cumulated CPU time (s) 1067.81
Current children cumulated vsize (Kb) 8008

[startup+1600.11 s]
Raw data (loadavg): 1.27 1.14 1.04 2/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) R 5828 5828 4004 0 -1 0 785 0 0 0 2837 728 0 0 18 0 1 0 20388974 6111232 756 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5898/statm): 1492 756 413 48 0 1444 0
[pid=5898] vsize: 5968
Current children cumulated CPU time (s) 1074.64
Current children cumulated vsize (Kb) 8096

[startup+1610.11 s]
Raw data (loadavg): 1.23 1.13 1.03 2/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) R 5828 5828 4004 0 -1 0 785 0 0 0 3393 876 0 0 17 0 1 0 20388974 6111232 756 4294967295 134512640 134702520 3221223712 3221222608 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5898/statm): 1492 756 413 48 0 1444 0
[pid=5898] vsize: 5968
Current children cumulated CPU time (s) 1081.68
Current children cumulated vsize (Kb) 8096

[startup+1620.11 s]
Raw data (loadavg): 1.20 1.13 1.03 1/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) T 5828 5828 4004 0 -1 0 786 0 0 0 3984 1011 0 0 17 0 1 0 20388974 6111232 757 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5898/statm): 1492 757 413 48 0 1444 0
[pid=5898] vsize: 5968
Current children cumulated CPU time (s) 1088.94
Current children cumulated vsize (Kb) 8096

[startup+1630.11 s]
Raw data (loadavg): 1.16 1.12 1.03 2/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) R 5828 5828 4004 0 -1 0 791 0 0 0 4477 1175 0 0 25 0 1 0 20388974 6111232 762 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5898/statm): 1492 762 413 48 0 1444 0
[pid=5898] vsize: 5968
Current children cumulated CPU time (s) 1095.51
Current children cumulated vsize (Kb) 8096

[startup+1640.11 s]
Raw data (loadavg): 1.22 1.13 1.04 1/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) T 5828 5828 4004 0 -1 0 818 0 0 0 4978 1338 0 0 23 0 1 0 20388974 6279168 789 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5898/statm): 1533 789 413 48 0 1485 0
[pid=5898] vsize: 6132
Current children cumulated CPU time (s) 1102.15
Current children cumulated vsize (Kb) 8260

[startup+1650.11 s]
Raw data (loadavg): 1.18 1.13 1.04 1/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) T 5828 5828 4004 0 -1 0 822 0 0 0 5531 1484 0 0 19 0 1 0 20388974 6279168 793 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5898/statm): 1533 793 413 48 0 1485 0
[pid=5898] vsize: 6132
Current children cumulated CPU time (s) 1109.14
Current children cumulated vsize (Kb) 8260

[startup+1660.11 s]
Raw data (loadavg): 1.23 1.14 1.04 1/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) T 5828 5828 4004 0 -1 0 822 0 0 0 6082 1635 0 0 17 0 1 0 20388974 6279168 793 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5898/statm): 1533 793 413 48 0 1485 0
[pid=5898] vsize: 6132
Current children cumulated CPU time (s) 1116.16
Current children cumulated vsize (Kb) 8260

[startup+1670.11 s]
Raw data (loadavg): 1.19 1.13 1.04 1/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) T 5828 5828 4004 0 -1 0 823 0 0 0 6681 1766 0 0 18 0 1 0 20388974 6279168 794 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5898/statm): 1533 794 413 48 0 1485 0
[pid=5898] vsize: 6132
Current children cumulated CPU time (s) 1123.46
Current children cumulated vsize (Kb) 8260

[startup+1680.11 s]
Raw data (loadavg): 1.16 1.13 1.04 2/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) R 5828 5828 4004 0 -1 0 825 0 0 0 7139 1935 0 0 24 0 1 0 20388974 6279168 796 4294967295 134512640 134702520 3221223712 3221086188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5898/statm): 1533 796 413 48 0 1485 0
[pid=5898] vsize: 6132
Current children cumulated CPU time (s) 1129.73
Current children cumulated vsize (Kb) 8260

[startup+1690.12 s]
Raw data (loadavg): 1.22 1.14 1.04 2/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) R 5828 5828 4004 0 -1 0 826 0 0 0 7672 2085 0 0 25 0 1 0 20388974 6279168 797 4294967295 134512640 134702520 3221223712 3221001888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5898/statm): 1533 797 413 48 0 1485 0
[pid=5898] vsize: 6132
Current children cumulated CPU time (s) 1136.56
Current children cumulated vsize (Kb) 8260

[startup+1700.12 s]
Raw data (loadavg): 1.18 1.14 1.04 1/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) T 5828 5828 4004 0 -1 0 830 0 0 0 8070 2280 0 0 16 0 1 0 20388974 6279168 801 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5898/statm): 1533 801 413 48 0 1485 0
[pid=5898] vsize: 6132
Current children cumulated CPU time (s) 1142.49
Current children cumulated vsize (Kb) 8260

[startup+1710.12 s]
Raw data (loadavg): 1.16 1.13 1.04 1/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) T 5828 5828 4004 0 -1 0 832 0 0 0 8607 2432 0 0 18 0 1 0 20388974 6279168 803 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5898/statm): 1533 803 413 48 0 1485 0
[pid=5898] vsize: 6132
Current children cumulated CPU time (s) 1149.38
Current children cumulated vsize (Kb) 8260

[startup+1720.12 s]
Raw data (loadavg): 1.13 1.13 1.04 1/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) T 5828 5828 4004 0 -1 0 833 0 0 0 9170 2574 0 0 19 0 1 0 20388974 6279168 804 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5898/statm): 1533 804 413 48 0 1485 0
[pid=5898] vsize: 6132
Current children cumulated CPU time (s) 1156.43
Current children cumulated vsize (Kb) 8260

[startup+1730.12 s]
Raw data (loadavg): 1.11 1.12 1.04 2/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) R 5828 5828 4004 0 -1 0 837 0 0 0 9719 2725 0 0 16 0 1 0 20388974 6279168 808 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5898/statm): 1533 808 413 48 0 1485 0
[pid=5898] vsize: 6132
Current children cumulated CPU time (s) 1163.43
Current children cumulated vsize (Kb) 8260

[startup+1740.12 s]
Raw data (loadavg): 1.17 1.13 1.04 1/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) T 5828 5828 4004 0 -1 0 842 0 0 0 10095 2911 0 0 16 0 1 0 20388974 6279168 813 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5898/statm): 1533 813 413 48 0 1485 0
[pid=5898] vsize: 6132
Current children cumulated CPU time (s) 1169.05
Current children cumulated vsize (Kb) 8260

[startup+1750.12 s]
Raw data (loadavg): 1.14 1.13 1.04 1/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) T 5828 5828 4004 0 -1 0 849 0 0 0 10724 3034 0 0 23 0 1 0 20388974 6279168 820 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5898/statm): 1533 820 413 48 0 1485 0
[pid=5898] vsize: 6132
Current children cumulated CPU time (s) 1176.57
Current children cumulated vsize (Kb) 8260

[startup+1760.12 s]
Raw data (loadavg): 1.19 1.14 1.05 1/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) T 5828 5828 4004 0 -1 0 855 0 0 0 11170 3210 0 0 16 0 1 0 20388974 6279168 826 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5898/statm): 1533 826 413 48 0 1485 0
[pid=5898] vsize: 6132
Current children cumulated CPU time (s) 1182.79
Current children cumulated vsize (Kb) 8260

[startup+1770.12 s]
Raw data (loadavg): 1.16 1.14 1.05 1/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) T 5828 5828 4004 0 -1 0 858 0 0 0 11761 3341 0 0 18 0 1 0 20388974 6414336 829 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5898/statm): 1566 829 413 48 0 1518 0
[pid=5898] vsize: 6264
Current children cumulated CPU time (s) 1190.01
Current children cumulated vsize (Kb) 8392

[startup+1780.12 s]
Raw data (loadavg): 1.14 1.13 1.04 1/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) T 5828 5828 4004 0 -1 0 859 0 0 0 12342 3478 0 0 19 0 1 0 20388974 6414336 830 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5898/statm): 1566 830 413 48 0 1518 0
[pid=5898] vsize: 6264
Current children cumulated CPU time (s) 1197.19
Current children cumulated vsize (Kb) 8392

[startup+1790.12 s]
Raw data (loadavg): 1.12 1.13 1.04 1/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) T 5828 5828 4004 0 -1 0 863 0 0 0 12821 3649 0 0 16 0 1 0 20388974 6352896 834 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5898/statm): 1551 834 413 48 0 1503 0
[pid=5898] vsize: 6204
Current children cumulated CPU time (s) 1203.69
Current children cumulated vsize (Kb) 8332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.12 s]
Raw data (loadavg): 1.12 1.13 1.04 1/56 5898
Raw data (/proc/5828/stat): 5828 (vallstSAT2005PB) S 5827 5828 4004 0 -1 0 417 3192 0 0 2 2 79544 24351 17 0 1 0 20234043 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5828/statm): 532 248 485 147 0 385 0
[pid=5828] vsize: 2128
Raw data (/proc/5898/stat): 5898 (vallst) T 5828 5828 4004 0 -1 0 863 0 0 0 12821 3649 0 0 16 0 1 0 20388974 6352896 834 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5898/statm): 1551 834 413 48 0 1503 0
[pid=5898] vsize: 6204
Current children cumulated CPU time (s) 1203.69
Current children cumulated vsize (Kb) 8332

Sending SIGTERM to -5828
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5900
New process pid=5901
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1451/stat
open syscall for file /proc/1451/status
open syscall for file /proc/1451/cmdline
open syscall for file /proc/1451/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/3986/stat
open syscall for file /proc/3986/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/3986/cmdline
open syscall for file /proc/3986/environ
open syscall for file /proc/4012/stat
open syscall for file /proc/4012/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4012/cmdline
open syscall for file /proc/4012/environ
open syscall for file /proc/5789/stat
open syscall for file /proc/5789/status
open syscall for file /proc/5789/cmdline
open syscall for file /proc/5789/environ
open syscall for file /proc/5827/stat
open syscall for file /proc/5827/status
open syscall for file /proc/5827/cmdline
open syscall for file /proc/5827/environ
open syscall for file /proc/5828/stat
open syscall for file /proc/5828/status
open syscall for file /proc/5828/cmdline
open syscall for file /proc/5828/environ
open syscall for file /proc/5898/stat
open syscall for file /proc/5898/status
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/5898/cmdline
open syscall for file /proc/5898/environ
open syscall for file /proc/5900/stat
open syscall for file /proc/5900/status
open syscall for file /proc/5900/cmdline
open syscall for file /proc/5900/environ
open syscall for file /proc/5901/stat
open syscall for file /proc/5901/status
open syscall for file /proc/5901/cmdline
open syscall for file /proc/5901/environ
One traced child (pid=5898) exited with status: 3
One traced child (pid=5900) exited with status: 0
One traced child (pid=5901) exited with status: 0
New process pid=5902
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=5902) exited with status: 0
New process pid=5903
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=5903) exited with status: 0
One traced child (pid=5828) 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): 1790.61
CPU time (s): 1203.89
CPU user time (s): 923.789
CPU system time (s): 280.104
CPU usage (%): 67.2337
Max. virtual memory (cumulated for all children) (Kb): 10580

Verifier Data

ERROR: no interpretation found !