Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-fixnet6.opb
MD5SUM08a1ce7c6c4cc8e461ae1aeabdf15da0
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3289593
Optimality of the best value was proved NO
Number of terms in the objective function 8282
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 524133752
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 1048576
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 524133752
Number of bits of the biggest sum of numbers29
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.05
Number of variables9890
Total number of constraints978
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)378
Number of constraints which are nor clauses,nor cardinality constraints600
Minimum length of a constraint1
Maximum length of a constraint1072

Trace number 9304

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        803276 kB
Buffers:         13532 kB
Cached:         198016 kB
SwapCached:          0 kB
Active:         168432 kB
Inactive:        46008 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        802996 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            11312 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 12:37:46 (client local time) WITH STATUS 0 IN 882.622 SECONDS
stats: 8026 7 882.622 0

Solver Data

1:
seed: 0
Nr of vars set: 4007  (#equs: 0)
Nr of vars set: 4007  (#equs: 0)
#decisions: 296040;  #end-nodes: 49080;
#proof improvement attempts: 0;  #restarts: 384
Current batch, end-nodes: 0 / 175 (175)
#axs: 701, #non-axs: 0
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: 4007  (#equs: 0)
Time taken: 5 min, 24 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/5615/stat): 5615 (vallstSAT2005PB) R 5614 5615 4057 0 -1 0 19 0 0 0 0 0 0 0 21 0 1 0 20107242 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5615/statm): 174 3 169 147 0 27 0
[pid=5615] 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=5616
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=5616) exited with status: 0
New process pid=5617
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=5617) exited with status: 0
New process pid=5618
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/wulflinc15/normalized-mps-v2-13-7-fixnet6.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0027 s]
Raw data (loadavg): 1.03 1.08 1.02 1/56 5618
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 20107242 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 242 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5618/stat): 5618 (vallst) T 5615 5615 4057 0 -1 0 946 0 0 0 891 33 0 0 17 0 1 0 20107251 5095424 855 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5618/statm): 1244 855 413 48 0 1196 0
[pid=5618] vsize: 4976
Current children cumulated CPU time (s) 9.25
Current children cumulated vsize (Kb) 7104

[startup+20.0035 s]
Raw data (loadavg): 1.03 1.08 1.02 2/56 5618
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 20107242 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 242 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5618/stat): 5618 (vallst) R 5615 5615 4057 0 -1 0 997 0 0 0 1618 118 0 0 22 0 1 0 20107251 7643136 906 4294967295 134512640 134702520 3221223952 3221223232 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5618/statm): 1866 906 413 48 0 1818 0
[pid=5618] vsize: 7464
Current children cumulated CPU time (s) 17.37
Current children cumulated vsize (Kb) 9592

[startup+30.0043 s]
Raw data (loadavg): 1.02 1.08 1.02 1/56 5618
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 20107242 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 242 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5618/stat): 5618 (vallst) T 5615 5615 4057 0 -1 0 1056 0 0 0 2577 133 0 0 25 0 1 0 20107251 7643136 965 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5618/statm): 1866 965 413 48 0 1818 0
[pid=5618] vsize: 7464
Current children cumulated CPU time (s) 27.11
Current children cumulated vsize (Kb) 9592

[startup+40.0051 s]
Raw data (loadavg): 1.02 1.07 1.02 2/56 5618
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 20107242 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 242 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5618/stat): 5618 (vallst) R 5615 5615 4057 0 -1 0 1057 0 0 0 3522 150 0 0 25 0 1 0 20107251 7643136 966 4294967295 134512640 134702520 3221223952 3220862588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5618/statm): 1866 966 413 48 0 1818 0
[pid=5618] vsize: 7464
Current children cumulated CPU time (s) 36.73
Current children cumulated vsize (Kb) 9592

[startup+50.007 s]
Raw data (loadavg): 1.02 1.07 1.02 2/56 5618
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 20107242 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 242 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5618/stat): 5618 (vallst) R 5615 5615 4057 0 -1 0 1060 0 0 0 4462 169 0 0 25 0 1 0 20107251 7643136 969 4294967295 134512640 134702520 3221223952 3220906128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5618/statm): 1866 969 413 48 0 1818 0
[pid=5618] vsize: 7464
Current children cumulated CPU time (s) 46.32
Current children cumulated vsize (Kb) 9592

[startup+60.0078 s]
Raw data (loadavg): 1.01 1.07 1.02 2/56 5618
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 20107242 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 242 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5618/stat): 5618 (vallst) R 5615 5615 4057 0 -1 0 1067 0 0 0 5416 185 0 0 25 0 1 0 20107251 7643136 976 4294967295 134512640 134702520 3221223952 3221074448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5618/statm): 1866 976 413 48 0 1818 0
[pid=5618] vsize: 7464
Current children cumulated CPU time (s) 56.02
Current children cumulated vsize (Kb) 9592

[startup+70.0086 s]
Raw data (loadavg): 1.01 1.06 1.02 2/56 5618
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 20107242 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 242 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5618/stat): 5618 (vallst) R 5615 5615 4057 0 -1 0 1071 0 0 0 6367 202 0 0 25 0 1 0 20107251 7643136 980 4294967295 134512640 134702520 3221223952 3221146108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5618/statm): 1866 980 413 48 0 1818 0
[pid=5618] vsize: 7464
Current children cumulated CPU time (s) 65.7
Current children cumulated vsize (Kb) 9592

[startup+80.0094 s]
Raw data (loadavg): 1.01 1.06 1.02 2/56 5618
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 20107242 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 242 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5618/stat): 5618 (vallst) R 5615 5615 4057 0 -1 0 1071 0 0 0 7315 218 0 0 25 0 1 0 20107251 7643136 980 4294967295 134512640 134702520 3221223952 3221214288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5618/statm): 1866 980 413 48 0 1818 0
[pid=5618] vsize: 7464
Current children cumulated CPU time (s) 75.34
Current children cumulated vsize (Kb) 9592

[startup+90.0102 s]
Raw data (loadavg): 1.01 1.06 1.02 2/56 5618
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 20107242 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 242 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5618/stat): 5618 (vallst) R 5615 5615 4057 0 -1 0 1071 0 0 0 8217 248 0 0 20 0 1 0 20107251 7643136 980 4294967295 134512640 134702520 3221223952 3221222848 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5618/statm): 1866 980 413 48 0 1818 0
[pid=5618] vsize: 7464
Current children cumulated CPU time (s) 84.66
Current children cumulated vsize (Kb) 9592

[startup+100.012 s]
Raw data (loadavg): 1.01 1.06 1.02 1/56 5618
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 20107242 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 242 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5618/stat): 5618 (vallst) T 5615 5615 4057 0 -1 0 1071 0 0 0 8962 331 0 0 21 0 1 0 20107251 7643136 980 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5618/statm): 1866 980 413 48 0 1818 0
[pid=5618] vsize: 7464
Current children cumulated CPU time (s) 92.94
Current children cumulated vsize (Kb) 9592

