Some explanations

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

General information on the benchmark

Namemps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x12.opb
MD5SUMeac61d4d68844395596b0518195dd6df
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 493056
Optimality of the best value was proved NO
Number of terms in the objective function 3024
Biggest coefficient in the objective function 5242880
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 839045346
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 5242880
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 839045346
Number of bits of the biggest sum of numbers30
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.02
Number of variables3024
Total number of constraints168
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints168
Minimum length of a constraint21
Maximum length of a constraint240

Trace number 9412

Launcher Data

LAUNCH ON wulflinc29 THE 2005-09-23 13:16:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8124 boxname=wulflinc29 idbench=1092 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  eac61d4d68844395596b0518195dd6df  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-ran12x12.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-ran12x12.opb 0
IDLAUNCH: 8124
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
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:        933120 kB
Buffers:         10324 kB
Cached:          74132 kB
SwapCached:          0 kB
Active:          43300 kB
Inactive:        44056 kB
HighTotal:      131008 kB
HighFree:        57260 kB
LowTotal:       903652 kB
LowFree:        875860 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8604 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 13:42:56 (client local time) WITH STATUS 0 IN 1206.85 SECONDS
stats: 8124 7 1206.85 0

Solver Data

1:
seed: 0
Nr of vars set: 1324  (#equs: 0)
Nr of vars set: 1324  (#equs: 0)
#decisions: 30020;  #end-nodes: 1715;
#proof improvement attempts: 0;  #restarts: 20
Current batch, end-nodes: 69 / 85 (85)
#axs: 193, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  836903389 (2141956:>=*);
#decisions: 1383;  #end-nodes: 17;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 17 / 80 (80)
#axs: 193, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  836903413 (2141932:>=*);
#decisions: 2780;  #end-nodes: 134;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 54 / 80 (80)
#axs: 193, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  836918329 (2127016:>=*);
#decisions: 1273;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 193, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  836918409 (2126936:>=*);
#decisions: 1294;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 193, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  836918417 (2126928:>=*);
#decisions: 1341;  #end-nodes: 51;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 51 / 80 (80)
#axs: 193, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  836918483 (2126862:>=*);
#decisions: 1288;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 193, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  836918485 (2126860:>=*);
#decisions: 1289;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 193, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  836918493 (2126852:>=*);
#decisions: 1297;  #end-nodes: 14;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 14 / 80 (80)
#axs: 193, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  836918571 (2126774:>=*);
#decisions: 1299;  #end-nodes: 13;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 13 / 80 (80)
#axs: 193, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  836918575 (2126770:>=*);
#decisions: 1293;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 193, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  836918577 (2126768:>=*);
#decisions: 103685;  #end-nodes: 6850;
#proof improvement attempts: 0;  #restarts: 76
Current batch, end-nodes: 39 / 99 (99)
#axs: 193, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  836947865 (2097480:>=*);
#decisions: 1345;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 193, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  836947871 (2097474:>=*);
#decisions: 18063;  #end-nodes: 1086;
#proof improvement attempts: 0;  #restarts: 13
Current batch, end-nodes: 20 / 83 (83)
#axs: 193, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  836965623 (2079722:>=*);
#decisions: 1312;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 193, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  836965631 (2079714:>=*);
#decisions: 309610;  #end-nodes: 25197;
#proof improvement attempts: 0;  #restarts: 231
Current batch, end-nodes: 17 / 137 (137)
#axs: 193, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  837008514 (2036831:>=*);
#decisions: 1285;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 193, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  837008517 (2036828:>=*);
#decisions: 1356;  #end-nodes: 53;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 53 / 80 (80)
#axs: 193, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  837009017 (2036328:>=*);
#decisions: 1330;  #end-nodes: 29;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 29 / 80 (80)
#axs: 193, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  837009093 (2036252:>=*);
#decisions: 1338;  #end-nodes: 38;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 38 / 80 (80)
#axs: 193, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  837009107 (2036238:>=*);
#decisions: 663724;  #end-nodes: 67252;
#proof improvement attempts: 0;  #restarts: 480
Current batch, end-nodes: 0 / 199 (199)
#axs: 193, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 837009107 (2036238:>=*)

No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 1324  (#equs: 0)
Time taken: 5 min, 19 sec

2:
seed: 0
Nr of vars set: 1324  (#equs: 0)
Nr of vars set: 1324  (#equs: 0)
#decisions: 458897;  #end-nodes: 52273;
#proof improvement attempts: 0;  #restarts: 325
Current batch, end-nodes: 38 / 201 (201)
#axs: 193, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  2083901 (2021028:>=*);
#decisions: 1287;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 120 (120)
#axs: 193, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2083913 (2021016:>=*);
#decisions: 1331;  #end-nodes: 45;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 45 / 120 (120)
#axs: 193, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2083961 (2020968:>=*);
#decisions: 152542;  #end-nodes: 14674;
#proof improvement attempts: 0;  #restarts: 109
Current batch, end-nodes: 90 / 147 (147)
#axs: 193, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2086011 (2018918:>=*);
#decisions: 1343;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 120 (120)
#axs: 193, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2086013 (2018916:>=*);
#decisions: 1354;  #end-nodes: 19;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 19 / 120 (120)
#axs: 193, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2086015 (2018914:>=*);
#decisions: 1351;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 120 (120)
#axs: 193, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2086025 (2018904:>=*);
#decisions: 1351;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 120 (120)
#axs: 193, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2086039 (2018890:>=*);
#decisions: 1336;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 120 (120)
#axs: 193, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2086047 (2018882:>=*);
#decisions: 1402;  #end-nodes: 46;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 46 / 120 (120)
#axs: 193, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2086051 (2018878:>=*);
#decisions: 1861905;  #end-nodes: 312109;
#proof improvement attempts: 0;  #restarts: 1171
Current batch, end-nodes: 27 / 412 (412)
#axs: 193, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2122225 (1982704:>=*);
#decisions: 1370;  #end-nodes: 72;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 72 / 120 (120)
#axs: 193, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2122313 (1982616:>=*);
Interupt request received.
#decisions: 1592471;  #end-nodes: 247154;
#proof improvement attempts: 0;  #restarts: 1005
Current batch, end-nodes: 195 / 371 (371)
#axs: 193, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 2122313 (1982616:>=*)

No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 2492  (#equs: 0)
Time taken: 14 min, 46 sec

Watcher Data

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

[startup+10.0038 s]
Raw data (loadavg): 0.97 1.01 1.00 1/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) T 5778 5778 4005 0 -1 0 401 0 0 0 490 164 0 0 17 0 1 0 20437260 2981888 371 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5781/statm): 728 371 413 48 0 680 0
[pid=5781] vsize: 2912
Current children cumulated CPU time (s) 6.57
Current children cumulated vsize (Kb) 5040

[startup+20.0046 s]
Raw data (loadavg): 1.05 1.02 1.00 1/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) T 5778 5778 4005 0 -1 0 476 0 0 0 1009 319 0 0 17 0 1 0 20437260 3940352 446 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5781/statm): 962 446 413 48 0 914 0
[pid=5781] vsize: 3848
Current children cumulated CPU time (s) 13.31
Current children cumulated vsize (Kb) 5976

[startup+30.0054 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) R 5778 5778 4005 0 -1 0 662 0 0 0 1700 419 0 0 25 0 1 0 20437260 3944448 632 4294967295 134512640 134702520 3221223952 3221222848 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5781/statm): 963 632 413 48 0 915 0
[pid=5781] vsize: 3852
Current children cumulated CPU time (s) 21.22
Current children cumulated vsize (Kb) 5980

[startup+40.0061 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) T 5778 5778 4005 0 -1 0 666 0 0 0 2486 490 0 0 22 0 1 0 20437260 3944448 636 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5781/statm): 963 636 413 48 0 915 0
[pid=5781] vsize: 3852
Current children cumulated CPU time (s) 29.79
Current children cumulated vsize (Kb) 5980

