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/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-roll3000.opb
MD5SUMa7433a26e92d47a3d337e0c2b98bd409
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 21
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 2097151
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 128000000000
Number of bits of the biggest number in a constraint 37
Biggest sum of numbers in a constraint 265438953471
Number of bits of the biggest sum of numbers38
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables7611
Total number of constraints3459
Number of constraints which are clauses143
Number of constraints which are cardinality constraints (but not clauses)626
Number of constraints which are nor clauses,nor cardinality constraints2690
Minimum length of a constraint1
Maximum length of a constraint2047

Trace number 9472

Launcher Data

LAUNCH ON wulflinc23 THE 2005-09-23 13:49:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8185 boxname=wulflinc23 idbench=1153 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  a7433a26e92d47a3d337e0c2b98bd409  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-roll3000.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-roll3000.opb 0
IDLAUNCH: 8185
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.185
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.185
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:        924164 kB
Buffers:         13216 kB
Cached:          78652 kB
SwapCached:          0 kB
Active:          60644 kB
Inactive:        34116 kB
HighTotal:      131008 kB
HighFree:        48048 kB
LowTotal:       903652 kB
LowFree:        876116 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            10100 kB
Committed_AS:    63644 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 14:10:16 (client local time) WITH STATUS 0 IN 1209.76 SECONDS
stats: 8185 7 1209.76 0

Solver Data

1:
seed: 0
Nr of vars set: 2932  (#equs: 0)
Nr of vars set: 2971  (#equs: 0)
#decisions: 386295;  #end-nodes: 39887;
#proof improvement attempts: 0;  #restarts: 288
Current batch, end-nodes: 0 / 155 (151)
#axs: 2932, #non-axs: 6240
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: 3043  (#equs: 15)
Time taken: 6 min, 51 sec

2:
seed: 0
Nr of vars set: 3043  (#equs: 0)
Nr of vars set: 3043  (#equs: 0)
Interupt request received.
#decisions: 914864;  #end-nodes: 121428;
#proof improvement attempts: 0;  #restarts: 539
Current batch, end-nodes: 85 / 260 (254)
#axs: 2179, #non-axs: 3229
tight: meta-meta: start: 4, end: 5;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 7, end: 11;  meta: start: 19, end (keep): 29
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 3695  (#equs: 2)
Time taken: 13 min, 18 sec

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/6088/stat): 6088 (vallstSAT2005PB) R 6087 6088 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20670735 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6088/statm): 174 3 169 147 0 27 0
[pid=6088] 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=6089
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=6089) exited with status: 0
New process pid=6090
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=6090) exited with status: 0
New process pid=6091
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/wulflinc23/normalized-mps-v2-13-7-roll3000.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0033 s]
Raw data (loadavg): 1.03 1.05 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) R 6088 6088 4060 0 -1 0 944 0 0 0 950 17 0 0 25 0 1 0 20670742 5529600 841 4294967295 134512640 134702520 3221223952 3221223088 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6091/statm): 1350 841 413 48 0 1302 0
[pid=6091] vsize: 5400
Current children cumulated CPU time (s) 9.69
Current children cumulated vsize (Kb) 7528

[startup+20.0039 s]
Raw data (loadavg): 1.02 1.05 1.00 1/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) T 6088 6088 4060 0 -1 0 970 0 0 0 1877 41 0 0 23 0 1 0 20670742 9502720 867 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6091/statm): 2320 867 413 48 0 2272 0
[pid=6091] vsize: 9280
Current children cumulated CPU time (s) 19.2
Current children cumulated vsize (Kb) 11408

[startup+30.0046 s]
Raw data (loadavg): 1.02 1.05 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) R 6088 6088 4060 0 -1 0 983 0 0 0 2732 90 0 0 25 0 1 0 20670742 9502720 880 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6091/statm): 2320 880 413 48 0 2272 0
[pid=6091] vsize: 9280
Current children cumulated CPU time (s) 28.24
Current children cumulated vsize (Kb) 11408

[startup+40.0052 s]
Raw data (loadavg): 1.02 1.05 1.00 1/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) T 6088 6088 4060 0 -1 0 992 0 0 0 3572 145 0 0 21 0 1 0 20670742 9502720 889 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6091/statm): 2320 889 413 48 0 2272 0
[pid=6091] vsize: 9280
Current children cumulated CPU time (s) 37.19
Current children cumulated vsize (Kb) 11408

[startup+50.0068 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) T 6088 6088 4060 0 -1 0 996 0 0 0 4501 168 0 0 22 0 1 0 20670742 9506816 893 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6091/statm): 2321 893 413 48 0 2273 0
[pid=6091] vsize: 9284
Current children cumulated CPU time (s) 46.71
Current children cumulated vsize (Kb) 11412

[startup+60.0074 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) T 6088 6088 4060 0 -1 0 1109 0 0 0 5418 197 0 0 25 0 1 0 20670742 9506816 1006 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6091/statm): 2321 1006 413 48 0 2273 0
[pid=6091] vsize: 9284
Current children cumulated CPU time (s) 56.17
Current children cumulated vsize (Kb) 11412

[startup+70.0081 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) R 6088 6088 4060 0 -1 0 1113 0 0 0 6379 210 0 0 23 0 1 0 20670742 9506816 1010 4294967295 134512640 134702520 3221223952 3221223232 134552673 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6091/statm): 2321 1010 413 48 0 2273 0
[pid=6091] vsize: 9284
Current children cumulated CPU time (s) 65.91
Current children cumulated vsize (Kb) 11412

[startup+80.0097 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) R 6088 6088 4060 0 -1 0 1116 0 0 0 7286 240 0 0 22 0 1 0 20670742 9506816 1013 4294967295 134512640 134702520 3221223952 3221223436 134608339 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6091/statm): 2321 1013 413 48 0 2273 0
[pid=6091] vsize: 9284
Current children cumulated CPU time (s) 75.28
Current children cumulated vsize (Kb) 11412

[startup+90.0103 s]
Raw data (loadavg): 1.08 1.05 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) R 6088 6088 4060 0 -1 0 1124 0 0 0 8253 253 0 0 25 0 1 0 20670742 9506816 1021 4294967295 134512640 134702520 3221223952 3220953808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6091/statm): 2321 1021 413 48 0 2273 0
[pid=6091] vsize: 9284
Current children cumulated CPU time (s) 85.08
Current children cumulated vsize (Kb) 11412

