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-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos20.opb
MD5SUM5df680f208ddf408cf78769a644f889d
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -468992
Optimality of the best value was proved YES
Number of terms in the objective function 150
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 5368709115
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 171798691840
Number of bits of the biggest number in a constraint 38
Biggest sum of numbers in a constraint 344670818303
Number of bits of the biggest sum of numbers39
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark13.7669
Number of variables8411
Total number of constraints3344
Number of constraints which are clauses412
Number of constraints which are cardinality constraints (but not clauses)1282
Number of constraints which are nor clauses,nor cardinality constraints1650
Minimum length of a constraint1
Maximum length of a constraint270

Trace number 9072

Launcher Data

LAUNCH ON wulflinc30 THE 2005-09-23 10:51:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7759 boxname=wulflinc30 idbench=727 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  5df680f208ddf408cf78769a644f889d  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-neos20.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-neos20.opb 0
IDLAUNCH: 7759
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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:        950556 kB
Buffers:          9172 kB
Cached:          58216 kB
SwapCached:          0 kB
Active:          41696 kB
Inactive:        28548 kB
HighTotal:      131008 kB
HighFree:        68768 kB
LowTotal:       903652 kB
LowFree:        881788 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6960 kB
Slab:             8344 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 11:11:34 (client local time) WITH STATUS 0 IN 842.733 SECONDS
stats: 7759 7 842.733 0

Solver Data

1:
seed: 0
Nr of vars set: 4883  (#equs: 0)
Nr of vars set: 6781  (#equs: 471)
#decisions: 368171;  #end-nodes: 34056;
#proof improvement attempts: 0;  #restarts: 288
Current batch, end-nodes: 0 / 153 (151)
#axs: 3572, #non-axs: 1789
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 6781  (#equs: 471)
Time taken: 6 min, 8 sec

2:

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) R 4489 4490 4004 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19565702 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4490/statm): 174 3 169 147 0 27 0
[pid=4490] 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=4491
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=4491) exited with status: 0
New process pid=4492
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=4492) exited with status: 0
New process pid=4493
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/wulflinc30/normalized-mps-v2-20-10-neos20.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0066 s]
Raw data (loadavg): 0.93 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 899 0 0 0 980 5 0 0 25 0 1 0 19565709 5120000 814 4294967295 134512640 134702520 3221223952 3221175968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 1250 814 413 48 0 1202 0
[pid=4493] vsize: 5000
Current children cumulated CPU time (s) 9.87
Current children cumulated vsize (Kb) 7128

[startup+20.0074 s]
Raw data (loadavg): 0.94 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 940 0 0 0 1815 59 0 0 21 0 1 0 19565709 7634944 855 4294967295 134512640 134702520 3221223952 3221208668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4493/statm): 1864 855 413 48 0 1816 0
[pid=4493] vsize: 7456
Current children cumulated CPU time (s) 18.76
Current children cumulated vsize (Kb) 9584

[startup+30.0093 s]
Raw data (loadavg): 0.95 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 950 0 0 0 2731 85 0 0 25 0 1 0 19565709 7634944 865 4294967295 134512640 134702520 3221223952 3221181008 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 1864 865 413 48 0 1816 0
[pid=4493] vsize: 7456
Current children cumulated CPU time (s) 28.18
Current children cumulated vsize (Kb) 9584

[startup+40.0101 s]
Raw data (loadavg): 0.96 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 950 0 0 0 3732 85 0 0 25 0 1 0 19565709 7634944 865 4294967295 134512640 134702520 3221223952 3220774608 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 1864 865 413 48 0 1816 0
[pid=4493] vsize: 7456
Current children cumulated CPU time (s) 38.19
Current children cumulated vsize (Kb) 9584

[startup+50.0109 s]
Raw data (loadavg): 0.96 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1034 0 0 0 4662 107 0 0 25 0 1 0 19565709 7938048 949 4294967295 134512640 134702520 3221223952 3221187888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 1938 949 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 47.71
Current children cumulated vsize (Kb) 9880

[startup+60.0117 s]
Raw data (loadavg): 0.97 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1034 0 0 0 5663 107 0 0 25 0 1 0 19565709 7938048 949 4294967295 134512640 134702520 3221223952 3220785148 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 1938 949 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 57.72
Current children cumulated vsize (Kb) 9880

[startup+70.0125 s]
Raw data (loadavg): 0.97 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1041 0 0 0 6586 132 0 0 25 0 1 0 19565709 7938048 956 4294967295 134512640 134702520 3221223952 3221197308 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 1938 956 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 67.2
Current children cumulated vsize (Kb) 9880