[startup+50.0069 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) T 5778 5778 4005 0 -1 0 672 0 0 0 3221 578 0 0 19 0 1 0 20437260 3944448 642 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5781/statm): 963 642 413 48 0 915 0
[pid=5781] vsize: 3852
Current children cumulated CPU time (s) 38.02
Current children cumulated vsize (Kb) 5980

[startup+60.0077 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) R 5778 5778 4005 0 -1 0 677 0 0 0 3990 653 0 0 20 0 1 0 20437260 3944448 647 4294967295 134512640 134702520 3221223952 3221177148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5781/statm): 963 647 413 48 0 915 0
[pid=5781] vsize: 3852
Current children cumulated CPU time (s) 46.46
Current children cumulated vsize (Kb) 5980

[startup+70.0085 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) T 5778 5778 4005 0 -1 0 682 0 0 0 4791 716 0 0 25 0 1 0 20437260 3944448 652 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5781/statm): 963 652 413 48 0 915 0
[pid=5781] vsize: 3852
Current children cumulated CPU time (s) 55.1
Current children cumulated vsize (Kb) 5980

[startup+80.0092 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) T 5778 5778 4005 0 -1 0 684 0 0 0 5645 766 0 0 25 0 1 0 20437260 3944448 654 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5781/statm): 963 654 413 48 0 915 0
[pid=5781] vsize: 3852
Current children cumulated CPU time (s) 64.14
Current children cumulated vsize (Kb) 5980

[startup+90.01 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) T 5778 5778 4005 0 -1 0 684 0 0 0 6552 797 0 0 25 0 1 0 20437260 3944448 654 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5781/statm): 963 654 413 48 0 915 0
[pid=5781] vsize: 3852
Current children cumulated CPU time (s) 73.52
Current children cumulated vsize (Kb) 5980

[startup+100.01 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) T 5778 5778 4005 0 -1 0 686 0 0 0 7325 870 0 0 20 0 1 0 20437260 3944448 656 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5781/statm): 963 656 413 48 0 915 0
[pid=5781] vsize: 3852
Current children cumulated CPU time (s) 81.98
Current children cumulated vsize (Kb) 5980

[startup+110.012 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) T 5778 5778 4005 0 -1 0 690 0 0 0 8115 939 0 0 21 0 1 0 20437260 3944448 660 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5781/statm): 963 660 413 48 0 915 0
[pid=5781] vsize: 3852
Current children cumulated CPU time (s) 90.57
Current children cumulated vsize (Kb) 5980

[startup+120.012 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) T 5778 5778 4005 0 -1 0 694 0 0 0 8935 999 0 0 25 0 1 0 20437260 4067328 664 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5781/statm): 993 664 413 48 0 945 0
[pid=5781] vsize: 3972
Current children cumulated CPU time (s) 99.37
Current children cumulated vsize (Kb) 6100

[startup+130.013 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) T 5778 5778 4005 0 -1 0 694 0 0 0 9841 1032 0 0 25 0 1 0 20437260 4067328 664 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5781/statm): 993 664 413 48 0 945 0
[pid=5781] vsize: 3972
Current children cumulated CPU time (s) 108.76
Current children cumulated vsize (Kb) 6100

[startup+140.014 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) T 5778 5778 4005 0 -1 0 696 0 0 0 10650 1094 0 0 20 0 1 0 20437260 4067328 666 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5781/statm): 993 666 413 48 0 945 0
[pid=5781] vsize: 3972
Current children cumulated CPU time (s) 117.47
Current children cumulated vsize (Kb) 6100

[startup+150.015 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) T 5778 5778 4005 0 -1 0 699 0 0 0 11441 1169 0 0 23 0 1 0 20437260 4067328 669 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5781/statm): 993 669 413 48 0 945 0
[pid=5781] vsize: 3972
Current children cumulated CPU time (s) 126.13
Current children cumulated vsize (Kb) 6100

[startup+160.015 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) T 5778 5778 4005 0 -1 0 700 0 0 0 12206 1243 0 0 20 0 1 0 20437260 4067328 670 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5781/statm): 993 670 413 48 0 945 0
[pid=5781] vsize: 3972
Current children cumulated CPU time (s) 134.52
Current children cumulated vsize (Kb) 6100

[startup+170.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) R 5778 5778 4005 0 -1 0 703 0 0 0 12977 1318 0 0 22 0 1 0 20437260 4067328 673 4294967295 134512640 134702520 3221223952 3221100188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5781/statm): 993 673 413 48 0 945 0
[pid=5781] vsize: 3972
Current children cumulated CPU time (s) 142.98
Current children cumulated vsize (Kb) 6100

[startup+180.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) R 5778 5778 4005 0 -1 0 703 0 0 0 13884 1348 0 0 25 0 1 0 20437260 4067328 673 4294967295 134512640 134702520 3221223952 3221222848 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5781/statm): 993 673 413 48 0 945 0
[pid=5781] vsize: 3972
Current children cumulated CPU time (s) 152.35
Current children cumulated vsize (Kb) 6100

[startup+190.017 s]
Raw data (loadavg): 1.08 1.02 1.01 1/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) T 5778 5778 4005 0 -1 0 703 0 0 0 14741 1397 0 0 25 0 1 0 20437260 4067328 673 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5781/statm): 993 673 413 48 0 945 0
[pid=5781] vsize: 3972
Current children cumulated CPU time (s) 161.41
Current children cumulated vsize (Kb) 6100

[startup+200.018 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) T 5778 5778 4005 0 -1 0 705 0 0 0 15540 1463 0 0 25 0 1 0 20437260 4067328 675 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5781/statm): 993 675 413 48 0 945 0
[pid=5781] vsize: 3972
Current children cumulated CPU time (s) 170.06
Current children cumulated vsize (Kb) 6100

[startup+210.019 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) T 5778 5778 4005 0 -1 0 707 0 0 0 16324 1535 0 0 21 0 1 0 20437260 4067328 677 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5781/statm): 993 677 413 48 0 945 0
[pid=5781] vsize: 3972
Current children cumulated CPU time (s) 178.62
Current children cumulated vsize (Kb) 6100

[startup+220.02 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) T 5778 5778 4005 0 -1 0 708 0 0 0 17188 1583 0 0 25 0 1 0 20437260 4067328 678 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5781/statm): 993 678 413 48 0 945 0
[pid=5781] vsize: 3972
Current children cumulated CPU time (s) 187.74
Current children cumulated vsize (Kb) 6100

[startup+230.02 s]
Raw data (loadavg): 1.04 1.02 1.00 1/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) T 5778 5778 4005 0 -1 0 708 0 0 0 18076 1619 0 0 20 0 1 0 20437260 4067328 678 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5781/statm): 993 678 413 48 0 945 0
[pid=5781] vsize: 3972
Current children cumulated CPU time (s) 196.98
Current children cumulated vsize (Kb) 6100

[startup+240.022 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) T 5778 5778 4005 0 -1 0 709 0 0 0 18863 1684 0 0 20 0 1 0 20437260 4067328 679 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5781/statm): 993 679 413 48 0 945 0
[pid=5781] vsize: 3972
Current children cumulated CPU time (s) 205.5
Current children cumulated vsize (Kb) 6100

[startup+250.022 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) R 5778 5778 4005 0 -1 0 712 0 0 0 19665 1751 0 0 20 0 1 0 20437260 4067328 682 4294967295 134512640 134702520 3221223952 3221223232 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5781/statm): 993 682 413 48 0 945 0
[pid=5781] vsize: 3972
Current children cumulated CPU time (s) 214.19
Current children cumulated vsize (Kb) 6100

[startup+260.023 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) T 5778 5778 4005 0 -1 0 714 0 0 0 20488 1811 0 0 25 0 1 0 20437260 4067328 684 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5781/statm): 993 684 413 48 0 945 0
[pid=5781] vsize: 3972
Current children cumulated CPU time (s) 223.02
Current children cumulated vsize (Kb) 6100