[startup+100.01 s]
Raw data (loadavg): 1.07 1.05 1.00 1/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) T 6088 6088 4060 0 -1 0 1126 0 0 0 9221 264 0 0 25 0 1 0 20670742 9506816 1023 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6091/statm): 2321 1023 413 48 0 2273 0
[pid=6091] vsize: 9284
Current children cumulated CPU time (s) 94.87
Current children cumulated vsize (Kb) 11412

[startup+110.011 s]
Raw data (loadavg): 1.06 1.05 1.00 1/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) T 6088 6088 4060 0 -1 0 1131 0 0 0 10192 273 0 0 25 0 1 0 20670742 9506816 1028 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6091/statm): 2321 1028 413 48 0 2273 0
[pid=6091] vsize: 9284
Current children cumulated CPU time (s) 104.67
Current children cumulated vsize (Kb) 11412

[startup+120.011 s]
Raw data (loadavg): 1.05 1.05 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) R 6088 6088 4060 0 -1 0 1134 0 0 0 11152 287 0 0 25 0 1 0 20670742 9506816 1031 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6091/statm): 2321 1031 413 48 0 2273 0
[pid=6091] vsize: 9284
Current children cumulated CPU time (s) 114.41
Current children cumulated vsize (Kb) 11412

[startup+130.013 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) R 6088 6088 4060 0 -1 0 1138 0 0 0 12131 294 0 0 25 0 1 0 20670742 9510912 1035 4294967295 134512640 134702520 3221223952 3221223232 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6091/statm): 2322 1035 413 48 0 2274 0
[pid=6091] vsize: 9288
Current children cumulated CPU time (s) 124.27
Current children cumulated vsize (Kb) 11416

[startup+140.014 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) R 6088 6088 4060 0 -1 0 1146 0 0 0 13087 310 0 0 25 0 1 0 20670742 9510912 1043 4294967295 134512640 134702520 3221223952 3221223232 134554298 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6091/statm): 2322 1043 413 48 0 2274 0
[pid=6091] vsize: 9288
Current children cumulated CPU time (s) 133.99
Current children cumulated vsize (Kb) 11416

[startup+150.014 s]
Raw data (loadavg): 1.03 1.04 1.00 1/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) T 6088 6088 4060 0 -1 0 1146 0 0 0 14061 319 0 0 25 0 1 0 20670742 9510912 1043 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6091/statm): 2322 1043 413 48 0 2274 0
[pid=6091] vsize: 9288
Current children cumulated CPU time (s) 143.82
Current children cumulated vsize (Kb) 11416

[startup+160.015 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) R 6088 6088 4060 0 -1 0 1146 0 0 0 15027 330 0 0 25 0 1 0 20670742 9510912 1043 4294967295 134512640 134702520 3221223952 3221223232 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6091/statm): 2322 1043 413 48 0 2274 0
[pid=6091] vsize: 9288
Current children cumulated CPU time (s) 153.59
Current children cumulated vsize (Kb) 11416

[startup+170.014 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) R 6088 6088 4060 0 -1 0 1146 0 0 0 15972 350 0 0 25 0 1 0 20670742 9510912 1043 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6091/statm): 2322 1043 413 48 0 2274 0
[pid=6091] vsize: 9288
Current children cumulated CPU time (s) 163.24
Current children cumulated vsize (Kb) 11416

[startup+180.016 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) R 6088 6088 4060 0 -1 0 1146 0 0 0 16939 361 0 0 25 0 1 0 20670742 9510912 1043 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6091/statm): 2322 1043 413 48 0 2274 0
[pid=6091] vsize: 9288
Current children cumulated CPU time (s) 173.02
Current children cumulated vsize (Kb) 11416

[startup+190.017 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) R 6088 6088 4060 0 -1 0 1146 0 0 0 17884 379 0 0 25 0 1 0 20670742 9510912 1043 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6091/statm): 2322 1043 413 48 0 2274 0
[pid=6091] vsize: 9288
Current children cumulated CPU time (s) 182.65
Current children cumulated vsize (Kb) 11416

[startup+200.016 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) R 6088 6088 4060 0 -1 0 1146 0 0 0 18853 389 0 0 25 0 1 0 20670742 9510912 1043 4294967295 134512640 134702520 3221223952 3221223232 134553333 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6091/statm): 2322 1043 413 48 0 2274 0
[pid=6091] vsize: 9288
Current children cumulated CPU time (s) 192.44
Current children cumulated vsize (Kb) 11416

[startup+210.017 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) R 6088 6088 4060 0 -1 0 1146 0 0 0 19765 421 0 0 25 0 1 0 20670742 9510912 1043 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6091/statm): 2322 1043 413 48 0 2274 0
[pid=6091] vsize: 9288
Current children cumulated CPU time (s) 201.88
Current children cumulated vsize (Kb) 11416

[startup+220.018 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) R 6088 6088 4060 0 -1 0 1146 0 0 0 20743 428 0 0 25 0 1 0 20670742 9510912 1043 4294967295 134512640 134702520 3221223952 3220950928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6091/statm): 2322 1043 413 48 0 2274 0
[pid=6091] vsize: 9288
Current children cumulated CPU time (s) 211.73
Current children cumulated vsize (Kb) 11416

[startup+230.018 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) R 6088 6088 4060 0 -1 0 1146 0 0 0 21686 451 0 0 25 0 1 0 20670742 9510912 1043 4294967295 134512640 134702520 3221223952 3221223232 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6091/statm): 2322 1043 413 48 0 2274 0
[pid=6091] vsize: 9288
Current children cumulated CPU time (s) 221.39
Current children cumulated vsize (Kb) 11416

[startup+240.019 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) R 6088 6088 4060 0 -1 0 1148 0 0 0 22648 463 0 0 25 0 1 0 20670742 9510912 1045 4294967295 134512640 134702520 3221223952 3221042588 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6091/statm): 2322 1045 413 48 0 2274 0
[pid=6091] vsize: 9288
Current children cumulated CPU time (s) 231.13
Current children cumulated vsize (Kb) 11416

