Some explanations

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

General information on the benchmark

Namemps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-B1C1S1.opb
MD5SUMab580cd45d19f5d6d605ce2c4dabd375
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 25888
Biggest coefficient in the objective function 340787200
Number of bits for the biggest coefficient in the objective function 29
Sum of the numbers in the objective function 293013913600
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 340787200
Number of bits of the biggest number in a constraint 29
Biggest sum of numbers in a constraint 293013913600
Number of bits of the biggest sum of numbers39
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables71968
Total number of constraints4192
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)288
Number of constraints which are nor clauses,nor cardinality constraints3904
Minimum length of a constraint1
Maximum length of a constraint960

Trace number 9434

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.055
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:        926348 kB
Buffers:         10184 kB
Cached:          80664 kB
SwapCached:          0 kB
Active:          47804 kB
Inactive:        45964 kB
HighTotal:      131008 kB
HighFree:        47320 kB
LowTotal:       903652 kB
LowFree:        879028 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6972 kB
Slab:             8940 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 13:58:32 (client local time) WITH STATUS 0 IN 432.355 SECONDS
stats: 8163 7 432.355 0

Solver Data

1:
seed: 0
Nr of vars set: 17356  (#equs: 0)
Nr of vars set: 17538  (#equs: 0)
#decisions: 1138740;  #end-nodes: 9100;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 111 (103)
#axs: 5169, #non-axs: 127
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: 17557  (#equs: 0)
Time taken: 12 min, 54 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/5786/stat): 5786 (vallstSAT2005PB) R 5785 5786 4005 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20567899 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5786/statm): 174 3 169 147 0 27 0
[pid=5786] 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=5787
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=5787) exited with status: 0
New process pid=5788
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=5788) exited with status: 0
New process pid=5789
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/wulflinc26/normalized-mps-v2-13-7-B1C1S1.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0034 s]
Raw data (loadavg): 0.93 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 4454 0 0 0 959 21 0 0 25 0 1 0 20567906 19382272 3899 4294967295 134512640 134702520 3221223952 3221196768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 4732 3899 413 48 0 4684 0
[pid=5789] vsize: 18928
Current children cumulated CPU time (s) 9.83
Current children cumulated vsize (Kb) 21056

[startup+20.004 s]
Raw data (loadavg): 0.94 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 4474 0 0 0 1959 21 0 0 25 0 1 0 20567906 19464192 3919 4294967295 134512640 134702520 3221223952 3221060268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 4752 3919 413 48 0 4704 0
[pid=5789] vsize: 19008
Current children cumulated CPU time (s) 19.83
Current children cumulated vsize (Kb) 21136

[startup+30.0057 s]
Raw data (loadavg): 0.95 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 4510 0 0 0 2959 21 0 0 25 0 1 0 20567906 19611648 3955 4294967295 134512640 134702520 3221223952 3220911956 134611990 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 4788 3955 413 48 0 4740 0
[pid=5789] vsize: 19152
Current children cumulated CPU time (s) 29.83
Current children cumulated vsize (Kb) 21280