[startup+270.024 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) T 5778 5778 4005 0 -1 0 714 0 0 0 21395 1845 0 0 25 0 1 0 20437260 4067328 684 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5781/statm): 993 684 413 48 0 945 0
[pid=5781] vsize: 3972
Current children cumulated CPU time (s) 232.43
Current children cumulated vsize (Kb) 6100

[startup+280.024 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) T 5778 5778 4005 0 -1 0 715 0 0 0 22229 1899 0 0 21 0 1 0 20437260 4067328 685 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5781/statm): 993 685 413 48 0 945 0
[pid=5781] vsize: 3972
Current children cumulated CPU time (s) 241.31
Current children cumulated vsize (Kb) 6100

[startup+290.024 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) T 5778 5778 4005 0 -1 0 716 0 0 0 23020 1968 0 0 21 0 1 0 20437260 4067328 686 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5781/statm): 993 686 413 48 0 945 0
[pid=5781] vsize: 3972
Current children cumulated CPU time (s) 249.91
Current children cumulated vsize (Kb) 6100

[startup+300.025 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) T 5778 5778 4005 0 -1 0 718 0 0 0 23827 2030 0 0 21 0 1 0 20437260 4067328 688 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5781/statm): 993 688 413 48 0 945 0
[pid=5781] vsize: 3972
Current children cumulated CPU time (s) 258.6
Current children cumulated vsize (Kb) 6100

[startup+310.027 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) R 5778 5778 4005 0 -1 0 720 0 0 0 24689 2076 0 0 25 0 1 0 20437260 4067328 690 4294967295 134512640 134702520 3221223952 3221222848 134553287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5781/statm): 993 690 413 48 0 945 0
[pid=5781] vsize: 3972
Current children cumulated CPU time (s) 267.68
Current children cumulated vsize (Kb) 6100

[startup+320.028 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) R 5778 5778 4005 0 -1 0 720 0 0 0 25592 2108 0 0 23 0 1 0 20437260 4067328 690 4294967295 134512640 134702520 3221223952 3221223232 134557267 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5781/statm): 993 690 413 48 0 945 0
[pid=5781] vsize: 3972
Current children cumulated CPU time (s) 277.03
Current children cumulated vsize (Kb) 6100

[startup+330.028 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) T 5778 5778 4005 0 -1 0 721 0 0 0 26402 2169 0 0 25 0 1 0 20437260 4186112 691 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5781/statm): 1022 691 413 48 0 974 0
[pid=5781] vsize: 4088
Current children cumulated CPU time (s) 285.74
Current children cumulated vsize (Kb) 6216

[startup+340.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) R 5778 5778 4005 0 -1 0 724 0 0 0 27205 2238 0 0 23 0 1 0 20437260 4186112 694 4294967295 134512640 134702520 3221223952 3221183068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5781/statm): 1022 694 413 48 0 974 0
[pid=5781] vsize: 4088
Current children cumulated CPU time (s) 294.46
Current children cumulated vsize (Kb) 6216

[startup+350.029 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) T 5778 5778 4005 0 -1 0 727 0 0 0 28020 2293 0 0 21 0 1 0 20437260 4186112 697 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5781/statm): 1022 697 413 48 0 974 0
[pid=5781] vsize: 4088
Current children cumulated CPU time (s) 303.16
Current children cumulated vsize (Kb) 6216

[startup+360.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5781
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 20437252 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 242 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5781/stat): 5781 (vallst) R 5778 5778 4005 0 -1 0 728 0 0 0 28922 2330 0 0 25 0 1 0 20437260 4186112 698 4294967295 134512640 134702520 3221223952 3221222848 134553317 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5781/statm): 1022 698 413 48 0 974 0
[pid=5781] vsize: 4088
Current children cumulated CPU time (s) 312.55
Current children cumulated vsize (Kb) 6216
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=5781) exited with status: 2
New process pid=5782
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=5782) exited with status: 0
New process pid=5783
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+370.031 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 367 0 0 0 135 21 0 0 17 0 1 0 20474054 2695168 338 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5783/statm): 658 338 413 48 0 610 0
[pid=5783] vsize: 2632
Current children cumulated CPU time (s) 321.56
Current children cumulated vsize (Kb) 4760

[startup+380.03 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 367 0 0 0 603 201 0 0 17 0 1 0 20474054 2695168 338 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5783/statm): 658 338 413 48 0 610 0
[pid=5783] vsize: 2632
Current children cumulated CPU time (s) 328.04
Current children cumulated vsize (Kb) 4760

[startup+390.031 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 510 0 0 0 1232 324 0 0 18 0 1 0 20474054 3596288 481 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 878 481 413 48 0 830 0
[pid=5783] vsize: 3512
Current children cumulated CPU time (s) 335.56
Current children cumulated vsize (Kb) 5640

[startup+400.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) R 5778 5778 4005 0 -1 0 599 0 0 0 1849 450 0 0 20 0 1 0 20474054 3596288 570 4294967295 134512640 134702520 3221223712 3221162988 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5783/statm): 878 570 413 48 0 830 0
[pid=5783] vsize: 3512
Current children cumulated CPU time (s) 342.99
Current children cumulated vsize (Kb) 5640

[startup+410.034 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 607 0 0 0 2471 576 0 0 18 0 1 0 20474054 3596288 578 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 878 578 413 48 0 830 0
[pid=5783] vsize: 3512
Current children cumulated CPU time (s) 350.47
Current children cumulated vsize (Kb) 5640

[startup+420.035 s]
Raw data (loadavg): 1.08 1.02 1.01 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 609 0 0 0 2907 760 0 0 16 0 1 0 20474054 3596288 580 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 878 580 413 48 0 830 0
[pid=5783] vsize: 3512
Current children cumulated CPU time (s) 356.67
Current children cumulated vsize (Kb) 5640

[startup+430.035 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 611 0 0 0 3416 921 0 0 18 0 1 0 20474054 3596288 582 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 878 582 413 48 0 830 0
[pid=5783] vsize: 3512
Current children cumulated CPU time (s) 363.37
Current children cumulated vsize (Kb) 5640

[startup+440.036 s]
Raw data (loadavg): 1.06 1.01 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 615 0 0 0 4033 1042 0 0 19 0 1 0 20474054 3710976 586 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 906 586 413 48 0 858 0
[pid=5783] vsize: 3624
Current children cumulated CPU time (s) 370.75
Current children cumulated vsize (Kb) 5752

[startup+450.037 s]
Raw data (loadavg): 1.12 1.03 1.01 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) R 5778 5778 4005 0 -1 0 618 0 0 0 4672 1155 0 0 19 0 1 0 20474054 3710976 589 4294967295 134512640 134702520 3221223712 3221222608 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5783/statm): 906 589 413 48 0 858 0
[pid=5783] vsize: 3624
Current children cumulated CPU time (s) 378.27
Current children cumulated vsize (Kb) 5752

[startup+460.038 s]
Raw data (loadavg): 1.10 1.03 1.01 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 621 0 0 0 5131 1333 0 0 16 0 1 0 20474054 3710976 592 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 906 592 413 48 0 858 0
[pid=5783] vsize: 3624
Current children cumulated CPU time (s) 384.64
Current children cumulated vsize (Kb) 5752

[startup+470.038 s]
Raw data (loadavg): 1.24 1.06 1.02 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 624 0 0 0 5612 1506 0 0 19 0 1 0 20474054 3710976 595 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 906 595 413 48 0 858 0
[pid=5783] vsize: 3624
Current children cumulated CPU time (s) 391.18
Current children cumulated vsize (Kb) 5752

[startup+480.039 s]
Raw data (loadavg): 1.20 1.06 1.02 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 627 0 0 0 6249 1621 0 0 18 0 1 0 20474054 3710976 598 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 906 598 413 48 0 858 0
[pid=5783] vsize: 3624
Current children cumulated CPU time (s) 398.7
Current children cumulated vsize (Kb) 5752