[startup+250.019 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) R 6088 6088 4060 0 -1 0 1177 0 0 0 23619 473 0 0 25 0 1 0 20670742 9510912 1074 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6091/statm): 2322 1074 413 48 0 2274 0
[pid=6091] vsize: 9288
Current children cumulated CPU time (s) 240.94
Current children cumulated vsize (Kb) 11416

[startup+260.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) R 6088 6088 4060 0 -1 0 1196 0 0 0 24601 479 0 0 25 0 1 0 20670742 9510912 1093 4294967295 134512640 134702520 3221223952 3220795408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6091/statm): 2322 1093 413 48 0 2274 0
[pid=6091] vsize: 9288
Current children cumulated CPU time (s) 250.82
Current children cumulated vsize (Kb) 11416

[startup+270.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) R 6088 6088 4060 0 -1 0 1217 0 0 0 25553 495 0 0 25 0 1 0 20670742 10035200 1114 4294967295 134512640 134702520 3221223952 3221223232 134553816 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6091/statm): 2450 1114 413 48 0 2402 0
[pid=6091] vsize: 9800
Current children cumulated CPU time (s) 260.5
Current children cumulated vsize (Kb) 11928

[startup+280.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) R 6088 6088 4060 0 -1 0 1237 0 0 0 26526 506 0 0 25 0 1 0 20670742 10035200 1134 4294967295 134512640 134702520 3221223952 3221222976 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6091/statm): 2450 1134 413 48 0 2402 0
[pid=6091] vsize: 9800
Current children cumulated CPU time (s) 270.34
Current children cumulated vsize (Kb) 11928

[startup+290.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) R 6088 6088 4060 0 -1 0 1238 0 0 0 27492 516 0 0 25 0 1 0 20670742 10035200 1135 4294967295 134512640 134702520 3221223952 3221222848 134552854 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6091/statm): 2450 1135 413 48 0 2402 0
[pid=6091] vsize: 9800
Current children cumulated CPU time (s) 280.1
Current children cumulated vsize (Kb) 11928

[startup+300.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) R 6088 6088 4060 0 -1 0 1238 0 0 0 28459 526 0 0 25 0 1 0 20670742 10035200 1135 4294967295 134512640 134702520 3221223952 3221223232 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6091/statm): 2450 1135 413 48 0 2402 0
[pid=6091] vsize: 9800
Current children cumulated CPU time (s) 289.87
Current children cumulated vsize (Kb) 11928

[startup+310.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) R 6088 6088 4060 0 -1 0 1238 0 0 0 29435 535 0 0 25 0 1 0 20670742 10035200 1135 4294967295 134512640 134702520 3221223952 3220965628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6091/statm): 2450 1135 413 48 0 2402 0
[pid=6091] vsize: 9800
Current children cumulated CPU time (s) 299.72
Current children cumulated vsize (Kb) 11928

[startup+320.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) R 6088 6088 4060 0 -1 0 1239 0 0 0 30411 542 0 0 25 0 1 0 20670742 10039296 1136 4294967295 134512640 134702520 3221223952 3221223232 134552474 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6091/statm): 2451 1136 413 48 0 2403 0
[pid=6091] vsize: 9804
Current children cumulated CPU time (s) 309.55
Current children cumulated vsize (Kb) 11932

[startup+330.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) R 6088 6088 4060 0 -1 0 1239 0 0 0 31386 550 0 0 25 0 1 0 20670742 10039296 1136 4294967295 134512640 134702520 3221223952 3220900208 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6091/statm): 2451 1136 413 48 0 2403 0
[pid=6091] vsize: 9804
Current children cumulated CPU time (s) 319.38
Current children cumulated vsize (Kb) 11932

[startup+340.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) R 6088 6088 4060 0 -1 0 1243 0 0 0 32355 561 0 0 25 0 1 0 20670742 10039296 1140 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6091/statm): 2451 1140 413 48 0 2403 0
[pid=6091] vsize: 9804
Current children cumulated CPU time (s) 329.18
Current children cumulated vsize (Kb) 11932

[startup+350.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) R 6088 6088 4060 0 -1 0 1273 0 0 0 33338 567 0 0 25 0 1 0 20670742 10039296 1170 4294967295 134512640 134702520 3221223952 3221223232 134552509 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6091/statm): 2451 1170 413 48 0 2403 0
[pid=6091] vsize: 9804
Current children cumulated CPU time (s) 339.07
Current children cumulated vsize (Kb) 11932

[startup+360.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) R 6088 6088 4060 0 -1 0 1310 0 0 0 34312 576 0 0 25 0 1 0 20670742 10039296 1207 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6091/statm): 2451 1207 413 48 0 2403 0
[pid=6091] vsize: 9804
Current children cumulated CPU time (s) 348.9
Current children cumulated vsize (Kb) 11932

[startup+370.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) R 6088 6088 4060 0 -1 0 1337 0 0 0 35294 583 0 0 25 0 1 0 20670742 10039296 1234 4294967295 134512640 134702520 3221223952 3221223232 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6091/statm): 2451 1234 413 48 0 2403 0
[pid=6091] vsize: 9804
Current children cumulated CPU time (s) 358.79
Current children cumulated vsize (Kb) 11932

[startup+380.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) R 6088 6088 4060 0 -1 0 1359 0 0 0 36189 617 0 0 25 0 1 0 20670742 10174464 1256 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6091/statm): 2484 1256 413 48 0 2436 0
[pid=6091] vsize: 9936
Current children cumulated CPU time (s) 368.08
Current children cumulated vsize (Kb) 12064

[startup+390.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) R 6088 6088 4060 0 -1 0 1395 0 0 0 37169 626 0 0 25 0 1 0 20670742 10698752 1292 4294967295 134512640 134702520 3221223952 3221045648 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6091/statm): 2612 1292 413 48 0 2564 0
[pid=6091] vsize: 10448
Current children cumulated CPU time (s) 377.97
Current children cumulated vsize (Kb) 12576

[startup+400.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) R 6088 6088 4060 0 -1 0 1417 0 0 0 38139 636 0 0 25 0 1 0 20670742 10698752 1314 4294967295 134512640 134702520 3221223952 3221223232 134551042 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6091/statm): 2612 1314 413 48 0 2564 0
[pid=6091] vsize: 10448
Current children cumulated CPU time (s) 387.77
Current children cumulated vsize (Kb) 12576