[startup+110.013 s]
Raw data (loadavg): 1.00 1.05 1.02 2/56 5618
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 20107242 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 242 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5618/stat): 5618 (vallst) T 5615 5615 4057 0 -1 0 1071 0 0 0 9926 342 0 0 25 0 1 0 20107251 7643136 980 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5618/statm): 1866 980 413 48 0 1818 0
[pid=5618] vsize: 7464
Current children cumulated CPU time (s) 102.69
Current children cumulated vsize (Kb) 9592

[startup+120.014 s]
Raw data (loadavg): 1.00 1.05 1.01 2/56 5618
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 20107242 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 242 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5618/stat): 5618 (vallst) R 5615 5615 4057 0 -1 0 1071 0 0 0 10878 359 0 0 25 0 1 0 20107251 7643136 980 4294967295 134512640 134702520 3221223952 3221223232 134553125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5618/statm): 1866 980 413 48 0 1818 0
[pid=5618] vsize: 7464
Current children cumulated CPU time (s) 112.38
Current children cumulated vsize (Kb) 9592

[startup+130.014 s]
Raw data (loadavg): 1.00 1.05 1.01 1/56 5618
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 20107242 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 242 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5618/stat): 5618 (vallst) T 5615 5615 4057 0 -1 0 1093 0 0 0 11844 371 0 0 25 0 1 0 20107251 7643136 1002 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5618/statm): 1866 1002 413 48 0 1818 0
[pid=5618] vsize: 7464
Current children cumulated CPU time (s) 122.16
Current children cumulated vsize (Kb) 9592

[startup+140.014 s]
Raw data (loadavg): 1.00 1.05 1.01 2/56 5618
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 20107242 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 242 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5618/stat): 5618 (vallst) R 5615 5615 4057 0 -1 0 1093 0 0 0 12800 386 0 0 25 0 1 0 20107251 7643136 1002 4294967295 134512640 134702520 3221223952 3220659888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5618/statm): 1866 1002 413 48 0 1818 0
[pid=5618] vsize: 7464
Current children cumulated CPU time (s) 131.87
Current children cumulated vsize (Kb) 9592

[startup+150.016 s]
Raw data (loadavg): 1.00 1.05 1.01 2/56 5618
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 20107242 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 242 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5618/stat): 5618 (vallst) R 5615 5615 4057 0 -1 0 1099 0 0 0 13747 404 0 0 25 0 1 0 20107251 7643136 1008 4294967295 134512640 134702520 3221223952 3220921968 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5618/statm): 1866 1008 413 48 0 1818 0
[pid=5618] vsize: 7464
Current children cumulated CPU time (s) 141.52
Current children cumulated vsize (Kb) 9592

[startup+160.017 s]
Raw data (loadavg): 1.00 1.04 1.01 2/56 5618
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 20107242 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 242 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5618/stat): 5618 (vallst) R 5615 5615 4057 0 -1 0 1099 0 0 0 14695 422 0 0 25 0 1 0 20107251 7643136 1008 4294967295 134512640 134702520 3221223952 3220966608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5618/statm): 1866 1008 413 48 0 1818 0
[pid=5618] vsize: 7464
Current children cumulated CPU time (s) 151.18
Current children cumulated vsize (Kb) 9592

[startup+170.017 s]
Raw data (loadavg): 1.00 1.04 1.01 2/56 5618
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 20107242 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 242 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5618/stat): 5618 (vallst) R 5615 5615 4057 0 -1 0 1099 0 0 0 15494 489 0 0 18 0 1 0 20107251 7643136 1008 4294967295 134512640 134702520 3221223952 3221222848 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5618/statm): 1866 1008 413 48 0 1818 0
[pid=5618] vsize: 7464
Current children cumulated CPU time (s) 159.84
Current children cumulated vsize (Kb) 9592

[startup+180.018 s]
Raw data (loadavg): 1.00 1.04 1.01 2/56 5618
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 20107242 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 242 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5618/stat): 5618 (vallst) R 5615 5615 4057 0 -1 0 1099 0 0 0 16330 543 0 0 25 0 1 0 20107251 7643136 1008 4294967295 134512640 134702520 3221223952 3221223228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5618/statm): 1866 1008 413 48 0 1818 0
[pid=5618] vsize: 7464
Current children cumulated CPU time (s) 168.74
Current children cumulated vsize (Kb) 9592

[startup+190.018 s]
Raw data (loadavg): 1.00 1.04 1.01 1/56 5618
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 20107242 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 242 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5618/stat): 5618 (vallst) T 5615 5615 4057 0 -1 0 1099 0 0 0 17288 556 0 0 21 0 1 0 20107251 7643136 1008 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5618/statm): 1866 1008 413 48 0 1818 0
[pid=5618] vsize: 7464
Current children cumulated CPU time (s) 178.45
Current children cumulated vsize (Kb) 9592

[startup+200.019 s]
Raw data (loadavg): 1.00 1.04 1.01 2/56 5618
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 20107242 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 242 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5618/stat): 5618 (vallst) T 5615 5615 4057 0 -1 0 1099 0 0 0 18248 569 0 0 18 0 1 0 20107251 7643136 1008 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5618/statm): 1866 1008 413 48 0 1818 0
[pid=5618] vsize: 7464
Current children cumulated CPU time (s) 188.18
Current children cumulated vsize (Kb) 9592

[startup+210.02 s]
Raw data (loadavg): 1.00 1.03 1.01 2/56 5618
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 20107242 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 242 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5618/stat): 5618 (vallst) R 5615 5615 4057 0 -1 0 1101 0 0 0 19214 579 0 0 25 0 1 0 20107251 7643136 1010 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5618/statm): 1866 1010 413 48 0 1818 0
[pid=5618] vsize: 7464
Current children cumulated CPU time (s) 197.94
Current children cumulated vsize (Kb) 9592

[startup+220.021 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5618
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 20107242 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 242 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5618/stat): 5618 (vallst) T 5615 5615 4057 0 -1 0 1102 0 0 0 20177 593 0 0 25 0 1 0 20107251 7643136 1011 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5618/statm): 1866 1011 413 48 0 1818 0
[pid=5618] vsize: 7464
Current children cumulated CPU time (s) 207.71
Current children cumulated vsize (Kb) 9592

[startup+230.022 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5618
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 20107242 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 242 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5618/stat): 5618 (vallst) R 5615 5615 4057 0 -1 0 1131 0 0 0 21137 606 0 0 25 0 1 0 20107251 7643136 1040 4294967295 134512640 134702520 3221223952 3220967708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5618/statm): 1866 1040 413 48 0 1818 0
[pid=5618] vsize: 7464
Current children cumulated CPU time (s) 217.44
Current children cumulated vsize (Kb) 9592