[startup+490.041 s]
Raw data (loadavg): 1.17 1.06 1.01 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 631 0 0 0 6898 1736 0 0 18 0 1 0 20474054 3710976 602 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 906 602 413 48 0 858 0
[pid=5783] vsize: 3624
Current children cumulated CPU time (s) 406.34
Current children cumulated vsize (Kb) 5752

[startup+500.042 s]
Raw data (loadavg): 1.14 1.05 1.01 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) R 5778 5778 4005 0 -1 0 633 0 0 0 7457 1885 0 0 16 0 1 0 20474054 3710976 604 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5783/statm): 906 604 413 48 0 858 0
[pid=5783] vsize: 3624
Current children cumulated CPU time (s) 413.42
Current children cumulated vsize (Kb) 5752

[startup+510.043 s]
Raw data (loadavg): 1.12 1.05 1.01 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 634 0 0 0 7873 2080 0 0 17 0 1 0 20474054 3710976 605 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 906 605 413 48 0 858 0
[pid=5783] vsize: 3624
Current children cumulated CPU time (s) 419.53
Current children cumulated vsize (Kb) 5752

[startup+520.043 s]
Raw data (loadavg): 1.10 1.05 1.01 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) R 5778 5778 4005 0 -1 0 638 0 0 0 8494 2200 0 0 19 0 1 0 20474054 3710976 609 4294967295 134512640 134702520 3221223712 3221222988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5783/statm): 906 609 413 48 0 858 0
[pid=5783] vsize: 3624
Current children cumulated CPU time (s) 426.94
Current children cumulated vsize (Kb) 5752

[startup+530.043 s]
Raw data (loadavg): 1.09 1.05 1.01 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 642 0 0 0 9128 2322 0 0 23 0 1 0 20474054 3715072 613 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5783/statm): 907 613 413 48 0 859 0
[pid=5783] vsize: 3628
Current children cumulated CPU time (s) 434.5
Current children cumulated vsize (Kb) 5756

[startup+540.044 s]
Raw data (loadavg): 1.07 1.05 1.01 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 644 0 0 0 9720 2454 0 0 18 0 1 0 20474054 3715072 615 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 907 615 413 48 0 859 0
[pid=5783] vsize: 3628
Current children cumulated CPU time (s) 441.74
Current children cumulated vsize (Kb) 5756

[startup+550.046 s]
Raw data (loadavg): 1.06 1.04 1.01 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 645 0 0 0 10264 2605 0 0 16 0 1 0 20474054 3715072 616 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 907 616 413 48 0 859 0
[pid=5783] vsize: 3628
Current children cumulated CPU time (s) 448.69
Current children cumulated vsize (Kb) 5756

[startup+560.046 s]
Raw data (loadavg): 1.05 1.04 1.01 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) R 5778 5778 4005 0 -1 0 646 0 0 0 10673 2793 0 0 17 0 1 0 20474054 3850240 617 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5783/statm): 940 617 413 48 0 892 0
[pid=5783] vsize: 3760
Current children cumulated CPU time (s) 454.66
Current children cumulated vsize (Kb) 5888

[startup+570.047 s]
Raw data (loadavg): 1.04 1.04 1.01 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 647 0 0 0 11292 2917 0 0 18 0 1 0 20474054 3829760 618 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 935 618 413 48 0 887 0
[pid=5783] vsize: 3740
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (Kb) 5868

[startup+580.048 s]
Raw data (loadavg): 1.04 1.04 1.01 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) R 5778 5778 4005 0 -1 0 648 0 0 0 11897 3040 0 0 18 0 1 0 20474054 3829760 619 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5783/statm): 935 619 413 48 0 887 0
[pid=5783] vsize: 3740
Current children cumulated CPU time (s) 469.37
Current children cumulated vsize (Kb) 5868

[startup+590.049 s]
Raw data (loadavg): 1.03 1.04 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 650 0 0 0 12523 3159 0 0 17 0 1 0 20474054 3829760 621 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 935 621 413 48 0 887 0
[pid=5783] vsize: 3740
Current children cumulated CPU time (s) 476.82
Current children cumulated vsize (Kb) 5868

[startup+600.049 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 651 0 0 0 12879 3368 0 0 17 0 1 0 20474054 3829760 622 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 935 622 413 48 0 887 0
[pid=5783] vsize: 3740
Current children cumulated CPU time (s) 482.47
Current children cumulated vsize (Kb) 5868

[startup+610.051 s]
Raw data (loadavg): 1.10 1.05 1.01 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 652 0 0 0 13470 3500 0 0 17 0 1 0 20474054 3829760 623 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 935 623 413 48 0 887 0
[pid=5783] vsize: 3740
Current children cumulated CPU time (s) 489.7
Current children cumulated vsize (Kb) 5868

[startup+620.052 s]
Raw data (loadavg): 1.08 1.05 1.01 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) R 5778 5778 4005 0 -1 0 653 0 0 0 14097 3616 0 0 18 0 1 0 20474054 3829760 624 4294967295 134512640 134702520 3221223712 3221222992 134553330 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5783/statm): 935 624 413 48 0 887 0
[pid=5783] vsize: 3740
Current children cumulated CPU time (s) 497.13
Current children cumulated vsize (Kb) 5868

[startup+630.052 s]
Raw data (loadavg): 1.07 1.04 1.01 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) R 5778 5778 4005 0 -1 0 653 0 0 0 14741 3737 0 0 22 0 1 0 20474054 3829760 624 4294967295 134512640 134702520 3221223712 3221118368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5783/statm): 935 624 413 48 0 887 0
[pid=5783] vsize: 3740
Current children cumulated CPU time (s) 504.78
Current children cumulated vsize (Kb) 5868

[startup+640.053 s]
Raw data (loadavg): 1.06 1.04 1.01 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 654 0 0 0 15088 3956 0 0 17 0 1 0 20474054 3829760 625 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 935 625 413 48 0 887 0
[pid=5783] vsize: 3740
Current children cumulated CPU time (s) 510.44
Current children cumulated vsize (Kb) 5868

[startup+650.053 s]
Raw data (loadavg): 1.12 1.06 1.01 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 655 0 0 0 15692 4087 0 0 19 0 1 0 20474054 3829760 626 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 935 626 413 48 0 887 0
[pid=5783] vsize: 3740
Current children cumulated CPU time (s) 517.79
Current children cumulated vsize (Kb) 5868

[startup+660.054 s]
Raw data (loadavg): 1.10 1.06 1.01 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 656 0 0 0 16309 4212 0 0 18 0 1 0 20474054 3829760 627 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5783/statm): 935 627 413 48 0 887 0
[pid=5783] vsize: 3740
Current children cumulated CPU time (s) 525.21
Current children cumulated vsize (Kb) 5868

[startup+670.055 s]
Raw data (loadavg): 1.09 1.05 1.01 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 658 0 0 0 16965 4324 0 0 19 0 1 0 20474054 3829760 629 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 935 629 413 48 0 887 0
[pid=5783] vsize: 3740
Current children cumulated CPU time (s) 532.89
Current children cumulated vsize (Kb) 5868

[startup+680.055 s]
Raw data (loadavg): 1.07 1.05 1.01 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 658 0 0 0 17377 4517 0 0 16 0 1 0 20474054 3829760 629 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 935 629 413 48 0 887 0
[pid=5783] vsize: 3740
Current children cumulated CPU time (s) 538.94
Current children cumulated vsize (Kb) 5868

[startup+690.055 s]
Raw data (loadavg): 1.06 1.05 1.01 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) R 5778 5778 4005 0 -1 0 660 0 0 0 17908 4673 0 0 19 0 1 0 20474054 3829760 631 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5783/statm): 935 631 413 48 0 887 0
[pid=5783] vsize: 3740
Current children cumulated CPU time (s) 545.81
Current children cumulated vsize (Kb) 5868