[startup+410.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) R 6088 6088 4060 0 -1 0 1452 0 0 0 39119 645 0 0 25 0 1 0 20670742 10698752 1349 4294967295 134512640 134702520 3221223952 3221003248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6091/statm): 2612 1349 413 48 0 2564 0
[pid=6091] vsize: 10448
Current children cumulated CPU time (s) 397.66
Current children cumulated vsize (Kb) 12576

[startup+420.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6091
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20670735 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 242 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6091/stat): 6091 (vallst) R 6088 6088 4060 0 -1 0 1455 0 0 0 40077 660 0 0 25 0 1 0 20670742 10698752 1352 4294967295 134512640 134702520 3221223952 3221222848 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6091/statm): 2612 1352 413 48 0 2564 0
[pid=6091] vsize: 10448
Current children cumulated CPU time (s) 407.39
Current children cumulated vsize (Kb) 12576
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=6091) exited with status: 2
New process pid=6092
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=6092) exited with status: 0
New process pid=6093
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+430.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6093
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 810 0 0 0 565 10 0 0 25 0 1 0 20713151 5120000 781 4294967295 134512640 134702520 3221223712 3221222848 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6093/statm): 1250 781 413 48 0 1202 0
[pid=6093] vsize: 5000
Current children cumulated CPU time (s) 417.1
Current children cumulated vsize (Kb) 7128

[startup+440.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6093
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 814 0 0 0 1521 25 0 0 25 0 1 0 20713151 5120000 785 4294967295 134512640 134702520 3221223712 3221222848 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6093/statm): 1250 785 413 48 0 1202 0
[pid=6093] vsize: 5000
Current children cumulated CPU time (s) 426.81
Current children cumulated vsize (Kb) 7128