[startup+240.022 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5618
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 20107242 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 242 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5618/stat): 5618 (vallst) R 5615 5615 4057 0 -1 0 1131 0 0 0 22087 623 0 0 25 0 1 0 20107251 7643136 1040 4294967295 134512640 134702520 3221223952 3221129328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5618/statm): 1866 1040 413 48 0 1818 0
[pid=5618] vsize: 7464
Current children cumulated CPU time (s) 227.11
Current children cumulated vsize (Kb) 9592

[startup+250.023 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 5618
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 20107242 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 242 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5618/stat): 5618 (vallst) T 5615 5615 4057 0 -1 0 1133 0 0 0 22949 673 0 0 17 0 1 0 20107251 7786496 1042 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5618/statm): 1901 1042 413 48 0 1853 0
[pid=5618] vsize: 7604
Current children cumulated CPU time (s) 236.23
Current children cumulated vsize (Kb) 9732

[startup+260.024 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5618
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 20107242 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 242 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5618/stat): 5618 (vallst) R 5615 5615 4057 0 -1 0 1133 0 0 0 23743 741 0 0 25 0 1 0 20107251 7737344 1042 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5618/statm): 1889 1042 413 48 0 1841 0
[pid=5618] vsize: 7556
Current children cumulated CPU time (s) 244.85
Current children cumulated vsize (Kb) 9684

[startup+270.025 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 5618
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 20107242 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 242 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5618/stat): 5618 (vallst) T 5615 5615 4057 0 -1 0 1141 0 0 0 24701 753 0 0 24 0 1 0 20107251 7737344 1050 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5618/statm): 1889 1050 413 48 0 1841 0
[pid=5618] vsize: 7556
Current children cumulated CPU time (s) 254.55
Current children cumulated vsize (Kb) 9684

[startup+280.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5618
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 20107242 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 242 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5618/stat): 5618 (vallst) R 5615 5615 4057 0 -1 0 1158 0 0 0 25653 770 0 0 25 0 1 0 20107251 7737344 1067 4294967295 134512640 134702520 3221223952 3220839088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5618/statm): 1889 1067 413 48 0 1841 0
[pid=5618] vsize: 7556
Current children cumulated CPU time (s) 264.24
Current children cumulated vsize (Kb) 9684

[startup+290.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5618
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 20107242 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 242 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5618/stat): 5618 (vallst) R 5615 5615 4057 0 -1 0 1167 0 0 0 26590 793 0 0 25 0 1 0 20107251 7737344 1076 4294967295 134512640 134702520 3221223952 3221041308 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5618/statm): 1889 1076 413 48 0 1841 0
[pid=5618] vsize: 7556
Current children cumulated CPU time (s) 273.84
Current children cumulated vsize (Kb) 9684

[startup+300.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5618
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 20107242 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 242 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5618/stat): 5618 (vallst) R 5615 5615 4057 0 -1 0 1203 0 0 0 27534 812 0 0 25 0 1 0 20107251 7737344 1112 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5618/statm): 1889 1112 413 48 0 1841 0
[pid=5618] vsize: 7556
Current children cumulated CPU time (s) 283.47
Current children cumulated vsize (Kb) 9684

[startup+310.029 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5618
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 20107242 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 242 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5618/stat): 5618 (vallst) R 5615 5615 4057 0 -1 0 1220 0 0 0 28496 827 0 0 23 0 1 0 20107251 7737344 1129 4294967295 134512640 134702520 3221223952 3221223232 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5618/statm): 1889 1129 413 48 0 1841 0
[pid=5618] vsize: 7556
Current children cumulated CPU time (s) 293.24
Current children cumulated vsize (Kb) 9684

[startup+320.03 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5618
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 20107242 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 242 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5618/stat): 5618 (vallst) T 5615 5615 4057 0 -1 0 1231 0 0 0 29478 832 0 0 25 0 1 0 20107251 7737344 1140 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5618/statm): 1889 1140 413 48 0 1841 0
[pid=5618] vsize: 7556
Current children cumulated CPU time (s) 303.11
Current children cumulated vsize (Kb) 9684

[startup+330.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5618
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 20107242 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 242 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5618/stat): 5618 (vallst) R 5615 5615 4057 0 -1 0 1250 0 0 0 30435 846 0 0 25 0 1 0 20107251 8040448 1159 4294967295 134512640 134702520 3221223952 3220950268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5618/statm): 1963 1159 413 48 0 1915 0
[pid=5618] vsize: 7852
Current children cumulated CPU time (s) 312.82
Current children cumulated vsize (Kb) 9980

[startup+340.032 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5618
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 330 232 0 0 1 0 0 0 20 0 1 0 20107242 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 242 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5618/stat): 5618 (vallst) T 5615 5615 4057 0 -1 0 1252 0 0 0 31225 913 0 0 19 0 1 0 20107251 8179712 1161 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5618/statm): 1997 1161 413 48 0 1949 0
[pid=5618] vsize: 7988
Current children cumulated CPU time (s) 321.39
Current children cumulated vsize (Kb) 10116
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=5618) exited with status: 2
New process pid=5619
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=5619) exited with status: 0
New process pid=5620
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+350.032 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 739 0 0 0 576 4 0 0 16 0 1 0 20141663 4583424 709 4294967295 134512640 134702520 3221223712 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 1119 709 413 48 0 1071 0
[pid=5620] vsize: 4476
Current children cumulated CPU time (s) 330.57
Current children cumulated vsize (Kb) 6604

[startup+360.033 s]
Raw data (loadavg): 1.13 1.05 1.01 1/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 743 0 0 0 867 225 0 0 16 0 1 0 20141663 4583424 713 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 1119 713 413 48 0 1071 0
[pid=5620] vsize: 4476
Current children cumulated CPU time (s) 335.69
Current children cumulated vsize (Kb) 6604