[startup+700.056 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 662 0 0 0 18541 4791 0 0 18 0 1 0 20474054 3829760 633 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 935 633 413 48 0 887 0
[pid=5783] vsize: 3740
Current children cumulated CPU time (s) 553.32
Current children cumulated vsize (Kb) 5868

[startup+710.057 s]
Raw data (loadavg): 1.04 1.05 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 665 0 0 0 19193 4909 0 0 19 0 1 0 20474054 3829760 636 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 935 636 413 48 0 887 0
[pid=5783] vsize: 3740
Current children cumulated CPU time (s) 561.02
Current children cumulated vsize (Kb) 5868

[startup+720.058 s]
Raw data (loadavg): 1.11 1.06 1.01 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 667 0 0 0 19736 5061 0 0 16 0 1 0 20474054 3829760 638 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 935 638 413 48 0 887 0
[pid=5783] vsize: 3740
Current children cumulated CPU time (s) 567.97
Current children cumulated vsize (Kb) 5868

[startup+730.059 s]
Raw data (loadavg): 1.25 1.09 1.02 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 668 0 0 0 20166 5251 0 0 17 0 1 0 20474054 3829760 639 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 935 639 413 48 0 887 0
[pid=5783] vsize: 3740
Current children cumulated CPU time (s) 574.17
Current children cumulated vsize (Kb) 5868

[startup+740.059 s]
Raw data (loadavg): 1.21 1.09 1.02 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) R 5778 5778 4005 0 -1 0 671 0 0 0 20816 5368 0 0 21 0 1 0 20474054 3829760 642 4294967295 134512640 134702520 3221223712 3221150028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5783/statm): 935 642 413 48 0 887 0
[pid=5783] vsize: 3740
Current children cumulated CPU time (s) 581.84
Current children cumulated vsize (Kb) 5868

[startup+750.06 s]
Raw data (loadavg): 1.17 1.08 1.02 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) R 5778 5778 4005 0 -1 0 672 0 0 0 21474 5477 0 0 23 0 1 0 20474054 3829760 643 4294967295 134512640 134702520 3221223712 3221113088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5783/statm): 935 643 413 48 0 887 0
[pid=5783] vsize: 3740
Current children cumulated CPU time (s) 589.51
Current children cumulated vsize (Kb) 5868

[startup+760.062 s]
Raw data (loadavg): 1.22 1.10 1.02 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) R 5778 5778 4005 0 -1 0 674 0 0 0 22125 5593 0 0 19 0 1 0 20474054 3944448 645 4294967295 134512640 134702520 3221223712 3221200768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5783/statm): 963 645 413 48 0 915 0
[pid=5783] vsize: 3852
Current children cumulated CPU time (s) 597.18
Current children cumulated vsize (Kb) 5980

[startup+770.063 s]
Raw data (loadavg): 1.27 1.11 1.02 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 674 0 0 0 22483 5802 0 0 17 0 1 0 20474054 3944448 645 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 963 645 413 48 0 915 0
[pid=5783] vsize: 3852
Current children cumulated CPU time (s) 602.85
Current children cumulated vsize (Kb) 5980

[startup+780.062 s]
Raw data (loadavg): 1.30 1.12 1.03 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 675 0 0 0 23083 5931 0 0 19 0 1 0 20474054 3944448 646 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 963 646 413 48 0 915 0
[pid=5783] vsize: 3852
Current children cumulated CPU time (s) 610.14
Current children cumulated vsize (Kb) 5980

[startup+790.064 s]
Raw data (loadavg): 1.33 1.13 1.03 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 676 0 0 0 23745 6038 0 0 18 0 1 0 20474054 3944448 647 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5783/statm): 963 647 413 48 0 915 0
[pid=5783] vsize: 3852
Current children cumulated CPU time (s) 617.83
Current children cumulated vsize (Kb) 5980

[startup+800.065 s]
Raw data (loadavg): 1.27 1.13 1.03 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 679 0 0 0 24404 6152 0 0 19 0 1 0 20474054 3944448 650 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 963 650 413 48 0 915 0
[pid=5783] vsize: 3852
Current children cumulated CPU time (s) 625.56
Current children cumulated vsize (Kb) 5980

[startup+810.066 s]
Raw data (loadavg): 1.23 1.12 1.03 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 680 0 0 0 24966 6296 0 0 16 0 1 0 20474054 3944448 651 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5783/statm): 963 651 413 48 0 915 0
[pid=5783] vsize: 3852
Current children cumulated CPU time (s) 632.62
Current children cumulated vsize (Kb) 5980

[startup+820.067 s]
Raw data (loadavg): 1.20 1.12 1.03 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 680 0 0 0 25387 6492 0 0 17 0 1 0 20474054 3944448 651 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5783/statm): 963 651 413 48 0 915 0
[pid=5783] vsize: 3852
Current children cumulated CPU time (s) 638.79
Current children cumulated vsize (Kb) 5980

[startup+830.066 s]
Raw data (loadavg): 1.16 1.11 1.03 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 682 0 0 0 26037 6605 0 0 20 0 1 0 20474054 3944448 653 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 963 653 413 48 0 915 0
[pid=5783] vsize: 3852
Current children cumulated CPU time (s) 646.42
Current children cumulated vsize (Kb) 5980

[startup+840.067 s]
Raw data (loadavg): 1.14 1.11 1.03 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) R 5778 5778 4005 0 -1 0 685 0 0 0 26710 6711 0 0 20 0 1 0 20474054 3944448 656 4294967295 134512640 134702520 3221223712 3221222992 134553317 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5783/statm): 963 656 413 48 0 915 0
[pid=5783] vsize: 3852
Current children cumulated CPU time (s) 654.21
Current children cumulated vsize (Kb) 5980

[startup+850.068 s]
Raw data (loadavg): 1.12 1.11 1.03 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) R 5778 5778 4005 0 -1 0 688 0 0 0 27377 6819 0 0 19 0 1 0 20474054 3944448 659 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5783/statm): 963 659 413 48 0 915 0
[pid=5783] vsize: 3852
Current children cumulated CPU time (s) 661.96
Current children cumulated vsize (Kb) 5980

[startup+860.069 s]
Raw data (loadavg): 1.10 1.10 1.03 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 690 0 0 0 27839 6991 0 0 16 0 1 0 20474054 3944448 661 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 963 661 413 48 0 915 0
[pid=5783] vsize: 3852
Current children cumulated CPU time (s) 668.3
Current children cumulated vsize (Kb) 5980

[startup+870.069 s]
Raw data (loadavg): 1.08 1.10 1.03 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) R 5778 5778 4005 0 -1 0 692 0 0 0 28357 7151 0 0 20 0 1 0 20474054 3944448 663 4294967295 134512640 134702520 3221223712 3221222932 134550217 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5783/statm): 963 663 413 48 0 915 0
[pid=5783] vsize: 3852
Current children cumulated CPU time (s) 675.08
Current children cumulated vsize (Kb) 5980

[startup+880.07 s]
Raw data (loadavg): 1.07 1.09 1.02 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 694 0 0 0 29042 7251 0 0 17 0 1 0 20474054 3944448 665 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5783/statm): 963 665 413 48 0 915 0
[pid=5783] vsize: 3852
Current children cumulated CPU time (s) 682.93
Current children cumulated vsize (Kb) 5980

[startup+890.072 s]
Raw data (loadavg): 1.06 1.09 1.02 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) R 5778 5778 4005 0 -1 0 696 0 0 0 29736 7350 0 0 22 0 1 0 20474054 3944448 667 4294967295 134512640 134702520 3221223712 3221155808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5783/statm): 963 667 413 48 0 915 0
[pid=5783] vsize: 3852
Current children cumulated CPU time (s) 690.86
Current children cumulated vsize (Kb) 5980

[startup+900.073 s]
Raw data (loadavg): 1.05 1.09 1.02 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) R 5778 5778 4005 0 -1 0 699 0 0 0 30415 7456 0 0 20 0 1 0 20474054 3944448 670 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5783/statm): 963 670 413 48 0 915 0
[pid=5783] vsize: 3852
Current children cumulated CPU time (s) 698.71
Current children cumulated vsize (Kb) 5980