[startup+40.0064 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 4549 0 0 0 3959 22 0 0 25 0 1 0 20567906 19771392 3994 4294967295 134512640 134702520 3221223952 3220753068 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 4827 3994 413 48 0 4779 0
[pid=5789] vsize: 19308
Current children cumulated CPU time (s) 39.84
Current children cumulated vsize (Kb) 21436

[startup+50.0071 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 4591 0 0 0 4959 22 0 0 25 0 1 0 20567906 19943424 4036 4294967295 134512640 134702520 3221223952 3220580928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 4869 4036 413 48 0 4821 0
[pid=5789] vsize: 19476
Current children cumulated CPU time (s) 49.84
Current children cumulated vsize (Kb) 21604

[startup+60.0078 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 4636 0 0 0 5959 22 0 0 25 0 1 0 20567906 20127744 4081 4294967295 134512640 134702520 3221223952 3220394028 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 4914 4081 413 48 0 4866 0
[pid=5789] vsize: 19656
Current children cumulated CPU time (s) 59.84
Current children cumulated vsize (Kb) 21784

[startup+70.0074 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 4687 0 0 0 6959 22 0 0 25 0 1 0 20567906 20336640 4132 4294967295 134512640 134702520 3221223952 3220187328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 4965 4132 413 48 0 4917 0
[pid=5789] vsize: 19860
Current children cumulated CPU time (s) 69.84
Current children cumulated vsize (Kb) 21988

[startup+80.0081 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 4744 0 0 0 7959 22 0 0 25 0 1 0 20567906 20570112 4189 4294967295 134512640 134702520 3221223952 3219953388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 5022 4189 413 48 0 4974 0
[pid=5789] vsize: 20088
Current children cumulated CPU time (s) 79.84
Current children cumulated vsize (Kb) 22216

[startup+90.0088 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 4812 0 0 0 8960 22 0 0 25 0 1 0 20567906 20848640 4257 4294967295 134512640 134702520 3221223952 3219677088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 5090 4257 413 48 0 5042 0
[pid=5789] vsize: 20360
Current children cumulated CPU time (s) 89.85
Current children cumulated vsize (Kb) 22488

[startup+100.008 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 4899 0 0 0 9960 22 0 0 25 0 1 0 20567906 21204992 4344 4294967295 134512640 134702520 3221223952 3219319168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 5177 4344 413 48 0 5129 0
[pid=5789] vsize: 20708
Current children cumulated CPU time (s) 99.85
Current children cumulated vsize (Kb) 22836

[startup+110.009 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5071 0 0 0 10960 22 0 0 25 0 1 0 20567906 21909504 4516 4294967295 134512640 134702520 3221223952 3218615148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 5349 4516 413 48 0 5301 0
[pid=5789] vsize: 21396
Current children cumulated CPU time (s) 109.85
Current children cumulated vsize (Kb) 23524

[startup+120.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5171 0 0 0 11349 214 0 0 25 0 1 0 20567906 36278272 4616 4294967295 134512640 134702520 3221223952 3221213328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4616 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 115.66
Current children cumulated vsize (Kb) 37556

[startup+130.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5171 0 0 0 12349 214 0 0 25 0 1 0 20567906 36278272 4616 4294967295 134512640 134702520 3221223952 3221074288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4616 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 125.66
Current children cumulated vsize (Kb) 37556

[startup+140.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5171 0 0 0 13349 214 0 0 25 0 1 0 20567906 36278272 4616 4294967295 134512640 134702520 3221223952 3220927228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4616 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 135.66
Current children cumulated vsize (Kb) 37556

[startup+150.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5171 0 0 0 14349 214 0 0 25 0 1 0 20567906 36278272 4616 4294967295 134512640 134702520 3221223952 3220770748 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4616 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 145.66
Current children cumulated vsize (Kb) 37556

[startup+160.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5171 0 0 0 15350 214 0 0 25 0 1 0 20567906 36278272 4616 4294967295 134512640 134702520 3221223952 3220603088 134611982 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4616 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 155.67
Current children cumulated vsize (Kb) 37556

[startup+170.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5171 0 0 0 16350 214 0 0 25 0 1 0 20567906 36278272 4616 4294967295 134512640 134702520 3221223952 3220421628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4616 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 165.67
Current children cumulated vsize (Kb) 37556

[startup+180.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5171 0 0 0 17350 214 0 0 25 0 1 0 20567906 36278272 4616 4294967295 134512640 134702520 3221223952 3220222448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4616 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 175.67
Current children cumulated vsize (Kb) 37556

[startup+190.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5171 0 0 0 18350 214 0 0 25 0 1 0 20567906 36278272 4616 4294967295 134512640 134702520 3221223952 3219999228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4616 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 185.67
Current children cumulated vsize (Kb) 37556

[startup+200.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5171 0 0 0 19350 214 0 0 25 0 1 0 20567906 36278272 4616 4294967295 134512640 134702520 3221223952 3219740028 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4616 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 195.67
Current children cumulated vsize (Kb) 37556

[startup+210.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5171 0 0 0 20351 214 0 0 25 0 1 0 20567906 36278272 4616 4294967295 134512640 134702520 3221223952 3219418448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4616 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 205.68
Current children cumulated vsize (Kb) 37556

[startup+220.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5171 0 0 0 21351 214 0 0 25 0 1 0 20567906 36278272 4616 4294967295 134512640 134702520 3221223952 3218936668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4616 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 215.68
Current children cumulated vsize (Kb) 37556

[startup+230.016 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) T 5786 5786 4005 0 -1 0 5171 0 0 0 21909 351 0 0 16 0 1 0 20567906 36278272 4616 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4616 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 222.63
Current children cumulated vsize (Kb) 37556

[startup+240.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5172 0 0 0 22669 426 0 0 25 0 1 0 20567906 36278272 4617 4294967295 134512640 134702520 3221223952 3221135888 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4617 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 230.98
Current children cumulated vsize (Kb) 37556

[startup+250.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5172 0 0 0 23669 426 0 0 25 0 1 0 20567906 36278272 4617 4294967295 134512640 134702520 3221223952 3220992528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4617 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 240.98
Current children cumulated vsize (Kb) 37556

[startup+260.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5172 0 0 0 24669 426 0 0 25 0 1 0 20567906 36278272 4617 4294967295 134512640 134702520 3221223952 3220840368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4617 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 250.98
Current children cumulated vsize (Kb) 37556

[startup+270.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5172 0 0 0 25669 426 0 0 25 0 1 0 20567906 36278272 4617 4294967295 134512640 134702520 3221223952 3220677808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4617 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 260.98
Current children cumulated vsize (Kb) 37556

[startup+280.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5172 0 0 0 26670 426 0 0 25 0 1 0 20567906 36278272 4617 4294967295 134512640 134702520 3221223952 3220502768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4617 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 270.99
Current children cumulated vsize (Kb) 37556

[startup+290.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5172 0 0 0 27670 426 0 0 25 0 1 0 20567906 36278272 4617 4294967295 134512640 134702520 3221223952 3220312028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4617 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 280.99
Current children cumulated vsize (Kb) 37556

[startup+300.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5172 0 0 0 28670 426 0 0 25 0 1 0 20567906 36278272 4617 4294967295 134512640 134702520 3221223952 3220100368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4617 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 290.99
Current children cumulated vsize (Kb) 37556

[startup+310.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5172 0 0 0 29670 426 0 0 25 0 1 0 20567906 36278272 4617 4294967295 134512640 134702520 3221223952 3219858928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4617 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 300.99
Current children cumulated vsize (Kb) 37556

[startup+320.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5172 0 0 0 30670 426 0 0 25 0 1 0 20567906 36278272 4617 4294967295 134512640 134702520 3221223952 3219569648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4617 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 310.99
Current children cumulated vsize (Kb) 37556

[startup+330.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5172 0 0 0 31671 426 0 0 25 0 1 0 20567906 36278272 4617 4294967295 134512640 134702520 3221223952 3219183088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4617 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 321
Current children cumulated vsize (Kb) 37556

[startup+340.022 s]
Raw data (loadavg): 1.07 1.00 1.00 1/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) T 5786 5786 4005 0 -1 0 5172 0 0 0 32550 465 0 0 16 0 1 0 20567906 36278272 4617 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4617 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 330.18
Current children cumulated vsize (Kb) 37556

[startup+350.022 s]
Raw data (loadavg): 1.06 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5173 0 0 0 32945 659 0 0 25 0 1 0 20567906 36278272 4618 4294967295 134512640 134702520 3221223952 3221204028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4618 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 336.07
Current children cumulated vsize (Kb) 37556

[startup+360.023 s]
Raw data (loadavg): 1.05 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5173 0 0 0 33945 659 0 0 25 0 1 0 20567906 36278272 4618 4294967295 134512640 134702520 3221223952 3221065948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4618 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 346.07
Current children cumulated vsize (Kb) 37556

[startup+370.024 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5173 0 0 0 34945 659 0 0 25 0 1 0 20567906 36278272 4618 4294967295 134512640 134702520 3221223952 3220920028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4618 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 356.07
Current children cumulated vsize (Kb) 37556

[startup+380.025 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5173 0 0 0 35945 659 0 0 25 0 1 0 20567906 36278272 4618 4294967295 134512640 134702520 3221223952 3220764688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4618 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 366.07
Current children cumulated vsize (Kb) 37556

[startup+390.025 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5173 0 0 0 36945 659 0 0 25 0 1 0 20567906 36278272 4618 4294967295 134512640 134702520 3221223952 3220598448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4618 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 376.07
Current children cumulated vsize (Kb) 37556

[startup+400.026 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5173 0 0 0 37945 659 0 0 25 0 1 0 20567906 36278272 4618 4294967295 134512640 134702520 3221223952 3220418768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4618 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 386.07
Current children cumulated vsize (Kb) 37556

[startup+410.027 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5173 0 0 0 38945 659 0 0 25 0 1 0 20567906 36278272 4618 4294967295 134512640 134702520 3221223952 3220221488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4618 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 396.07
Current children cumulated vsize (Kb) 37556

[startup+420.027 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5173 0 0 0 39945 659 0 0 25 0 1 0 20567906 36278272 4618 4294967295 134512640 134702520 3221223952 3220000668 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4618 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 406.07
Current children cumulated vsize (Kb) 37556

[startup+430.029 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5173 0 0 0 40945 659 0 0 25 0 1 0 20567906 36278272 4618 4294967295 134512640 134702520 3221223952 3219744688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4618 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 416.07
Current children cumulated vsize (Kb) 37556

[startup+440.03 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5173 0 0 0 41945 660 0 0 25 0 1 0 20567906 36278272 4618 4294967295 134512640 134702520 3221223952 3219428348 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4618 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 426.08
Current children cumulated vsize (Kb) 37556

[startup+450.029 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5173 0 0 0 42945 660 0 0 25 0 1 0 20567906 36278272 4618 4294967295 134512640 134702520 3221223952 3218961968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4618 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 436.08
Current children cumulated vsize (Kb) 37556

[startup+460.03 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) T 5786 5786 4005 0 -1 0 5174 0 0 0 43540 793 0 0 16 0 1 0 20567906 36278272 4619 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4619 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 443.36
Current children cumulated vsize (Kb) 37556

[startup+470.031 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5190 0 0 0 44058 945 0 0 25 0 1 0 20567906 36278272 4635 4294967295 134512640 134702520 3221223952 3221181948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4635 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 450.06
Current children cumulated vsize (Kb) 37556

[startup+480.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5190 0 0 0 45058 945 0 0 25 0 1 0 20567906 36278272 4635 4294967295 134512640 134702520 3221223952 3221042748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4635 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 460.06
Current children cumulated vsize (Kb) 37556

[startup+490.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5190 0 0 0 46058 945 0 0 25 0 1 0 20567906 36278272 4635 4294967295 134512640 134702520 3221223952 3220895388 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4635 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 470.06
Current children cumulated vsize (Kb) 37556

[startup+500.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5190 0 0 0 47058 945 0 0 25 0 1 0 20567906 36278272 4635 4294967295 134512640 134702520 3221223952 3220738428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4635 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 480.06
Current children cumulated vsize (Kb) 37556

[startup+510.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5190 0 0 0 48058 945 0 0 25 0 1 0 20567906 36278272 4635 4294967295 134512640 134702520 3221223952 3220570128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4635 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 490.06
Current children cumulated vsize (Kb) 37556

[startup+520.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5190 0 0 0 49059 945 0 0 25 0 1 0 20567906 36278272 4635 4294967295 134512640 134702520 3221223952 3220387708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4635 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 500.07
Current children cumulated vsize (Kb) 37556

[startup+530.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5190 0 0 0 50059 945 0 0 25 0 1 0 20567906 36278272 4635 4294967295 134512640 134702520 3221223952 3220187248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4635 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 510.07
Current children cumulated vsize (Kb) 37556

[startup+540.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5190 0 0 0 51059 945 0 0 25 0 1 0 20567906 36278272 4635 4294967295 134512640 134702520 3221223952 3219961488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4635 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 520.07
Current children cumulated vsize (Kb) 37556

[startup+550.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5190 0 0 0 52059 945 0 0 25 0 1 0 20567906 36278272 4635 4294967295 134512640 134702520 3221223952 3219697808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4635 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 530.07
Current children cumulated vsize (Kb) 37556

[startup+560.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5190 0 0 0 53059 945 0 0 25 0 1 0 20567906 36278272 4635 4294967295 134512640 134702520 3221223952 3219366768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4635 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 540.07
Current children cumulated vsize (Kb) 37556

[startup+570.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5190 0 0 0 54059 945 0 0 25 0 1 0 20567906 36278272 4635 4294967295 134512640 134702520 3221223952 3218842748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4635 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 550.07
Current children cumulated vsize (Kb) 37556

[startup+580.036 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) T 5786 5786 4005 0 -1 0 5199 0 0 0 54528 1115 0 0 16 0 1 0 20567906 36278272 4644 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4644 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 556.46
Current children cumulated vsize (Kb) 37556

[startup+590.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5217 0 0 0 55398 1159 0 0 25 0 1 0 20567906 36278272 4662 4294967295 134512640 134702520 3221223952 3221115408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4662 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 565.6
Current children cumulated vsize (Kb) 37556

[startup+600.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5217 0 0 0 56399 1159 0 0 25 0 1 0 20567906 36278272 4662 4294967295 134512640 134702520 3221223952 3220970908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4662 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 575.61
Current children cumulated vsize (Kb) 37556

[startup+610.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5217 0 0 0 57399 1159 0 0 25 0 1 0 20567906 36278272 4662 4294967295 134512640 134702520 3221223952 3220817468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4662 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 585.61
Current children cumulated vsize (Kb) 37556

[startup+620.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5217 0 0 0 58399 1159 0 0 25 0 1 0 20567906 36278272 4662 4294967295 134512640 134702520 3221223952 3220653328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4662 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 595.61
Current children cumulated vsize (Kb) 37556

[startup+630.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5217 0 0 0 59399 1159 0 0 25 0 1 0 20567906 36278272 4662 4294967295 134512640 134702520 3221223952 3220476368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4662 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 605.61
Current children cumulated vsize (Kb) 37556

[startup+640.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5217 0 0 0 60400 1159 0 0 25 0 1 0 20567906 36278272 4662 4294967295 134512640 134702520 3221223952 3220283248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4662 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 615.62
Current children cumulated vsize (Kb) 37556

[startup+650.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5217 0 0 0 61400 1159 0 0 25 0 1 0 20567906 36278272 4662 4294967295 134512640 134702520 3221223952 3220068048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4662 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 625.62
Current children cumulated vsize (Kb) 37556

[startup+660.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5217 0 0 0 62400 1159 0 0 25 0 1 0 20567906 36278272 4662 4294967295 134512640 134702520 3221223952 3219821468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4662 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 635.62
Current children cumulated vsize (Kb) 37556

[startup+670.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5217 0 0 0 63400 1159 0 0 25 0 1 0 20567906 36278272 4662 4294967295 134512640 134702520 3221223952 3219523408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4662 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 645.62
Current children cumulated vsize (Kb) 37556

[startup+680.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5217 0 0 0 64400 1159 0 0 25 0 1 0 20567906 36278272 4662 4294967295 134512640 134702520 3221223952 3219114128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4662 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 655.62
Current children cumulated vsize (Kb) 37556

[startup+690.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5217 0 0 0 65179 1232 0 0 17 0 1 0 20567906 36278272 4662 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5789/statm): 8857 4662 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 664.14
Current children cumulated vsize (Kb) 37556

[startup+700.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5231 0 0 0 65635 1406 0 0 25 0 1 0 20567906 36278272 4676 4294967295 134512640 134702520 3221223952 3221194768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4676 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 670.44
Current children cumulated vsize (Kb) 37556

[startup+710.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5231 0 0 0 66635 1406 0 0 25 0 1 0 20567906 36278272 4676 4294967295 134512640 134702520 3221223952 3221056368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4676 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 680.44
Current children cumulated vsize (Kb) 37556

[startup+720.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5231 0 0 0 67635 1406 0 0 25 0 1 0 20567906 36278272 4676 4294967295 134512640 134702520 3221223952 3220909968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4676 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 690.44
Current children cumulated vsize (Kb) 37556

[startup+730.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5231 0 0 0 68635 1406 0 0 25 0 1 0 20567906 36278272 4676 4294967295 134512640 134702520 3221223952 3220754128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4676 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 700.44
Current children cumulated vsize (Kb) 37556

[startup+740.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5231 0 0 0 69635 1406 0 0 25 0 1 0 20567906 36278272 4676 4294967295 134512640 134702520 3221223952 3220587248 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4676 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 710.44
Current children cumulated vsize (Kb) 37556

[startup+750.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5231 0 0 0 70635 1406 0 0 25 0 1 0 20567906 36278272 4676 4294967295 134512640 134702520 3221223952 3220406908 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4676 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 720.44
Current children cumulated vsize (Kb) 37556

[startup+760.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5231 0 0 0 71636 1406 0 0 25 0 1 0 20567906 36278272 4676 4294967295 134512640 134702520 3221223952 3220208688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4676 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 730.45
Current children cumulated vsize (Kb) 37556

[startup+770.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5231 0 0 0 72636 1406 0 0 25 0 1 0 20567906 36278272 4676 4294967295 134512640 134702520 3221223952 3219986448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4676 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 740.45
Current children cumulated vsize (Kb) 37556

[startup+780.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5231 0 0 0 73636 1406 0 0 25 0 1 0 20567906 36278272 4676 4294967295 134512640 134702520 3221223952 3219728348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4676 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 750.45
Current children cumulated vsize (Kb) 37556

[startup+790.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5231 0 0 0 74636 1406 0 0 25 0 1 0 20567906 36278272 4676 4294967295 134512640 134702520 3221223952 3219407888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4676 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 760.45
Current children cumulated vsize (Kb) 37556

[startup+800.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5789
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20567899 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 242 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5789/stat): 5789 (vallst) R 5786 5786 4005 0 -1 0 5231 0 0 0 75636 1406 0 0 25 0 1 0 20567906 36278272 4676 4294967295 134512640 134702520 3221223952 3218927088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5789/statm): 8857 4676 413 48 0 8809 0
[pid=5789] vsize: 35428
Current children cumulated CPU time (s) 770.45
Current children cumulated vsize (Kb) 37556
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=5789) exited with status: 2
New process pid=5790
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=5790) exited with status: 0
New process pid=5791
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+810.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 3120 0 0 0 499 12 0 0 25 0 1 0 20648397 15650816 3090 4294967295 134512640 134702520 3221223712 3221189168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 3821 3090 413 48 0 3773 0
[pid=5791] vsize: 15284
Current children cumulated CPU time (s) 780.34
Current children cumulated vsize (Kb) 17412

[startup+820.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 3142 0 0 0 1499 12 0 0 25 0 1 0 20648397 15740928 3112 4294967295 134512640 134702520 3221223712 3221050428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 3843 3112 413 48 0 3795 0
[pid=5791] vsize: 15372
Current children cumulated CPU time (s) 790.34
Current children cumulated vsize (Kb) 17500

[startup+830.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 3178 0 0 0 2499 12 0 0 25 0 1 0 20648397 15888384 3148 4294967295 134512640 134702520 3221223712 3220903068 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 3879 3148 413 48 0 3831 0
[pid=5791] vsize: 15516
Current children cumulated CPU time (s) 800.34
Current children cumulated vsize (Kb) 17644

[startup+840.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 3217 0 0 0 3499 12 0 0 25 0 1 0 20648397 16048128 3187 4294967295 134512640 134702520 3221223712 3220745468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5791/statm): 3918 3187 413 48 0 3870 0
[pid=5791] vsize: 15672
Current children cumulated CPU time (s) 810.34
Current children cumulated vsize (Kb) 17800

[startup+850.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 3258 0 0 0 4499 12 0 0 25 0 1 0 20648397 16216064 3228 4294967295 134512640 134702520 3221223712 3220578268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5791/statm): 3959 3228 413 48 0 3911 0
[pid=5791] vsize: 15836
Current children cumulated CPU time (s) 820.34
Current children cumulated vsize (Kb) 17964

[startup+860.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 3303 0 0 0 5499 12 0 0 25 0 1 0 20648397 16400384 3273 4294967295 134512640 134702520 3221223712 3220390908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5791/statm): 4004 3273 413 48 0 3956 0
[pid=5791] vsize: 16016
Current children cumulated CPU time (s) 830.34
Current children cumulated vsize (Kb) 18144

[startup+870.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 3354 0 0 0 6499 12 0 0 25 0 1 0 20648397 16609280 3324 4294967295 134512640 134702520 3221223712 3220183708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5791/statm): 4055 3324 413 48 0 4007 0
[pid=5791] vsize: 16220
Current children cumulated CPU time (s) 840.34
Current children cumulated vsize (Kb) 18348

[startup+880.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 3411 0 0 0 7499 13 0 0 25 0 1 0 20648397 16842752 3381 4294967295 134512640 134702520 3221223712 3219948668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5791/statm): 4112 3381 413 48 0 4064 0
[pid=5791] vsize: 16448
Current children cumulated CPU time (s) 850.35
Current children cumulated vsize (Kb) 18576

[startup+890.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 3479 0 0 0 8499 13 0 0 25 0 1 0 20648397 17121280 3449 4294967295 134512640 134702520 3221223712 3219670588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5791/statm): 4180 3449 413 48 0 4132 0
[pid=5791] vsize: 16720
Current children cumulated CPU time (s) 860.35
Current children cumulated vsize (Kb) 18848

[startup+900.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 3567 0 0 0 9499 13 0 0 25 0 1 0 20648397 17481728 3537 4294967295 134512640 134702520 3221223712 3219309788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5791/statm): 4268 3537 413 48 0 4220 0
[pid=5791] vsize: 17072
Current children cumulated CPU time (s) 870.35
Current children cumulated vsize (Kb) 19200

[startup+910.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 3746 0 0 0 10499 14 0 0 25 0 1 0 20648397 18214912 3716 4294967295 134512640 134702520 3221223712 3218576348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5791/statm): 4447 3716 413 48 0 4399 0
[pid=5791] vsize: 17788
Current children cumulated CPU time (s) 880.36
Current children cumulated vsize (Kb) 19916

[startup+920.054 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) T 5786 5786 4005 0 -1 0 4024 0 0 0 10787 242 0 0 16 0 1 0 20648397 31019008 3967 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5791/statm): 7573 3967 413 48 0 7525 0
[pid=5791] vsize: 30292
Current children cumulated CPU time (s) 885.52
Current children cumulated vsize (Kb) 32420

[startup+930.054 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4027 0 0 0 11476 341 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3221149868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 893.4
Current children cumulated vsize (Kb) 32428

[startup+940.055 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4027 0 0 0 12476 341 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3221009068 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 903.4
Current children cumulated vsize (Kb) 32428

[startup+950.055 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4027 0 0 0 13477 341 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3220859628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 913.41
Current children cumulated vsize (Kb) 32428

[startup+960.055 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4027 0 0 0 14477 341 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3220700128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 923.41
Current children cumulated vsize (Kb) 32428

[startup+970.055 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4027 0 0 0 15477 341 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3220528768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 933.41
Current children cumulated vsize (Kb) 32428

[startup+980.056 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4027 0 0 0 16477 341 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3220342528 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 943.41
Current children cumulated vsize (Kb) 32428

[startup+990.056 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4027 0 0 0 17477 341 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3220136588 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 953.41
Current children cumulated vsize (Kb) 32428

[startup+1000.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4027 0 0 0 18478 341 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3219903148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 963.42
Current children cumulated vsize (Kb) 32428

[startup+1010.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4027 0 0 0 19478 341 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3219627168 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 973.42
Current children cumulated vsize (Kb) 32428

[startup+1020.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4027 0 0 0 20478 341 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3219269548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 983.42
Current children cumulated vsize (Kb) 32428

[startup+1030.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4027 0 0 0 21478 341 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3218560128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 993.42
Current children cumulated vsize (Kb) 32428

[startup+1040.06 s]
Raw data (loadavg): 1.09 1.02 1.01 1/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) T 5786 5786 4005 0 -1 0 4028 0 0 0 21754 571 0 0 16 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 998.48
Current children cumulated vsize (Kb) 32428

[startup+1050.06 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4028 0 0 0 22466 665 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3221146348 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 1006.54
Current children cumulated vsize (Kb) 32428

[startup+1060.06 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4028 0 0 0 23466 665 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3221005388 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 1016.54
Current children cumulated vsize (Kb) 32428

[startup+1070.06 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4028 0 0 0 24466 665 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3220855808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 1026.54
Current children cumulated vsize (Kb) 32428

[startup+1080.06 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4028 0 0 0 25466 665 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3220696108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 1036.54
Current children cumulated vsize (Kb) 32428

[startup+1090.06 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4028 0 0 0 26466 665 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3220524608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 1046.54
Current children cumulated vsize (Kb) 32428

[startup+1100.06 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4028 0 0 0 27466 665 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3220338048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 1056.54
Current children cumulated vsize (Kb) 32428

[startup+1110.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4028 0 0 0 28466 665 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3220131788 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 1066.54
Current children cumulated vsize (Kb) 32428

[startup+1120.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4028 0 0 0 29466 665 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3219898048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 1076.54
Current children cumulated vsize (Kb) 32428

[startup+1130.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4028 0 0 0 30466 665 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3219621228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 1086.54
Current children cumulated vsize (Kb) 32428

[startup+1140.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4028 0 0 0 31467 665 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3219261868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 1096.55
Current children cumulated vsize (Kb) 32428

[startup+1150.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4028 0 0 0 32467 665 0 0 25 0 1 0 20648397 31027200 3970 4294967295 134512640 134702520 3221223712 3218526688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7575 3970 413 48 0 7527 0
[pid=5791] vsize: 30300
Current children cumulated CPU time (s) 1106.55
Current children cumulated vsize (Kb) 32428

[startup+1160.07 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) T 5786 5786 4005 0 -1 0 4030 0 0 0 32728 896 0 0 16 0 1 0 20648397 31031296 3971 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5791/statm): 7576 3971 413 48 0 7528 0
[pid=5791] vsize: 30304
Current children cumulated CPU time (s) 1111.47
Current children cumulated vsize (Kb) 32432

[startup+1170.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4030 0 0 0 32975 1131 0 0 16 0 1 0 20648397 31031296 3971 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7576 3971 413 48 0 7528 0
[pid=5791] vsize: 30304
Current children cumulated CPU time (s) 1116.29
Current children cumulated vsize (Kb) 32432

[startup+1180.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4030 0 0 0 33873 1159 0 0 25 0 1 0 20648397 31031296 3971 4294967295 134512640 134702520 3221223712 3221112128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7576 3971 413 48 0 7528 0
[pid=5791] vsize: 30304
Current children cumulated CPU time (s) 1125.55
Current children cumulated vsize (Kb) 32432

[startup+1190.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4030 0 0 0 34873 1159 0 0 25 0 1 0 20648397 31031296 3971 4294967295 134512640 134702520 3221223712 3220969088 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7576 3971 413 48 0 7528 0
[pid=5791] vsize: 30304
Current children cumulated CPU time (s) 1135.55
Current children cumulated vsize (Kb) 32432

[startup+1200.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4030 0 0 0 35873 1159 0 0 25 0 1 0 20648397 31031296 3971 4294967295 134512640 134702520 3221223712 3220817408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7576 3971 413 48 0 7528 0
[pid=5791] vsize: 30304
Current children cumulated CPU time (s) 1145.55
Current children cumulated vsize (Kb) 32432

[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4030 0 0 0 36873 1159 0 0 25 0 1 0 20648397 31031296 3971 4294967295 134512640 134702520 3221223712 3220654988 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7576 3971 413 48 0 7528 0
[pid=5791] vsize: 30304
Current children cumulated CPU time (s) 1155.55
Current children cumulated vsize (Kb) 32432

[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4030 0 0 0 37874 1160 0 0 25 0 1 0 20648397 31031296 3971 4294967295 134512640 134702520 3221223712 3220480268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7576 3971 413 48 0 7528 0
[pid=5791] vsize: 30304
Current children cumulated CPU time (s) 1165.57
Current children cumulated vsize (Kb) 32432

[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 3/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4030 0 0 0 38874 1160 0 0 25 0 1 0 20648397 31031296 3971 4294967295 134512640 134702520 3221223712 3220289568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7576 3971 413 48 0 7528 0
[pid=5791] vsize: 30304
Current children cumulated CPU time (s) 1175.57
Current children cumulated vsize (Kb) 32432

[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4030 0 0 0 39874 1160 0 0 25 0 1 0 20648397 31031296 3971 4294967295 134512640 134702520 3221223712 3220077708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7576 3971 413 48 0 7528 0
[pid=5791] vsize: 30304
Current children cumulated CPU time (s) 1185.57
Current children cumulated vsize (Kb) 32432

[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4030 0 0 0 40874 1160 0 0 25 0 1 0 20648397 31031296 3971 4294967295 134512640 134702520 3221223712 3219835488 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7576 3971 413 48 0 7528 0
[pid=5791] vsize: 30304
Current children cumulated CPU time (s) 1195.57
Current children cumulated vsize (Kb) 32432

[startup+1260.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4030 0 0 0 41874 1160 0 0 25 0 1 0 20648397 31031296 3971 4294967295 134512640 134702520 3221223712 3219544268 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7576 3971 413 48 0 7528 0
[pid=5791] vsize: 30304
Current children cumulated CPU time (s) 1205.57
Current children cumulated vsize (Kb) 32432



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1260.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5791
Raw data (/proc/5786/stat): 5786 (vallstSAT2005PB) S 5785 5786 4005 0 -1 0 378 5607 0 0 1 2 76105 1415 19 0 1 0 20567899 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5786/statm): 532 248 485 147 0 385 0
[pid=5786] vsize: 2128
Raw data (/proc/5791/stat): 5791 (vallst) R 5786 5786 4005 0 -1 0 4030 0 0 0 41874 1160 0 0 25 0 1 0 20648397 31031296 3971 4294967295 134512640 134702520 3221223712 3219544268 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5791/statm): 7576 3971 413 48 0 7528 0
[pid=5791] vsize: 30304
Current children cumulated CPU time (s) 1205.57
Current children cumulated vsize (Kb) 32432

Sending SIGTERM to -5786
Sleeping 2 seconds
New process pid=5793
New process pid=5794
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/3987/stat
open syscall for file /proc/3987/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/3987/cmdline
open syscall for file /proc/3987/environ
open syscall for file /proc/4013/stat
open syscall for file /proc/4013/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/4013/cmdline
open syscall for file /proc/4013/environ
open syscall for file /proc/5747/stat
open syscall for file /proc/5747/status
open syscall for file /proc/5747/cmdline
open syscall for file /proc/5747/environ
open syscall for file /proc/5785/stat
open syscall for file /proc/5785/status
open syscall for file /proc/5785/cmdline
open syscall for file /proc/5785/environ
open syscall for file /proc/5786/stat
open syscall for file /proc/5786/status
open syscall for file /proc/5786/cmdline
open syscall for file /proc/5786/environ
open syscall for file /proc/5791/stat
open syscall for file /proc/5791/status
open syscall for file /proc/5791/cmdline
open syscall for file /proc/5791/environ
open syscall for file /proc/5793/stat
open syscall for file /proc/5793/status
open syscall for file /proc/5793/cmdline
open syscall for file /proc/5793/environ
open syscall for file /proc/5794/stat
open syscall for file /proc/5794/status
open syscall for file /proc/5794/cmdline
open syscall for file /proc/5794/environ
One traced child (pid=5793) exited with status: 0
One traced child (pid=5794) exited with status: 0
New process pid=5795
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=5795) exited with status: 0
New process pid=5796
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=5796) exited with status: 0
One traced child (pid=5786) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -5786
One traced child (pid=5791) 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): 1262.09
CPU time (s): 432.355
CPU user time (s): 420.745
CPU system time (s): 11.6102
CPU usage (%): 34.2571
Max. virtual memory (cumulated for all children) (Kb): 37556

Verifier Data

ERROR: no interpretation found !