Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-nsrand-ipx.opb
MD5SUM3c0f03289c4bde51025003af805c294c
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 21
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 2097151
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 2355200
Number of bits of the biggest number in a constraint 22
Biggest sum of numbers in a constraint 2939977599
Number of bits of the biggest sum of numbers32
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark101.672
Number of variables6641
Total number of constraints7355
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)6951
Number of constraints which are nor clauses,nor cardinality constraints404
Minimum length of a constraint1
Maximum length of a constraint6641

Trace number 9309

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        935708 kB
Buffers:         12680 kB
Cached:          67764 kB
SwapCached:          0 kB
Active:          46816 kB
Inactive:        36524 kB
HighTotal:      131008 kB
HighFree:        59360 kB
LowTotal:       903652 kB
LowFree:        876348 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:            10000 kB
Committed_AS:    63620 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 12:41:14 (client local time) WITH STATUS 3 IN 760.538 SECONDS
stats: 8028 7 760.538 3

Solver Data

1:
seed: 0
Nr of vars set: 550  (#equs: 0)
Nr of vars set: 727  (#equs: 0)
#decisions: 687679;  #end-nodes: 92015;
#proof improvement attempts: 0;  #restarts: 384
Current batch, end-nodes: 0 / 175 (175)
#axs: 722, #non-axs: 6
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: 731  (#equs: 0)
Time taken: 7 min, 27 sec

2:

Error: changing-setting file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options couldn't be opened.
No such file or directory

seed: 0
Nr of vars set: 731  (#equs: 0)
Nr of vars set: 731  (#equs: 0)
Interupt request received.
#decisions: 1360190;  #end-nodes: 182649;
#proof improvement attempts: 0;  #restarts: 470
Current batch, end-nodes: 1430 / 2297 (237)
#axs: 722, #non-axs: 201
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: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 5499  (#equs: 0)
Time taken: 12 min, 40 sec

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) R 5470 5471 4004 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20103251 712704 3 4294967295 134512640 135087896 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5471/statm): 174 3 169 147 0 27 0
[pid=5471] 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=5472
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=5472) exited with status: 0
New process pid=5473
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=5473) exited with status: 0
New process pid=5474
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-nsrand-ipx.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0024 s]
Raw data (loadavg): 0.93 0.98 0.99 1/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5471 5471 4004 0 -1 0 906 0 0 0 944 19 0 0 25 0 1 0 20103258 6307840 876 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1540 876 413 48 0 1492 0
[pid=5474] vsize: 6160
Current children cumulated CPU time (s) 9.64
Current children cumulated vsize (Kb) 8288

[startup+20.004 s]
Raw data (loadavg): 0.94 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5471 5471 4004 0 -1 0 942 0 0 0 1889 37 0 0 25 0 1 0 20103258 13778944 912 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5474/statm): 3364 912 413 48 0 3316 0
[pid=5474] vsize: 13456
Current children cumulated CPU time (s) 19.27
Current children cumulated vsize (Kb) 15584

[startup+30.0046 s]
Raw data (loadavg): 0.95 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1011 0 0 0 2833 55 0 0 25 0 1 0 20103258 13807616 981 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3371 981 413 48 0 3323 0
[pid=5474] vsize: 13484
Current children cumulated CPU time (s) 28.89
Current children cumulated vsize (Kb) 15612