[startup+910.074 s]
Raw data (loadavg): 1.04 1.08 1.02 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 699 0 0 0 30815 7656 0 0 16 0 1 0 20474054 3944448 670 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 963 670 413 48 0 915 0
[pid=5783] vsize: 3852
Current children cumulated CPU time (s) 704.71
Current children cumulated vsize (Kb) 5980

[startup+920.075 s]
Raw data (loadavg): 1.03 1.08 1.02 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 702 0 0 0 31391 7794 0 0 20 0 1 0 20474054 4055040 673 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5783/statm): 990 673 413 48 0 942 0
[pid=5783] vsize: 3960
Current children cumulated CPU time (s) 711.85
Current children cumulated vsize (Kb) 6088

[startup+930.075 s]
Raw data (loadavg): 1.03 1.08 1.02 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 704 0 0 0 32066 7901 0 0 19 0 1 0 20474054 4055040 675 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 990 675 413 48 0 942 0
[pid=5783] vsize: 3960
Current children cumulated CPU time (s) 719.67
Current children cumulated vsize (Kb) 6088

[startup+940.076 s]
Raw data (loadavg): 1.02 1.08 1.02 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) R 5778 5778 4005 0 -1 0 705 0 0 0 32756 7998 0 0 19 0 1 0 20474054 4055040 676 4294967295 134512640 134702520 3221223712 3221222608 134552220 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5783/statm): 990 676 413 48 0 942 0
[pid=5783] vsize: 3960
Current children cumulated CPU time (s) 727.54
Current children cumulated vsize (Kb) 6088

[startup+950.077 s]
Raw data (loadavg): 1.02 1.07 1.02 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 709 0 0 0 33450 8100 0 0 20 0 1 0 20474054 4055040 680 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 990 680 413 48 0 942 0
[pid=5783] vsize: 3960
Current children cumulated CPU time (s) 735.5
Current children cumulated vsize (Kb) 6088

[startup+960.078 s]
Raw data (loadavg): 1.02 1.07 1.02 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 709 0 0 0 33843 8305 0 0 16 0 1 0 20474054 4055040 680 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 990 680 413 48 0 942 0
[pid=5783] vsize: 3960
Current children cumulated CPU time (s) 741.48
Current children cumulated vsize (Kb) 6088

[startup+970.079 s]
Raw data (loadavg): 1.01 1.07 1.02 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) R 5778 5778 4005 0 -1 0 711 0 0 0 34422 8445 0 0 20 0 1 0 20474054 4055040 682 4294967295 134512640 134702520 3221223712 3221223104 134604489 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5783/statm): 990 682 413 48 0 942 0
[pid=5783] vsize: 3960
Current children cumulated CPU time (s) 748.67
Current children cumulated vsize (Kb) 6088

[startup+980.079 s]
Raw data (loadavg): 1.01 1.06 1.02 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 714 0 0 0 35092 8554 0 0 19 0 1 0 20474054 4055040 685 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 990 685 413 48 0 942 0
[pid=5783] vsize: 3960
Current children cumulated CPU time (s) 756.46
Current children cumulated vsize (Kb) 6088

[startup+990.08 s]
Raw data (loadavg): 1.01 1.06 1.01 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 715 0 0 0 35808 8646 0 0 25 0 1 0 20474054 4055040 686 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 990 686 413 48 0 942 0
[pid=5783] vsize: 3960
Current children cumulated CPU time (s) 764.54
Current children cumulated vsize (Kb) 6088

[startup+1000.08 s]
Raw data (loadavg): 1.01 1.06 1.01 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 718 0 0 0 36467 8759 0 0 19 0 1 0 20474054 4055040 689 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5783/statm): 990 689 413 48 0 942 0
[pid=5783] vsize: 3960
Current children cumulated CPU time (s) 772.26
Current children cumulated vsize (Kb) 6088

[startup+1010.08 s]
Raw data (loadavg): 1.01 1.06 1.01 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) R 5778 5778 4005 0 -1 0 718 0 0 0 36867 8958 0 0 16 0 1 0 20474054 4055040 689 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5783/statm): 990 689 413 48 0 942 0
[pid=5783] vsize: 3960
Current children cumulated CPU time (s) 778.25
Current children cumulated vsize (Kb) 6088

[startup+1020.08 s]
Raw data (loadavg): 1.08 1.07 1.02 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 720 0 0 0 37429 9104 0 0 19 0 1 0 20474054 4055040 691 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 990 691 413 48 0 942 0
[pid=5783] vsize: 3960
Current children cumulated CPU time (s) 785.33
Current children cumulated vsize (Kb) 6088

[startup+1030.08 s]
Raw data (loadavg): 1.07 1.07 1.02 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 723 0 0 0 38134 9200 0 0 18 0 1 0 20474054 4055040 694 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 990 694 413 48 0 942 0
[pid=5783] vsize: 3960
Current children cumulated CPU time (s) 793.34
Current children cumulated vsize (Kb) 6088

[startup+1040.08 s]
Raw data (loadavg): 1.06 1.06 1.01 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) R 5778 5778 4005 0 -1 0 724 0 0 0 38839 9299 0 0 20 0 1 0 20474054 4055040 695 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5783/statm): 990 695 413 48 0 942 0
[pid=5783] vsize: 3960
Current children cumulated CPU time (s) 801.38
Current children cumulated vsize (Kb) 6088

[startup+1050.08 s]
Raw data (loadavg): 1.05 1.06 1.01 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 726 0 0 0 39539 9398 0 0 19 0 1 0 20474054 4055040 697 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 990 697 413 48 0 942 0
[pid=5783] vsize: 3960
Current children cumulated CPU time (s) 809.37
Current children cumulated vsize (Kb) 6088

[startup+1060.09 s]
Raw data (loadavg): 1.04 1.06 1.01 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 727 0 0 0 40032 9568 0 0 16 0 1 0 20474054 4055040 698 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5783/statm): 990 698 413 48 0 942 0
[pid=5783] vsize: 3960
Current children cumulated CPU time (s) 816
Current children cumulated vsize (Kb) 6088

[startup+1070.09 s]
Raw data (loadavg): 1.03 1.06 1.01 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 730 0 0 0 40521 9731 0 0 19 0 1 0 20474054 4190208 701 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1023 701 413 48 0 975 0
[pid=5783] vsize: 4092
Current children cumulated CPU time (s) 822.52
Current children cumulated vsize (Kb) 6220

[startup+1080.09 s]
Raw data (loadavg): 1.03 1.05 1.01 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 731 0 0 0 41218 9826 0 0 20 0 1 0 20474054 4169728 702 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 702 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 830.44
Current children cumulated vsize (Kb) 6200

[startup+1090.09 s]
Raw data (loadavg): 1.02 1.05 1.01 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 733 0 0 0 41906 9926 0 0 20 0 1 0 20474054 4169728 704 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 704 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 838.32
Current children cumulated vsize (Kb) 6200

[startup+1100.09 s]
Raw data (loadavg): 1.02 1.05 1.01 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) R 5778 5778 4005 0 -1 0 735 0 0 0 42633 10014 0 0 23 0 1 0 20474054 4169728 706 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 706 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 846.47
Current children cumulated vsize (Kb) 6200

[startup+1110.09 s]
Raw data (loadavg): 1.02 1.05 1.01 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 738 0 0 0 43208 10158 0 0 16 0 1 0 20474054 4169728 709 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 709 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 853.66
Current children cumulated vsize (Kb) 6200

[startup+1120.09 s]
Raw data (loadavg): 1.01 1.05 1.01 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 740 0 0 0 43630 10342 0 0 17 0 1 0 20474054 4169728 711 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5783/statm): 1018 711 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 859.72
Current children cumulated vsize (Kb) 6200

[startup+1130.09 s]
Raw data (loadavg): 1.08 1.06 1.01 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 742 0 0 0 44322 10447 0 0 19 0 1 0 20474054 4169728 713 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 713 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 867.69
Current children cumulated vsize (Kb) 6200

