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/miplib/normalized-mps-v2-13-7-khb05250.opb
MD5SUM16cce9479fbccbb902b090a1fce13788
Bench Categoryoptimization, big integers (OPTBIGINT)
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 25004
Biggest coefficient in the objective function 6104809472
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 5527422840150
Number of bits of the sum of numbers in the objective function 43
Biggest number in a constraint 6104809472
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 5527422840150
Number of bits of the biggest sum of numbers43
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.278957
Number of variables25544
Total number of constraints126
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)24
Number of constraints which are nor clauses,nor cardinality constraints102
Minimum length of a constraint1
Maximum length of a constraint1020

Trace number 9212

Launcher Data

LAUNCH ON wulflinc24 THE 2005-09-23 11:28:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7930 boxname=wulflinc24 idbench=898 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  16cce9479fbccbb902b090a1fce13788  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-khb05250.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-khb05250.opb 0
IDLAUNCH: 7930
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.047
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.047
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        912552 kB
Buffers:         13100 kB
Cached:          89988 kB
SwapCached:          0 kB
Active:          67000 kB
Inactive:        38924 kB
HighTotal:      131008 kB
HighFree:        38780 kB
LowTotal:       903652 kB
LowFree:        873772 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6972 kB
Slab:            10616 kB
Committed_AS:    63620 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 11:48:41 (client local time) WITH STATUS 0 IN 759.569 SECONDS
stats: 7930 7 759.569 0

Solver Data

1:
seed: 0
Nr of vars set: 4375  (#equs: 0)
Nr of vars set: 4375  (#equs: 0)
#decisions: 233517;  #end-nodes: 19958;
#proof improvement attempts: 0;  #restarts: 192
Current batch, end-nodes: 0 / 127 (127)
#axs: 178, #non-axs: 2
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: 4375  (#equs: 0)
Time taken: 7 min, 23 sec

2:

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) R 4970 4971 4059 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19823832 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4971/statm): 174 3 169 147 0 27 0
[pid=4971] 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=4972
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=4972) exited with status: 0
New process pid=4973
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=4973) exited with status: 0
New process pid=4974
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/wulflinc24/normalized-mps-v2-13-7-khb05250.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 1770 0 0 0 977 9 0 0 25 0 1 0 19823840 8708096 1674 4294967295 134512640 134702520 3221223952 3220872928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4974/statm): 2126 1674 413 48 0 2078 0
[pid=4974] vsize: 8504
Current children cumulated CPU time (s) 9.88
Current children cumulated vsize (Kb) 10632

[startup+20.0039 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) T 4971 4971 4059 0 -1 0 1857 0 0 0 1865 47 0 0 25 0 1 0 19823840 9056256 1761 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4974/statm): 2211 1761 413 48 0 2163 0
[pid=4974] vsize: 8844
Current children cumulated CPU time (s) 19.14
Current children cumulated vsize (Kb) 10972

[startup+30.0056 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2142 0 0 0 2784 74 0 0 25 0 1 0 19823840 14553088 2046 4294967295 134512640 134702520 3221223952 3220972208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4974/statm): 3553 2046 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 28.6
Current children cumulated vsize (Kb) 16340

[startup+40.0063 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) T 4971 4971 4059 0 -1 0 2142 0 0 0 3748 85 0 0 21 0 1 0 19823840 14553088 2046 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4974/statm): 3553 2046 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 38.35
Current children cumulated vsize (Kb) 16340

[startup+50.0069 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2148 0 0 0 4697 100 0 0 22 0 1 0 19823840 14553088 2052 4294967295 134512640 134702520 3221223952 3221223436 134608157 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4974/statm): 3553 2052 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 47.99
Current children cumulated vsize (Kb) 16340

[startup+60.0076 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2148 0 0 0 5679 106 0 0 25 0 1 0 19823840 14553088 2052 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4974/statm): 3553 2052 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 57.87
Current children cumulated vsize (Kb) 16340

[startup+70.0083 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2148 0 0 0 6626 124 0 0 25 0 1 0 19823840 14553088 2052 4294967295 134512640 134702520 3221223952 3221181808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4974/statm): 3553 2052 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 67.52
Current children cumulated vsize (Kb) 16340

[startup+80.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2155 0 0 0 7560 145 0 0 24 0 1 0 19823840 14553088 2059 4294967295 134512640 134702520 3221223952 3221202288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4974/statm): 3553 2059 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 77.07
Current children cumulated vsize (Kb) 16340