[startup+450.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6093
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 890 0 0 0 2466 44 0 0 25 0 1 0 20713151 8732672 861 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2132 861 413 48 0 2084 0
[pid=6093] vsize: 8528
Current children cumulated CPU time (s) 436.45
Current children cumulated vsize (Kb) 10656

[startup+460.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6093
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 904 0 0 0 3422 60 0 0 25 0 1 0 20713151 8851456 875 4294967295 134512640 134702520 3221223712 3221222992 134552270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2161 875 413 48 0 2113 0
[pid=6093] vsize: 8644
Current children cumulated CPU time (s) 446.17
Current children cumulated vsize (Kb) 10772

[startup+470.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6093
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 914 0 0 0 4405 65 0 0 25 0 1 0 20713151 8851456 885 4294967295 134512640 134702520 3221223712 3220830048 134611777 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2161 885 413 48 0 2113 0
[pid=6093] vsize: 8644
Current children cumulated CPU time (s) 456.05
Current children cumulated vsize (Kb) 10772

[startup+480.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6093
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 921 0 0 0 5378 75 0 0 25 0 1 0 20713151 8851456 892 4294967295 134512640 134702520 3221223712 3221222992 134552263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2161 892 413 48 0 2113 0
[pid=6093] vsize: 8644
Current children cumulated CPU time (s) 465.88
Current children cumulated vsize (Kb) 10772

[startup+490.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6093
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 925 0 0 0 6358 81 0 0 25 0 1 0 20713151 8851456 896 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2161 896 413 48 0 2113 0
[pid=6093] vsize: 8644
Current children cumulated CPU time (s) 475.74
Current children cumulated vsize (Kb) 10772

[startup+500.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6093
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 929 0 0 0 7317 95 0 0 25 0 1 0 20713151 8851456 900 4294967295 134512640 134702520 3221223712 3221222992 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2161 900 413 48 0 2113 0
[pid=6093] vsize: 8644
Current children cumulated CPU time (s) 485.47
Current children cumulated vsize (Kb) 10772

[startup+510.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6093
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 931 0 0 0 8287 104 0 0 25 0 1 0 20713151 8851456 902 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2161 902 413 48 0 2113 0
[pid=6093] vsize: 8644
Current children cumulated CPU time (s) 495.26
Current children cumulated vsize (Kb) 10772

[startup+520.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6093
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 933 0 0 0 9260 113 0 0 25 0 1 0 20713151 8851456 904 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2161 904 413 48 0 2113 0
[pid=6093] vsize: 8644
Current children cumulated CPU time (s) 505.08
Current children cumulated vsize (Kb) 10772

[startup+530.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6093
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 934 0 0 0 10236 122 0 0 25 0 1 0 20713151 8851456 905 4294967295 134512640 134702520 3221223712 3221017248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2161 905 413 48 0 2113 0
[pid=6093] vsize: 8644
Current children cumulated CPU time (s) 514.93
Current children cumulated vsize (Kb) 10772

[startup+540.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6093
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 936 0 0 0 11184 140 0 0 25 0 1 0 20713151 8851456 907 4294967295 134512640 134702520 3221223712 3221222608 134550688 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2161 907 413 48 0 2113 0
[pid=6093] vsize: 8644
Current children cumulated CPU time (s) 524.59
Current children cumulated vsize (Kb) 10772

[startup+550.042 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 6093
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 936 0 0 0 12125 159 0 0 25 0 1 0 20713151 8851456 907 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2161 907 413 48 0 2113 0
[pid=6093] vsize: 8644
Current children cumulated CPU time (s) 534.19
Current children cumulated vsize (Kb) 10772

[startup+560.043 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 6093
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 940 0 0 0 12950 215 0 0 25 0 1 0 20713151 8851456 911 4294967295 134512640 134702520 3221223712 3221221248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2161 911 413 48 0 2113 0
[pid=6093] vsize: 8644
Current children cumulated CPU time (s) 543
Current children cumulated vsize (Kb) 10772

[startup+570.044 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 6093
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 940 0 0 0 13927 225 0 0 25 0 1 0 20713151 8851456 911 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6093/statm): 2161 911 413 48 0 2113 0
[pid=6093] vsize: 8644
Current children cumulated CPU time (s) 552.87
Current children cumulated vsize (Kb) 10772

[startup+580.044 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 6093
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 940 0 0 0 14874 243 0 0 25 0 1 0 20713151 8851456 911 4294967295 134512640 134702520 3221223712 3221083488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6093/statm): 2161 911 413 48 0 2113 0
[pid=6093] vsize: 8644
Current children cumulated CPU time (s) 562.52
Current children cumulated vsize (Kb) 10772

[startup+590.045 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 6093
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 941 0 0 0 15836 256 0 0 25 0 1 0 20713151 8851456 912 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2161 912 413 48 0 2113 0
[pid=6093] vsize: 8644
Current children cumulated CPU time (s) 572.27
Current children cumulated vsize (Kb) 10772

[startup+600.046 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 6093
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 941 0 0 0 16760 281 0 0 25 0 1 0 20713151 8851456 912 4294967295 134512640 134702520 3221223712 3221026208 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2161 912 413 48 0 2113 0
[pid=6093] vsize: 8644
Current children cumulated CPU time (s) 581.76
Current children cumulated vsize (Kb) 10772

[startup+610.047 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 6093
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) T 6088 6088 4060 0 -1 0 941 0 0 0 17670 309 0 0 23 0 1 0 20713151 8851456 912 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6093/statm): 2161 912 413 48 0 2113 0
[pid=6093] vsize: 8644
Current children cumulated CPU time (s) 591.14
Current children cumulated vsize (Kb) 10772

[startup+620.048 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6093
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 948 0 0 0 18542 350 0 0 25 0 1 0 20713151 8851456 919 4294967295 134512640 134702520 3221223712 3221083328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6093/statm): 2161 919 413 48 0 2113 0
[pid=6093] vsize: 8644
Current children cumulated CPU time (s) 600.27
Current children cumulated vsize (Kb) 10772

[startup+630.048 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6093
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 948 0 0 0 19514 361 0 0 25 0 1 0 20713151 8851456 919 4294967295 134512640 134702520 3221223712 3221222992 134552319 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2161 919 413 48 0 2113 0
[pid=6093] vsize: 8644
Current children cumulated CPU time (s) 610.1
Current children cumulated vsize (Kb) 10772

[startup+640.049 s]
Raw data (loadavg): 1.02 1.01 1.00 3/59 6134
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 948 0 0 0 20478 373 0 0 25 0 1 0 20713151 8851456 919 4294967295 134512640 134702520 3221223712 3221023948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6093/statm): 2161 919 413 48 0 2113 0
[pid=6093] vsize: 8644
Current children cumulated CPU time (s) 619.86
Current children cumulated vsize (Kb) 10772

[startup+650.049 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6148
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 950 0 0 0 21423 391 0 0 25 0 1 0 20713151 8851456 921 4294967295 134512640 134702520 3221223712 3221222992 134553492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2161 921 413 48 0 2113 0
[pid=6093] vsize: 8644
Current children cumulated CPU time (s) 629.49
Current children cumulated vsize (Kb) 10772

[startup+660.049 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6148
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 950 0 0 0 22345 417 0 0 25 0 1 0 20713151 8851456 921 4294967295 134512640 134702520 3221223712 3221093248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2161 921 413 48 0 2113 0
[pid=6093] vsize: 8644
Current children cumulated CPU time (s) 638.97
Current children cumulated vsize (Kb) 10772

[startup+670.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6148
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 952 0 0 0 23298 434 0 0 25 0 1 0 20713151 8851456 923 4294967295 134512640 134702520 3221223712 3221222608 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2161 923 413 48 0 2113 0
[pid=6093] vsize: 8644
Current children cumulated CPU time (s) 648.67
Current children cumulated vsize (Kb) 10772

[startup+680.051 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6148
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 952 0 0 0 24247 452 0 0 18 0 1 0 20713151 8851456 923 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2161 923 413 48 0 2113 0
[pid=6093] vsize: 8644
Current children cumulated CPU time (s) 658.34
Current children cumulated vsize (Kb) 10772

[startup+690.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6148
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 952 0 0 0 25203 468 0 0 25 0 1 0 20713151 8851456 923 4294967295 134512640 134702520 3221223712 3221153728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6093/statm): 2161 923 413 48 0 2113 0
[pid=6093] vsize: 8644
Current children cumulated CPU time (s) 668.06
Current children cumulated vsize (Kb) 10772

[startup+700.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6150
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 952 0 0 0 26107 501 0 0 24 0 1 0 20713151 8851456 923 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2161 923 413 48 0 2113 0
[pid=6093] vsize: 8644
Current children cumulated CPU time (s) 677.43
Current children cumulated vsize (Kb) 10772

[startup+710.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6152
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 957 0 0 0 27050 520 0 0 25 0 1 0 20713151 8851456 928 4294967295 134512640 134702520 3221223712 3221210688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2161 928 413 48 0 2113 0
[pid=6093] vsize: 8644
Current children cumulated CPU time (s) 687.05
Current children cumulated vsize (Kb) 10772

[startup+720.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6154
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 989 0 0 0 28027 527 0 0 25 0 1 0 20713151 9322496 960 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2276 960 413 48 0 2228 0
[pid=6093] vsize: 9104
Current children cumulated CPU time (s) 696.89
Current children cumulated vsize (Kb) 11232

[startup+730.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6154
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1025 0 0 0 29006 535 0 0 25 0 1 0 20713151 9457664 996 4294967295 134512640 134702520 3221223712 3221084608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2309 996 413 48 0 2261 0
[pid=6093] vsize: 9236
Current children cumulated CPU time (s) 706.76
Current children cumulated vsize (Kb) 11364

[startup+740.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6154
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1066 0 0 0 29982 542 0 0 25 0 1 0 20713151 9457664 1037 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2309 1037 413 48 0 2261 0
[pid=6093] vsize: 9236
Current children cumulated CPU time (s) 716.59
Current children cumulated vsize (Kb) 11364

[startup+750.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6154
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1105 0 0 0 30961 549 0 0 25 0 1 0 20713151 9457664 1076 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6093/statm): 2309 1076 413 48 0 2261 0
[pid=6093] vsize: 9236
Current children cumulated CPU time (s) 726.45
Current children cumulated vsize (Kb) 11364

[startup+760.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6154
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1137 0 0 0 31932 558 0 0 25 0 1 0 20713151 9928704 1108 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2424 1108 413 48 0 2376 0
[pid=6093] vsize: 9696
Current children cumulated CPU time (s) 736.25
Current children cumulated vsize (Kb) 11824

[startup+770.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6154
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1174 0 0 0 32898 569 0 0 25 0 1 0 20713151 10055680 1145 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2455 1145 413 48 0 2407 0
[pid=6093] vsize: 9820
Current children cumulated CPU time (s) 746.02
Current children cumulated vsize (Kb) 11948

[startup+780.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6154
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1203 0 0 0 33864 582 0 0 25 0 1 0 20713151 10055680 1174 4294967295 134512640 134702520 3221223712 3221222992 134552354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2455 1174 413 48 0 2407 0
[pid=6093] vsize: 9820
Current children cumulated CPU time (s) 755.81
Current children cumulated vsize (Kb) 11948

[startup+790.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6154
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1233 0 0 0 34832 593 0 0 21 0 1 0 20713151 10055680 1204 4294967295 134512640 134702520 3221223712 3221222608 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2455 1204 413 48 0 2407 0
[pid=6093] vsize: 9820
Current children cumulated CPU time (s) 765.6
Current children cumulated vsize (Kb) 11948

[startup+800.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6154
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1233 0 0 0 35793 607 0 0 25 0 1 0 20713151 10055680 1204 4294967295 134512640 134702520 3221223712 3221222608 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2455 1204 413 48 0 2407 0
[pid=6093] vsize: 9820
Current children cumulated CPU time (s) 775.35
Current children cumulated vsize (Kb) 11948

[startup+810.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6154
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1233 0 0 0 36748 622 0 0 25 0 1 0 20713151 10055680 1204 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2455 1204 413 48 0 2407 0
[pid=6093] vsize: 9820
Current children cumulated CPU time (s) 785.05
Current children cumulated vsize (Kb) 11948

[startup+820.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6154
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1234 0 0 0 37699 640 0 0 25 0 1 0 20713151 10055680 1205 4294967295 134512640 134702520 3221223712 3221190508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2455 1205 413 48 0 2407 0
[pid=6093] vsize: 9820
Current children cumulated CPU time (s) 794.74
Current children cumulated vsize (Kb) 11948

[startup+830.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6154
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1234 0 0 0 38679 648 0 0 25 0 1 0 20713151 10055680 1205 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2455 1205 413 48 0 2407 0
[pid=6093] vsize: 9820
Current children cumulated CPU time (s) 804.62
Current children cumulated vsize (Kb) 11948

[startup+840.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6154
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1236 0 0 0 39651 657 0 0 25 0 1 0 20713151 10055680 1207 4294967295 134512640 134702520 3221223712 3221118048 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6093/statm): 2455 1207 413 48 0 2407 0
[pid=6093] vsize: 9820
Current children cumulated CPU time (s) 814.43
Current children cumulated vsize (Kb) 11948

[startup+850.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6154
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1238 0 0 0 40627 666 0 0 25 0 1 0 20713151 10055680 1209 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2455 1209 413 48 0 2407 0
[pid=6093] vsize: 9820
Current children cumulated CPU time (s) 824.28
Current children cumulated vsize (Kb) 11948

[startup+860.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6154
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1240 0 0 0 41601 675 0 0 25 0 1 0 20713151 10055680 1211 4294967295 134512640 134702520 3221223712 3221033408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2455 1211 413 48 0 2407 0
[pid=6093] vsize: 9820
Current children cumulated CPU time (s) 834.11
Current children cumulated vsize (Kb) 11948

[startup+870.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6154
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1242 0 0 0 42565 687 0 0 25 0 1 0 20713151 10055680 1213 4294967295 134512640 134702520 3221223712 3221222992 134553175 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2455 1213 413 48 0 2407 0
[pid=6093] vsize: 9820
Current children cumulated CPU time (s) 843.87
Current children cumulated vsize (Kb) 11948

[startup+880.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6154
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1245 0 0 0 43517 703 0 0 25 0 1 0 20713151 10055680 1216 4294967295 134512640 134702520 3221223712 3221114988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2455 1216 413 48 0 2407 0
[pid=6093] vsize: 9820
Current children cumulated CPU time (s) 853.55
Current children cumulated vsize (Kb) 11948

[startup+890.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6154
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1249 0 0 0 44497 709 0 0 25 0 1 0 20713151 10055680 1220 4294967295 134512640 134702520 3221223712 3221222992 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2455 1220 413 48 0 2407 0
[pid=6093] vsize: 9820
Current children cumulated CPU time (s) 863.41
Current children cumulated vsize (Kb) 11948

[startup+900.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6154
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1253 0 0 0 45369 749 0 0 19 0 1 0 20713151 10055680 1224 4294967295 134512640 134702520 3221223712 3221222992 134553100 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2455 1224 413 48 0 2407 0
[pid=6093] vsize: 9820
Current children cumulated CPU time (s) 872.53
Current children cumulated vsize (Kb) 11948

[startup+910.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6154
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1256 0 0 0 46352 755 0 0 25 0 1 0 20713151 10170368 1227 4294967295 134512640 134702520 3221223712 3221222992 134554452 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2483 1227 413 48 0 2435 0
[pid=6093] vsize: 9932
Current children cumulated CPU time (s) 882.42
Current children cumulated vsize (Kb) 12060

[startup+920.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6154
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1261 0 0 0 47324 764 0 0 25 0 1 0 20713151 10170368 1232 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2483 1232 413 48 0 2435 0
[pid=6093] vsize: 9932
Current children cumulated CPU time (s) 892.23
Current children cumulated vsize (Kb) 12060

[startup+930.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6154
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1274 0 0 0 48296 774 0 0 25 0 1 0 20713151 10170368 1245 4294967295 134512640 134702520 3221223712 3221025068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2483 1245 413 48 0 2435 0
[pid=6093] vsize: 9932
Current children cumulated CPU time (s) 902.05
Current children cumulated vsize (Kb) 12060

[startup+940.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6154
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1275 0 0 0 49264 785 0 0 25 0 1 0 20713151 10170368 1246 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2483 1246 413 48 0 2435 0
[pid=6093] vsize: 9932
Current children cumulated CPU time (s) 911.84
Current children cumulated vsize (Kb) 12060

[startup+950.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6154
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1275 0 0 0 50216 801 0 0 25 0 1 0 20713151 10170368 1246 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2483 1246 413 48 0 2435 0
[pid=6093] vsize: 9932
Current children cumulated CPU time (s) 921.52
Current children cumulated vsize (Kb) 12060

[startup+960.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6154
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1275 0 0 0 51189 810 0 0 25 0 1 0 20713151 10170368 1246 4294967295 134512640 134702520 3221223712 3221121888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2483 1246 413 48 0 2435 0
[pid=6093] vsize: 9932
Current children cumulated CPU time (s) 931.34
Current children cumulated vsize (Kb) 12060

[startup+970.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6154
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1275 0 0 0 52115 835 0 0 25 0 1 0 20713151 10170368 1246 4294967295 134512640 134702520 3221223712 3221222992 134552509 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6093/statm): 2483 1246 413 48 0 2435 0
[pid=6093] vsize: 9932
Current children cumulated CPU time (s) 940.85
Current children cumulated vsize (Kb) 12060

[startup+980.072 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6154
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) T 6088 6088 4060 0 -1 0 1275 0 0 0 53068 852 0 0 25 0 1 0 20713151 10170368 1246 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2483 1246 413 48 0 2435 0
[pid=6093] vsize: 9932
Current children cumulated CPU time (s) 950.55
Current children cumulated vsize (Kb) 12060

[startup+990.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6156
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1275 0 0 0 54055 857 0 0 25 0 1 0 20713151 10170368 1246 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2483 1246 413 48 0 2435 0
[pid=6093] vsize: 9932
Current children cumulated CPU time (s) 960.47
Current children cumulated vsize (Kb) 12060

[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6156
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1343 0 0 0 55036 863 0 0 25 0 1 0 20713151 10170368 1314 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2483 1314 413 48 0 2435 0
[pid=6093] vsize: 9932
Current children cumulated CPU time (s) 970.34
Current children cumulated vsize (Kb) 12060

[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6156
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1436 0 0 0 56022 868 0 0 25 0 1 0 20713151 10170368 1407 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2483 1407 413 48 0 2435 0
[pid=6093] vsize: 9932
Current children cumulated CPU time (s) 980.25
Current children cumulated vsize (Kb) 12060

[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6156
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1544 0 0 0 57008 874 0 0 25 0 1 0 20713151 10170368 1515 4294967295 134512640 134702520 3221223712 3221222992 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2483 1515 413 48 0 2435 0
[pid=6093] vsize: 9932
Current children cumulated CPU time (s) 990.17
Current children cumulated vsize (Kb) 12060

[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6156
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1642 0 0 0 57995 879 0 0 25 0 1 0 20713151 10170368 1613 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2483 1613 413 48 0 2435 0
[pid=6093] vsize: 9932
Current children cumulated CPU time (s) 1000.09
Current children cumulated vsize (Kb) 12060

[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6156
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1743 0 0 0 58983 883 0 0 25 0 1 0 20713151 10305536 1714 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2516 1714 413 48 0 2468 0
[pid=6093] vsize: 10064
Current children cumulated CPU time (s) 1010.01
Current children cumulated vsize (Kb) 12192

[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6156
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1862 0 0 0 59969 889 0 0 25 0 1 0 20713151 10305536 1833 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2516 1833 413 48 0 2468 0
[pid=6093] vsize: 10064
Current children cumulated CPU time (s) 1019.93
Current children cumulated vsize (Kb) 12192

[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6156
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) T 6088 6088 4060 0 -1 0 1888 0 0 0 60917 905 0 0 19 0 1 0 20713151 10305536 1859 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2516 1859 413 48 0 2468 0
[pid=6093] vsize: 10064
Current children cumulated CPU time (s) 1029.57
Current children cumulated vsize (Kb) 12192

[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6156
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1889 0 0 0 61846 929 0 0 25 0 1 0 20713151 10305536 1860 4294967295 134512640 134702520 3221223712 3221222992 134552884 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2516 1860 413 48 0 2468 0
[pid=6093] vsize: 10064
Current children cumulated CPU time (s) 1039.1
Current children cumulated vsize (Kb) 12192

[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6156
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1889 0 0 0 62757 960 0 0 25 0 1 0 20713151 10305536 1860 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2516 1860 413 48 0 2468 0
[pid=6093] vsize: 10064
Current children cumulated CPU time (s) 1048.52
Current children cumulated vsize (Kb) 12192

[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6156
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1889 0 0 0 63740 967 0 0 25 0 1 0 20713151 10305536 1860 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2516 1860 413 48 0 2468 0
[pid=6093] vsize: 10064
Current children cumulated CPU time (s) 1058.42
Current children cumulated vsize (Kb) 12192

[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6156
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1889 0 0 0 64682 986 0 0 25 0 1 0 20713151 10305536 1860 4294967295 134512640 134702520 3221223712 3221222992 134553125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2516 1860 413 48 0 2468 0
[pid=6093] vsize: 10064
Current children cumulated CPU time (s) 1068.03
Current children cumulated vsize (Kb) 12192

[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6156
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1889 0 0 0 65641 1000 0 0 25 0 1 0 20713151 10305536 1860 4294967295 134512640 134702520 3221223712 3221217888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2516 1860 413 48 0 2468 0
[pid=6093] vsize: 10064
Current children cumulated CPU time (s) 1077.76
Current children cumulated vsize (Kb) 12192

[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6156
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1889 0 0 0 66579 1020 0 0 23 0 1 0 20713151 10305536 1860 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2516 1860 413 48 0 2468 0
[pid=6093] vsize: 10064
Current children cumulated CPU time (s) 1087.34
Current children cumulated vsize (Kb) 12192

[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6156
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1889 0 0 0 67442 1065 0 0 23 0 1 0 20713151 10305536 1860 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2516 1860 413 48 0 2468 0
[pid=6093] vsize: 10064
Current children cumulated CPU time (s) 1096.42
Current children cumulated vsize (Kb) 12192

[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6156
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1889 0 0 0 68395 1082 0 0 21 0 1 0 20713151 10305536 1860 4294967295 134512640 134702520 3221223712 3221210368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6093/statm): 2516 1860 413 48 0 2468 0
[pid=6093] vsize: 10064
Current children cumulated CPU time (s) 1106.12
Current children cumulated vsize (Kb) 12192

[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6156
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1890 0 0 0 69372 1090 0 0 25 0 1 0 20713151 10305536 1861 4294967295 134512640 134702520 3221223712 3221222608 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2516 1861 413 48 0 2468 0
[pid=6093] vsize: 10064
Current children cumulated CPU time (s) 1115.97
Current children cumulated vsize (Kb) 12192

[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6156
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1890 0 0 0 70218 1142 0 0 25 0 1 0 20713151 10305536 1861 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2516 1861 413 48 0 2468 0
[pid=6093] vsize: 10064
Current children cumulated CPU time (s) 1124.95
Current children cumulated vsize (Kb) 12192

[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6156
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1890 0 0 0 71108 1179 0 0 25 0 1 0 20713151 10305536 1861 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6093/statm): 2516 1861 413 48 0 2468 0
[pid=6093] vsize: 10064
Current children cumulated CPU time (s) 1134.22
Current children cumulated vsize (Kb) 12192

[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6156
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1890 0 0 0 71995 1216 0 0 25 0 1 0 20713151 10305536 1861 4294967295 134512640 134702520 3221223712 3220945728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2516 1861 413 48 0 2468 0
[pid=6093] vsize: 10064
Current children cumulated CPU time (s) 1143.46
Current children cumulated vsize (Kb) 12192

[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6156
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1890 0 0 0 72883 1256 0 0 25 0 1 0 20713151 10305536 1861 4294967295 134512640 134702520 3221223712 3221222992 134552509 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2516 1861 413 48 0 2468 0
[pid=6093] vsize: 10064
Current children cumulated CPU time (s) 1152.74
Current children cumulated vsize (Kb) 12192

[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6156
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) T 6088 6088 4060 0 -1 0 1890 0 0 0 73765 1297 0 0 20 0 1 0 20713151 10305536 1861 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6093/statm): 2516 1861 413 48 0 2468 0
[pid=6093] vsize: 10064
Current children cumulated CPU time (s) 1161.97
Current children cumulated vsize (Kb) 12192

[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6156
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1890 0 0 0 74735 1307 0 0 25 0 1 0 20713151 10305536 1861 4294967295 134512640 134702520 3221223712 3221222932 134550217 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2516 1861 413 48 0 2468 0
[pid=6093] vsize: 10064
Current children cumulated CPU time (s) 1171.77
Current children cumulated vsize (Kb) 12192

[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6156
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1890 0 0 0 75635 1339 0 0 25 0 1 0 20713151 10305536 1861 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2516 1861 413 48 0 2468 0
[pid=6093] vsize: 10064
Current children cumulated CPU time (s) 1181.09
Current children cumulated vsize (Kb) 12192

[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6156
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1890 0 0 0 76512 1381 0 0 25 0 1 0 20713151 10305536 1861 4294967295 134512640 134702520 3221223712 3221222992 134553317 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6093/statm): 2516 1861 413 48 0 2468 0
[pid=6093] vsize: 10064
Current children cumulated CPU time (s) 1190.28
Current children cumulated vsize (Kb) 12192

[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6156
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1890 0 0 0 77459 1399 0 0 25 0 1 0 20713151 10305536 1861 4294967295 134512640 134702520 3221223712 3221223104 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2516 1861 413 48 0 2468 0
[pid=6093] vsize: 10064
Current children cumulated CPU time (s) 1199.93
Current children cumulated vsize (Kb) 12192

[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6156
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1890 0 0 0 78385 1422 0 0 19 0 1 0 20713151 10305536 1861 4294967295 134512640 134702520 3221223712 3221222992 134550618 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6093/statm): 2516 1861 413 48 0 2468 0
[pid=6093] vsize: 10064
Current children cumulated CPU time (s) 1209.42
Current children cumulated vsize (Kb) 12192



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6156
Raw data (/proc/6088/stat): 6088 (vallstSAT2005PB) S 6087 6088 4060 0 -1 0 378 1830 0 0 1 1 40465 668 19 0 1 0 20670735 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6088/statm): 532 248 485 147 0 385 0
[pid=6088] vsize: 2128
Raw data (/proc/6093/stat): 6093 (vallst) R 6088 6088 4060 0 -1 0 1890 0 0 0 78385 1422 0 0 19 0 1 0 20713151 10305536 1861 4294967295 134512640 134702520 3221223712 3221222992 134550618 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6093/statm): 2516 1861 413 48 0 2468 0
[pid=6093] vsize: 10064
Current children cumulated CPU time (s) 1209.42
Current children cumulated vsize (Kb) 12192

Sending SIGTERM to -6088
Sleeping 2 seconds
New process pid=6158
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=6159
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4042/stat
open syscall for file /proc/4042/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/6049/stat
open syscall for file /proc/6049/status
open syscall for file /proc/6049/cmdline
open syscall for file /proc/6049/environ
open syscall for file /proc/6087/stat
open syscall for file /proc/6087/status
open syscall for file /proc/6087/cmdline
open syscall for file /proc/6087/environ
open syscall for file /proc/6088/stat
open syscall for file /proc/6088/status
open syscall for file /proc/6088/cmdline
open syscall for file /proc/6088/environ
open syscall for file /proc/6093/stat
open syscall for file /proc/6093/status
open syscall for file /proc/6093/cmdline
open syscall for file /proc/6093/environ
open syscall for file /proc/6158/stat
open syscall for file /proc/6158/status
open syscall for file /proc/6158/cmdline
open syscall for file /proc/6158/environ
open syscall for file /proc/6159/stat
open syscall for file /proc/6159/status
open syscall for file /proc/6159/cmdline
open syscall for file /proc/6159/environ
One traced child (pid=6158) exited with status: 0
One traced child (pid=6159) exited with status: 0
New process pid=6160
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=6093) exited with status: 3
One traced child (pid=6160) exited with status: 0
New process pid=6161
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=6161) exited with status: 0
One traced child (pid=6088) 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): 1250.58
CPU time (s): 1209.76
CPU user time (s): 1188.74
CPU system time (s): 21.0178
CPU usage (%): 96.7358
Max. virtual memory (cumulated for all children) (Kb): 12576

Verifier Data

ERROR: no interpretation found !