[startup+1140.09 s]
Raw data (loadavg): 1.07 1.06 1.01 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 742 0 0 0 44936 10572 0 0 18 0 1 0 20474054 4169728 713 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5783/statm): 1018 713 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 875.08
Current children cumulated vsize (Kb) 6200

[startup+1150.09 s]
Raw data (loadavg): 1.06 1.06 1.01 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) R 5778 5778 4005 0 -1 0 742 0 0 0 45570 10693 0 0 25 0 1 0 20474054 4169728 713 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 713 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 882.63
Current children cumulated vsize (Kb) 6200

[startup+1160.09 s]
Raw data (loadavg): 1.05 1.05 1.01 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 742 0 0 0 46030 10868 0 0 16 0 1 0 20474054 4169728 713 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 713 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 888.98
Current children cumulated vsize (Kb) 6200

[startup+1170.09 s]
Raw data (loadavg): 1.04 1.05 1.01 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) R 5778 5778 4005 0 -1 0 743 0 0 0 46497 11042 0 0 17 0 1 0 20474054 4169728 714 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 714 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 895.39
Current children cumulated vsize (Kb) 6200

[startup+1180.09 s]
Raw data (loadavg): 1.03 1.05 1.01 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 743 0 0 0 47117 11169 0 0 18 0 1 0 20474054 4169728 714 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5783/statm): 1018 714 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 902.86
Current children cumulated vsize (Kb) 6200

[startup+1190.09 s]
Raw data (loadavg): 1.03 1.05 1.01 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 743 0 0 0 47742 11289 0 0 18 0 1 0 20474054 4169728 714 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5783/statm): 1018 714 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 910.31
Current children cumulated vsize (Kb) 6200

[startup+1200.09 s]
Raw data (loadavg): 1.02 1.05 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 743 0 0 0 48272 11441 0 0 16 0 1 0 20474054 4169728 714 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 714 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 917.13
Current children cumulated vsize (Kb) 6200

[startup+1210.1 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 743 0 0 0 48711 11620 0 0 17 0 1 0 20474054 4169728 714 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 714 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 923.31
Current children cumulated vsize (Kb) 6200

[startup+1220.1 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 744 0 0 0 49358 11734 0 0 19 0 1 0 20474054 4169728 715 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 715 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 930.92
Current children cumulated vsize (Kb) 6200

[startup+1230.1 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 744 0 0 0 49983 11855 0 0 18 0 1 0 20474054 4169728 715 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 715 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 938.38
Current children cumulated vsize (Kb) 6200

[startup+1240.1 s]
Raw data (loadavg): 1.08 1.05 1.01 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 744 0 0 0 50578 11988 0 0 16 0 1 0 20474054 4169728 715 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 715 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 945.66
Current children cumulated vsize (Kb) 6200

[startup+1250.1 s]
Raw data (loadavg): 1.07 1.05 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 744 0 0 0 50960 12189 0 0 18 0 1 0 20474054 4169728 715 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 715 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 951.49
Current children cumulated vsize (Kb) 6200

[startup+1260.1 s]
Raw data (loadavg): 1.06 1.05 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 745 0 0 0 51573 12317 0 0 18 0 1 0 20474054 4169728 716 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5783/statm): 1018 716 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 958.9
Current children cumulated vsize (Kb) 6200

[startup+1270.1 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 745 0 0 0 52222 12434 0 0 19 0 1 0 20474054 4169728 716 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 716 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 966.56
Current children cumulated vsize (Kb) 6200

[startup+1280.1 s]
Raw data (loadavg): 1.04 1.05 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 745 0 0 0 52865 12550 0 0 18 0 1 0 20474054 4169728 716 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 716 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 974.15
Current children cumulated vsize (Kb) 6200

[startup+1290.1 s]
Raw data (loadavg): 1.04 1.04 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 745 0 0 0 53277 12746 0 0 16 0 1 0 20474054 4169728 716 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5783/statm): 1018 716 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 980.23
Current children cumulated vsize (Kb) 6200

[startup+1300.11 s]
Raw data (loadavg): 1.03 1.04 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 746 0 0 0 53823 12900 0 0 19 0 1 0 20474054 4169728 717 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5783/statm): 1018 717 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 987.23
Current children cumulated vsize (Kb) 6200

[startup+1310.11 s]
Raw data (loadavg): 1.10 1.06 1.00 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) R 5778 5778 4005 0 -1 0 746 0 0 0 54476 13009 0 0 18 0 1 0 20474054 4169728 717 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 717 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 994.85
Current children cumulated vsize (Kb) 6200

[startup+1320.11 s]
Raw data (loadavg): 1.08 1.06 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 746 0 0 0 55137 13116 0 0 20 0 1 0 20474054 4169728 717 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 717 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 1002.53
Current children cumulated vsize (Kb) 6200

[startup+1330.11 s]
Raw data (loadavg): 1.07 1.05 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 746 0 0 0 55707 13252 0 0 16 0 1 0 20474054 4169728 717 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 717 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 1009.59
Current children cumulated vsize (Kb) 6200

[startup+1340.11 s]
Raw data (loadavg): 1.06 1.05 1.00 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) R 5778 5778 4005 0 -1 0 747 0 0 0 56121 13449 0 0 18 0 1 0 20474054 4169728 718 4294967295 134512640 134702520 3221223712 3221222480 134553133 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 718 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 1015.7
Current children cumulated vsize (Kb) 6200

[startup+1350.11 s]
Raw data (loadavg): 1.05 1.05 1.00 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) R 5778 5778 4005 0 -1 0 748 0 0 0 56754 13566 0 0 19 0 1 0 20474054 4169728 719 4294967295 134512640 134702520 3221223712 3221222992 134553333 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 719 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 1023.2
Current children cumulated vsize (Kb) 6200

[startup+1360.11 s]
Raw data (loadavg): 1.04 1.05 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 748 0 0 0 57428 13673 0 0 19 0 1 0 20474054 4169728 719 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5783/statm): 1018 719 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 1031.01
Current children cumulated vsize (Kb) 6200

[startup+1370.11 s]
Raw data (loadavg): 1.03 1.05 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 748 0 0 0 58104 13777 0 0 18 0 1 0 20474054 4169728 719 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 719 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 1038.81
Current children cumulated vsize (Kb) 6200

[startup+1380.11 s]
Raw data (loadavg): 1.03 1.04 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 748 0 0 0 58579 13951 0 0 16 0 1 0 20474054 4169728 719 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 719 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 1045.3
Current children cumulated vsize (Kb) 6200

[startup+1390.11 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 749 0 0 0 59073 14114 0 0 19 0 1 0 20474054 4169728 720 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 720 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 1051.87
Current children cumulated vsize (Kb) 6200

[startup+1400.11 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 749 0 0 0 59730 14230 0 0 17 0 1 0 20474054 4169728 720 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 720 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 1059.6
Current children cumulated vsize (Kb) 6200

[startup+1410.12 s]
Raw data (loadavg): 1.09 1.05 1.00 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) R 5778 5778 4005 0 -1 0 749 0 0 0 60401 14339 0 0 18 0 1 0 20474054 4169728 720 4294967295 134512640 134702520 3221223712 3221222608 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 720 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 1067.4
Current children cumulated vsize (Kb) 6200

[startup+1420.12 s]
Raw data (loadavg): 1.08 1.05 1.00 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) R 5778 5778 4005 0 -1 0 750 0 0 0 61075 14447 0 0 19 0 1 0 20474054 4169728 721 4294967295 134512640 134702520 3221223712 3221188288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 721 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 1075.22
Current children cumulated vsize (Kb) 6200

[startup+1430.12 s]
Raw data (loadavg): 1.06 1.05 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 751 0 0 0 61437 14656 0 0 17 0 1 0 20474054 4169728 722 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 722 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 1080.93
Current children cumulated vsize (Kb) 6200