[startup+90.0107 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) T 4971 4971 4059 0 -1 0 2179 0 0 0 8502 163 0 0 21 0 1 0 19823840 14553088 2083 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4974/statm): 3553 2083 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 86.67
Current children cumulated vsize (Kb) 16340

[startup+100.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2179 0 0 0 9475 172 0 0 25 0 1 0 19823840 14553088 2083 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4974/statm): 3553 2083 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 96.49
Current children cumulated vsize (Kb) 16340

[startup+110.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2179 0 0 0 10466 175 0 0 25 0 1 0 19823840 14553088 2083 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4974/statm): 3553 2083 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 106.43
Current children cumulated vsize (Kb) 16340

[startup+120.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2179 0 0 0 11466 175 0 0 25 0 1 0 19823840 14553088 2083 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4974/statm): 3553 2083 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 116.43
Current children cumulated vsize (Kb) 16340

[startup+130.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2180 0 0 0 12464 176 0 0 25 0 1 0 19823840 14553088 2084 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4974/statm): 3553 2084 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 126.42
Current children cumulated vsize (Kb) 16340

[startup+140.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2180 0 0 0 13462 176 0 0 25 0 1 0 19823840 14553088 2084 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4974/statm): 3553 2084 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 136.4
Current children cumulated vsize (Kb) 16340

[startup+150.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2180 0 0 0 14442 183 0 0 25 0 1 0 19823840 14553088 2084 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4974/statm): 3553 2084 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 146.27
Current children cumulated vsize (Kb) 16340

[startup+160.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2180 0 0 0 15423 188 0 0 21 0 1 0 19823840 14553088 2084 4294967295 134512640 134702520 3221223952 3221223448 134603229 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4974/statm): 3553 2084 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 156.13
Current children cumulated vsize (Kb) 16340

[startup+170.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2180 0 0 0 16366 208 0 0 19 0 1 0 19823840 14553088 2084 4294967295 134512640 134702520 3221223952 3221222976 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4974/statm): 3553 2084 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 165.76
Current children cumulated vsize (Kb) 16340

[startup+180.017 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) T 4971 4971 4059 0 -1 0 2204 0 0 0 17215 259 0 0 20 0 1 0 19823840 14553088 2108 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4974/statm): 3553 2108 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 174.76
Current children cumulated vsize (Kb) 16340

[startup+190.019 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) T 4971 4971 4059 0 -1 0 2204 0 0 0 18164 276 0 0 21 0 1 0 19823840 14553088 2108 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4974/statm): 3553 2108 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 184.42
Current children cumulated vsize (Kb) 16340

[startup+200.019 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) T 4971 4971 4059 0 -1 0 2204 0 0 0 19124 288 0 0 25 0 1 0 19823840 14553088 2108 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4974/statm): 3553 2108 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 194.14
Current children cumulated vsize (Kb) 16340

[startup+210.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2229 0 0 0 20058 310 0 0 25 0 1 0 19823840 14553088 2133 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4974/statm): 3553 2133 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 203.7
Current children cumulated vsize (Kb) 16340

[startup+220.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2229 0 0 0 21058 310 0 0 25 0 1 0 19823840 14553088 2133 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4974/statm): 3553 2133 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 213.7
Current children cumulated vsize (Kb) 16340

[startup+230.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2229 0 0 0 22039 316 0 0 25 0 1 0 19823840 14553088 2133 4294967295 134512640 134702520 3221223952 3220719708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4974/statm): 3553 2133 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 223.57
Current children cumulated vsize (Kb) 16340

[startup+240.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2229 0 0 0 23006 325 0 0 25 0 1 0 19823840 14553088 2133 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4974/statm): 3553 2133 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 233.33
Current children cumulated vsize (Kb) 16340

[startup+250.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2230 0 0 0 23947 346 0 0 25 0 1 0 19823840 14553088 2134 4294967295 134512640 134702520 3221223952 3221025148 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4974/statm): 3553 2134 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 242.95
Current children cumulated vsize (Kb) 16340

[startup+260.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2230 0 0 0 24900 361 0 0 21 0 1 0 19823840 14553088 2134 4294967295 134512640 134702520 3221223952 3221223232 134550667 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4974/statm): 3553 2134 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 252.63
Current children cumulated vsize (Kb) 16340

[startup+270.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2279 0 0 0 25867 374 0 0 24 0 1 0 19823840 14553088 2183 4294967295 134512640 134702520 3221223952 3221223352 134607278 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4974/statm): 3553 2183 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 262.43
Current children cumulated vsize (Kb) 16340