[startup+80.0143 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1041 0 0 0 7587 132 0 0 25 0 1 0 19565709 7938048 956 4294967295 134512640 134702520 3221223952 3220799568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 1938 956 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 77.21
Current children cumulated vsize (Kb) 9880

[startup+90.0151 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1047 0 0 0 8515 156 0 0 25 0 1 0 19565709 7938048 962 4294967295 134512640 134702520 3221223952 3221197488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 1938 962 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 86.73
Current children cumulated vsize (Kb) 9880

[startup+100.016 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1047 0 0 0 9516 156 0 0 25 0 1 0 19565709 7938048 962 4294967295 134512640 134702520 3221223952 3220799728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 1938 962 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 96.74
Current children cumulated vsize (Kb) 9880

[startup+110.017 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1058 0 0 0 10436 184 0 0 22 0 1 0 19565709 7938048 973 4294967295 134512640 134702520 3221223952 3221213788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4493/statm): 1938 973 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 106.22
Current children cumulated vsize (Kb) 9880

[startup+120.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1058 0 0 0 11436 184 0 0 25 0 1 0 19565709 7938048 973 4294967295 134512640 134702520 3221223952 3220819388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4493/statm): 1938 973 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 116.22
Current children cumulated vsize (Kb) 9880

[startup+130.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1058 0 0 0 12348 213 0 0 19 0 1 0 19565709 7938048 973 4294967295 134512640 134702520 3221223952 3221223232 134557173 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 1938 973 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 125.63
Current children cumulated vsize (Kb) 9880

[startup+140.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1058 0 0 0 13346 213 0 0 25 0 1 0 19565709 7938048 973 4294967295 134512640 134702520 3221223952 3220841788 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 1938 973 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 135.61
Current children cumulated vsize (Kb) 9880

[startup+150.02 s]
Raw data (loadavg): 0.99 0.98 0.91 1/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) T 4490 4490 4004 0 -1 0 1058 0 0 0 14287 235 0 0 20 0 1 0 19565709 7938048 973 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4493/statm): 1938 973 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 145.24
Current children cumulated vsize (Kb) 9880

[startup+160.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1058 0 0 0 15263 244 0 0 25 0 1 0 19565709 7938048 973 4294967295 134512640 134702520 3221223952 3220871728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4493/statm): 1938 973 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 155.09
Current children cumulated vsize (Kb) 9880

[startup+170.021 s]
Raw data (loadavg): 0.99 0.98 0.91 1/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) T 4490 4490 4004 0 -1 0 1058 0 0 0 16214 260 0 0 20 0 1 0 19565709 7938048 973 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4493/statm): 1938 973 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 164.76
Current children cumulated vsize (Kb) 9880

[startup+180.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1058 0 0 0 17173 275 0 0 25 0 1 0 19565709 7938048 973 4294967295 134512640 134702520 3221223952 3220906128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 1938 973 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 174.5
Current children cumulated vsize (Kb) 9880

[startup+190.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1058 0 0 0 18150 283 0 0 21 0 1 0 19565709 7938048 973 4294967295 134512640 134702520 3221223952 3221223232 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 1938 973 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 184.35
Current children cumulated vsize (Kb) 9880

[startup+200.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1061 0 0 0 19076 308 0 0 25 0 1 0 19565709 7938048 976 4294967295 134512640 134702520 3221223952 3220949488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4493/statm): 1938 976 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 193.86
Current children cumulated vsize (Kb) 9880

[startup+210.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1061 0 0 0 20076 308 0 0 25 0 1 0 19565709 7938048 976 4294967295 134512640 134702520 3221223952 3220263248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4493/statm): 1938 976 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 203.86
Current children cumulated vsize (Kb) 9880

[startup+220.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1069 0 0 0 20986 336 0 0 25 0 1 0 19565709 7938048 984 4294967295 134512640 134702520 3221223952 3220976848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4493/statm): 1938 984 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 213.24
Current children cumulated vsize (Kb) 9880

[startup+230.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1069 0 0 0 21986 336 0 0 25 0 1 0 19565709 7938048 984 4294967295 134512640 134702520 3221223952 3220373968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4493/statm): 1938 984 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 223.24
Current children cumulated vsize (Kb) 9880

[startup+240.028 s]
Raw data (loadavg): 1.07 1.00 0.92 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1073 0 0 0 22914 363 0 0 25 0 1 0 19565709 7938048 988 4294967295 134512640 134702520 3221223952 3220997008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 1938 988 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 232.79
Current children cumulated vsize (Kb) 9880

[startup+250.029 s]
Raw data (loadavg): 1.06 1.00 0.92 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1073 0 0 0 23914 363 0 0 25 0 1 0 19565709 7938048 988 4294967295 134512640 134702520 3221223952 3220435888 134612005 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 1938 988 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 242.79
Current children cumulated vsize (Kb) 9880

[startup+260.031 s]
Raw data (loadavg): 1.05 1.00 0.92 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1073 0 0 0 24800 402 0 0 25 0 1 0 19565709 7938048 988 4294967295 134512640 134702520 3221223952 3221052208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 1938 988 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 252.04
Current children cumulated vsize (Kb) 9880

[startup+270.031 s]
Raw data (loadavg): 1.04 1.00 0.92 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1073 0 0 0 25800 402 0 0 25 0 1 0 19565709 7938048 988 4294967295 134512640 134702520 3221223952 3220553808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 1938 988 413 48 0 1890 0
[pid=4493] vsize: 7752
Current children cumulated CPU time (s) 262.04
Current children cumulated vsize (Kb) 9880

[startup+280.032 s]
Raw data (loadavg): 1.03 1.00 0.92 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1090 0 0 0 26700 438 0 0 25 0 1 0 19565709 8241152 1005 4294967295 134512640 134702520 3221223952 3221101168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4493/statm): 2012 1005 413 48 0 1964 0
[pid=4493] vsize: 8048
Current children cumulated CPU time (s) 271.4
Current children cumulated vsize (Kb) 10176

[startup+290.033 s]
Raw data (loadavg): 1.03 1.00 0.92 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1090 0 0 0 27700 438 0 0 25 0 1 0 19565709 8241152 1005 4294967295 134512640 134702520 3221223952 3220637308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4493/statm): 2012 1005 413 48 0 1964 0
[pid=4493] vsize: 8048
Current children cumulated CPU time (s) 281.4
Current children cumulated vsize (Kb) 10176

[startup+300.033 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1139 0 0 0 28600 473 0 0 25 0 1 0 19565709 8241152 1054 4294967295 134512640 134702520 3221223952 3221150128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 2012 1054 413 48 0 1964 0
[pid=4493] vsize: 8048
Current children cumulated CPU time (s) 290.75
Current children cumulated vsize (Kb) 10176

[startup+310.035 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1139 0 0 0 29600 473 0 0 25 0 1 0 19565709 8241152 1054 4294967295 134512640 134702520 3221223952 3220725648 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 2012 1054 413 48 0 1964 0
[pid=4493] vsize: 8048
Current children cumulated CPU time (s) 300.75
Current children cumulated vsize (Kb) 10176

[startup+320.035 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1183 0 0 0 30513 503 0 0 25 0 1 0 19565709 8544256 1098 4294967295 134512640 134702520 3221223952 3221195088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 2086 1098 413 48 0 2038 0
[pid=4493] vsize: 8344
Current children cumulated CPU time (s) 310.18
Current children cumulated vsize (Kb) 10472

[startup+330.037 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1183 0 0 0 31513 503 0 0 25 0 1 0 19565709 8544256 1098 4294967295 134512640 134702520 3221223952 3220796028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 2086 1098 413 48 0 2038 0
[pid=4493] vsize: 8344
Current children cumulated CPU time (s) 320.18
Current children cumulated vsize (Kb) 10472

[startup+340.038 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1234 0 0 0 32452 523 0 0 23 0 1 0 19565709 8847360 1149 4294967295 134512640 134702520 3221223952 3221217808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4493/statm): 2160 1149 413 48 0 2112 0
[pid=4493] vsize: 8640
Current children cumulated CPU time (s) 329.77
Current children cumulated vsize (Kb) 10768

[startup+350.038 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1234 0 0 0 33452 523 0 0 25 0 1 0 19565709 8847360 1149 4294967295 134512640 134702520 3221223952 3220825328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4493/statm): 2160 1149 413 48 0 2112 0
[pid=4493] vsize: 8640
Current children cumulated CPU time (s) 339.77
Current children cumulated vsize (Kb) 10768

[startup+360.039 s]
Raw data (loadavg): 1.01 1.00 0.92 1/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) T 4490 4490 4004 0 -1 0 1257 0 0 0 34401 541 0 0 22 0 1 0 19565709 8847360 1172 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4493/statm): 2160 1172 413 48 0 2112 0
[pid=4493] vsize: 8640
Current children cumulated CPU time (s) 349.44
Current children cumulated vsize (Kb) 10768

[startup+370.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4493
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19565702 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 242 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4493/stat): 4493 (vallst) R 4490 4490 4004 0 -1 0 1288 0 0 0 35369 551 0 0 25 0 1 0 19565709 8847360 1203 4294967295 134512640 134702520 3221223952 3220906748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4493/statm): 2160 1203 413 48 0 2112 0
[pid=4493] vsize: 8640
Current children cumulated CPU time (s) 359.22
Current children cumulated vsize (Kb) 10768
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=4493) exited with status: 2
New process pid=4494
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=4494) exited with status: 0
New process pid=4495
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+380.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4495
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 554 0 0 0 48 1 0 0 24 0 1 0 19603658 3764224 524 4294967295 134512640 134702520 3221223712 3221214448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 919 524 413 48 0 871 0
[pid=4495] vsize: 3676
Current children cumulated CPU time (s) 369.16
Current children cumulated vsize (Kb) 5804