[startup+40.0052 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1011 0 0 0 3767 78 0 0 25 0 1 0 20103258 13807616 981 4294967295 134512640 134702520 3221223952 3221222976 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3371 981 413 48 0 3323 0
[pid=5474] vsize: 13484
Current children cumulated CPU time (s) 38.46
Current children cumulated vsize (Kb) 15612

[startup+50.0058 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1342 0 0 0 4689 105 0 0 25 0 1 0 20103258 13807616 1312 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3371 1312 413 48 0 3323 0
[pid=5474] vsize: 13484
Current children cumulated CPU time (s) 47.95
Current children cumulated vsize (Kb) 15612

[startup+60.0064 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5471 5471 4004 0 -1 0 1587 0 0 0 5636 122 0 0 25 0 1 0 20103258 13807616 1557 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5474/statm): 3371 1557 413 48 0 3323 0
[pid=5474] vsize: 13484
Current children cumulated CPU time (s) 57.59
Current children cumulated vsize (Kb) 15612

[startup+70.008 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1587 0 0 0 6544 149 0 0 25 0 1 0 20103258 13807616 1557 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3371 1557 413 48 0 3323 0
[pid=5474] vsize: 13484
Current children cumulated CPU time (s) 66.94
Current children cumulated vsize (Kb) 15612

[startup+80.0086 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1587 0 0 0 7364 206 0 0 20 0 1 0 20103258 13807616 1557 4294967295 134512640 134702520 3221223952 3221223072 134578600 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5474/statm): 3371 1557 413 48 0 3323 0
[pid=5474] vsize: 13484
Current children cumulated CPU time (s) 75.71
Current children cumulated vsize (Kb) 15612

[startup+90.0092 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1775 0 0 0 8279 231 0 0 25 0 1 0 20103258 13807616 1745 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3371 1745 413 48 0 3323 0
[pid=5474] vsize: 13484
Current children cumulated CPU time (s) 85.11
Current children cumulated vsize (Kb) 15612

[startup+100.01 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1780 0 0 0 9215 252 0 0 25 0 1 0 20103258 13807616 1750 4294967295 134512640 134702520 3221223952 3221223072 134573057 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3371 1750 413 48 0 3323 0
[pid=5474] vsize: 13484
Current children cumulated CPU time (s) 94.68
Current children cumulated vsize (Kb) 15612

[startup+110.01 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1788 0 0 0 10157 272 0 0 25 0 1 0 20103258 13955072 1758 4294967295 134512640 134702520 3221223952 3221222848 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3407 1758 413 48 0 3359 0
[pid=5474] vsize: 13628
Current children cumulated CPU time (s) 104.3
Current children cumulated vsize (Kb) 15756

[startup+120.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1788 0 0 0 11102 291 0 0 25 0 1 0 20103258 13955072 1758 4294967295 134512640 134702520 3221223952 3221222848 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3407 1758 413 48 0 3359 0
[pid=5474] vsize: 13628
Current children cumulated CPU time (s) 113.94
Current children cumulated vsize (Kb) 15756

[startup+130.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1790 0 0 0 12031 316 0 0 25 0 1 0 20103258 13910016 1760 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3396 1760 413 48 0 3348 0
[pid=5474] vsize: 13584
Current children cumulated CPU time (s) 123.48
Current children cumulated vsize (Kb) 15712

[startup+140.013 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5471 5471 4004 0 -1 0 1790 0 0 0 12979 334 0 0 25 0 1 0 20103258 13910016 1760 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3396 1760 413 48 0 3348 0
[pid=5474] vsize: 13584
Current children cumulated CPU time (s) 133.14
Current children cumulated vsize (Kb) 15712

[startup+150.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1791 0 0 0 13895 362 0 0 25 0 1 0 20103258 13910016 1761 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3396 1761 413 48 0 3348 0
[pid=5474] vsize: 13584
Current children cumulated CPU time (s) 142.58
Current children cumulated vsize (Kb) 15712

[startup+160.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1794 0 0 0 14841 380 0 0 25 0 1 0 20103258 13910016 1764 4294967295 134512640 134702520 3221223952 3221223072 134573150 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3396 1764 413 48 0 3348 0
[pid=5474] vsize: 13584
Current children cumulated CPU time (s) 152.22
Current children cumulated vsize (Kb) 15712

[startup+170.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1797 0 0 0 15790 398 0 0 25 0 1 0 20103258 13910016 1767 4294967295 134512640 134702520 3221223952 3221222976 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3396 1767 413 48 0 3348 0
[pid=5474] vsize: 13584
Current children cumulated CPU time (s) 161.89
Current children cumulated vsize (Kb) 15712

[startup+180.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1799 0 0 0 16726 418 0 0 25 0 1 0 20103258 13910016 1769 4294967295 134512640 134702520 3221223952 3221222976 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3396 1769 413 48 0 3348 0
[pid=5474] vsize: 13584
Current children cumulated CPU time (s) 171.45
Current children cumulated vsize (Kb) 15712

[startup+190.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5471 5471 4004 0 -1 0 1802 0 0 0 17657 441 0 0 25 0 1 0 20103258 13910016 1772 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5474/statm): 3396 1772 413 48 0 3348 0
[pid=5474] vsize: 13584
Current children cumulated CPU time (s) 180.99
Current children cumulated vsize (Kb) 15712

[startup+200.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1805 0 0 0 18602 459 0 0 25 0 1 0 20103258 13910016 1775 4294967295 134512640 134702520 3221223952 3221222848 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3396 1775 413 48 0 3348 0
[pid=5474] vsize: 13584
Current children cumulated CPU time (s) 190.62
Current children cumulated vsize (Kb) 15712

[startup+210.018 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5471 5471 4004 0 -1 0 1807 0 0 0 19552 476 0 0 25 0 1 0 20103258 13910016 1777 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5474/statm): 3396 1777 413 48 0 3348 0
[pid=5474] vsize: 13584
Current children cumulated CPU time (s) 200.29
Current children cumulated vsize (Kb) 15712

[startup+220.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1809 0 0 0 20485 497 0 0 25 0 1 0 20103258 13910016 1779 4294967295 134512640 134702520 3221223952 3221223072 134578768 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5474/statm): 3396 1779 413 48 0 3348 0
[pid=5474] vsize: 13584
Current children cumulated CPU time (s) 209.83
Current children cumulated vsize (Kb) 15712

[startup+230.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1810 0 0 0 21424 517 0 0 25 0 1 0 20103258 13910016 1780 4294967295 134512640 134702520 3221223952 3221223072 134578768 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5474/statm): 3396 1780 413 48 0 3348 0
[pid=5474] vsize: 13584
Current children cumulated CPU time (s) 219.42
Current children cumulated vsize (Kb) 15712

[startup+240.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1811 0 0 0 22383 532 0 0 25 0 1 0 20103258 14020608 1781 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3423 1781 413 48 0 3375 0
[pid=5474] vsize: 13692
Current children cumulated CPU time (s) 229.16
Current children cumulated vsize (Kb) 15820

[startup+250.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1812 0 0 0 23328 549 0 0 25 0 1 0 20103258 14020608 1782 4294967295 134512640 134702520 3221223952 3221223072 134578768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3423 1782 413 48 0 3375 0
[pid=5474] vsize: 13692
Current children cumulated CPU time (s) 238.78
Current children cumulated vsize (Kb) 15820

[startup+260.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1815 0 0 0 24280 566 0 0 25 0 1 0 20103258 14020608 1785 4294967295 134512640 134702520 3221223952 3221223232 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3423 1785 413 48 0 3375 0
[pid=5474] vsize: 13692
Current children cumulated CPU time (s) 248.47
Current children cumulated vsize (Kb) 15820

[startup+270.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1839 0 0 0 25219 587 0 0 25 0 1 0 20103258 14020608 1809 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3423 1809 413 48 0 3375 0
[pid=5474] vsize: 13692
Current children cumulated CPU time (s) 258.07
Current children cumulated vsize (Kb) 15820

[startup+280.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1853 0 0 0 26172 602 0 0 25 0 1 0 20103258 14020608 1823 4294967295 134512640 134702520 3221223952 3221223280 134617866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3423 1823 413 48 0 3375 0
[pid=5474] vsize: 13692
Current children cumulated CPU time (s) 267.75
Current children cumulated vsize (Kb) 15820

[startup+290.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1858 0 0 0 27112 621 0 0 25 0 1 0 20103258 14020608 1828 4294967295 134512640 134702520 3221223952 3221222848 134550645 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3423 1828 413 48 0 3375 0
[pid=5474] vsize: 13692
Current children cumulated CPU time (s) 277.34
Current children cumulated vsize (Kb) 15820

[startup+300.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1859 0 0 0 28048 645 0 0 25 0 1 0 20103258 14020608 1829 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3423 1829 413 48 0 3375 0
[pid=5474] vsize: 13692
Current children cumulated CPU time (s) 286.94
Current children cumulated vsize (Kb) 15820

[startup+310.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1927 0 0 0 28992 664 0 0 25 0 1 0 20103258 14024704 1897 4294967295 134512640 134702520 3221223952 3221222976 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3424 1897 413 48 0 3376 0
[pid=5474] vsize: 13696
Current children cumulated CPU time (s) 296.57
Current children cumulated vsize (Kb) 15824

[startup+320.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1927 0 0 0 29896 697 0 0 25 0 1 0 20103258 14024704 1897 4294967295 134512640 134702520 3221223952 3221223072 134578611 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3424 1897 413 48 0 3376 0
[pid=5474] vsize: 13696
Current children cumulated CPU time (s) 305.94
Current children cumulated vsize (Kb) 15824

[startup+330.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1955 0 0 0 30839 716 0 0 25 0 1 0 20103258 14024704 1925 4294967295 134512640 134702520 3221223952 3221222976 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3424 1925 413 48 0 3376 0
[pid=5474] vsize: 13696
Current children cumulated CPU time (s) 315.56
Current children cumulated vsize (Kb) 15824

[startup+340.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1956 0 0 0 31790 732 0 0 25 0 1 0 20103258 14024704 1926 4294967295 134512640 134702520 3221223952 3221223232 134554414 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5474/statm): 3424 1926 413 48 0 3376 0
[pid=5474] vsize: 13696
Current children cumulated CPU time (s) 325.23
Current children cumulated vsize (Kb) 15824

[startup+350.028 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5471 5471 4004 0 -1 0 1960 0 0 0 32726 752 0 0 25 0 1 0 20103258 14024704 1930 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3424 1930 413 48 0 3376 0
[pid=5474] vsize: 13696
Current children cumulated CPU time (s) 334.79
Current children cumulated vsize (Kb) 15824

[startup+360.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 1962 0 0 0 33612 790 0 0 23 0 1 0 20103258 14024704 1932 4294967295 134512640 134702520 3221223952 3221223232 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3424 1932 413 48 0 3376 0
[pid=5474] vsize: 13696
Current children cumulated CPU time (s) 344.03
Current children cumulated vsize (Kb) 15824

[startup+370.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 2003 0 0 0 34465 838 0 0 25 0 1 0 20103258 14159872 1973 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3457 1973 413 48 0 3409 0
[pid=5474] vsize: 13828
Current children cumulated CPU time (s) 353.04
Current children cumulated vsize (Kb) 15956

[startup+380.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 2020 0 0 0 35420 854 0 0 25 0 1 0 20103258 14159872 1990 4294967295 134512640 134702520 3221223952 3221223072 134578768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3457 1990 413 48 0 3409 0
[pid=5474] vsize: 13828
Current children cumulated CPU time (s) 362.75
Current children cumulated vsize (Kb) 15956

[startup+390.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 2027 0 0 0 36366 872 0 0 25 0 1 0 20103258 14159872 1997 4294967295 134512640 134702520 3221223952 3221223072 134578758 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3457 1997 413 48 0 3409 0
[pid=5474] vsize: 13828
Current children cumulated CPU time (s) 372.39
Current children cumulated vsize (Kb) 15956

[startup+400.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 2132 0 0 0 37309 891 0 0 25 0 1 0 20103258 14159872 2102 4294967295 134512640 134702520 3221223952 3221223072 134578768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3457 2102 413 48 0 3409 0
[pid=5474] vsize: 13828
Current children cumulated CPU time (s) 382.01
Current children cumulated vsize (Kb) 15956

[startup+410.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 2138 0 0 0 38182 931 0 0 24 0 1 0 20103258 14159872 2108 4294967295 134512640 134702520 3221223952 3221223072 134578611 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3457 2108 413 48 0 3409 0
[pid=5474] vsize: 13828
Current children cumulated CPU time (s) 391.14
Current children cumulated vsize (Kb) 15956

[startup+420.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 2156 0 0 0 38960 1002 0 0 24 0 1 0 20103258 14159872 2126 4294967295 134512640 134702520 3221223952 3221223232 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3457 2126 413 48 0 3409 0
[pid=5474] vsize: 13828
Current children cumulated CPU time (s) 399.63
Current children cumulated vsize (Kb) 15956

[startup+430.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 2374 0 0 0 39926 1012 0 0 22 0 1 0 20103258 14295040 2344 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3490 2344 413 48 0 3442 0
[pid=5474] vsize: 13960
Current children cumulated CPU time (s) 409.39
Current children cumulated vsize (Kb) 16088

[startup+440.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 2382 0 0 0 40876 1029 0 0 25 0 1 0 20103258 14295040 2352 4294967295 134512640 134702520 3221223952 3221223072 134578750 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3490 2352 413 48 0 3442 0
[pid=5474] vsize: 13960
Current children cumulated CPU time (s) 419.06
Current children cumulated vsize (Kb) 16088

[startup+450.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5471 5471 4004 0 -1 0 2528 0 0 0 41786 1060 0 0 25 0 1 0 20103258 14295040 2498 4294967295 134512640 134702520 3221223952 3221223072 134578768 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5474/statm): 3490 2498 413 48 0 3442 0
[pid=5474] vsize: 13960
Current children cumulated CPU time (s) 428.47
Current children cumulated vsize (Kb) 16088

[startup+460.034 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5474
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20103251 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 242 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5471 5471 4004 0 -1 0 2656 0 0 0 42738 1076 0 0 17 0 1 0 20103258 14295040 2626 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 3490 2626 413 48 0 3442 0
[pid=5474] vsize: 13960
Current children cumulated CPU time (s) 438.15
Current children cumulated vsize (Kb) 16088
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=5474) exited with status: 2
New process pid=5475
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=5475) exited with status: 0
New process pid=5476
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

[startup+470.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 52 0 0 0 0 0 0 0 20 0 1 0 20150261 516096 37 4294967295 134512640 134702520 3221223712 3221221368 1073810900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 126 37 123 48 0 78 0
[pid=5476] vsize: 504
Current children cumulated CPU time (s) 447.77
Current children cumulated vsize (Kb) 2632
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+480.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 851 0 0 0 946 21 0 0 25 0 1 0 20150261 5488640 822 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 1340 822 413 48 0 1292 0
[pid=5476] vsize: 5360
Current children cumulated CPU time (s) 457.44
Current children cumulated vsize (Kb) 7488

[startup+490.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 965 0 0 0 1894 42 0 0 25 0 1 0 20150261 11395072 936 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2782 936 413 48 0 2734 0
[pid=5476] vsize: 11128
Current children cumulated CPU time (s) 467.13
Current children cumulated vsize (Kb) 13256

[startup+500.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 1061 0 0 0 2829 64 0 0 25 0 1 0 20150261 11399168 1032 4294967295 134512640 134702520 3221223712 3221222736 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2783 1032 413 48 0 2735 0
[pid=5476] vsize: 11132
Current children cumulated CPU time (s) 476.7
Current children cumulated vsize (Kb) 13260

[startup+510.04 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 1081 0 0 0 3770 82 0 0 24 0 1 0 20150261 11399168 1052 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2783 1052 413 48 0 2735 0
[pid=5476] vsize: 11132
Current children cumulated CPU time (s) 486.29
Current children cumulated vsize (Kb) 13260

[startup+520.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 1087 0 0 0 4654 123 0 0 19 0 1 0 20150261 11399168 1058 4294967295 134512640 134702520 3221223712 3221222992 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2783 1058 413 48 0 2735 0
[pid=5476] vsize: 11132
Current children cumulated CPU time (s) 495.54
Current children cumulated vsize (Kb) 13260

[startup+530.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 1093 0 0 0 5549 157 0 0 25 0 1 0 20150261 11542528 1064 4294967295 134512640 134702520 3221223712 3221222832 134578768 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 2818 1064 413 48 0 2770 0
[pid=5476] vsize: 11272
Current children cumulated CPU time (s) 504.83
Current children cumulated vsize (Kb) 13400

[startup+540.042 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 1098 0 0 0 6430 198 0 0 25 0 1 0 20150261 11542528 1069 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 2818 1069 413 48 0 2770 0
[pid=5476] vsize: 11272
Current children cumulated CPU time (s) 514.05
Current children cumulated vsize (Kb) 13400

[startup+550.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 1299 0 0 0 7377 215 0 0 25 0 1 0 20150261 11542528 1270 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2818 1270 413 48 0 2770 0
[pid=5476] vsize: 11272
Current children cumulated CPU time (s) 523.69
Current children cumulated vsize (Kb) 13400

[startup+560.044 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 1429 0 0 0 8332 232 0 0 25 0 1 0 20150261 11542528 1400 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 2818 1400 413 48 0 2770 0
[pid=5476] vsize: 11272
Current children cumulated CPU time (s) 533.41
Current children cumulated vsize (Kb) 13400

[startup+570.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 1461 0 0 0 9274 251 0 0 25 0 1 0 20150261 11542528 1432 4294967295 134512640 134702520 3221223712 3221222832 134578750 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2818 1432 413 48 0 2770 0
[pid=5476] vsize: 11272
Current children cumulated CPU time (s) 543.02
Current children cumulated vsize (Kb) 13400

[startup+580.045 s]
Raw data (loadavg): 1.07 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 1464 0 0 0 10216 271 0 0 25 0 1 0 20150261 11542528 1435 4294967295 134512640 134702520 3221223712 3221222736 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2818 1435 413 48 0 2770 0
[pid=5476] vsize: 11272
Current children cumulated CPU time (s) 552.64
Current children cumulated vsize (Kb) 13400

[startup+590.045 s]
Raw data (loadavg): 1.06 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 1468 0 0 0 11160 290 0 0 25 0 1 0 20150261 11542528 1439 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 2818 1439 413 48 0 2770 0
[pid=5476] vsize: 11272
Current children cumulated CPU time (s) 562.27
Current children cumulated vsize (Kb) 13400

[startup+600.046 s]
Raw data (loadavg): 1.05 1.00 1.00 1/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 1468 0 0 0 12004 341 0 0 19 0 1 0 20150261 11542528 1439 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 2818 1439 413 48 0 2770 0
[pid=5476] vsize: 11272
Current children cumulated CPU time (s) 571.22
Current children cumulated vsize (Kb) 13400

[startup+610.047 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 1478 0 0 0 12848 388 0 0 25 0 1 0 20150261 11542528 1449 4294967295 134512640 134702520 3221223712 3221222832 134578600 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2818 1449 413 48 0 2770 0
[pid=5476] vsize: 11272
Current children cumulated CPU time (s) 580.13
Current children cumulated vsize (Kb) 13400

[startup+620.047 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 1481 0 0 0 13809 401 0 0 25 0 1 0 20150261 11673600 1452 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 2850 1452 413 48 0 2802 0
[pid=5476] vsize: 11400
Current children cumulated CPU time (s) 589.87
Current children cumulated vsize (Kb) 13528

[startup+630.048 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 1484 0 0 0 14735 426 0 0 25 0 1 0 20150261 11673600 1455 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2850 1455 413 48 0 2802 0
[pid=5476] vsize: 11400
Current children cumulated CPU time (s) 599.38
Current children cumulated vsize (Kb) 13528

[startup+640.048 s]
Raw data (loadavg): 1.02 1.00 1.00 1/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 1545 0 0 0 15677 444 0 0 25 0 1 0 20150261 11673600 1516 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2850 1516 413 48 0 2802 0
[pid=5476] vsize: 11400
Current children cumulated CPU time (s) 608.98
Current children cumulated vsize (Kb) 13528

[startup+650.049 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 1549 0 0 0 16617 464 0 0 25 0 1 0 20150261 11673600 1520 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2850 1520 413 48 0 2802 0
[pid=5476] vsize: 11400
Current children cumulated CPU time (s) 618.58
Current children cumulated vsize (Kb) 13528

[startup+660.05 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 1553 0 0 0 17574 476 0 0 25 0 1 0 20150261 11673600 1524 4294967295 134512640 134702520 3221223712 3221222832 134578600 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2850 1524 413 48 0 2802 0
[pid=5476] vsize: 11400
Current children cumulated CPU time (s) 628.27
Current children cumulated vsize (Kb) 13528

[startup+670.051 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 1556 0 0 0 18525 493 0 0 25 0 1 0 20150261 11673600 1527 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 2850 1527 413 48 0 2802 0
[pid=5476] vsize: 11400
Current children cumulated CPU time (s) 637.95
Current children cumulated vsize (Kb) 13528

[startup+680.052 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 1561 0 0 0 19452 515 0 0 25 0 1 0 20150261 11673600 1532 4294967295 134512640 134702520 3221223712 3221222832 134578600 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 2850 1532 413 48 0 2802 0
[pid=5476] vsize: 11400
Current children cumulated CPU time (s) 647.44
Current children cumulated vsize (Kb) 13528

[startup+690.051 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 1563 0 0 0 20378 541 0 0 25 0 1 0 20150261 11673600 1534 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 2850 1534 413 48 0 2802 0
[pid=5476] vsize: 11400
Current children cumulated CPU time (s) 656.96
Current children cumulated vsize (Kb) 13528

[startup+700.052 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 1566 0 0 0 21322 560 0 0 25 0 1 0 20150261 11673600 1537 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2850 1537 413 48 0 2802 0
[pid=5476] vsize: 11400
Current children cumulated CPU time (s) 666.59
Current children cumulated vsize (Kb) 13528

[startup+710.053 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 1568 0 0 0 22260 580 0 0 23 0 1 0 20150261 11673600 1539 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2850 1539 413 48 0 2802 0
[pid=5476] vsize: 11400
Current children cumulated CPU time (s) 676.17
Current children cumulated vsize (Kb) 13528

[startup+720.053 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 1713 0 0 0 23203 599 0 0 25 0 1 0 20150261 11808768 1684 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2883 1684 413 48 0 2835 0
[pid=5476] vsize: 11532
Current children cumulated CPU time (s) 685.79
Current children cumulated vsize (Kb) 13660

[startup+730.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 1717 0 0 0 24146 621 0 0 25 0 1 0 20150261 11808768 1688 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2883 1688 413 48 0 2835 0
[pid=5476] vsize: 11532
Current children cumulated CPU time (s) 695.44
Current children cumulated vsize (Kb) 13660

[startup+740.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 1976 0 0 0 25106 636 0 0 25 0 1 0 20150261 11808768 1947 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2883 1947 413 48 0 2835 0
[pid=5476] vsize: 11532
Current children cumulated CPU time (s) 705.19
Current children cumulated vsize (Kb) 13660

[startup+750.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2135 0 0 0 26043 656 0 0 25 0 1 0 20150261 11808768 2106 4294967295 134512640 134702520 3221223712 3221222832 134578768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2883 2106 413 48 0 2835 0
[pid=5476] vsize: 11532
Current children cumulated CPU time (s) 714.76
Current children cumulated vsize (Kb) 13660

[startup+760.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2296 0 0 0 27004 669 0 0 25 0 1 0 20150261 11808768 2267 4294967295 134512640 134702520 3221223712 3221222832 134588528 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2883 2267 413 48 0 2835 0
[pid=5476] vsize: 11532
Current children cumulated CPU time (s) 724.5
Current children cumulated vsize (Kb) 13660

[startup+770.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2363 0 0 0 27929 696 0 0 25 0 1 0 20150261 11808768 2334 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 2883 2334 413 48 0 2835 0
[pid=5476] vsize: 11532
Current children cumulated CPU time (s) 734.02
Current children cumulated vsize (Kb) 13660

[startup+780.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2395 0 0 0 28873 713 0 0 25 0 1 0 20150261 11808768 2366 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2883 2366 413 48 0 2835 0
[pid=5476] vsize: 11532
Current children cumulated CPU time (s) 743.63
Current children cumulated vsize (Kb) 13660

[startup+790.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2396 0 0 0 29845 722 0 0 25 0 1 0 20150261 11808768 2367 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2883 2367 413 48 0 2835 0
[pid=5476] vsize: 11532
Current children cumulated CPU time (s) 753.44
Current children cumulated vsize (Kb) 13660

[startup+800.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2497 0 0 0 30780 742 0 0 23 0 1 0 20150261 11808768 2468 4294967295 134512640 134702520 3221223712 3221222832 134578750 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 2883 2468 413 48 0 2835 0
[pid=5476] vsize: 11532
Current children cumulated CPU time (s) 762.99
Current children cumulated vsize (Kb) 13660

[startup+810.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2617 0 0 0 31534 822 0 0 23 0 1 0 20150261 11808768 2588 4294967295 134512640 134702520 3221223712 3221222832 134578768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 2883 2588 413 48 0 2835 0
[pid=5476] vsize: 11532
Current children cumulated CPU time (s) 771.33
Current children cumulated vsize (Kb) 13660

[startup+820.057 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 2627 0 0 0 32402 864 0 0 25 0 1 0 20150261 11943936 2598 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 2916 2598 413 48 0 2868 0
[pid=5476] vsize: 11664
Current children cumulated CPU time (s) 780.43
Current children cumulated vsize (Kb) 13792

[startup+830.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2640 0 0 0 33304 896 0 0 25 0 1 0 20150261 12754944 2611 4294967295 134512640 134702520 3221223712 3221222832 134578611 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3114 2611 413 48 0 3066 0
[pid=5476] vsize: 12456
Current children cumulated CPU time (s) 789.77
Current children cumulated vsize (Kb) 14584

[startup+840.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2659 0 0 0 34251 913 0 0 25 0 1 0 20150261 12754944 2630 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3114 2630 413 48 0 3066 0
[pid=5476] vsize: 12456
Current children cumulated CPU time (s) 799.41
Current children cumulated vsize (Kb) 14584

[startup+850.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2676 0 0 0 35178 935 0 0 25 0 1 0 20150261 12754944 2647 4294967295 134512640 134702520 3221223712 3221222832 134572622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 3114 2647 413 48 0 3066 0
[pid=5476] vsize: 12456
Current children cumulated CPU time (s) 808.9
Current children cumulated vsize (Kb) 14584

[startup+860.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 2679 0 0 0 36103 961 0 0 25 0 1 0 20150261 12754944 2650 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 3114 2650 413 48 0 3066 0
[pid=5476] vsize: 12456
Current children cumulated CPU time (s) 818.41
Current children cumulated vsize (Kb) 14584

[startup+870.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2681 0 0 0 37017 989 0 0 25 0 1 0 20150261 12754944 2652 4294967295 134512640 134702520 3221223712 3221222992 134557259 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3114 2652 413 48 0 3066 0
[pid=5476] vsize: 12456
Current children cumulated CPU time (s) 827.83
Current children cumulated vsize (Kb) 14584

[startup+880.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2685 0 0 0 37945 1015 0 0 25 0 1 0 20150261 12754944 2656 4294967295 134512640 134702520 3221223712 3221222832 134578750 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3114 2656 413 48 0 3066 0
[pid=5476] vsize: 12456
Current children cumulated CPU time (s) 837.37
Current children cumulated vsize (Kb) 14584

[startup+890.062 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 2688 0 0 0 38879 1037 0 0 25 0 1 0 20150261 12894208 2659 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3148 2659 413 48 0 3100 0
[pid=5476] vsize: 12592
Current children cumulated CPU time (s) 846.93
Current children cumulated vsize (Kb) 14720

[startup+900.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2692 0 0 0 39820 1057 0 0 25 0 1 0 20150261 12894208 2663 4294967295 134512640 134702520 3221223712 3221222832 134578750 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 3148 2663 413 48 0 3100 0
[pid=5476] vsize: 12592
Current children cumulated CPU time (s) 856.54
Current children cumulated vsize (Kb) 14720

[startup+910.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2697 0 0 0 40762 1078 0 0 25 0 1 0 20150261 12894208 2668 4294967295 134512640 134702520 3221223712 3221222608 134553384 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3148 2668 413 48 0 3100 0
[pid=5476] vsize: 12592
Current children cumulated CPU time (s) 866.17
Current children cumulated vsize (Kb) 14720

[startup+920.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2697 0 0 0 41712 1095 0 0 25 0 1 0 20150261 12894208 2668 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 3148 2668 413 48 0 3100 0
[pid=5476] vsize: 12592
Current children cumulated CPU time (s) 875.84
Current children cumulated vsize (Kb) 14720

[startup+930.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2697 0 0 0 42657 1113 0 0 25 0 1 0 20150261 12894208 2668 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3148 2668 413 48 0 3100 0
[pid=5476] vsize: 12592
Current children cumulated CPU time (s) 885.47
Current children cumulated vsize (Kb) 14720

[startup+940.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2699 0 0 0 43575 1142 0 0 25 0 1 0 20150261 12894208 2670 4294967295 134512640 134702520 3221223712 3221222992 134553372 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 3148 2670 413 48 0 3100 0
[pid=5476] vsize: 12592
Current children cumulated CPU time (s) 894.94
Current children cumulated vsize (Kb) 14720

[startup+950.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2703 0 0 0 44533 1156 0 0 25 0 1 0 20150261 12894208 2674 4294967295 134512640 134702520 3221223712 3221222832 134578600 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3148 2674 413 48 0 3100 0
[pid=5476] vsize: 12592
Current children cumulated CPU time (s) 904.66
Current children cumulated vsize (Kb) 14720

[startup+960.066 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 2706 0 0 0 45411 1197 0 0 22 0 1 0 20150261 12894208 2677 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 3148 2677 413 48 0 3100 0
[pid=5476] vsize: 12592
Current children cumulated CPU time (s) 913.85
Current children cumulated vsize (Kb) 14720

[startup+970.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2710 0 0 0 46340 1222 0 0 25 0 1 0 20150261 12894208 2681 4294967295 134512640 134702520 3221223712 3221222832 134578768 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 3148 2681 413 48 0 3100 0
[pid=5476] vsize: 12592
Current children cumulated CPU time (s) 923.39
Current children cumulated vsize (Kb) 14720

[startup+980.067 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 2715 0 0 0 47251 1250 0 0 24 0 1 0 20150261 12894208 2686 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3148 2686 413 48 0 3100 0
[pid=5476] vsize: 12592
Current children cumulated CPU time (s) 932.78
Current children cumulated vsize (Kb) 14720

[startup+990.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2719 0 0 0 48175 1274 0 0 25 0 1 0 20150261 12894208 2690 4294967295 134512640 134702520 3221223712 3221222736 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3148 2690 413 48 0 3100 0
[pid=5476] vsize: 12592
Current children cumulated CPU time (s) 942.26
Current children cumulated vsize (Kb) 14720

[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2721 0 0 0 49130 1287 0 0 25 0 1 0 20150261 12894208 2692 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3148 2692 413 48 0 3100 0
[pid=5476] vsize: 12592
Current children cumulated CPU time (s) 951.94
Current children cumulated vsize (Kb) 14720

[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2723 0 0 0 50070 1307 0 0 25 0 1 0 20150261 12894208 2694 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3148 2694 413 48 0 3100 0
[pid=5476] vsize: 12592
Current children cumulated CPU time (s) 961.54
Current children cumulated vsize (Kb) 14720

[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2727 0 0 0 51013 1326 0 0 25 0 1 0 20150261 13029376 2698 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3181 2698 413 48 0 3133 0
[pid=5476] vsize: 12724
Current children cumulated CPU time (s) 971.16
Current children cumulated vsize (Kb) 14852

[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2729 0 0 0 51953 1346 0 0 25 0 1 0 20150261 13029376 2700 4294967295 134512640 134702520 3221223712 3221222832 134572157 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3181 2700 413 48 0 3133 0
[pid=5476] vsize: 12724
Current children cumulated CPU time (s) 980.76
Current children cumulated vsize (Kb) 14852

[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2731 0 0 0 52896 1365 0 0 25 0 1 0 20150261 13029376 2702 4294967295 134512640 134702520 3221223712 3221222736 134553342 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 3181 2702 413 48 0 3133 0
[pid=5476] vsize: 12724
Current children cumulated CPU time (s) 990.38
Current children cumulated vsize (Kb) 14852

[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 2735 0 0 0 53842 1382 0 0 25 0 1 0 20150261 13029376 2706 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5476/statm): 3181 2706 413 48 0 3133 0
[pid=5476] vsize: 12724
Current children cumulated CPU time (s) 1000.01
Current children cumulated vsize (Kb) 14852

[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2735 0 0 0 54784 1401 0 0 25 0 1 0 20150261 13029376 2706 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3181 2706 413 48 0 3133 0
[pid=5476] vsize: 12724
Current children cumulated CPU time (s) 1009.62
Current children cumulated vsize (Kb) 14852

[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2735 0 0 0 55732 1418 0 0 25 0 1 0 20150261 13029376 2706 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3181 2706 413 48 0 3133 0
[pid=5476] vsize: 12724
Current children cumulated CPU time (s) 1019.27
Current children cumulated vsize (Kb) 14852

[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2738 0 0 0 56649 1443 0 0 25 0 1 0 20150261 13029376 2709 4294967295 134512640 134702520 3221223712 3221222832 134578768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3181 2709 413 48 0 3133 0
[pid=5476] vsize: 12724
Current children cumulated CPU time (s) 1028.69
Current children cumulated vsize (Kb) 14852

[startup+1090.07 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 2778 0 0 0 57462 1501 0 0 19 0 1 0 20150261 13029376 2749 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3181 2749 413 48 0 3133 0
[pid=5476] vsize: 12724
Current children cumulated CPU time (s) 1037.4
Current children cumulated vsize (Kb) 14852

[startup+1100.07 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 2858 0 0 0 58305 1555 0 0 25 0 1 0 20150261 13029376 2829 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3181 2829 413 48 0 3133 0
[pid=5476] vsize: 12724
Current children cumulated CPU time (s) 1046.37
Current children cumulated vsize (Kb) 14852

[startup+1110.07 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2866 0 0 0 59182 1594 0 0 25 0 1 0 20150261 13029376 2837 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3181 2837 413 48 0 3133 0
[pid=5476] vsize: 12724
Current children cumulated CPU time (s) 1055.53
Current children cumulated vsize (Kb) 14852

[startup+1120.08 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2870 0 0 0 60040 1641 0 0 25 0 1 0 20150261 13164544 2841 4294967295 134512640 134702520 3221223712 3221222992 134552991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3214 2841 413 48 0 3166 0
[pid=5476] vsize: 12856
Current children cumulated CPU time (s) 1064.58
Current children cumulated vsize (Kb) 14984

[startup+1130.08 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2873 0 0 0 60938 1672 0 0 25 0 1 0 20150261 13164544 2844 4294967295 134512640 134702520 3221223712 3221222832 134578750 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 3214 2844 413 48 0 3166 0
[pid=5476] vsize: 12856
Current children cumulated CPU time (s) 1073.87
Current children cumulated vsize (Kb) 14984

[startup+1140.08 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2913 0 0 0 61832 1707 0 0 25 0 1 0 20150261 13164544 2884 4294967295 134512640 134702520 3221223712 3221222832 134578768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3214 2884 413 48 0 3166 0
[pid=5476] vsize: 12856
Current children cumulated CPU time (s) 1083.16
Current children cumulated vsize (Kb) 14984

[startup+1150.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2948 0 0 0 62800 1719 0 0 25 0 1 0 20150261 13975552 2919 4294967295 134512640 134702520 3221223712 3221222832 134578768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3412 2919 413 48 0 3364 0
[pid=5476] vsize: 13648
Current children cumulated CPU time (s) 1092.96
Current children cumulated vsize (Kb) 15776

[startup+1160.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2973 0 0 0 63749 1735 0 0 25 0 1 0 20150261 13975552 2944 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3412 2944 413 48 0 3364 0
[pid=5476] vsize: 13648
Current children cumulated CPU time (s) 1102.61
Current children cumulated vsize (Kb) 15776

[startup+1170.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2975 0 0 0 64708 1748 0 0 25 0 1 0 20150261 13975552 2946 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3412 2946 413 48 0 3364 0
[pid=5476] vsize: 13648
Current children cumulated CPU time (s) 1112.33
Current children cumulated vsize (Kb) 15776

[startup+1180.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2976 0 0 0 65667 1760 0 0 25 0 1 0 20150261 13975552 2947 4294967295 134512640 134702520 3221223712 3221196928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3412 2947 413 48 0 3364 0
[pid=5476] vsize: 13648
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (Kb) 15776

[startup+1190.08 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 2978 0 0 0 66602 1779 0 0 25 0 1 0 20150261 13975552 2949 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3412 2949 413 48 0 3364 0
[pid=5476] vsize: 13648
Current children cumulated CPU time (s) 1131.58
Current children cumulated vsize (Kb) 15776

[startup+1200.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2981 0 0 0 67529 1807 0 0 25 0 1 0 20150261 13975552 2952 4294967295 134512640 134702520 3221223712 3221222832 134578768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3412 2952 413 48 0 3364 0
[pid=5476] vsize: 13648
Current children cumulated CPU time (s) 1141.13
Current children cumulated vsize (Kb) 15776

[startup+1210.08 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 2982 0 0 0 68486 1823 0 0 25 0 1 0 20150261 14110720 2953 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3445 2953 413 48 0 3397 0
[pid=5476] vsize: 13780
Current children cumulated CPU time (s) 1150.86
Current children cumulated vsize (Kb) 15908

[startup+1220.08 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) T 5471 5471 4004 0 -1 0 2984 0 0 0 69418 1846 0 0 24 0 1 0 20150261 14110720 2955 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3445 2955 413 48 0 3397 0
[pid=5476] vsize: 13780
Current children cumulated CPU time (s) 1160.41
Current children cumulated vsize (Kb) 15908

[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2987 0 0 0 70356 1866 0 0 25 0 1 0 20150261 14110720 2958 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3445 2958 413 48 0 3397 0
[pid=5476] vsize: 13780
Current children cumulated CPU time (s) 1169.99
Current children cumulated vsize (Kb) 15908

[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2988 0 0 0 71255 1898 0 0 25 0 1 0 20150261 14110720 2959 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3445 2959 413 48 0 3397 0
[pid=5476] vsize: 13780
Current children cumulated CPU time (s) 1179.3
Current children cumulated vsize (Kb) 15908

[startup+1250.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2990 0 0 0 72123 1940 0 0 24 0 1 0 20150261 14110720 2961 4294967295 134512640 134702520 3221223712 3221222832 134578600 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3445 2961 413 48 0 3397 0
[pid=5476] vsize: 13780
Current children cumulated CPU time (s) 1188.4
Current children cumulated vsize (Kb) 15908

[startup+1260.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2991 0 0 0 73068 1959 0 0 25 0 1 0 20150261 14110720 2962 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5476/statm): 3445 2962 413 48 0 3397 0
[pid=5476] vsize: 13780
Current children cumulated CPU time (s) 1198.04
Current children cumulated vsize (Kb) 15908

[startup+1270.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2992 0 0 0 74027 1974 0 0 25 0 1 0 20150261 14110720 2963 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 3445 2963 413 48 0 3397 0
[pid=5476] vsize: 13780
Current children cumulated CPU time (s) 1207.78
Current children cumulated vsize (Kb) 15908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1270.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5476
Raw data (/proc/5471/stat): 5471 (vallstSAT2005PB) S 5470 5471 4004 0 -1 0 378 3031 0 0 1 1 43677 1098 19 0 1 0 20103251 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5471/statm): 532 248 485 147 0 385 0
[pid=5471] vsize: 2128
Raw data (/proc/5476/stat): 5476 (vallst) R 5471 5471 4004 0 -1 0 2992 0 0 0 74027 1974 0 0 25 0 1 0 20150261 14110720 2963 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5476/statm): 3445 2963 413 48 0 3397 0
[pid=5476] vsize: 13780
Current children cumulated CPU time (s) 1207.78
Current children cumulated vsize (Kb) 15908

Sending SIGTERM to -5471
Sleeping 2 seconds
New process pid=5478
New process pid=5479
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1451/stat
open syscall for file /proc/1451/status
open syscall for file /proc/1451/cmdline
open syscall for file /proc/1451/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/3986/stat
open syscall for file /proc/3986/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/3986/cmdline
open syscall for file /proc/3986/environ
open syscall for file /proc/4012/stat
open syscall for file /proc/4012/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4012/cmdline
open syscall for file /proc/4012/environ
open syscall for file /proc/5432/stat
open syscall for file /proc/5432/status
open syscall for file /proc/5432/cmdline
open syscall for file /proc/5432/environ
open syscall for file /proc/5470/stat
open syscall for file /proc/5470/status
open syscall for file /proc/5470/cmdline
open syscall for file /proc/5470/environ
open syscall for file /proc/5471/stat
open syscall for file /proc/5471/status
open syscall for file /proc/5471/cmdline
open syscall for file /proc/5471/environ
open syscall for file /proc/5476/stat
open syscall for file /proc/5476/status
open syscall for file /proc/5476/cmdline
open syscall for file /proc/5476/environ
open syscall for file /proc/5478/stat
open syscall for file /proc/5478/status
open syscall for file /proc/5478/cmdline
open syscall for file /proc/5478/environ
open syscall for file /proc/5479/stat
open syscall for file /proc/5479/status
open syscall for file /proc/5479/cmdline
open syscall for file /proc/5479/environ
One traced child (pid=5478) exited with status: 0
One traced child (pid=5479) exited with status: 0
New process pid=5480
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=5480) exited with status: 0
New process pid=5481
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=5481) exited with status: 0
One traced child (pid=5471) ended because it received signal 15 (SIGTERM)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5476) exited with status: 3
All traced children have exited ! Game is over.

Child status: 3
Real time (s): 1270.63
CPU time (s): 760.538
CPU user time (s): 740.746
CPU system time (s): 19.792
CPU usage (%): 59.855
Max. virtual memory (cumulated for all children) (Kb): 16088

Verifier Data

ERROR: no interpretation found !