[startup+280.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2279 0 0 0 26828 387 0 0 25 0 1 0 19823840 14553088 2183 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4974/statm): 3553 2183 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 272.17
Current children cumulated vsize (Kb) 16340

[startup+290.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2279 0 0 0 27828 388 0 0 25 0 1 0 19823840 14553088 2183 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4974/statm): 3553 2183 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (Kb) 16340

[startup+300.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2279 0 0 0 28828 388 0 0 25 0 1 0 19823840 14553088 2183 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4974/statm): 3553 2183 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 292.18
Current children cumulated vsize (Kb) 16340

[startup+310.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2279 0 0 0 29828 388 0 0 25 0 1 0 19823840 14553088 2183 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4974/statm): 3553 2183 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 302.18
Current children cumulated vsize (Kb) 16340

[startup+320.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2279 0 0 0 30828 388 0 0 25 0 1 0 19823840 14553088 2183 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4974/statm): 3553 2183 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 312.18
Current children cumulated vsize (Kb) 16340

[startup+330.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2279 0 0 0 31828 388 0 0 25 0 1 0 19823840 14553088 2183 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4974/statm): 3553 2183 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 322.18
Current children cumulated vsize (Kb) 16340

[startup+340.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2279 0 0 0 32828 388 0 0 25 0 1 0 19823840 14553088 2183 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4974/statm): 3553 2183 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 332.18
Current children cumulated vsize (Kb) 16340

[startup+350.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2279 0 0 0 33828 388 0 0 25 0 1 0 19823840 14553088 2183 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4974/statm): 3553 2183 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (Kb) 16340

[startup+360.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2279 0 0 0 34828 388 0 0 25 0 1 0 19823840 14553088 2183 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4974/statm): 3553 2183 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 352.18
Current children cumulated vsize (Kb) 16340

[startup+370.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2279 0 0 0 35828 388 0 0 25 0 1 0 19823840 14553088 2183 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4974/statm): 3553 2183 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 362.18
Current children cumulated vsize (Kb) 16340

[startup+380.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2279 0 0 0 36829 388 0 0 25 0 1 0 19823840 14553088 2183 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4974/statm): 3553 2183 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 372.19
Current children cumulated vsize (Kb) 16340

[startup+390.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2279 0 0 0 37829 388 0 0 25 0 1 0 19823840 14553088 2183 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4974/statm): 3553 2183 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 382.19
Current children cumulated vsize (Kb) 16340

[startup+400.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2279 0 0 0 38829 388 0 0 25 0 1 0 19823840 14553088 2183 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4974/statm): 3553 2183 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 392.19
Current children cumulated vsize (Kb) 16340

[startup+410.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2279 0 0 0 39829 388 0 0 25 0 1 0 19823840 14553088 2183 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4974/statm): 3553 2183 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (Kb) 16340

[startup+420.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2279 0 0 0 40829 388 0 0 25 0 1 0 19823840 14553088 2183 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4974/statm): 3553 2183 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 412.19
Current children cumulated vsize (Kb) 16340

[startup+430.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2279 0 0 0 41829 388 0 0 25 0 1 0 19823840 14553088 2183 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4974/statm): 3553 2183 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 422.19
Current children cumulated vsize (Kb) 16340

[startup+440.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2279 0 0 0 42805 396 0 0 25 0 1 0 19823840 14553088 2183 4294967295 134512640 134702520 3221223952 3220974768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4974/statm): 3553 2183 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 432.03
Current children cumulated vsize (Kb) 16340

[startup+450.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4974
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823832 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 242 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4974/stat): 4974 (vallst) R 4971 4971 4059 0 -1 0 2279 0 0 0 43704 426 0 0 25 0 1 0 19823840 14553088 2183 4294967295 134512640 134702520 3221223952 3221222848 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4974/statm): 3553 2183 413 48 0 3505 0
[pid=4974] vsize: 14212
Current children cumulated CPU time (s) 441.32
Current children cumulated vsize (Kb) 16340
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=4974) exited with status: 2
New process pid=4975
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=4975) exited with status: 0
New process pid=4976
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+460.035 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) T 4971 4971 4059 0 -1 0 1421 0 0 0 749 12 0 0 20 0 1 0 19869062 7733248 1392 4294967295 134512640 134702520 3221223712 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4976/statm): 1888 1392 413 48 0 1840 0
[pid=4976] vsize: 7552
Current children cumulated CPU time (s) 451.04
Current children cumulated vsize (Kb) 9680