[startup+390.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4495
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 648 0 0 0 1048 1 0 0 25 0 1 0 19603658 4149248 618 4294967295 134512640 134702520 3221223712 3220796048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1013 618 413 48 0 965 0
[pid=4495] vsize: 4052
Current children cumulated CPU time (s) 379.16
Current children cumulated vsize (Kb) 6180

[startup+400.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4495
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 886 0 0 0 2019 12 0 0 25 0 1 0 19603658 6934528 856 4294967295 134512640 134702520 3221223712 3221132428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1693 856 413 48 0 1645 0
[pid=4495] vsize: 6772
Current children cumulated CPU time (s) 388.98
Current children cumulated vsize (Kb) 8900

[startup+410.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4495
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 886 0 0 0 3019 12 0 0 25 0 1 0 19603658 6934528 856 4294967295 134512640 134702520 3221223712 3220725888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1693 856 413 48 0 1645 0
[pid=4495] vsize: 6772
Current children cumulated CPU time (s) 398.98
Current children cumulated vsize (Kb) 8900

[startup+420.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4495
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 899 0 0 0 3993 22 0 0 25 0 1 0 19603658 6934528 869 4294967295 134512640 134702520 3221223712 3221128108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1693 869 413 48 0 1645 0
[pid=4495] vsize: 6772
Current children cumulated CPU time (s) 408.82
Current children cumulated vsize (Kb) 8900

[startup+430.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4495
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 899 0 0 0 4993 22 0 0 25 0 1 0 19603658 6934528 869 4294967295 134512640 134702520 3221223712 3220719168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1693 869 413 48 0 1645 0
[pid=4495] vsize: 6772
Current children cumulated CPU time (s) 418.82
Current children cumulated vsize (Kb) 8900

[startup+440.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4495
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 918 0 0 0 5954 36 0 0 25 0 1 0 19603658 6934528 888 4294967295 134512640 134702520 3221223712 3221145408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1693 888 413 48 0 1645 0
[pid=4495] vsize: 6772
Current children cumulated CPU time (s) 428.57
Current children cumulated vsize (Kb) 8900

[startup+450.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4495
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 918 0 0 0 6954 36 0 0 25 0 1 0 19603658 6934528 888 4294967295 134512640 134702520 3221223712 3220750848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1693 888 413 48 0 1645 0
[pid=4495] vsize: 6772
Current children cumulated CPU time (s) 438.57
Current children cumulated vsize (Kb) 8900

[startup+460.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4495
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 928 0 0 0 7930 43 0 0 25 0 1 0 19603658 6934528 898 4294967295 134512640 134702520 3221223712 3221147328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1693 898 413 48 0 1645 0
[pid=4495] vsize: 6772
Current children cumulated CPU time (s) 448.4
Current children cumulated vsize (Kb) 8900

[startup+470.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4495
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 928 0 0 0 8930 43 0 0 25 0 1 0 19603658 6934528 898 4294967295 134512640 134702520 3221223712 3220753888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1693 898 413 48 0 1645 0
[pid=4495] vsize: 6772
Current children cumulated CPU time (s) 458.4
Current children cumulated vsize (Kb) 8900

[startup+480.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4495
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 938 0 0 0 9901 52 0 0 25 0 1 0 19603658 7163904 908 4294967295 134512640 134702520 3221223712 3221156288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1749 908 413 48 0 1701 0
[pid=4495] vsize: 6996
Current children cumulated CPU time (s) 468.2
Current children cumulated vsize (Kb) 9124

[startup+490.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4495
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 938 0 0 0 10901 52 0 0 25 0 1 0 19603658 7163904 908 4294967295 134512640 134702520 3221223712 3220767148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1749 908 413 48 0 1701 0
[pid=4495] vsize: 6996
Current children cumulated CPU time (s) 478.2
Current children cumulated vsize (Kb) 9124

[startup+500.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4495
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 949 0 0 0 11869 62 0 0 25 0 1 0 19603658 7163904 919 4294967295 134512640 134702520 3221223712 3221170668 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1749 919 413 48 0 1701 0
[pid=4495] vsize: 6996
Current children cumulated CPU time (s) 487.98
Current children cumulated vsize (Kb) 9124

[startup+510.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4495
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 949 0 0 0 12870 62 0 0 25 0 1 0 19603658 7163904 919 4294967295 134512640 134702520 3221223712 3220783796 134611990 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1749 919 413 48 0 1701 0
[pid=4495] vsize: 6996
Current children cumulated CPU time (s) 497.99
Current children cumulated vsize (Kb) 9124

[startup+520.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4495
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 950 0 0 0 13839 73 0 0 25 0 1 0 19603658 7163904 920 4294967295 134512640 134702520 3221223712 3221173228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1749 920 413 48 0 1701 0
[pid=4495] vsize: 6996
Current children cumulated CPU time (s) 507.79
Current children cumulated vsize (Kb) 9124

[startup+530.052 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4495
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 950 0 0 0 14839 73 0 0 25 0 1 0 19603658 7163904 920 4294967295 134512640 134702520 3221223712 3220792428 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1749 920 413 48 0 1701 0
[pid=4495] vsize: 6996
Current children cumulated CPU time (s) 517.79
Current children cumulated vsize (Kb) 9124

[startup+540.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4495
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 951 0 0 0 15814 83 0 0 25 0 1 0 19603658 7163904 921 4294967295 134512640 134702520 3221223712 3221178508 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1749 921 413 48 0 1701 0
[pid=4495] vsize: 6996
Current children cumulated CPU time (s) 527.64
Current children cumulated vsize (Kb) 9124

[startup+550.079 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4550
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 951 0 0 0 16812 84 0 0 25 0 1 0 19603658 7163904 921 4294967295 134512640 134702520 3221223712 3220797888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1749 921 413 48 0 1701 0
[pid=4495] vsize: 6996
Current children cumulated CPU time (s) 537.63
Current children cumulated vsize (Kb) 9124

[startup+560.079 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4550
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 953 0 0 0 17772 99 0 0 25 0 1 0 19603658 7294976 923 4294967295 134512640 134702520 3221223712 3221198208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1781 923 413 48 0 1733 0
[pid=4495] vsize: 7124
Current children cumulated CPU time (s) 547.38
Current children cumulated vsize (Kb) 9252

[startup+570.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4550
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 953 0 0 0 18772 99 0 0 25 0 1 0 19603658 7294976 923 4294967295 134512640 134702520 3221223712 3220828768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1781 923 413 48 0 1733 0
[pid=4495] vsize: 7124
Current children cumulated CPU time (s) 557.38
Current children cumulated vsize (Kb) 9252

[startup+580.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4550
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 954 0 0 0 19738 109 0 0 23 0 1 0 19603658 7294976 924 4294967295 134512640 134702520 3221223712 3221214988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1781 924 413 48 0 1733 0
[pid=4495] vsize: 7124
Current children cumulated CPU time (s) 567.14
Current children cumulated vsize (Kb) 9252

[startup+590.081 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4550
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 954 0 0 0 20739 109 0 0 25 0 1 0 19603658 7294976 924 4294967295 134512640 134702520 3221223712 3220847968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1781 924 413 48 0 1733 0
[pid=4495] vsize: 7124
Current children cumulated CPU time (s) 577.15
Current children cumulated vsize (Kb) 9252

[startup+600.082 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4552
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 956 0 0 0 21708 120 0 0 22 0 1 0 19603658 7294976 926 4294967295 134512640 134702520 3221223712 3221222992 134553133 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1781 926 413 48 0 1733 0
[pid=4495] vsize: 7124
Current children cumulated CPU time (s) 586.95
Current children cumulated vsize (Kb) 9252

[startup+610.083 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4552
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 956 0 0 0 22704 121 0 0 25 0 1 0 19603658 7294976 926 4294967295 134512640 134702520 3221223712 3220870668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1781 926 413 48 0 1733 0
[pid=4495] vsize: 7124
Current children cumulated CPU time (s) 596.92
Current children cumulated vsize (Kb) 9252

[startup+620.084 s]
Raw data (loadavg): 1.00 1.00 0.92 1/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) T 4490 4490 4004 0 -1 0 958 0 0 0 23679 129 0 0 23 0 1 0 19603658 7294976 928 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1781 928 413 48 0 1733 0
[pid=4495] vsize: 7124
Current children cumulated CPU time (s) 606.75
Current children cumulated vsize (Kb) 9252

[startup+630.084 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 958 0 0 0 24665 133 0 0 25 0 1 0 19603658 7294976 928 4294967295 134512640 134702520 3221223712 3220890348 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1781 928 413 48 0 1733 0
[pid=4495] vsize: 7124
Current children cumulated CPU time (s) 616.65
Current children cumulated vsize (Kb) 9252

[startup+640.085 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) T 4490 4490 4004 0 -1 0 959 0 0 0 25652 138 0 0 24 0 1 0 19603658 7294976 929 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1781 929 413 48 0 1733 0
[pid=4495] vsize: 7124
Current children cumulated CPU time (s) 626.57
Current children cumulated vsize (Kb) 9252

[startup+650.085 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 959 0 0 0 26629 146 0 0 25 0 1 0 19603658 7294976 929 4294967295 134512640 134702520 3221223712 3220915968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1781 929 413 48 0 1733 0
[pid=4495] vsize: 7124
Current children cumulated CPU time (s) 636.42
Current children cumulated vsize (Kb) 9252

[startup+660.085 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 959 0 0 0 27629 146 0 0 25 0 1 0 19603658 7294976 929 4294967295 134512640 134702520 3221223712 3220215628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1781 929 413 48 0 1733 0
[pid=4495] vsize: 7124
Current children cumulated CPU time (s) 646.42
Current children cumulated vsize (Kb) 9252

[startup+670.087 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1013 0 0 0 28593 159 0 0 25 0 1 0 19603658 7524352 983 4294967295 134512640 134702520 3221223712 3220943328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1837 983 413 48 0 1789 0
[pid=4495] vsize: 7348
Current children cumulated CPU time (s) 656.19
Current children cumulated vsize (Kb) 9476

[startup+680.087 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1013 0 0 0 29594 159 0 0 25 0 1 0 19603658 7524352 983 4294967295 134512640 134702520 3221223712 3220361888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1837 983 413 48 0 1789 0
[pid=4495] vsize: 7348
Current children cumulated CPU time (s) 666.2
Current children cumulated vsize (Kb) 9476

[startup+690.088 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1079 0 0 0 30560 171 0 0 25 0 1 0 19603658 7753728 1049 4294967295 134512640 134702520 3221223712 3220950208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1893 1049 413 48 0 1845 0
[pid=4495] vsize: 7572
Current children cumulated CPU time (s) 675.98
Current children cumulated vsize (Kb) 9700

[startup+700.087 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1079 0 0 0 31561 171 0 0 25 0 1 0 19603658 7753728 1049 4294967295 134512640 134702520 3221223712 3220390188 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1893 1049 413 48 0 1845 0
[pid=4495] vsize: 7572
Current children cumulated CPU time (s) 685.99
Current children cumulated vsize (Kb) 9700

[startup+710.088 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1124 0 0 0 32519 186 0 0 25 0 1 0 19603658 7753728 1094 4294967295 134512640 134702520 3221223712 3220988428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1893 1094 413 48 0 1845 0
[pid=4495] vsize: 7572
Current children cumulated CPU time (s) 695.72
Current children cumulated vsize (Kb) 9700

[startup+720.089 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1124 0 0 0 33519 186 0 0 25 0 1 0 19603658 7753728 1094 4294967295 134512640 134702520 3221223712 3220475308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1893 1094 413 48 0 1845 0
[pid=4495] vsize: 7572
Current children cumulated CPU time (s) 705.72
Current children cumulated vsize (Kb) 9700

[startup+730.089 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1172 0 0 0 34486 198 0 0 25 0 1 0 19603658 7983104 1142 4294967295 134512640 134702520 3221223712 3221006048 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1949 1142 413 48 0 1901 0
[pid=4495] vsize: 7796
Current children cumulated CPU time (s) 715.51
Current children cumulated vsize (Kb) 9924

[startup+740.09 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1172 0 0 0 35486 198 0 0 25 0 1 0 19603658 7983104 1142 4294967295 134512640 134702520 3221223712 3220517568 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1949 1142 413 48 0 1901 0
[pid=4495] vsize: 7796
Current children cumulated CPU time (s) 725.51
Current children cumulated vsize (Kb) 9924

[startup+750.09 s]
Raw data (loadavg): 1.07 1.02 0.93 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1204 0 0 0 36449 213 0 0 25 0 1 0 19603658 7888896 1127 4294967295 134512640 134702520 3221223712 3221041408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1127 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 735.29
Current children cumulated vsize (Kb) 9832

[startup+760.091 s]
Raw data (loadavg): 1.06 1.02 0.93 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1204 0 0 0 37449 213 0 0 25 0 1 0 19603658 7888896 1127 4294967295 134512640 134702520 3221223712 3220582208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1127 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 745.29
Current children cumulated vsize (Kb) 9832

[startup+770.092 s]
Raw data (loadavg): 1.05 1.01 0.93 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1205 0 0 0 38415 224 0 0 25 0 1 0 19603658 7888896 1128 4294967295 134512640 134702520 3221223712 3221051328 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1128 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 755.06
Current children cumulated vsize (Kb) 9832

[startup+780.092 s]
Raw data (loadavg): 1.04 1.01 0.93 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1205 0 0 0 39415 224 0 0 25 0 1 0 19603658 7888896 1128 4294967295 134512640 134702520 3221223712 3220599808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1128 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 765.06
Current children cumulated vsize (Kb) 9832

[startup+790.093 s]
Raw data (loadavg): 1.04 1.01 0.93 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1205 0 0 0 40385 235 0 0 25 0 1 0 19603658 7888896 1128 4294967295 134512640 134702520 3221223712 3221056908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1128 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 774.87
Current children cumulated vsize (Kb) 9832

[startup+800.092 s]
Raw data (loadavg): 1.03 1.01 0.93 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1205 0 0 0 41386 235 0 0 25 0 1 0 19603658 7888896 1128 4294967295 134512640 134702520 3221223712 3220602848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1128 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 784.88
Current children cumulated vsize (Kb) 9832

[startup+810.093 s]
Raw data (loadavg): 1.02 1.01 0.93 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1206 0 0 0 42339 253 0 0 25 0 1 0 19603658 7888896 1129 4294967295 134512640 134702520 3221223712 3221098988 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1129 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 794.59
Current children cumulated vsize (Kb) 9832

[startup+820.094 s]
Raw data (loadavg): 1.02 1.01 0.93 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1206 0 0 0 43339 253 0 0 25 0 1 0 19603658 7888896 1129 4294967295 134512640 134702520 3221223712 3220678828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1129 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 804.59
Current children cumulated vsize (Kb) 9832

[startup+830.094 s]
Raw data (loadavg): 1.02 1.01 0.93 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1229 0 0 0 44301 265 0 0 25 0 1 0 19603658 8118272 1152 4294967295 134512640 134702520 3221223712 3221124428 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1982 1152 413 48 0 1934 0
[pid=4495] vsize: 7928
Current children cumulated CPU time (s) 814.33
Current children cumulated vsize (Kb) 10056

[startup+840.095 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1229 0 0 0 45301 265 0 0 25 0 1 0 19603658 8118272 1152 4294967295 134512640 134702520 3221223712 3220718688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1982 1152 413 48 0 1934 0
[pid=4495] vsize: 7928
Current children cumulated CPU time (s) 824.33
Current children cumulated vsize (Kb) 10056

[startup+850.095 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1273 0 0 0 46255 282 0 0 25 0 1 0 19603658 8118272 1196 4294967295 134512640 134702520 3221223712 3221162528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1982 1196 413 48 0 1934 0
[pid=4495] vsize: 7928
Current children cumulated CPU time (s) 834.04
Current children cumulated vsize (Kb) 10056

[startup+860.096 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1273 0 0 0 47255 282 0 0 25 0 1 0 19603658 8118272 1196 4294967295 134512640 134702520 3221223712 3220771628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1982 1196 413 48 0 1934 0
[pid=4495] vsize: 7928
Current children cumulated CPU time (s) 844.04
Current children cumulated vsize (Kb) 10056

[startup+870.097 s]
Raw data (loadavg): 1.09 1.02 0.93 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1298 0 0 0 48212 298 0 0 25 0 1 0 19603658 7888896 1148 4294967295 134512640 134702520 3221223712 3221202528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1148 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 853.77
Current children cumulated vsize (Kb) 9832

[startup+880.098 s]
Raw data (loadavg): 1.07 1.02 0.93 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1298 0 0 0 49212 298 0 0 25 0 1 0 19603658 7888896 1148 4294967295 134512640 134702520 3221223712 3220830048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1148 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 863.77
Current children cumulated vsize (Kb) 9832

[startup+890.098 s]
Raw data (loadavg): 1.06 1.02 0.93 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1302 0 0 0 50177 309 0 0 24 0 1 0 19603658 7888896 1152 4294967295 134512640 134702520 3221223712 3221211808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1152 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 873.53
Current children cumulated vsize (Kb) 9832

[startup+900.098 s]
Raw data (loadavg): 1.05 1.02 0.93 2/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1302 0 0 0 51177 309 0 0 25 0 1 0 19603658 7888896 1152 4294967295 134512640 134702520 3221223712 3220843488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1152 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 883.53
Current children cumulated vsize (Kb) 9832

[startup+910.1 s]
Raw data (loadavg): 1.04 1.02 0.93 1/56 4556
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) T 4490 4490 4004 0 -1 0 1302 0 0 0 52143 320 0 0 23 0 1 0 19603658 7888896 1152 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1152 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 893.3
Current children cumulated vsize (Kb) 9832

[startup+920.101 s]
Raw data (loadavg): 1.04 1.02 0.93 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1302 0 0 0 53138 322 0 0 25 0 1 0 19603658 7888896 1152 4294967295 134512640 134702520 3221223712 3220869408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1152 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 903.27
Current children cumulated vsize (Kb) 9832

[startup+930.101 s]
Raw data (loadavg): 1.03 1.02 0.93 1/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) T 4490 4490 4004 0 -1 0 1302 0 0 0 54116 329 0 0 23 0 1 0 19603658 7888896 1152 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1152 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 913.12
Current children cumulated vsize (Kb) 9832

[startup+940.101 s]
Raw data (loadavg): 1.02 1.01 0.93 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1302 0 0 0 55100 334 0 0 25 0 1 0 19603658 7888896 1152 4294967295 134512640 134702520 3221223712 3220892928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1152 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 923.01
Current children cumulated vsize (Kb) 9832

[startup+950.102 s]
Raw data (loadavg): 1.02 1.01 0.93 1/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) T 4490 4490 4004 0 -1 0 1302 0 0 0 56092 337 0 0 25 0 1 0 19603658 7888896 1152 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1152 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 932.96
Current children cumulated vsize (Kb) 9832

[startup+960.103 s]
Raw data (loadavg): 1.02 1.01 0.93 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1304 0 0 0 57057 350 0 0 25 0 1 0 19603658 7888896 1154 4294967295 134512640 134702520 3221223712 3220936928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1154 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 942.74
Current children cumulated vsize (Kb) 9832

[startup+970.104 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1304 0 0 0 58057 350 0 0 25 0 1 0 19603658 7888896 1154 4294967295 134512640 134702520 3221223712 3220332448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1154 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 952.74
Current children cumulated vsize (Kb) 9832

[startup+980.104 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1329 0 0 0 59011 367 0 0 25 0 1 0 19603658 8118272 1179 4294967295 134512640 134702520 3221223712 3220980448 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1982 1179 413 48 0 1934 0
[pid=4495] vsize: 7928
Current children cumulated CPU time (s) 962.45
Current children cumulated vsize (Kb) 10056

[startup+990.104 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1329 0 0 0 60011 367 0 0 25 0 1 0 19603658 8118272 1179 4294967295 134512640 134702520 3221223712 3220458688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1982 1179 413 48 0 1934 0
[pid=4495] vsize: 7928
Current children cumulated CPU time (s) 972.45
Current children cumulated vsize (Kb) 10056

[startup+1000.1 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1351 0 0 0 60978 380 0 0 25 0 1 0 19603658 7888896 1158 4294967295 134512640 134702520 3221223712 3220993728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1158 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 982.25
Current children cumulated vsize (Kb) 9832

[startup+1010.1 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1351 0 0 0 61978 380 0 0 25 0 1 0 19603658 7888896 1158 4294967295 134512640 134702520 3221223712 3220493708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1158 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 992.25
Current children cumulated vsize (Kb) 9832

[startup+1020.11 s]
Raw data (loadavg): 1.08 1.02 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1352 0 0 0 62945 392 0 0 25 0 1 0 19603658 7888896 1159 4294967295 134512640 134702520 3221223712 3221017408 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1159 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (Kb) 9832

[startup+1030.11 s]
Raw data (loadavg): 1.07 1.02 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1352 0 0 0 63945 392 0 0 25 0 1 0 19603658 7888896 1159 4294967295 134512640 134702520 3221223712 3220531788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1159 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1012.04
Current children cumulated vsize (Kb) 9832

[startup+1040.11 s]
Raw data (loadavg): 1.06 1.02 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1352 0 0 0 64905 405 0 0 25 0 1 0 19603658 7888896 1159 4294967295 134512640 134702520 3221223712 3221038208 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1159 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1021.77
Current children cumulated vsize (Kb) 9832

[startup+1050.11 s]
Raw data (loadavg): 1.05 1.02 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1352 0 0 0 65905 405 0 0 25 0 1 0 19603658 7888896 1159 4294967295 134512640 134702520 3221223712 3220576608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1159 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1031.77
Current children cumulated vsize (Kb) 9832

[startup+1060.11 s]
Raw data (loadavg): 1.04 1.02 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1353 0 0 0 66867 418 0 0 25 0 1 0 19603658 7888896 1160 4294967295 134512640 134702520 3221223712 3221053888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1160 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1041.52
Current children cumulated vsize (Kb) 9832

[startup+1070.11 s]
Raw data (loadavg): 1.03 1.02 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1353 0 0 0 67867 418 0 0 25 0 1 0 19603658 7888896 1160 4294967295 134512640 134702520 3221223712 3220597708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1160 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1051.52
Current children cumulated vsize (Kb) 9832

[startup+1080.11 s]
Raw data (loadavg): 1.03 1.02 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1353 0 0 0 68829 431 0 0 25 0 1 0 19603658 7888896 1160 4294967295 134512640 134702520 3221223712 3221072108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1160 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1061.27
Current children cumulated vsize (Kb) 9832

[startup+1090.11 s]
Raw data (loadavg): 1.02 1.02 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1353 0 0 0 69830 431 0 0 25 0 1 0 19603658 7888896 1160 4294967295 134512640 134702520 3221223712 3220634668 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1160 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1071.28
Current children cumulated vsize (Kb) 9832

[startup+1100.11 s]
Raw data (loadavg): 1.02 1.02 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1354 0 0 0 70794 443 0 0 25 0 1 0 19603658 7888896 1161 4294967295 134512640 134702520 3221223712 3221085888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1161 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1081.04
Current children cumulated vsize (Kb) 9832

[startup+1110.11 s]
Raw data (loadavg): 1.02 1.01 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1354 0 0 0 71794 443 0 0 25 0 1 0 19603658 7888896 1161 4294967295 134512640 134702520 3221223712 3220657728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1161 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1091.04
Current children cumulated vsize (Kb) 9832

[startup+1120.11 s]
Raw data (loadavg): 1.01 1.01 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1356 0 0 0 72755 456 0 0 25 0 1 0 19603658 7888896 1163 4294967295 134512640 134702520 3221223712 3221117708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1163 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1100.78
Current children cumulated vsize (Kb) 9832

[startup+1130.11 s]
Raw data (loadavg): 1.01 1.01 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1356 0 0 0 73755 456 0 0 25 0 1 0 19603658 7888896 1163 4294967295 134512640 134702520 3221223712 3220708448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1163 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1110.78
Current children cumulated vsize (Kb) 9832

[startup+1140.11 s]
Raw data (loadavg): 1.01 1.01 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1359 0 0 0 74704 473 0 0 25 0 1 0 19603658 7888896 1166 4294967295 134512640 134702520 3221223712 3221148428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1166 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1120.44
Current children cumulated vsize (Kb) 9832

[startup+1150.12 s]
Raw data (loadavg): 1.01 1.01 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1359 0 0 0 75705 473 0 0 25 0 1 0 19603658 7888896 1166 4294967295 134512640 134702520 3221223712 3220750528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1166 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1130.45
Current children cumulated vsize (Kb) 9832

[startup+1160.12 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1360 0 0 0 76666 488 0 0 25 0 1 0 19603658 7888896 1167 4294967295 134512640 134702520 3221223712 3221160128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1167 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1140.21
Current children cumulated vsize (Kb) 9832

[startup+1170.12 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1360 0 0 0 77666 488 0 0 25 0 1 0 19603658 7888896 1167 4294967295 134512640 134702520 3221223712 3220772768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4495/statm): 1926 1167 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1150.21
Current children cumulated vsize (Kb) 9832

[startup+1180.12 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1360 0 0 0 78617 504 0 0 25 0 1 0 19603658 7888896 1167 4294967295 134512640 134702520 3221223712 3221200288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1167 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1159.88
Current children cumulated vsize (Kb) 9832

[startup+1190.12 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1360 0 0 0 79617 504 0 0 25 0 1 0 19603658 7888896 1167 4294967295 134512640 134702520 3221223712 3220826828 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1167 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1169.88
Current children cumulated vsize (Kb) 9832

[startup+1200.12 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1363 0 0 0 80583 515 0 0 25 0 1 0 19603658 7888896 1170 4294967295 134512640 134702520 3221223712 3221208608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1170 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1179.65
Current children cumulated vsize (Kb) 9832

[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1363 0 0 0 81583 515 0 0 25 0 1 0 19603658 7888896 1170 4294967295 134512640 134702520 3221223712 3220838848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1170 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1189.65
Current children cumulated vsize (Kb) 9832

[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) T 4490 4490 4004 0 -1 0 1363 0 0 0 82549 526 0 0 23 0 1 0 19603658 7888896 1170 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1170 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1199.42
Current children cumulated vsize (Kb) 9832

[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1363 0 0 0 83545 527 0 0 25 0 1 0 19603658 7888896 1170 4294967295 134512640 134702520 3221223712 3220869388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1170 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1209.39
Current children cumulated vsize (Kb) 9832



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 4558
Raw data (/proc/4490/stat): 4490 (vallstSAT2005PB) S 4489 4490 4004 0 -1 0 378 1664 0 0 1 1 36311 554 19 0 1 0 19565702 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4490/statm): 532 248 485 147 0 385 0
[pid=4490] vsize: 2128
Raw data (/proc/4495/stat): 4495 (vallst) R 4490 4490 4004 0 -1 0 1363 0 0 0 83545 527 0 0 25 0 1 0 19603658 7888896 1170 4294967295 134512640 134702520 3221223712 3220869228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4495/statm): 1926 1170 413 48 0 1878 0
[pid=4495] vsize: 7704
Current children cumulated CPU time (s) 1209.39
Current children cumulated vsize (Kb) 9832

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

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1232.13
CPU time (s): 842.733
CPU user time (s): 837.452
CPU system time (s): 5.2812
CPU usage (%): 68.3964
Max. virtual memory (cumulated for all children) (Kb): 10768

Verifier Data

ERROR: no interpretation found !