[startup+1440.12 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 752 0 0 0 62040 14790 0 0 19 0 1 0 20474054 4169728 723 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 723 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 1088.3
Current children cumulated vsize (Kb) 6200

[startup+1450.12 s]
Raw data (loadavg): 1.04 1.05 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 753 0 0 0 62709 14892 0 0 20 0 1 0 20474054 4169728 724 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 724 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 1096.01
Current children cumulated vsize (Kb) 6200

[startup+1460.12 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 753 0 0 0 63388 15000 0 0 19 0 1 0 20474054 4169728 724 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 724 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 1103.88
Current children cumulated vsize (Kb) 6200

[startup+1470.12 s]
Raw data (loadavg): 1.03 1.04 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 753 0 0 0 64032 15119 0 0 16 0 1 0 20474054 4169728 724 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 724 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 1111.51
Current children cumulated vsize (Kb) 6200

[startup+1480.12 s]
Raw data (loadavg): 1.11 1.06 1.01 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) R 5778 5778 4005 0 -1 0 753 0 0 0 64408 15330 0 0 18 0 1 0 20474054 4169728 724 4294967295 134512640 134702520 3221223712 3221222420 134550182 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 724 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 1117.38
Current children cumulated vsize (Kb) 6200

[startup+1490.12 s]
Raw data (loadavg): 1.09 1.06 1.00 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) R 5778 5778 4005 0 -1 0 754 0 0 0 65046 15452 0 0 18 0 1 0 20474054 4169728 725 4294967295 134512640 134702520 3221223712 3221222480 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 725 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 1124.98
Current children cumulated vsize (Kb) 6200

[startup+1500.12 s]
Raw data (loadavg): 1.15 1.07 1.01 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) R 5778 5778 4005 0 -1 0 755 0 0 0 65740 15551 0 0 24 0 1 0 20474054 4169728 726 4294967295 134512640 134702520 3221223712 3221090828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 726 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 1132.91
Current children cumulated vsize (Kb) 6200

[startup+1510.12 s]
Raw data (loadavg): 1.13 1.07 1.01 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 756 0 0 0 66418 15656 0 0 20 0 1 0 20474054 4169728 727 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 727 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 1140.74
Current children cumulated vsize (Kb) 6200

[startup+1520.13 s]
Raw data (loadavg): 1.11 1.06 1.01 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 756 0 0 0 67027 15785 0 0 16 0 1 0 20474054 4169728 727 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1018 727 413 48 0 970 0
[pid=5783] vsize: 4072
Current children cumulated CPU time (s) 1148.12
Current children cumulated vsize (Kb) 6200

[startup+1530.13 s]
Raw data (loadavg): 1.09 1.06 1.01 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 757 0 0 0 67420 15986 0 0 17 0 1 0 20474054 4304896 728 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1051 728 413 48 0 1003 0
[pid=5783] vsize: 4204
Current children cumulated CPU time (s) 1154.06
Current children cumulated vsize (Kb) 6332

[startup+1540.13 s]
Raw data (loadavg): 1.08 1.06 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 759 0 0 0 68058 16111 0 0 18 0 1 0 20474054 4284416 730 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1046 730 413 48 0 998 0
[pid=5783] vsize: 4184
Current children cumulated CPU time (s) 1161.69
Current children cumulated vsize (Kb) 6312

[startup+1550.13 s]
Raw data (loadavg): 1.07 1.06 1.00 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) R 5778 5778 4005 0 -1 0 760 0 0 0 68777 16200 0 0 25 0 1 0 20474054 4284416 731 4294967295 134512640 134702520 3221223712 3221088428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1046 731 413 48 0 998 0
[pid=5783] vsize: 4184
Current children cumulated CPU time (s) 1169.77
Current children cumulated vsize (Kb) 6312

[startup+1560.13 s]
Raw data (loadavg): 1.06 1.05 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 763 0 0 0 69451 16309 0 0 20 0 1 0 20474054 4284416 734 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1046 734 413 48 0 998 0
[pid=5783] vsize: 4184
Current children cumulated CPU time (s) 1177.6
Current children cumulated vsize (Kb) 6312

[startup+1570.13 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 763 0 0 0 70103 16425 0 0 16 0 1 0 20474054 4284416 734 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1046 734 413 48 0 998 0
[pid=5783] vsize: 4184
Current children cumulated CPU time (s) 1185.28
Current children cumulated vsize (Kb) 6312

[startup+1580.13 s]
Raw data (loadavg): 1.04 1.05 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 764 0 0 0 70485 16630 0 0 18 0 1 0 20474054 4284416 735 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5783/statm): 1046 735 413 48 0 998 0
[pid=5783] vsize: 4184
Current children cumulated CPU time (s) 1191.15
Current children cumulated vsize (Kb) 6312

[startup+1590.13 s]
Raw data (loadavg): 1.03 1.05 1.00 1/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) T 5778 5778 4005 0 -1 0 765 0 0 0 71121 16750 0 0 17 0 1 0 20474054 4284416 736 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5783/statm): 1046 736 413 48 0 998 0
[pid=5783] vsize: 4184
Current children cumulated CPU time (s) 1198.71
Current children cumulated vsize (Kb) 6312

[startup+1600.13 s]
Raw data (loadavg): 1.03 1.05 1.00 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) R 5778 5778 4005 0 -1 0 765 0 0 0 71821 16850 0 0 20 0 1 0 20474054 4284416 736 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5783/statm): 1046 736 413 48 0 998 0
[pid=5783] vsize: 4184
Current children cumulated CPU time (s) 1206.71
Current children cumulated vsize (Kb) 6312



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1600.13 s]
Raw data (loadavg): 1.03 1.05 1.00 2/56 5783
Raw data (/proc/5778/stat): 5778 (vallstSAT2005PB) S 5777 5778 4005 0 -1 0 378 1103 0 0 2 1 29641 2356 19 0 1 0 20437252 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5778/statm): 532 248 485 147 0 385 0
[pid=5778] vsize: 2128
Raw data (/proc/5783/stat): 5783 (vallst) R 5778 5778 4005 0 -1 0 765 0 0 0 71821 16850 0 0 20 0 1 0 20474054 4284416 736 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5783/statm): 1046 736 413 48 0 998 0
[pid=5783] vsize: 4184
Current children cumulated CPU time (s) 1206.71
Current children cumulated vsize (Kb) 6312

Sending SIGTERM to -5778
Sleeping 2 seconds
New process pid=5785
New process pid=5786
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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
One traced child (pid=5783) exited with status: 3
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/3988/stat
open syscall for file /proc/3988/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/3988/cmdline
open syscall for file /proc/3988/environ
open syscall for file /proc/4013/stat
open syscall for file /proc/4013/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4013/cmdline
open syscall for file /proc/4013/environ
open syscall for file /proc/5739/stat
open syscall for file /proc/5739/status
open syscall for file /proc/5739/cmdline
open syscall for file /proc/5739/environ
open syscall for file /proc/5777/stat
open syscall for file /proc/5777/status
open syscall for file /proc/5777/cmdline
open syscall for file /proc/5777/environ
open syscall for file /proc/5778/stat
open syscall for file /proc/5778/status
open syscall for file /proc/5778/cmdline
open syscall for file /proc/5778/environ
open syscall for file /proc/5785/stat
open syscall for file /proc/5785/status
open syscall for file /proc/5785/cmdline
open syscall for file /proc/5785/environ
open syscall for file /proc/5786/stat
open syscall for file /proc/5786/status
open syscall for file /proc/5786/cmdline
open syscall for file /proc/5786/environ
One traced child (pid=5785) exited with status: 0
One traced child (pid=5786) exited with status: 0
New process pid=5787
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=5787) exited with status: 0
New process pid=5788
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=5788) exited with status: 0
One traced child (pid=5778) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1600.61
CPU time (s): 1206.85
CPU user time (s): 1014.7
CPU system time (s): 192.155
CPU usage (%): 75.3995
Max. virtual memory (cumulated for all children) (Kb): 6332

Verifier Data

ERROR: no interpretation found !