[startup+370.033 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 892 0 0 0 1588 316 0 0 25 0 1 0 20141663 6696960 862 4294967295 134512640 134702520 3221223712 3220882828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 1635 862 413 48 0 1587 0
[pid=5620] vsize: 6540
Current children cumulated CPU time (s) 343.81
Current children cumulated vsize (Kb) 8668

[startup+380.034 s]
Raw data (loadavg): 1.10 1.04 1.01 1/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 900 0 0 0 2535 332 0 0 24 0 1 0 20141663 6701056 870 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 1636 870 413 48 0 1588 0
[pid=5620] vsize: 6544
Current children cumulated CPU time (s) 353.44
Current children cumulated vsize (Kb) 8672

[startup+390.035 s]
Raw data (loadavg): 1.08 1.04 1.01 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 919 0 0 0 3446 359 0 0 16 0 1 0 20141663 6836224 889 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 1669 889 413 48 0 1621 0
[pid=5620] vsize: 6676
Current children cumulated CPU time (s) 362.82
Current children cumulated vsize (Kb) 8804

[startup+400.037 s]
Raw data (loadavg): 1.07 1.04 1.01 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 925 0 0 0 4396 377 0 0 18 0 1 0 20141663 6836224 895 4294967295 134512640 134702520 3221223712 3221155648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 1669 895 413 48 0 1621 0
[pid=5620] vsize: 6676
Current children cumulated CPU time (s) 372.5
Current children cumulated vsize (Kb) 8804

[startup+410.037 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 939 0 0 0 5342 394 0 0 21 0 1 0 20141663 6836224 909 4294967295 134512640 134702520 3221223712 3221056448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 1669 909 413 48 0 1621 0
[pid=5620] vsize: 6676
Current children cumulated CPU time (s) 382.13
Current children cumulated vsize (Kb) 8804

[startup+420.038 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 941 0 0 0 5914 534 0 0 16 0 1 0 20141663 6836224 911 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 1669 911 413 48 0 1621 0
[pid=5620] vsize: 6676
Current children cumulated CPU time (s) 389.25
Current children cumulated vsize (Kb) 8804

[startup+430.039 s]
Raw data (loadavg): 1.04 1.04 1.00 1/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 949 0 0 0 6336 722 0 0 16 0 1 0 20141663 6909952 919 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 1687 919 413 48 0 1639 0
[pid=5620] vsize: 6748
Current children cumulated CPU time (s) 395.35
Current children cumulated vsize (Kb) 8876

[startup+440.04 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 969 0 0 0 7282 740 0 0 18 0 1 0 20141663 6909952 939 4294967295 134512640 134702520 3221223712 3221165708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 1687 939 413 48 0 1639 0
[pid=5620] vsize: 6748
Current children cumulated CPU time (s) 404.99
Current children cumulated vsize (Kb) 8876

[startup+450.04 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 983 0 0 0 8232 756 0 0 19 0 1 0 20141663 6909952 953 4294967295 134512640 134702520 3221223712 3221109408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 1687 953 413 48 0 1639 0
[pid=5620] vsize: 6748
Current children cumulated CPU time (s) 414.65
Current children cumulated vsize (Kb) 8876

[startup+460.041 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 988 0 0 0 9187 770 0 0 21 0 1 0 20141663 6909952 958 4294967295 134512640 134702520 3221223712 3221013868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 1687 958 413 48 0 1639 0
[pid=5620] vsize: 6748
Current children cumulated CPU time (s) 424.34
Current children cumulated vsize (Kb) 8876

[startup+470.041 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 993 0 0 0 10120 792 0 0 24 0 1 0 20141663 6909952 963 4294967295 134512640 134702520 3221223712 3220929568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 1687 963 413 48 0 1639 0
[pid=5620] vsize: 6748
Current children cumulated CPU time (s) 433.89
Current children cumulated vsize (Kb) 8876

[startup+480.042 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 998 0 0 0 11054 814 0 0 25 0 1 0 20141663 7028736 968 4294967295 134512640 134702520 3221223712 3220848428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 1716 968 413 48 0 1668 0
[pid=5620] vsize: 6864
Current children cumulated CPU time (s) 443.45
Current children cumulated vsize (Kb) 8992

[startup+490.043 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 1001 0 0 0 11454 1010 0 0 16 0 1 0 20141663 7028736 971 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 1716 971 413 48 0 1668 0
[pid=5620] vsize: 6864
Current children cumulated CPU time (s) 449.41
Current children cumulated vsize (Kb) 8992

[startup+500.043 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1007 0 0 0 12053 1139 0 0 21 0 1 0 20141663 7028736 977 4294967295 134512640 134702520 3221223712 3221048428 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 1716 977 413 48 0 1668 0
[pid=5620] vsize: 6864
Current children cumulated CPU time (s) 456.69
Current children cumulated vsize (Kb) 8992

[startup+510.043 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1012 0 0 0 12988 1161 0 0 24 0 1 0 20141663 7028736 982 4294967295 134512640 134702520 3221223712 3220988768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 1716 982 413 48 0 1668 0
[pid=5620] vsize: 6864
Current children cumulated CPU time (s) 466.26
Current children cumulated vsize (Kb) 8992

[startup+520.044 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1019 0 0 0 13937 1179 0 0 25 0 1 0 20141663 7028736 989 4294967295 134512640 134702520 3221223712 3220896448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 1716 989 413 48 0 1668 0
[pid=5620] vsize: 6864
Current children cumulated CPU time (s) 475.93
Current children cumulated vsize (Kb) 8992

[startup+530.046 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1023 0 0 0 14885 1197 0 0 25 0 1 0 20141663 7028736 993 4294967295 134512640 134702520 3221223712 3220751008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 1716 993 413 48 0 1668 0
[pid=5620] vsize: 6864
Current children cumulated CPU time (s) 485.59
Current children cumulated vsize (Kb) 8992

[startup+540.047 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 1044 0 0 0 15819 1219 0 0 22 0 1 0 20141663 7139328 1014 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 1743 1014 413 48 0 1695 0
[pid=5620] vsize: 6972
Current children cumulated CPU time (s) 495.15
Current children cumulated vsize (Kb) 9100

[startup+550.047 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 1049 0 0 0 16682 1263 0 0 16 0 1 0 20141663 7139328 1019 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 1743 1019 413 48 0 1695 0
[pid=5620] vsize: 6972
Current children cumulated CPU time (s) 504.22
Current children cumulated vsize (Kb) 9100

[startup+560.048 s]
Raw data (loadavg): 1.08 1.04 1.01 1/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 1050 0 0 0 16992 1483 0 0 16 0 1 0 20141663 7139328 1020 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 1743 1020 413 48 0 1695 0
[pid=5620] vsize: 6972
Current children cumulated CPU time (s) 509.52
Current children cumulated vsize (Kb) 9100

[startup+570.047 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1082 0 0 0 17758 1555 0 0 25 0 1 0 20141663 7139328 1052 4294967295 134512640 134702520 3221223712 3220852768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 1743 1052 413 48 0 1695 0
[pid=5620] vsize: 6972
Current children cumulated CPU time (s) 517.9
Current children cumulated vsize (Kb) 9100

[startup+580.048 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 1088 0 0 0 18701 1574 0 0 25 0 1 0 20141663 7139328 1058 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 1743 1058 413 48 0 1695 0
[pid=5620] vsize: 6972
Current children cumulated CPU time (s) 527.52
Current children cumulated vsize (Kb) 9100

[startup+590.049 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 1092 0 0 0 19630 1596 0 0 25 0 1 0 20141663 7139328 1062 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 1743 1062 413 48 0 1695 0
[pid=5620] vsize: 6972
Current children cumulated CPU time (s) 537.03
Current children cumulated vsize (Kb) 9100

[startup+600.05 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1097 0 0 0 20563 1619 0 0 25 0 1 0 20141663 7258112 1067 4294967295 134512640 134702520 3221223712 3221222832 134588530 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 1772 1067 413 48 0 1724 0
[pid=5620] vsize: 7088
Current children cumulated CPU time (s) 546.59
Current children cumulated vsize (Kb) 9216

[startup+610.051 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1102 0 0 0 21493 1641 0 0 17 0 1 0 20141663 7258112 1072 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 1772 1072 413 48 0 1724 0
[pid=5620] vsize: 7088
Current children cumulated CPU time (s) 556.11
Current children cumulated vsize (Kb) 9216

[startup+620.051 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 1111 0 0 0 22352 1687 0 0 16 0 1 0 20141663 7258112 1081 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 1772 1081 413 48 0 1724 0
[pid=5620] vsize: 7088
Current children cumulated CPU time (s) 565.16
Current children cumulated vsize (Kb) 9216

[startup+630.053 s]
Raw data (loadavg): 1.10 1.04 1.01 1/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 1112 0 0 0 22663 1905 0 0 16 0 1 0 20141663 7258112 1082 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 1772 1082 413 48 0 1724 0
[pid=5620] vsize: 7088
Current children cumulated CPU time (s) 570.45
Current children cumulated vsize (Kb) 9216

[startup+640.054 s]
Raw data (loadavg): 1.09 1.04 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1118 0 0 0 23439 1974 0 0 25 0 1 0 20141663 7307264 1088 4294967295 134512640 134702520 3221223712 3220903968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 1784 1088 413 48 0 1736 0
[pid=5620] vsize: 7136
Current children cumulated CPU time (s) 578.9
Current children cumulated vsize (Kb) 9264

[startup+650.054 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1159 0 0 0 24376 1995 0 0 25 0 1 0 20141663 7307264 1129 4294967295 134512640 134702520 3221223712 3220787328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 1784 1129 413 48 0 1736 0
[pid=5620] vsize: 7136
Current children cumulated CPU time (s) 588.48
Current children cumulated vsize (Kb) 9264

[startup+660.055 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1214 0 0 0 25314 2015 0 0 25 0 1 0 20141663 7548928 1184 4294967295 134512640 134702520 3221223712 3220687328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 1843 1184 413 48 0 1795 0
[pid=5620] vsize: 7372
Current children cumulated CPU time (s) 598.06
Current children cumulated vsize (Kb) 9500

[startup+670.055 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1237 0 0 0 26235 2040 0 0 16 0 1 0 20141663 7548928 1207 4294967295 134512640 134702520 3221223712 3221222992 134553333 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 1843 1207 413 48 0 1795 0
[pid=5620] vsize: 7372
Current children cumulated CPU time (s) 607.52
Current children cumulated vsize (Kb) 9500

[startup+680.055 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 1256 0 0 0 27173 2063 0 0 20 0 1 0 20141663 7671808 1226 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 1873 1226 413 48 0 1825 0
[pid=5620] vsize: 7492
Current children cumulated CPU time (s) 617.13
Current children cumulated vsize (Kb) 9620

[startup+690.056 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 1270 0 0 0 28032 2110 0 0 16 0 1 0 20141663 7671808 1240 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 1873 1240 413 48 0 1825 0
[pid=5620] vsize: 7492
Current children cumulated CPU time (s) 626.19
Current children cumulated vsize (Kb) 9620

[startup+700.057 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 1271 0 0 0 28320 2340 0 0 16 0 1 0 20141663 7671808 1241 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 1873 1241 413 48 0 1825 0
[pid=5620] vsize: 7492
Current children cumulated CPU time (s) 631.37
Current children cumulated vsize (Kb) 9620

[startup+710.058 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1274 0 0 0 29125 2403 0 0 25 0 1 0 20141663 7671808 1244 4294967295 134512640 134702520 3221223712 3220896608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 1873 1244 413 48 0 1825 0
[pid=5620] vsize: 7492
Current children cumulated CPU time (s) 640.05
Current children cumulated vsize (Kb) 9620

[startup+720.059 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1279 0 0 0 30055 2427 0 0 25 0 1 0 20141663 7671808 1249 4294967295 134512640 134702520 3221223712 3220928768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 1873 1249 413 48 0 1825 0
[pid=5620] vsize: 7492
Current children cumulated CPU time (s) 649.59
Current children cumulated vsize (Kb) 9620

[startup+730.059 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1283 0 0 0 30992 2447 0 0 25 0 1 0 20141663 7671808 1253 4294967295 134512640 134702520 3221223712 3220919312 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 1873 1253 413 48 0 1825 0
[pid=5620] vsize: 7492
Current children cumulated CPU time (s) 659.16
Current children cumulated vsize (Kb) 9620

[startup+740.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1287 0 0 0 31929 2466 0 0 25 0 1 0 20141663 7671808 1257 4294967295 134512640 134702520 3221223712 3220838048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 1873 1257 413 48 0 1825 0
[pid=5620] vsize: 7492
Current children cumulated CPU time (s) 668.72
Current children cumulated vsize (Kb) 9620

[startup+750.061 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1291 0 0 0 32868 2486 0 0 25 0 1 0 20141663 7671808 1261 4294967295 134512640 134702520 3221223712 3220872748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 1873 1261 413 48 0 1825 0
[pid=5620] vsize: 7492
Current children cumulated CPU time (s) 678.31
Current children cumulated vsize (Kb) 9620

[startup+760.062 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1307 0 0 0 33807 2507 0 0 25 0 1 0 20141663 7790592 1277 4294967295 134512640 134702520 3221223712 3220862848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 1902 1277 413 48 0 1854 0
[pid=5620] vsize: 7608
Current children cumulated CPU time (s) 687.91
Current children cumulated vsize (Kb) 9736

[startup+770.062 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 1309 0 0 0 34231 2690 0 0 16 0 1 0 20141663 7790592 1279 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 1902 1279 413 48 0 1854 0
[pid=5620] vsize: 7608
Current children cumulated CPU time (s) 693.98
Current children cumulated vsize (Kb) 9736

[startup+780.063 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1316 0 0 0 34801 2829 0 0 18 0 1 0 20141663 7790592 1286 4294967295 134512640 134702520 3221223712 3221143628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 1902 1286 413 48 0 1854 0
[pid=5620] vsize: 7608
Current children cumulated CPU time (s) 701.07
Current children cumulated vsize (Kb) 9736

[startup+790.064 s]
Raw data (loadavg): 1.08 1.04 1.01 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1320 0 0 0 35746 2846 0 0 19 0 1 0 20141663 7790592 1290 4294967295 134512640 134702520 3221223712 3221111328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 1902 1290 413 48 0 1854 0
[pid=5620] vsize: 7608
Current children cumulated CPU time (s) 710.69
Current children cumulated vsize (Kb) 9736

[startup+800.064 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1326 0 0 0 36680 2867 0 0 20 0 1 0 20141663 7790592 1296 4294967295 134512640 134702520 3221223712 3221085868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 1902 1296 413 48 0 1854 0
[pid=5620] vsize: 7608
Current children cumulated CPU time (s) 720.24
Current children cumulated vsize (Kb) 9736

[startup+810.065 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1331 0 0 0 37616 2888 0 0 20 0 1 0 20141663 7790592 1301 4294967295 134512640 134702520 3221223712 3221077888 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 1902 1301 413 48 0 1854 0
[pid=5620] vsize: 7608
Current children cumulated CPU time (s) 729.81
Current children cumulated vsize (Kb) 9736

[startup+820.066 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1343 0 0 0 38547 2911 0 0 19 0 1 0 20141663 7909376 1313 4294967295 134512640 134702520 3221223712 3221093888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 1931 1313 413 48 0 1883 0
[pid=5620] vsize: 7724
Current children cumulated CPU time (s) 739.35
Current children cumulated vsize (Kb) 9852

[startup+830.067 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1370 0 0 0 39486 2932 0 0 19 0 1 0 20141663 8151040 1340 4294967295 134512640 134702520 3221223712 3221093248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 1990 1340 413 48 0 1942 0
[pid=5620] vsize: 7960
Current children cumulated CPU time (s) 748.95
Current children cumulated vsize (Kb) 10088

[startup+840.067 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 1372 0 0 0 40092 3056 0 0 16 0 1 0 20141663 8151040 1342 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 1990 1342 413 48 0 1942 0
[pid=5620] vsize: 7960
Current children cumulated CPU time (s) 756.25
Current children cumulated vsize (Kb) 10088

[startup+850.068 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 1379 0 0 0 40497 3251 0 0 16 0 1 0 20141663 8208384 1349 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 2004 1349 413 48 0 1956 0
[pid=5620] vsize: 8016
Current children cumulated CPU time (s) 762.25
Current children cumulated vsize (Kb) 10144

[startup+860.069 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 1386 0 0 0 41437 3271 0 0 17 0 1 0 20141663 8208384 1356 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 2004 1356 413 48 0 1956 0
[pid=5620] vsize: 8016
Current children cumulated CPU time (s) 771.85
Current children cumulated vsize (Kb) 10144

[startup+870.07 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 1391 0 0 0 42373 3293 0 0 17 0 1 0 20141663 8208384 1361 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 2004 1361 413 48 0 1956 0
[pid=5620] vsize: 8016
Current children cumulated CPU time (s) 781.43
Current children cumulated vsize (Kb) 10144

[startup+880.072 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1409 0 0 0 43316 3311 0 0 17 0 1 0 20141663 8208384 1379 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 2004 1379 413 48 0 1956 0
[pid=5620] vsize: 8016
Current children cumulated CPU time (s) 791.04
Current children cumulated vsize (Kb) 10144

[startup+890.072 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 1419 0 0 0 44265 3326 0 0 16 0 1 0 20141663 8343552 1389 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 2037 1389 413 48 0 1989 0
[pid=5620] vsize: 8148
Current children cumulated CPU time (s) 800.68
Current children cumulated vsize (Kb) 10276

[startup+900.072 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1425 0 0 0 45215 3343 0 0 17 0 1 0 20141663 8343552 1395 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 2037 1395 413 48 0 1989 0
[pid=5620] vsize: 8148
Current children cumulated CPU time (s) 810.35
Current children cumulated vsize (Kb) 10276

[startup+910.073 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1428 0 0 0 46067 3392 0 0 16 0 1 0 20141663 8343552 1398 4294967295 134512640 134702520 3221223712 3221222608 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 2037 1398 413 48 0 1989 0
[pid=5620] vsize: 8148
Current children cumulated CPU time (s) 819.36
Current children cumulated vsize (Kb) 10276

[startup+920.074 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1429 0 0 0 46374 3616 0 0 16 0 1 0 20141663 8343552 1399 4294967295 134512640 134702520 3221223712 3221222608 134552544 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 2037 1399 413 48 0 1989 0
[pid=5620] vsize: 8148
Current children cumulated CPU time (s) 824.67
Current children cumulated vsize (Kb) 10276

[startup+930.075 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1436 0 0 0 47175 3679 0 0 25 0 1 0 20141663 8343552 1406 4294967295 134512640 134702520 3221223712 3220906528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 2037 1406 413 48 0 1989 0
[pid=5620] vsize: 8148
Current children cumulated CPU time (s) 833.31
Current children cumulated vsize (Kb) 10276

[startup+940.076 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1441 0 0 0 48110 3701 0 0 25 0 1 0 20141663 8343552 1411 4294967295 134512640 134702520 3221223712 3220927148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 2037 1411 413 48 0 1989 0
[pid=5620] vsize: 8148
Current children cumulated CPU time (s) 842.88
Current children cumulated vsize (Kb) 10276

[startup+950.076 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1451 0 0 0 49038 3725 0 0 25 0 1 0 20141663 8343552 1421 4294967295 134512640 134702520 3221223712 3220960128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 2037 1421 413 48 0 1989 0
[pid=5620] vsize: 8148
Current children cumulated CPU time (s) 852.4
Current children cumulated vsize (Kb) 10276

[startup+960.077 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1456 0 0 0 49963 3750 0 0 25 0 1 0 20141663 8343552 1426 4294967295 134512640 134702520 3221223712 3220933888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 2037 1426 413 48 0 1989 0
[pid=5620] vsize: 8148
Current children cumulated CPU time (s) 861.9
Current children cumulated vsize (Kb) 10276

[startup+970.078 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1701 0 0 0 50887 3776 0 0 25 0 1 0 20141663 8474624 1671 4294967295 134512640 134702520 3221223712 3220929548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 2069 1671 413 48 0 2021 0
[pid=5620] vsize: 8276
Current children cumulated CPU time (s) 871.4
Current children cumulated vsize (Kb) 10404

[startup+980.079 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1710 0 0 0 51812 3800 0 0 25 0 1 0 20141663 8474624 1680 4294967295 134512640 134702520 3221223712 3220914348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 2069 1680 413 48 0 2021 0
[pid=5620] vsize: 8276
Current children cumulated CPU time (s) 880.89
Current children cumulated vsize (Kb) 10404

[startup+990.08 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 1712 0 0 0 52241 3986 0 0 16 0 1 0 20141663 8474624 1682 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 2069 1682 413 48 0 2021 0
[pid=5620] vsize: 8276
Current children cumulated CPU time (s) 887.04
Current children cumulated vsize (Kb) 10404

[startup+1000.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1721 0 0 0 52796 4130 0 0 18 0 1 0 20141663 8536064 1691 4294967295 134512640 134702520 3221223712 3221166528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 2084 1691 413 48 0 2036 0
[pid=5620] vsize: 8336
Current children cumulated CPU time (s) 894.03
Current children cumulated vsize (Kb) 10464

[startup+1010.08 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 1751 0 0 0 53732 4150 0 0 16 0 1 0 20141663 8536064 1721 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 2084 1721 413 48 0 2036 0
[pid=5620] vsize: 8336
Current children cumulated CPU time (s) 903.59
Current children cumulated vsize (Kb) 10464

[startup+1020.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 1755 0 0 0 54667 4170 0 0 17 0 1 0 20141663 8536064 1725 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 2084 1725 413 48 0 2036 0
[pid=5620] vsize: 8336
Current children cumulated CPU time (s) 913.14
Current children cumulated vsize (Kb) 10464

[startup+1030.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1760 0 0 0 55609 4190 0 0 17 0 1 0 20141663 8536064 1730 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 2084 1730 413 48 0 2036 0
[pid=5620] vsize: 8336
Current children cumulated CPU time (s) 922.76
Current children cumulated vsize (Kb) 10464

[startup+1040.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 1767 0 0 0 56566 4205 0 0 17 0 1 0 20141663 8536064 1737 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 2084 1737 413 48 0 2036 0
[pid=5620] vsize: 8336
Current children cumulated CPU time (s) 932.48
Current children cumulated vsize (Kb) 10464

[startup+1050.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1773 0 0 0 57517 4221 0 0 25 0 1 0 20141663 8671232 1743 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 2117 1743 413 48 0 2069 0
[pid=5620] vsize: 8468
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (Kb) 10596

[startup+1060.09 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 1778 0 0 0 58430 4254 0 0 16 0 1 0 20141663 8671232 1748 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 2117 1748 413 48 0 2069 0
[pid=5620] vsize: 8468
Current children cumulated CPU time (s) 951.61
Current children cumulated vsize (Kb) 10596

[startup+1070.09 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 1779 0 0 0 58744 4481 0 0 16 0 1 0 20141663 8671232 1749 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 2117 1749 413 48 0 2069 0
[pid=5620] vsize: 8468
Current children cumulated CPU time (s) 957.02
Current children cumulated vsize (Kb) 10596

[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1786 0 0 0 59436 4582 0 0 20 0 1 0 20141663 8671232 1756 4294967295 134512640 134702520 3221223712 3221081408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 2117 1756 413 48 0 2069 0
[pid=5620] vsize: 8468
Current children cumulated CPU time (s) 964.95
Current children cumulated vsize (Kb) 10596

[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1792 0 0 0 60370 4606 0 0 18 0 1 0 20141663 8671232 1762 4294967295 134512640 134702520 3221223712 3221160608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 2117 1762 413 48 0 2069 0
[pid=5620] vsize: 8468
Current children cumulated CPU time (s) 974.53
Current children cumulated vsize (Kb) 10596

[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1797 0 0 0 61288 4632 0 0 17 0 1 0 20141663 8671232 1767 4294967295 134512640 134702520 3221223712 3221222992 134552991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 2117 1767 413 48 0 2069 0
[pid=5620] vsize: 8468
Current children cumulated CPU time (s) 983.97
Current children cumulated vsize (Kb) 10596

[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 1800 0 0 0 62223 4651 0 0 17 0 1 0 20141663 8671232 1770 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 2117 1770 413 48 0 2069 0
[pid=5620] vsize: 8468
Current children cumulated CPU time (s) 993.51
Current children cumulated vsize (Kb) 10596

[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1802 0 0 0 63169 4668 0 0 16 0 1 0 20141663 8790016 1772 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 2146 1772 413 48 0 2098 0
[pid=5620] vsize: 8584
Current children cumulated CPU time (s) 1003.14
Current children cumulated vsize (Kb) 10712

[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1806 0 0 0 64112 4686 0 0 16 0 1 0 20141663 8790016 1776 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 2146 1776 413 48 0 2098 0
[pid=5620] vsize: 8584
Current children cumulated CPU time (s) 1012.75
Current children cumulated vsize (Kb) 10712

[startup+1140.09 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 1808 0 0 0 65036 4713 0 0 16 0 1 0 20141663 8790016 1778 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 2146 1778 413 48 0 2098 0
[pid=5620] vsize: 8584
Current children cumulated CPU time (s) 1022.26
Current children cumulated vsize (Kb) 10712

[startup+1150.09 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 1809 0 0 0 65372 4931 0 0 16 0 1 0 20141663 8790016 1779 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 2146 1779 413 48 0 2098 0
[pid=5620] vsize: 8584
Current children cumulated CPU time (s) 1027.8
Current children cumulated vsize (Kb) 10712

[startup+1160.09 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1814 0 0 0 66030 5044 0 0 19 0 1 0 20141663 8790016 1784 4294967295 134512640 134702520 3221223712 3221122528 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 2146 1784 413 48 0 2098 0
[pid=5620] vsize: 8584
Current children cumulated CPU time (s) 1035.51
Current children cumulated vsize (Kb) 10712

[startup+1170.09 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1817 0 0 0 66961 5068 0 0 18 0 1 0 20141663 8790016 1787 4294967295 134512640 134702520 3221223712 3221180128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 2146 1787 413 48 0 2098 0
[pid=5620] vsize: 8584
Current children cumulated CPU time (s) 1045.06
Current children cumulated vsize (Kb) 10712

[startup+1180.1 s]
Raw data (loadavg): 1.12 1.03 1.01 1/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 1820 0 0 0 67878 5099 0 0 16 0 1 0 20141663 8790016 1790 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5620/statm): 2146 1790 413 48 0 2098 0
[pid=5620] vsize: 8584
Current children cumulated CPU time (s) 1054.54
Current children cumulated vsize (Kb) 10712

[startup+1190.1 s]
Raw data (loadavg): 1.10 1.03 1.01 1/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 1823 0 0 0 68825 5116 0 0 17 0 1 0 20141663 8790016 1793 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 2146 1793 413 48 0 2098 0
[pid=5620] vsize: 8584
Current children cumulated CPU time (s) 1064.18
Current children cumulated vsize (Kb) 10712

[startup+1200.1 s]
Raw data (loadavg): 1.08 1.03 1.00 1/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 1825 0 0 0 69767 5136 0 0 16 0 1 0 20141663 8790016 1795 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 2146 1795 413 48 0 2098 0
[pid=5620] vsize: 8584
Current children cumulated CPU time (s) 1073.8
Current children cumulated vsize (Kb) 10712

[startup+1210.1 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1829 0 0 0 70698 5159 0 0 25 0 1 0 20141663 8904704 1799 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 2174 1799 413 48 0 2126 0
[pid=5620] vsize: 8696
Current children cumulated CPU time (s) 1083.34
Current children cumulated vsize (Kb) 10824

[startup+1220.1 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1835 0 0 0 71630 5181 0 0 25 0 1 0 20141663 8904704 1805 4294967295 134512640 134702520 3221223712 3220773728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 2174 1805 413 48 0 2126 0
[pid=5620] vsize: 8696
Current children cumulated CPU time (s) 1092.88
Current children cumulated vsize (Kb) 10824

[startup+1230.1 s]
Raw data (loadavg): 1.05 1.02 1.00 1/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 1837 0 0 0 72003 5383 0 0 16 0 1 0 20141663 8904704 1807 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 2174 1807 413 48 0 2126 0
[pid=5620] vsize: 8696
Current children cumulated CPU time (s) 1098.63
Current children cumulated vsize (Kb) 10824

[startup+1240.1 s]
Raw data (loadavg): 1.11 1.04 1.01 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1842 0 0 0 72588 5519 0 0 18 0 1 0 20141663 8904704 1812 4294967295 134512640 134702520 3221223712 3221165248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 2174 1812 413 48 0 2126 0
[pid=5620] vsize: 8696
Current children cumulated CPU time (s) 1105.84
Current children cumulated vsize (Kb) 10824

[startup+1250.1 s]
Raw data (loadavg): 1.10 1.04 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1846 0 0 0 73519 5543 0 0 16 0 1 0 20141663 8904704 1816 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 2174 1816 413 48 0 2126 0
[pid=5620] vsize: 8696
Current children cumulated CPU time (s) 1115.39
Current children cumulated vsize (Kb) 10824

[startup+1260.1 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) T 5615 5615 4057 0 -1 0 1850 0 0 0 74467 5562 0 0 17 0 1 0 20141663 8904704 1820 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5620/statm): 2174 1820 413 48 0 2126 0
[pid=5620] vsize: 8696
Current children cumulated CPU time (s) 1125.06
Current children cumulated vsize (Kb) 10824

[startup+1270.1 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1854 0 0 0 75418 5578 0 0 16 0 1 0 20141663 8904704 1824 4294967295 134512640 134702520 3221223712 3221222992 134552303 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 2174 1824 413 48 0 2126 0
[pid=5620] vsize: 8696
Current children cumulated CPU time (s) 1134.73
Current children cumulated vsize (Kb) 10824

[startup+1280.1 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1858 0 0 0 76367 5595 0 0 25 0 1 0 20141663 8904704 1828 4294967295 134512640 134702520 3221223712 3220790528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 2174 1828 413 48 0 2126 0
[pid=5620] vsize: 8696
Current children cumulated CPU time (s) 1144.39
Current children cumulated vsize (Kb) 10824

[startup+1290.1 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1862 0 0 0 77295 5618 0 0 25 0 1 0 20141663 9027584 1832 4294967295 134512640 134702520 3221223712 3220952288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 2204 1832 413 48 0 2156 0
[pid=5620] vsize: 8816
Current children cumulated CPU time (s) 1153.9
Current children cumulated vsize (Kb) 10944

[startup+1300.1 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1868 0 0 0 78227 5639 0 0 20 0 1 0 20141663 9027584 1838 4294967295 134512640 134702520 3221223712 3221092428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 2204 1838 413 48 0 2156 0
[pid=5620] vsize: 8816
Current children cumulated CPU time (s) 1163.43
Current children cumulated vsize (Kb) 10944

[startup+1310.11 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1870 0 0 0 78836 5763 0 0 16 0 1 0 20141663 9027584 1840 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 2204 1840 413 48 0 2156 0
[pid=5620] vsize: 8816
Current children cumulated CPU time (s) 1170.76
Current children cumulated vsize (Kb) 10944

[startup+1320.11 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1874 0 0 0 79258 5950 0 0 17 0 1 0 20141663 9072640 1844 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 2215 1844 413 48 0 2167 0
[pid=5620] vsize: 8860
Current children cumulated CPU time (s) 1176.85
Current children cumulated vsize (Kb) 10988

[startup+1330.11 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1877 0 0 0 80209 5967 0 0 25 0 1 0 20141663 9072640 1847 4294967295 134512640 134702520 3221223712 3220757548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 2215 1847 413 48 0 2167 0
[pid=5620] vsize: 8860
Current children cumulated CPU time (s) 1186.53
Current children cumulated vsize (Kb) 10988

[startup+1340.11 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1881 0 0 0 81126 5996 0 0 25 0 1 0 20141663 9072640 1851 4294967295 134512640 134702520 3221223712 3220931968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5620/statm): 2215 1851 413 48 0 2167 0
[pid=5620] vsize: 8860
Current children cumulated CPU time (s) 1195.99
Current children cumulated vsize (Kb) 10988

[startup+1350.11 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1884 0 0 0 82033 6028 0 0 21 0 1 0 20141663 9072640 1854 4294967295 134512640 134702520 3221223712 3221056108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 2215 1854 413 48 0 2167 0
[pid=5620] vsize: 8860
Current children cumulated CPU time (s) 1205.38
Current children cumulated vsize (Kb) 10988



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1350.11 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5620
Raw data (/proc/5615/stat): 5615 (vallstSAT2005PB) S 5614 5615 4057 0 -1 0 378 1627 0 0 2 0 31524 951 17 0 1 0 20107242 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5615/statm): 532 248 485 147 0 385 0
[pid=5615] vsize: 2128
Raw data (/proc/5620/stat): 5620 (vallst) R 5615 5615 4057 0 -1 0 1884 0 0 0 82033 6028 0 0 21 0 1 0 20141663 9072640 1854 4294967295 134512640 134702520 3221223712 3221056108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5620/statm): 2215 1854 413 48 0 2167 0
[pid=5620] vsize: 8860
Current children cumulated CPU time (s) 1205.38
Current children cumulated vsize (Kb) 10988

Sending SIGTERM to -5615
Sleeping 2 seconds
New process pid=5622
New process pid=5623
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1478/stat
open syscall for file /proc/1478/status
open syscall for file /proc/1478/cmdline
open syscall for file /proc/1478/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/4039/stat
open syscall for file /proc/4039/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/4039/cmdline
open syscall for file /proc/4039/environ
open syscall for file /proc/4065/stat
open syscall for file /proc/4065/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/4065/cmdline
open syscall for file /proc/4065/environ
open syscall for file /proc/5576/stat
open syscall for file /proc/5576/status
open syscall for file /proc/5576/cmdline
open syscall for file /proc/5576/environ
open syscall for file /proc/5614/stat
open syscall for file /proc/5614/status
open syscall for file /proc/5614/cmdline
open syscall for file /proc/5614/environ
open syscall for file /proc/5615/stat
open syscall for file /proc/5615/status
open syscall for file /proc/5615/cmdline
open syscall for file /proc/5615/environ
open syscall for file /proc/5620/stat
open syscall for file /proc/5620/status
open syscall for file /proc/5620/cmdline
open syscall for file /proc/5620/environ
open syscall for file /proc/5622/stat
open syscall for file /proc/5622/status
open syscall for file /proc/5622/cmdline
open syscall for file /proc/5622/environ
open syscall for file /proc/5623/stat
open syscall for file /proc/5623/status
open syscall for file /proc/5623/cmdline
open syscall for file /proc/5623/environ
One traced child (pid=5623) exited with status: 0
One traced child (pid=5622) exited with status: 0
New process pid=5624
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=5624) exited with status: 0
New process pid=5625
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=5625) exited with status: 0
One traced child (pid=5615) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -5615
One traced child (pid=5620) 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): 1352.12
CPU time (s): 882.622
CPU user time (s): 822.335
CPU system time (s): 60.2868
CPU usage (%): 65.2769
Max. virtual memory (cumulated for all children) (Kb): 10988

Verifier Data

ERROR: no interpretation found !