[startup+470.036 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) T 4971 4971 4059 0 -1 0 1431 0 0 0 1644 45 0 0 25 0 1 0 19869062 12931072 1402 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4976/statm): 3157 1402 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 460.32
Current children cumulated vsize (Kb) 14756

[startup+480.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1592 0 0 0 2631 49 0 0 25 0 1 0 19869062 12931072 1563 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3157 1563 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 470.23
Current children cumulated vsize (Kb) 14756

[startup+490.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1592 0 0 0 3631 49 0 0 25 0 1 0 19869062 12931072 1563 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3157 1563 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 480.23
Current children cumulated vsize (Kb) 14756

[startup+500.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1592 0 0 0 4632 49 0 0 25 0 1 0 19869062 12931072 1563 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3157 1563 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 490.24
Current children cumulated vsize (Kb) 14756

[startup+510.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1592 0 0 0 5632 49 0 0 25 0 1 0 19869062 12931072 1563 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3157 1563 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 500.24
Current children cumulated vsize (Kb) 14756

[startup+520.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1592 0 0 0 6632 49 0 0 25 0 1 0 19869062 12931072 1563 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3157 1563 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 510.24
Current children cumulated vsize (Kb) 14756

[startup+530.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1592 0 0 0 7632 49 0 0 25 0 1 0 19869062 12931072 1563 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3157 1563 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 520.24
Current children cumulated vsize (Kb) 14756

[startup+540.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1592 0 0 0 8633 49 0 0 25 0 1 0 19869062 12931072 1563 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3157 1563 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 530.25
Current children cumulated vsize (Kb) 14756

[startup+550.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1592 0 0 0 9633 49 0 0 25 0 1 0 19869062 12931072 1563 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3157 1563 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 540.25
Current children cumulated vsize (Kb) 14756

[startup+560.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1592 0 0 0 10633 49 0 0 25 0 1 0 19869062 12931072 1563 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3157 1563 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 550.25
Current children cumulated vsize (Kb) 14756

[startup+570.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1592 0 0 0 11633 49 0 0 25 0 1 0 19869062 12931072 1563 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3157 1563 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 560.25
Current children cumulated vsize (Kb) 14756

[startup+580.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1592 0 0 0 12633 49 0 0 25 0 1 0 19869062 12931072 1563 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3157 1563 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 570.25
Current children cumulated vsize (Kb) 14756

[startup+590.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1592 0 0 0 13634 49 0 0 25 0 1 0 19869062 12931072 1563 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3157 1563 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 580.26
Current children cumulated vsize (Kb) 14756

[startup+600.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1592 0 0 0 14634 49 0 0 25 0 1 0 19869062 12931072 1563 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3157 1563 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 590.26
Current children cumulated vsize (Kb) 14756

[startup+610.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1592 0 0 0 15634 49 0 0 25 0 1 0 19869062 12931072 1563 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3157 1563 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 600.26
Current children cumulated vsize (Kb) 14756

[startup+620.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1592 0 0 0 16634 49 0 0 25 0 1 0 19869062 12931072 1563 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3157 1563 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 610.26
Current children cumulated vsize (Kb) 14756

[startup+630.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1592 0 0 0 17635 49 0 0 25 0 1 0 19869062 12931072 1563 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3157 1563 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 620.27
Current children cumulated vsize (Kb) 14756

[startup+640.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1592 0 0 0 18635 49 0 0 25 0 1 0 19869062 12931072 1563 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3157 1563 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 630.27
Current children cumulated vsize (Kb) 14756

[startup+650.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1592 0 0 0 19635 49 0 0 25 0 1 0 19869062 12931072 1563 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3157 1563 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 640.27
Current children cumulated vsize (Kb) 14756

[startup+660.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1592 0 0 0 20635 49 0 0 25 0 1 0 19869062 12931072 1563 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3157 1563 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 650.27
Current children cumulated vsize (Kb) 14756

[startup+670.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1592 0 0 0 21635 49 0 0 25 0 1 0 19869062 12931072 1563 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3157 1563 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 660.27
Current children cumulated vsize (Kb) 14756

[startup+680.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1592 0 0 0 22636 49 0 0 25 0 1 0 19869062 12931072 1563 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3157 1563 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 670.28
Current children cumulated vsize (Kb) 14756

[startup+690.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1592 0 0 0 23636 49 0 0 25 0 1 0 19869062 12931072 1563 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3157 1563 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 680.28
Current children cumulated vsize (Kb) 14756

[startup+700.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1592 0 0 0 24636 49 0 0 25 0 1 0 19869062 12931072 1563 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3157 1563 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 690.28
Current children cumulated vsize (Kb) 14756

[startup+710.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1721 0 0 0 25616 56 0 0 25 0 1 0 19869062 12931072 1692 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3157 1692 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 700.15
Current children cumulated vsize (Kb) 14756

[startup+720.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1793 0 0 0 26605 59 0 0 25 0 1 0 19869062 12931072 1764 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4976/statm): 3157 1764 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 710.07
Current children cumulated vsize (Kb) 14756

[startup+730.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1793 0 0 0 27605 59 0 0 25 0 1 0 19869062 12931072 1764 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4976/statm): 3157 1764 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 720.07
Current children cumulated vsize (Kb) 14756

[startup+740.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1793 0 0 0 28605 59 0 0 25 0 1 0 19869062 12931072 1764 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4976/statm): 3157 1764 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 730.07
Current children cumulated vsize (Kb) 14756

[startup+750.05 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) T 4971 4971 4059 0 -1 0 1803 0 0 0 29592 64 0 0 24 0 1 0 19869062 12931072 1774 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3157 1774 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 739.99
Current children cumulated vsize (Kb) 14756

[startup+760.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1824 0 0 0 30550 77 0 0 22 0 1 0 19869062 12931072 1795 4294967295 134512640 134702520 3221223712 3221222832 134573853 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4976/statm): 3157 1795 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 749.7
Current children cumulated vsize (Kb) 14756

[startup+770.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1865 0 0 0 31492 95 0 0 25 0 1 0 19869062 12931072 1836 4294967295 134512640 134702520 3221223712 3220969088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4976/statm): 3157 1836 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 759.3
Current children cumulated vsize (Kb) 14756

[startup+780.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1904 0 0 0 32412 121 0 0 25 0 1 0 19869062 12931072 1875 4294967295 134512640 134702520 3221223712 3221034208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4976/statm): 3157 1875 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 768.76
Current children cumulated vsize (Kb) 14756

[startup+790.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1904 0 0 0 33399 126 0 0 25 0 1 0 19869062 12931072 1875 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4976/statm): 3157 1875 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 778.68
Current children cumulated vsize (Kb) 14756

[startup+800.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1913 0 0 0 34332 148 0 0 25 0 1 0 19869062 12931072 1884 4294967295 134512640 134702520 3221223712 3221100748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4976/statm): 3157 1884 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 788.23
Current children cumulated vsize (Kb) 14756

[startup+810.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1921 0 0 0 35267 172 0 0 25 0 1 0 19869062 12931072 1892 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4976/statm): 3157 1892 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 797.82
Current children cumulated vsize (Kb) 14756

[startup+820.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1921 0 0 0 36267 172 0 0 25 0 1 0 19869062 12931072 1892 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4976/statm): 3157 1892 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 807.82
Current children cumulated vsize (Kb) 14756

[startup+830.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1946 0 0 0 37259 175 0 0 25 0 1 0 19869062 12931072 1917 4294967295 134512640 134702520 3221223712 3220883808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3157 1917 413 48 0 3109 0
[pid=4976] vsize: 12628
Current children cumulated CPU time (s) 817.77
Current children cumulated vsize (Kb) 14756

[startup+840.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1952 0 0 0 38196 195 0 0 25 0 1 0 19869062 12980224 1923 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3169 1923 413 48 0 3121 0
[pid=4976] vsize: 12676
Current children cumulated CPU time (s) 827.34
Current children cumulated vsize (Kb) 14804

[startup+850.058 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) T 4971 4971 4059 0 -1 0 1956 0 0 0 39152 209 0 0 20 0 1 0 19869062 12980224 1927 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4976/statm): 3169 1927 413 48 0 3121 0
[pid=4976] vsize: 12676
Current children cumulated CPU time (s) 837.04
Current children cumulated vsize (Kb) 14804

[startup+860.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1960 0 0 0 40015 253 0 0 21 0 1 0 19869062 13017088 1930 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4976/statm): 3178 1930 413 48 0 3130 0
[pid=4976] vsize: 12712
Current children cumulated CPU time (s) 846.11
Current children cumulated vsize (Kb) 14840

[startup+870.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1963 0 0 0 40995 260 0 0 25 0 1 0 19869062 13017088 1933 4294967295 134512640 134702520 3221223712 3220863148 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4976/statm): 3178 1933 413 48 0 3130 0
[pid=4976] vsize: 12712
Current children cumulated CPU time (s) 855.98
Current children cumulated vsize (Kb) 14840

[startup+880.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1995 0 0 0 41911 288 0 0 25 0 1 0 19869062 13168640 1965 4294967295 134512640 134702520 3221223712 3221222992 134553035 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4976/statm): 3215 1965 413 48 0 3167 0
[pid=4976] vsize: 12860
Current children cumulated CPU time (s) 865.42
Current children cumulated vsize (Kb) 14988

[startup+890.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1995 0 0 0 42911 288 0 0 25 0 1 0 19869062 13168640 1965 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4976/statm): 3215 1965 413 48 0 3167 0
[pid=4976] vsize: 12860
Current children cumulated CPU time (s) 875.42
Current children cumulated vsize (Kb) 14988

[startup+900.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1995 0 0 0 43911 288 0 0 25 0 1 0 19869062 13168640 1965 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4976/statm): 3215 1965 413 48 0 3167 0
[pid=4976] vsize: 12860
Current children cumulated CPU time (s) 885.42
Current children cumulated vsize (Kb) 14988

[startup+910.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1995 0 0 0 44912 288 0 0 25 0 1 0 19869062 13168640 1965 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4976/statm): 3215 1965 413 48 0 3167 0
[pid=4976] vsize: 12860
Current children cumulated CPU time (s) 895.43
Current children cumulated vsize (Kb) 14988

[startup+920.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 1995 0 0 0 45895 294 0 0 25 0 1 0 19869062 13168640 1965 4294967295 134512640 134702520 3221223712 3220864768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3215 1965 413 48 0 3167 0
[pid=4976] vsize: 12860
Current children cumulated CPU time (s) 905.32
Current children cumulated vsize (Kb) 14988

[startup+930.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 2051 0 0 0 46850 309 0 0 25 0 1 0 19869062 13168640 2021 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4976/statm): 3215 2021 413 48 0 3167 0
[pid=4976] vsize: 12860
Current children cumulated CPU time (s) 915.02
Current children cumulated vsize (Kb) 14988

[startup+940.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 2051 0 0 0 47834 314 0 0 25 0 1 0 19869062 13168640 2021 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4976/statm): 3215 2021 413 48 0 3167 0
[pid=4976] vsize: 12860
Current children cumulated CPU time (s) 924.91
Current children cumulated vsize (Kb) 14988

[startup+950.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 2051 0 0 0 48820 319 0 0 25 0 1 0 19869062 13168640 2021 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3215 2021 413 48 0 3167 0
[pid=4976] vsize: 12860
Current children cumulated CPU time (s) 934.82
Current children cumulated vsize (Kb) 14988

[startup+960.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 2051 0 0 0 49819 320 0 0 25 0 1 0 19869062 13168640 2021 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3215 2021 413 48 0 3167 0
[pid=4976] vsize: 12860
Current children cumulated CPU time (s) 944.82
Current children cumulated vsize (Kb) 14988

[startup+970.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 2051 0 0 0 50774 334 0 0 25 0 1 0 19869062 13168640 2021 4294967295 134512640 134702520 3221223712 3221169888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4976/statm): 3215 2021 413 48 0 3167 0
[pid=4976] vsize: 12860
Current children cumulated CPU time (s) 954.51
Current children cumulated vsize (Kb) 14988

[startup+980.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 2052 0 0 0 51693 364 0 0 21 0 1 0 19869062 13168640 2022 4294967295 134512640 134702520 3221223712 3221223008 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4976/statm): 3215 2022 413 48 0 3167 0
[pid=4976] vsize: 12860
Current children cumulated CPU time (s) 964
Current children cumulated vsize (Kb) 14988

[startup+990.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 2062 0 0 0 52657 376 0 0 23 0 1 0 19869062 13168640 2032 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3215 2032 413 48 0 3167 0
[pid=4976] vsize: 12860
Current children cumulated CPU time (s) 973.76
Current children cumulated vsize (Kb) 14988

[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 2062 0 0 0 53619 388 0 0 24 0 1 0 19869062 13168640 2032 4294967295 134512640 134702520 3221223712 3221223112 134607362 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4976/statm): 3215 2032 413 48 0 3167 0
[pid=4976] vsize: 12860
Current children cumulated CPU time (s) 983.5
Current children cumulated vsize (Kb) 14988

[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 2062 0 0 0 54592 397 0 0 25 0 1 0 19869062 13168640 2032 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3215 2032 413 48 0 3167 0
[pid=4976] vsize: 12860
Current children cumulated CPU time (s) 993.32
Current children cumulated vsize (Kb) 14988

[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 2062 0 0 0 55586 399 0 0 25 0 1 0 19869062 13168640 2032 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3215 2032 413 48 0 3167 0
[pid=4976] vsize: 12860
Current children cumulated CPU time (s) 1003.28
Current children cumulated vsize (Kb) 14988

[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 2065 0 0 0 56531 415 0 0 25 0 1 0 19869062 13168640 2035 4294967295 134512640 134702520 3221223712 3221039968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4976/statm): 3215 2035 413 48 0 3167 0
[pid=4976] vsize: 12860
Current children cumulated CPU time (s) 1012.89
Current children cumulated vsize (Kb) 14988

[startup+1040.07 s]
Raw data (loadavg): 1.08 1.02 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 2067 0 0 0 57434 446 0 0 25 0 1 0 19869062 13365248 2037 4294967295 134512640 134702520 3221223712 3221222608 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4976/statm): 3263 2037 413 48 0 3215 0
[pid=4976] vsize: 13052
Current children cumulated CPU time (s) 1022.23
Current children cumulated vsize (Kb) 15180

[startup+1050.07 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 2097 0 0 0 58351 474 0 0 25 0 1 0 19869062 13197312 2066 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4976/statm): 3222 2066 413 48 0 3174 0
[pid=4976] vsize: 12888
Current children cumulated CPU time (s) 1031.68
Current children cumulated vsize (Kb) 15016

[startup+1060.07 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 2098 0 0 0 59341 477 0 0 25 0 1 0 19869062 13197312 2067 4294967295 134512640 134702520 3221223712 3220773568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4976/statm): 3222 2067 413 48 0 3174 0
[pid=4976] vsize: 12888
Current children cumulated CPU time (s) 1041.61
Current children cumulated vsize (Kb) 15016

[startup+1070.07 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 2103 0 0 0 60285 497 0 0 25 0 1 0 19869062 13197312 2072 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4976/statm): 3222 2072 413 48 0 3174 0
[pid=4976] vsize: 12888
Current children cumulated CPU time (s) 1051.25
Current children cumulated vsize (Kb) 15016

[startup+1080.08 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 2103 0 0 0 61270 501 0 0 25 0 1 0 19869062 13197312 2072 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4976/statm): 3222 2072 413 48 0 3174 0
[pid=4976] vsize: 12888
Current children cumulated CPU time (s) 1061.14
Current children cumulated vsize (Kb) 15016

[startup+1090.08 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 2103 0 0 0 62268 502 0 0 25 0 1 0 19869062 13197312 2072 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4976/statm): 3222 2072 413 48 0 3174 0
[pid=4976] vsize: 12888
Current children cumulated CPU time (s) 1071.13
Current children cumulated vsize (Kb) 15016

[startup+1100.08 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 2103 0 0 0 63265 503 0 0 25 0 1 0 19869062 13197312 2072 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4976/statm): 3222 2072 413 48 0 3174 0
[pid=4976] vsize: 12888
Current children cumulated CPU time (s) 1081.11
Current children cumulated vsize (Kb) 15016

[startup+1110.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 2103 0 0 0 64244 510 0 0 25 0 1 0 19869062 13197312 2072 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3222 2072 413 48 0 3174 0
[pid=4976] vsize: 12888
Current children cumulated CPU time (s) 1090.97
Current children cumulated vsize (Kb) 15016

[startup+1120.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 2103 0 0 0 65244 510 0 0 25 0 1 0 19869062 13197312 2072 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3222 2072 413 48 0 3174 0
[pid=4976] vsize: 12888
Current children cumulated CPU time (s) 1100.97
Current children cumulated vsize (Kb) 15016

[startup+1130.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 2103 0 0 0 66244 510 0 0 25 0 1 0 19869062 13197312 2072 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3222 2072 413 48 0 3174 0
[pid=4976] vsize: 12888
Current children cumulated CPU time (s) 1110.97
Current children cumulated vsize (Kb) 15016

[startup+1140.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 2103 0 0 0 67244 510 0 0 25 0 1 0 19869062 13197312 2072 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3222 2072 413 48 0 3174 0
[pid=4976] vsize: 12888
Current children cumulated CPU time (s) 1120.97
Current children cumulated vsize (Kb) 15016

[startup+1150.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 2103 0 0 0 68245 510 0 0 25 0 1 0 19869062 13197312 2072 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3222 2072 413 48 0 3174 0
[pid=4976] vsize: 12888
Current children cumulated CPU time (s) 1130.98
Current children cumulated vsize (Kb) 15016

[startup+1160.08 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 2103 0 0 0 69245 510 0 0 25 0 1 0 19869062 13197312 2072 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3222 2072 413 48 0 3174 0
[pid=4976] vsize: 12888
Current children cumulated CPU time (s) 1140.98
Current children cumulated vsize (Kb) 15016

[startup+1170.08 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 2103 0 0 0 70245 510 0 0 25 0 1 0 19869062 13197312 2072 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3222 2072 413 48 0 3174 0
[pid=4976] vsize: 12888
Current children cumulated CPU time (s) 1150.98
Current children cumulated vsize (Kb) 15016

[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 2103 0 0 0 71245 510 0 0 25 0 1 0 19869062 13197312 2072 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3222 2072 413 48 0 3174 0
[pid=4976] vsize: 12888
Current children cumulated CPU time (s) 1160.98
Current children cumulated vsize (Kb) 15016

[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 2103 0 0 0 72245 510 0 0 25 0 1 0 19869062 13197312 2072 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3222 2072 413 48 0 3174 0
[pid=4976] vsize: 12888
Current children cumulated CPU time (s) 1170.98
Current children cumulated vsize (Kb) 15016

[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 2103 0 0 0 73246 510 0 0 25 0 1 0 19869062 13197312 2072 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3222 2072 413 48 0 3174 0
[pid=4976] vsize: 12888
Current children cumulated CPU time (s) 1180.99
Current children cumulated vsize (Kb) 15016

[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 2103 0 0 0 74246 510 0 0 25 0 1 0 19869062 13197312 2072 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3222 2072 413 48 0 3174 0
[pid=4976] vsize: 12888
Current children cumulated CPU time (s) 1190.99
Current children cumulated vsize (Kb) 15016

[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 2103 0 0 0 75246 510 0 0 25 0 1 0 19869062 13197312 2072 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3222 2072 413 48 0 3174 0
[pid=4976] vsize: 12888
Current children cumulated CPU time (s) 1200.99
Current children cumulated vsize (Kb) 15016



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4976
Raw data (/proc/4971/stat): 4971 (vallstSAT2005PB) S 4970 4971 4059 0 -1 0 378 2654 0 0 1 1 43907 434 19 0 1 0 19823832 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4971/statm): 532 248 485 147 0 385 0
[pid=4971] vsize: 2128
Raw data (/proc/4976/stat): 4976 (vallst) R 4971 4971 4059 0 -1 0 2103 0 0 0 75246 510 0 0 25 0 1 0 19869062 13197312 2072 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4976/statm): 3222 2072 413 48 0 3174 0
[pid=4976] vsize: 12888
Current children cumulated CPU time (s) 1200.99
Current children cumulated vsize (Kb) 15016

Sending SIGTERM to -4971
Sleeping 2 seconds
New process pid=4978
New process pid=4979
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/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/4042/stat
open syscall for file /proc/4042/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4067/stat
open syscall for file /proc/4067/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/4067/cmdline
open syscall for file /proc/4067/environ
open syscall for file /proc/4932/stat
open syscall for file /proc/4932/status
open syscall for file /proc/4932/cmdline
open syscall for file /proc/4932/environ
open syscall for file /proc/4970/stat
open syscall for file /proc/4970/status
open syscall for file /proc/4970/cmdline
open syscall for file /proc/4970/environ
open syscall for file /proc/4971/stat
open syscall for file /proc/4971/status
open syscall for file /proc/4971/cmdline
open syscall for file /proc/4971/environ
open syscall for file /proc/4976/stat
open syscall for file /proc/4976/status
open syscall for file /proc/4976/cmdline
open syscall for file /proc/4976/environ
open syscall for file /proc/4978/stat
open syscall for file /proc/4978/status
open syscall for file /proc/4978/cmdline
open syscall for file /proc/4978/environ
open syscall for file /proc/4979/stat
open syscall for file /proc/4979/status
open syscall for file /proc/4979/cmdline
open syscall for file /proc/4979/environ
One traced child (pid=4978) exited with status: 0
One traced child (pid=4979) exited with status: 0
New process pid=4980
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=4980) exited with status: 0
New process pid=4981
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=4981) exited with status: 0
One traced child (pid=4971) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -4971
One traced child (pid=4976) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1222.09
CPU time (s): 759.569
CPU user time (s): 754.462
CPU system time (s): 5.10722
CPU usage (%): 62.1531
Max. virtual memory (cumulated for all children) (Kb): 16340

Verifier Data

ERROR: no interpretation found !