Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-air05.opb
MD5SUMa0fff131fa124ee4d61d9b3bf266a4ba
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 38469
Optimality of the best value was proved NO
Number of terms in the objective function 7195
Biggest coefficient in the objective function 2679
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 3908448
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 2679
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 3908448
Number of bits of the biggest sum of numbers22
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.17
Number of variables7195
Total number of constraints7621
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)7621
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint404

Trace number 9244

Launcher Data

LAUNCH ON wulflinc29 THE 2005-09-23 11:47:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7974 boxname=wulflinc29 idbench=942 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  a0fff131fa124ee4d61d9b3bf266a4ba  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-air05.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-air05.opb 0
IDLAUNCH: 7974
/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:        933448 kB
Buffers:          9652 kB
Cached:          74260 kB
SwapCached:          0 kB
Active:          44256 kB
Inactive:        42560 kB
HighTotal:      131008 kB
HighFree:        57148 kB
LowTotal:       903652 kB
LowFree:        876300 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              64 kB
Writeback:           0 kB
Mapped:           6968 kB
Slab:             8816 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 12:08:58 (client local time) WITH STATUS 0 IN 1209.82 SECONDS
stats: 7974 7 1209.82 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 957  (#equs: 0)
#decisions: 23320;  #end-nodes: 4701;
#proof improvement attempts: 0;  #restarts: 49
Current batch, end-nodes: 80 / 92 (92)
#axs: 853, #non-axs: 217
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:  3861937 (46510:>=*);
#decisions: 195;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 853, #non-axs: 218
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:  3862059 (46388:>=*);
#decisions: 106;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 853, #non-axs: 218
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:  3862470 (45977:>=*);
#decisions: 109;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 853, #non-axs: 218
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:  3862663 (45784:>=*);
#decisions: 126;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 853, #non-axs: 218
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:  3862742 (45705:>=*);
#decisions: 103;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 853, #non-axs: 218
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:  3863153 (45294:>=*);
#decisions: 109;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 853, #non-axs: 218
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:  3863346 (45101:>=*);
#decisions: 6221;  #end-nodes: 1248;
#proof improvement attempts: 0;  #restarts: 13
Current batch, end-nodes: 89 / 95 (83)
#axs: 853, #non-axs: 267
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:  3864658 (43789:>=*);
#decisions: 83;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 853, #non-axs: 267
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:  3864679 (43768:>=*);
#decisions: 117;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 853, #non-axs: 267
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:  3864954 (43493:>=*);
#decisions: 117;  #end-nodes: 14;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 14 / 80 (80)
#axs: 853, #non-axs: 267
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:  3865290 (43157:>=*);
#decisions: 124;  #end-nodes: 19;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 19 / 80 (80)
#axs: 853, #non-axs: 267
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:  3865928 (42519:>=*);
#decisions: 320;  #end-nodes: 31;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 31 / 80 (80)
#axs: 853, #non-axs: 267
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:  3865939 (42508:>=*);
#decisions: 179;  #end-nodes: 53;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 53 / 80 (80)
#axs: 853, #non-axs: 267
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:  3865963 (42484:>=*);
#decisions: 59115;  #end-nodes: 15307;
#proof improvement attempts: 0;  #restarts: 121
Current batch, end-nodes: 79 / 110 (110)
#axs: 853, #non-axs: 307
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:  3866187 (42260:>=*);
#decisions: 205;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 853, #non-axs: 308
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:  3866212 (42235:>=*);
#decisions: 114;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 853, #non-axs: 308
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:  3866308 (42139:>=*);
#decisions: 106;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 853, #non-axs: 308
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:  3866348 (42099:>=*);
#decisions: 100523;  #end-nodes: 27371;
#proof improvement attempts: 0;  #restarts: 219
Current batch, end-nodes: 102 / 207 (134)
#axs: 853, #non-axs: 369
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:  3866456 (41991:>=*);
#decisions: 75;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 853, #non-axs: 369
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:  3866625 (41822:>=*);
#decisions: 135625;  #end-nodes: 37266;
#proof improvement attempts: 0;  #restarts: 288
Current batch, end-nodes: 0 / 195 (151)
#axs: 853, #non-axs: 435
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:) 3866625 (41822:>=*)

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: 1080  (#equs: 0)
Time taken: 5 min, 17 sec

2:
seed: 0
Nr of vars set: 1080  (#equs: 0)
Nr of vars set: 1080  (#equs: 0)
#decisions: 19477;  #end-nodes: 5776;
#proof improvement attempts: 0;  #restarts: 41
Current batch, end-nodes: 93 / 130 (130)
#axs: 853, #non-axs: 757
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:  3317255 (41258:>=*);
#decisions: 49;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 120 (120)
#axs: 853, #non-axs: 757
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:  3317902 (40611:>=*);
#decisions: 47;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 120 (120)
#axs: 853, #non-axs: 757
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:  3317940 (40573:>=*);
#decisions: 8732;  #end-nodes: 2717;
#proof improvement attempts: 0;  #restarts: 19
Current batch, end-nodes: 310 / 426 (124)
#axs: 853, #non-axs: 861
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:  3318772 (39741:>=*);
#decisions: 88;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 120 (120)
#axs: 853, #non-axs: 861
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:  3318994 (39519:>=*);
#decisions: 144657;  #end-nodes: 50479;
#proof improvement attempts: 0;  #restarts: 265
Current batch, end-nodes: 236 / 444 (186)
#axs: 853, #non-axs: 1508
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:  3319019 (39494:>=*);
#decisions: 592327;  #end-nodes: 238342;
#proof improvement attempts: 0;  #restarts: 806
Current batch, end-nodes: 218 / 343 (321)
#axs: 854, #non-axs: 3904
tight: meta-meta: start: 5, end: 7;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 6, end: 9;  meta: start: 13, end (keep): 18
Model found with constant:  3319069 (39444:>=*);
#decisions: 100;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 120 (120)
#axs: 854, #non-axs: 3904
tight: meta-meta: start: 5, end: 7;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 6, end: 9;  meta: start: 13, end (keep): 18
Model found with constant:  3319084 (39429:>=*);
Interupt request received.
#decisions: 225190;  #end-nodes: 71918;
#proof improvement attempts: 0;  #restarts: 357
Current batch, end-nodes: 294 / 315 (209)
#axs: 854, #non-axs: 769
tight: meta-meta: start: 3, end: 4;  meta: start: 7, end (keep): 12
loose: meta-meta: start: 6, end: 9;  meta: start: 13, end (keep): 18
Model found with constant:
  (pushed:) 3319084 (39429:>=*)

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: 5526  (#equs: 1)
Time taken: 14 min, 51 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/5168/stat): 5168 (vallstSAT2005PB) R 5167 5168 4005 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19906388 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5168/statm): 174 3 169 147 0 27 0
[pid=5168] 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=5169
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=5169) exited with status: 0
New process pid=5170
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=5170) exited with status: 0
New process pid=5171
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-air05.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0036 s]
Raw data (loadavg): 0.97 1.03 1.00 1/56 5171
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19906388 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 242 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5171/stat): 5171 (vallst) T 5168 5168 4005 0 -1 0 880 0 0 0 873 42 0 0 25 0 1 0 19906395 5296128 803 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5171/statm): 1293 803 413 48 0 1245 0
[pid=5171] vsize: 5172
Current children cumulated CPU time (s) 9.17
Current children cumulated vsize (Kb) 7300

[startup+20.0044 s]
Raw data (loadavg): 0.98 1.03 1.00 1/56 5171
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19906388 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 242 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5171/stat): 5171 (vallst) T 5168 5168 4005 0 -1 0 975 0 0 0 1702 101 0 0 21 0 1 0 19906395 9826304 898 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5171/statm): 2399 898 413 48 0 2351 0
[pid=5171] vsize: 9596
Current children cumulated CPU time (s) 18.05
Current children cumulated vsize (Kb) 11724

[startup+30.0062 s]
Raw data (loadavg): 0.98 1.03 1.00 2/56 5171
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19906388 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 242 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5171/stat): 5171 (vallst) R 5168 5168 4005 0 -1 0 1017 0 0 0 2587 140 0 0 25 0 1 0 19906395 9990144 940 4294967295 134512640 134702520 3221223952 3221223232 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5171/statm): 2439 940 413 48 0 2391 0
[pid=5171] vsize: 9756
Current children cumulated CPU time (s) 27.29
Current children cumulated vsize (Kb) 11884

[startup+40.007 s]
Raw data (loadavg): 0.98 1.03 1.00 2/56 5171
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19906388 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 242 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5171/stat): 5171 (vallst) R 5168 5168 4005 0 -1 0 1027 0 0 0 3498 172 0 0 25 0 1 0 19906395 10133504 950 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5171/statm): 2474 950 413 48 0 2426 0
[pid=5171] vsize: 9896
Current children cumulated CPU time (s) 36.72
Current children cumulated vsize (Kb) 12024

[startup+50.0077 s]
Raw data (loadavg): 0.99 1.02 1.00 2/56 5171
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19906388 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 242 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5171/stat): 5171 (vallst) R 5168 5168 4005 0 -1 0 1119 0 0 0 4418 199 0 0 25 0 1 0 19906395 10133504 1042 4294967295 134512640 134702520 3221223952 3221223352 134606948 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5171/statm): 2474 1042 413 48 0 2426 0
[pid=5171] vsize: 9896
Current children cumulated CPU time (s) 46.19
Current children cumulated vsize (Kb) 12024

[startup+60.0085 s]
Raw data (loadavg): 0.99 1.02 1.00 2/56 5171
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19906388 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 242 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5171/stat): 5171 (vallst) T 5168 5168 4005 0 -1 0 1242 0 0 0 5347 226 0 0 25 0 1 0 19906395 10133504 1165 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5171/statm): 2474 1165 413 48 0 2426 0
[pid=5171] vsize: 9896
Current children cumulated CPU time (s) 55.75
Current children cumulated vsize (Kb) 12024

[startup+70.0093 s]
Raw data (loadavg): 0.99 1.02 1.00 2/56 5171
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19906388 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 242 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5171/stat): 5171 (vallst) R 5168 5168 4005 0 -1 0 1246 0 0 0 6284 247 0 0 25 0 1 0 19906395 10133504 1169 4294967295 134512640 134702520 3221223952 3221222848 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5171/statm): 2474 1169 413 48 0 2426 0
[pid=5171] vsize: 9896
Current children cumulated CPU time (s) 65.33
Current children cumulated vsize (Kb) 12024

[startup+80.011 s]
Raw data (loadavg): 0.99 1.02 1.00 2/56 5171
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19906388 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 242 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5171/stat): 5171 (vallst) T 5168 5168 4005 0 -1 0 1246 0 0 0 7195 276 0 0 24 0 1 0 19906395 10133504 1169 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5171/statm): 2474 1169 413 48 0 2426 0
[pid=5171] vsize: 9896
Current children cumulated CPU time (s) 74.73
Current children cumulated vsize (Kb) 12024

[startup+90.0118 s]
Raw data (loadavg): 0.99 1.02 1.00 2/56 5171
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19906388 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 242 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5171/stat): 5171 (vallst) R 5168 5168 4005 0 -1 0 1252 0 0 0 8106 306 0 0 25 0 1 0 19906395 10141696 1175 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5171/statm): 2476 1175 413 48 0 2428 0
[pid=5171] vsize: 9904
Current children cumulated CPU time (s) 84.14
Current children cumulated vsize (Kb) 12032

[startup+100.013 s]
Raw data (loadavg): 0.99 1.02 1.00 2/56 5171
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19906388 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 242 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5171/stat): 5171 (vallst) R 5168 5168 4005 0 -1 0 1256 0 0 0 9025 334 0 0 25 0 1 0 19906395 10256384 1179 4294967295 134512640 134702520 3221223952 3221223232 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5171/statm): 2504 1179 413 48 0 2456 0
[pid=5171] vsize: 10016
Current children cumulated CPU time (s) 93.61
Current children cumulated vsize (Kb) 12144

[startup+110.013 s]
Raw data (loadavg): 0.99 1.02 1.00 2/56 5171
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19906388 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 242 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5171/stat): 5171 (vallst) T 5168 5168 4005 0 -1 0 1258 0 0 0 9956 360 0 0 25 0 1 0 19906395 10256384 1181 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5171/statm): 2504 1181 413 48 0 2456 0
[pid=5171] vsize: 10016
Current children cumulated CPU time (s) 103.18
Current children cumulated vsize (Kb) 12144

[startup+120.014 s]
Raw data (loadavg): 0.99 1.02 1.00 2/56 5171
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19906388 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 242 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5171/stat): 5171 (vallst) R 5168 5168 4005 0 -1 0 1266 0 0 0 10891 384 0 0 25 0 1 0 19906395 10256384 1189 4294967295 134512640 134702520 3221223952 3221222976 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5171/statm): 2504 1189 413 48 0 2456 0
[pid=5171] vsize: 10016
Current children cumulated CPU time (s) 112.77
Current children cumulated vsize (Kb) 12144

[startup+130.016 s]
Raw data (loadavg): 0.99 1.02 1.00 1/56 5171
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19906388 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 242 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5171/stat): 5171 (vallst) T 5168 5168 4005 0 -1 0 1268 0 0 0 11820 408 0 0 25 0 1 0 19906395 10256384 1191 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5171/statm): 2504 1191 413 48 0 2456 0
[pid=5171] vsize: 10016
Current children cumulated CPU time (s) 122.3
Current children cumulated vsize (Kb) 12144

[startup+140.017 s]
Raw data (loadavg): 0.99 1.02 1.00 1/56 5171
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19906388 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 242 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5171/stat): 5171 (vallst) T 5168 5168 4005 0 -1 0 1271 0 0 0 12732 437 0 0 25 0 1 0 19906395 10256384 1194 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5171/statm): 2504 1194 413 48 0 2456 0
[pid=5171] vsize: 10016
Current children cumulated CPU time (s) 131.71
Current children cumulated vsize (Kb) 12144

[startup+150.016 s]
Raw data (loadavg): 0.99 1.02 1.00 2/56 5171
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19906388 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 242 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5171/stat): 5171 (vallst) T 5168 5168 4005 0 -1 0 1273 0 0 0 13654 465 0 0 25 0 1 0 19906395 10256384 1196 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5171/statm): 2504 1196 413 48 0 2456 0
[pid=5171] vsize: 10016
Current children cumulated CPU time (s) 141.21
Current children cumulated vsize (Kb) 12144

[startup+160.017 s]
Raw data (loadavg): 0.99 1.01 1.00 1/56 5171
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19906388 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 242 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5171/stat): 5171 (vallst) T 5168 5168 4005 0 -1 0 1276 0 0 0 14575 490 0 0 19 0 1 0 19906395 10256384 1199 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5171/statm): 2504 1199 413 48 0 2456 0
[pid=5171] vsize: 10016
Current children cumulated CPU time (s) 150.67
Current children cumulated vsize (Kb) 12144

[startup+170.018 s]
Raw data (loadavg): 0.99 1.01 1.00 2/56 5171
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19906388 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 242 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5171/stat): 5171 (vallst) T 5168 5168 4005 0 -1 0 1278 0 0 0 15508 514 0 0 25 0 1 0 19906395 10256384 1201 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5171/statm): 2504 1201 413 48 0 2456 0
[pid=5171] vsize: 10016
Current children cumulated CPU time (s) 160.24
Current children cumulated vsize (Kb) 12144

[startup+180.02 s]
Raw data (loadavg): 0.99 1.01 1.00 1/56 5171
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19906388 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 242 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5171/stat): 5171 (vallst) T 5168 5168 4005 0 -1 0 1281 0 0 0 16425 545 0 0 25 0 1 0 19906395 10256384 1204 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5171/statm): 2504 1204 413 48 0 2456 0
[pid=5171] vsize: 10016
Current children cumulated CPU time (s) 169.72
Current children cumulated vsize (Kb) 12144

[startup+190.021 s]
Raw data (loadavg): 0.99 1.01 1.00 2/56 5171
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19906388 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 242 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5171/stat): 5171 (vallst) T 5168 5168 4005 0 -1 0 1282 0 0 0 17345 573 0 0 25 0 1 0 19906395 10256384 1205 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5171/statm): 2504 1205 413 48 0 2456 0
[pid=5171] vsize: 10016
Current children cumulated CPU time (s) 179.2
Current children cumulated vsize (Kb) 12144

[startup+200.02 s]
Raw data (loadavg): 0.99 1.01 1.00 1/56 5171
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19906388 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 242 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5171/stat): 5171 (vallst) T 5168 5168 4005 0 -1 0 1286 0 0 0 18275 596 0 0 25 0 1 0 19906395 10256384 1209 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5171/statm): 2504 1209 413 48 0 2456 0
[pid=5171] vsize: 10016
Current children cumulated CPU time (s) 188.73
Current children cumulated vsize (Kb) 12144

[startup+210.021 s]
Raw data (loadavg): 0.99 1.01 1.00 2/56 5171
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19906388 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 242 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5171/stat): 5171 (vallst) T 5168 5168 4005 0 -1 0 1288 0 0 0 19205 620 0 0 25 0 1 0 19906395 10412032 1211 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5171/statm): 2542 1211 413 48 0 2494 0
[pid=5171] vsize: 10168
Current children cumulated CPU time (s) 198.27
Current children cumulated vsize (Kb) 12296

[startup+220.021 s]
Raw data (loadavg): 0.99 1.01 1.00 2/56 5171
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19906388 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 242 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5171/stat): 5171 (vallst) R 5168 5168 4005 0 -1 0 1289 0 0 0 20135 643 0 0 25 0 1 0 19906395 10387456 1212 4294967295 134512640 134702520 3221223952 3221222976 134552868 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5171/statm): 2536 1212 413 48 0 2488 0
[pid=5171] vsize: 10144
Current children cumulated CPU time (s) 207.8
Current children cumulated vsize (Kb) 12272

[startup+230.022 s]
Raw data (loadavg): 0.99 1.01 1.00 1/56 5171
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19906388 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 242 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5171/stat): 5171 (vallst) T 5168 5168 4005 0 -1 0 1291 0 0 0 21064 667 0 0 25 0 1 0 19906395 10387456 1214 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5171/statm): 2536 1214 413 48 0 2488 0
[pid=5171] vsize: 10144
Current children cumulated CPU time (s) 217.33
Current children cumulated vsize (Kb) 12272

[startup+240.022 s]
Raw data (loadavg): 0.99 1.01 1.00 1/56 5171
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19906388 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 242 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5171/stat): 5171 (vallst) T 5168 5168 4005 0 -1 0 1291 0 0 0 21979 699 0 0 25 0 1 0 19906395 10387456 1214 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5171/statm): 2536 1214 413 48 0 2488 0
[pid=5171] vsize: 10144
Current children cumulated CPU time (s) 226.8
Current children cumulated vsize (Kb) 12272

[startup+250.023 s]
Raw data (loadavg): 0.99 1.01 1.00 1/56 5171
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19906388 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 242 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5171/stat): 5171 (vallst) T 5168 5168 4005 0 -1 0 1293 0 0 0 22898 728 0 0 25 0 1 0 19906395 10387456 1216 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5171/statm): 2536 1216 413 48 0 2488 0
[pid=5171] vsize: 10144
Current children cumulated CPU time (s) 236.28
Current children cumulated vsize (Kb) 12272

[startup+260.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5171
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19906388 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 242 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5171/stat): 5171 (vallst) R 5168 5168 4005 0 -1 0 1296 0 0 0 23814 757 0 0 25 0 1 0 19906395 10387456 1219 4294967295 134512640 134702520 3221223952 3221223232 134552903 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5171/statm): 2536 1219 413 48 0 2488 0
[pid=5171] vsize: 10144
Current children cumulated CPU time (s) 245.73
Current children cumulated vsize (Kb) 12272

[startup+270.025 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5171
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19906388 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 242 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5171/stat): 5171 (vallst) T 5168 5168 4005 0 -1 0 1298 0 0 0 24750 781 0 0 25 0 1 0 19906395 10387456 1221 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5171/statm): 2536 1221 413 48 0 2488 0
[pid=5171] vsize: 10144
Current children cumulated CPU time (s) 255.33
Current children cumulated vsize (Kb) 12272

[startup+280.026 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 5171
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19906388 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 242 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5171/stat): 5171 (vallst) T 5168 5168 4005 0 -1 0 1300 0 0 0 25676 807 0 0 25 0 1 0 19906395 10387456 1223 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5171/statm): 2536 1223 413 48 0 2488 0
[pid=5171] vsize: 10144
Current children cumulated CPU time (s) 264.85
Current children cumulated vsize (Kb) 12272

[startup+290.026 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5171
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19906388 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 242 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5171/stat): 5171 (vallst) R 5168 5168 4005 0 -1 0 1300 0 0 0 26586 837 0 0 25 0 1 0 19906395 10387456 1223 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5171/statm): 2536 1223 413 48 0 2488 0
[pid=5171] vsize: 10144
Current children cumulated CPU time (s) 274.25
Current children cumulated vsize (Kb) 12272

[startup+300.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5171
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19906388 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 242 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5171/stat): 5171 (vallst) R 5168 5168 4005 0 -1 0 1302 0 0 0 27509 864 0 0 25 0 1 0 19906395 10387456 1225 4294967295 134512640 134702520 3221223952 3221127888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5171/statm): 2536 1225 413 48 0 2488 0
[pid=5171] vsize: 10144
Current children cumulated CPU time (s) 283.75
Current children cumulated vsize (Kb) 12272

[startup+310.028 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 5171
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19906388 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 242 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5171/stat): 5171 (vallst) T 5168 5168 4005 0 -1 0 1306 0 0 0 28435 890 0 0 25 0 1 0 19906395 10387456 1229 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5171/statm): 2536 1229 413 48 0 2488 0
[pid=5171] vsize: 10144
Current children cumulated CPU time (s) 293.27
Current children cumulated vsize (Kb) 12272

[startup+320.029 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5171
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19906388 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 242 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5171/stat): 5171 (vallst) T 5168 5168 4005 0 -1 0 1308 0 0 0 29365 915 0 0 25 0 1 0 19906395 10387456 1231 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5171/statm): 2536 1231 413 48 0 2488 0
[pid=5171] vsize: 10144
Current children cumulated CPU time (s) 302.82
Current children cumulated vsize (Kb) 12272

[startup+330.029 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 5171
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19906388 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 242 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5171/stat): 5171 (vallst) T 5168 5168 4005 0 -1 0 1309 0 0 0 30296 941 0 0 25 0 1 0 19906395 10387456 1232 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5171/statm): 2536 1232 413 48 0 2488 0
[pid=5171] vsize: 10144
Current children cumulated CPU time (s) 312.39
Current children cumulated vsize (Kb) 12272
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=5171) exited with status: 2
New process pid=5172
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=5172) exited with status: 0
New process pid=5173
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+340.031 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 792 0 0 0 360 12 0 0 25 0 1 0 19940008 4894720 762 4294967295 134512640 134702520 3221223712 3221222976 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5173/statm): 1195 762 413 48 0 1147 0
[pid=5173] vsize: 4780
Current children cumulated CPU time (s) 321.74
Current children cumulated vsize (Kb) 6908

[startup+350.032 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 802 0 0 0 1292 35 0 0 25 0 1 0 19940008 5029888 772 4294967295 134512640 134702520 3221223712 3221222848 134553324 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5173/statm): 1228 772 413 48 0 1180 0
[pid=5173] vsize: 4912
Current children cumulated CPU time (s) 331.29
Current children cumulated vsize (Kb) 7040

[startup+360.033 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 915 0 0 0 2204 65 0 0 25 0 1 0 19940008 8691712 885 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2122 885 413 48 0 2074 0
[pid=5173] vsize: 8488
Current children cumulated CPU time (s) 340.71
Current children cumulated vsize (Kb) 10616

[startup+370.033 s]
Raw data (loadavg): 1.05 1.01 1.00 1/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 941 0 0 0 3127 90 0 0 25 0 1 0 19940008 8839168 911 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2158 911 413 48 0 2110 0
[pid=5173] vsize: 8632
Current children cumulated CPU time (s) 350.19
Current children cumulated vsize (Kb) 10760

[startup+380.034 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 1092 0 0 0 4053 120 0 0 25 0 1 0 19940008 8839168 1062 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2158 1062 413 48 0 2110 0
[pid=5173] vsize: 8632
Current children cumulated CPU time (s) 359.75
Current children cumulated vsize (Kb) 10760

[startup+390.035 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 1103 0 0 0 4981 145 0 0 24 0 1 0 19940008 8839168 1073 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5173/statm): 2158 1073 413 48 0 2110 0
[pid=5173] vsize: 8632
Current children cumulated CPU time (s) 369.28
Current children cumulated vsize (Kb) 10760

[startup+400.036 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 1113 0 0 0 5908 171 0 0 25 0 1 0 19940008 8974336 1083 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2191 1083 413 48 0 2143 0
[pid=5173] vsize: 8764
Current children cumulated CPU time (s) 378.81
Current children cumulated vsize (Kb) 10892

[startup+410.037 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 1124 0 0 0 6840 196 0 0 25 0 1 0 19940008 8974336 1094 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2191 1094 413 48 0 2143 0
[pid=5173] vsize: 8764
Current children cumulated CPU time (s) 388.38
Current children cumulated vsize (Kb) 10892

[startup+420.037 s]
Raw data (loadavg): 1.10 1.03 1.01 1/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 1126 0 0 0 7769 220 0 0 25 0 1 0 19940008 8974336 1096 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5173/statm): 2191 1096 413 48 0 2143 0
[pid=5173] vsize: 8764
Current children cumulated CPU time (s) 397.91
Current children cumulated vsize (Kb) 10892

[startup+430.039 s]
Raw data (loadavg): 1.08 1.02 1.00 2/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 1131 0 0 0 8688 248 0 0 25 0 1 0 19940008 8974336 1101 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2191 1101 413 48 0 2143 0
[pid=5173] vsize: 8764
Current children cumulated CPU time (s) 407.38
Current children cumulated vsize (Kb) 10892

[startup+440.04 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 1137 0 0 0 9613 273 0 0 25 0 1 0 19940008 8974336 1107 4294967295 134512640 134702520 3221223712 3221202188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2191 1107 413 48 0 2143 0
[pid=5173] vsize: 8764
Current children cumulated CPU time (s) 416.88
Current children cumulated vsize (Kb) 10892

[startup+450.041 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 1143 0 0 0 10547 297 0 0 25 0 1 0 19940008 8974336 1113 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5173/statm): 2191 1113 413 48 0 2143 0
[pid=5173] vsize: 8764
Current children cumulated CPU time (s) 426.46
Current children cumulated vsize (Kb) 10892

[startup+460.042 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 1149 0 0 0 11467 324 0 0 25 0 1 0 19940008 8974336 1119 4294967295 134512640 134702520 3221223712 3221204908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5173/statm): 2191 1119 413 48 0 2143 0
[pid=5173] vsize: 8764
Current children cumulated CPU time (s) 435.93
Current children cumulated vsize (Kb) 10892

[startup+470.043 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 1151 0 0 0 12404 347 0 0 25 0 1 0 19940008 9117696 1121 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5173/statm): 2226 1121 413 48 0 2178 0
[pid=5173] vsize: 8904
Current children cumulated CPU time (s) 445.53
Current children cumulated vsize (Kb) 11032

[startup+480.044 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 1154 0 0 0 13322 377 0 0 25 0 1 0 19940008 9093120 1124 4294967295 134512640 134702520 3221223712 3221222992 134557264 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2220 1124 413 48 0 2172 0
[pid=5173] vsize: 8880
Current children cumulated CPU time (s) 455.01
Current children cumulated vsize (Kb) 11008

[startup+490.046 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 1159 0 0 0 14249 403 0 0 25 0 1 0 19940008 9093120 1129 4294967295 134512640 134702520 3221223712 3221222992 134552544 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5173/statm): 2220 1129 413 48 0 2172 0
[pid=5173] vsize: 8880
Current children cumulated CPU time (s) 464.54
Current children cumulated vsize (Kb) 11008

[startup+500.047 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 1164 0 0 0 15177 428 0 0 25 0 1 0 19940008 9093120 1134 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2220 1134 413 48 0 2172 0
[pid=5173] vsize: 8880
Current children cumulated CPU time (s) 474.07
Current children cumulated vsize (Kb) 11008

[startup+510.047 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 1166 0 0 0 16103 456 0 0 25 0 1 0 19940008 9093120 1136 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2220 1136 413 48 0 2172 0
[pid=5173] vsize: 8880
Current children cumulated CPU time (s) 483.61
Current children cumulated vsize (Kb) 11008

[startup+520.048 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 1174 0 0 0 17033 482 0 0 25 0 1 0 19940008 9093120 1144 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2220 1144 413 48 0 2172 0
[pid=5173] vsize: 8880
Current children cumulated CPU time (s) 493.17
Current children cumulated vsize (Kb) 11008

[startup+530.05 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 1177 0 0 0 17960 508 0 0 25 0 1 0 19940008 9093120 1147 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2220 1147 413 48 0 2172 0
[pid=5173] vsize: 8880
Current children cumulated CPU time (s) 502.7
Current children cumulated vsize (Kb) 11008

[startup+540.051 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 1189 0 0 0 18890 532 0 0 25 0 1 0 19940008 9224192 1159 4294967295 134512640 134702520 3221223712 3221222736 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5173/statm): 2252 1159 413 48 0 2204 0
[pid=5173] vsize: 9008
Current children cumulated CPU time (s) 512.24
Current children cumulated vsize (Kb) 11136

[startup+550.051 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 1192 0 0 0 19823 555 0 0 25 0 1 0 19940008 9224192 1162 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5173/statm): 2252 1162 413 48 0 2204 0
[pid=5173] vsize: 9008
Current children cumulated CPU time (s) 521.8
Current children cumulated vsize (Kb) 11136

[startup+560.052 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 1194 0 0 0 20742 584 0 0 25 0 1 0 19940008 9224192 1164 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5173/statm): 2252 1164 413 48 0 2204 0
[pid=5173] vsize: 9008
Current children cumulated CPU time (s) 531.28
Current children cumulated vsize (Kb) 11136

[startup+570.053 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 1307 0 0 0 21676 607 0 0 25 0 1 0 19940008 9224192 1277 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5173/statm): 2252 1277 413 48 0 2204 0
[pid=5173] vsize: 9008
Current children cumulated CPU time (s) 540.85
Current children cumulated vsize (Kb) 11136

[startup+580.054 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 1309 0 0 0 22599 636 0 0 25 0 1 0 19940008 9224192 1279 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2252 1279 413 48 0 2204 0
[pid=5173] vsize: 9008
Current children cumulated CPU time (s) 550.37
Current children cumulated vsize (Kb) 11136

[startup+590.054 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 1312 0 0 0 23520 662 0 0 25 0 1 0 19940008 9224192 1282 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2252 1282 413 48 0 2204 0
[pid=5173] vsize: 9008
Current children cumulated CPU time (s) 559.84
Current children cumulated vsize (Kb) 11136

[startup+600.055 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 1314 0 0 0 24452 687 0 0 25 0 1 0 19940008 9224192 1284 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2252 1284 413 48 0 2204 0
[pid=5173] vsize: 9008
Current children cumulated CPU time (s) 569.41
Current children cumulated vsize (Kb) 11136

[startup+610.057 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 1314 0 0 0 25382 713 0 0 25 0 1 0 19940008 9224192 1284 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2252 1284 413 48 0 2204 0
[pid=5173] vsize: 9008
Current children cumulated CPU time (s) 578.97
Current children cumulated vsize (Kb) 11136

[startup+620.058 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 1409 0 0 0 26306 739 0 0 25 0 1 0 19940008 9224192 1379 4294967295 134512640 134702520 3221223712 3221222736 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5173/statm): 2252 1379 413 48 0 2204 0
[pid=5173] vsize: 9008
Current children cumulated CPU time (s) 588.47
Current children cumulated vsize (Kb) 11136

[startup+630.059 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 1413 0 0 0 27228 766 0 0 25 0 1 0 19940008 9334784 1383 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2279 1383 413 48 0 2231 0
[pid=5173] vsize: 9116
Current children cumulated CPU time (s) 597.96
Current children cumulated vsize (Kb) 11244

[startup+640.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 1415 0 0 0 28153 794 0 0 25 0 1 0 19940008 9334784 1385 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2279 1385 413 48 0 2231 0
[pid=5173] vsize: 9116
Current children cumulated CPU time (s) 607.49
Current children cumulated vsize (Kb) 11244

[startup+650.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 1421 0 0 0 29087 818 0 0 25 0 1 0 19940008 9334784 1391 4294967295 134512640 134702520 3221223712 3221222736 134553160 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5173/statm): 2279 1391 413 48 0 2231 0
[pid=5173] vsize: 9116
Current children cumulated CPU time (s) 617.07
Current children cumulated vsize (Kb) 11244

[startup+660.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 1421 0 0 0 30017 844 0 0 25 0 1 0 19940008 9334784 1391 4294967295 134512640 134702520 3221223712 3221222736 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5173/statm): 2279 1391 413 48 0 2231 0
[pid=5173] vsize: 9116
Current children cumulated CPU time (s) 626.63
Current children cumulated vsize (Kb) 11244

[startup+670.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 1425 0 0 0 30952 868 0 0 25 0 1 0 19940008 9334784 1395 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2279 1395 413 48 0 2231 0
[pid=5173] vsize: 9116
Current children cumulated CPU time (s) 636.22
Current children cumulated vsize (Kb) 11244

[startup+680.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 1429 0 0 0 31879 896 0 0 25 0 1 0 19940008 9334784 1399 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2279 1399 413 48 0 2231 0
[pid=5173] vsize: 9116
Current children cumulated CPU time (s) 645.77
Current children cumulated vsize (Kb) 11244

[startup+690.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 1431 0 0 0 32803 924 0 0 25 0 1 0 19940008 9334784 1401 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5173/statm): 2279 1401 413 48 0 2231 0
[pid=5173] vsize: 9116
Current children cumulated CPU time (s) 655.29
Current children cumulated vsize (Kb) 11244

[startup+700.064 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 1620 0 0 0 33732 949 0 0 25 0 1 0 19940008 9334784 1590 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2279 1590 413 48 0 2231 0
[pid=5173] vsize: 9116
Current children cumulated CPU time (s) 664.83
Current children cumulated vsize (Kb) 11244

[startup+710.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 1705 0 0 0 34657 975 0 0 25 0 1 0 19940008 9334784 1675 4294967295 134512640 134702520 3221223712 3221222992 134552924 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5173/statm): 2279 1675 413 48 0 2231 0
[pid=5173] vsize: 9116
Current children cumulated CPU time (s) 674.34
Current children cumulated vsize (Kb) 11244

[startup+720.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 1707 0 0 0 35594 996 0 0 25 0 1 0 19940008 9482240 1677 4294967295 134512640 134702520 3221223712 3221222736 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5173/statm): 2315 1677 413 48 0 2267 0
[pid=5173] vsize: 9260
Current children cumulated CPU time (s) 683.92
Current children cumulated vsize (Kb) 11388

[startup+730.066 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 1710 0 0 0 36529 1019 0 0 25 0 1 0 19940008 9482240 1680 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5173/statm): 2315 1680 413 48 0 2267 0
[pid=5173] vsize: 9260
Current children cumulated CPU time (s) 693.5
Current children cumulated vsize (Kb) 11388

[startup+740.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 1712 0 0 0 37449 1047 0 0 25 0 1 0 19940008 9457664 1682 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2309 1682 413 48 0 2261 0
[pid=5173] vsize: 9236
Current children cumulated CPU time (s) 702.98
Current children cumulated vsize (Kb) 11364

[startup+750.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 1772 0 0 0 38377 1072 0 0 25 0 1 0 19940008 9457664 1742 4294967295 134512640 134702520 3221223712 3221220288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2309 1742 413 48 0 2261 0
[pid=5173] vsize: 9236
Current children cumulated CPU time (s) 712.51
Current children cumulated vsize (Kb) 11364

[startup+760.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 1812 0 0 0 39317 1093 0 0 25 0 1 0 19940008 9457664 1782 4294967295 134512640 134702520 3221223712 3221223040 134617475 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2309 1782 413 48 0 2261 0
[pid=5173] vsize: 9236
Current children cumulated CPU time (s) 722.12
Current children cumulated vsize (Kb) 11364

[startup+770.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 1861 0 0 0 40251 1119 0 0 25 0 1 0 19940008 9592832 1831 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5173/statm): 2342 1831 413 48 0 2294 0
[pid=5173] vsize: 9368
Current children cumulated CPU time (s) 731.72
Current children cumulated vsize (Kb) 11496

[startup+780.07 s]
Raw data (loadavg): 1.08 1.02 1.01 1/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 2056 0 0 0 41182 1144 0 0 25 0 1 0 19940008 10072064 2026 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2459 2026 413 48 0 2411 0
[pid=5173] vsize: 9836
Current children cumulated CPU time (s) 741.28
Current children cumulated vsize (Kb) 11964

[startup+790.072 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 5173
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 2076 0 0 0 42118 1168 0 0 25 0 1 0 19940008 10072064 2046 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2459 2046 413 48 0 2411 0
[pid=5173] vsize: 9836
Current children cumulated CPU time (s) 750.88
Current children cumulated vsize (Kb) 11964

[startup+800.072 s]
Raw data (loadavg): 1.06 1.01 1.00 1/56 5175
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 2079 0 0 0 43054 1191 0 0 25 0 1 0 19940008 10072064 2049 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2459 2049 413 48 0 2411 0
[pid=5173] vsize: 9836
Current children cumulated CPU time (s) 760.47
Current children cumulated vsize (Kb) 11964

[startup+810.073 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5175
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 2087 0 0 0 43988 1214 0 0 25 0 1 0 19940008 10072064 2057 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5173/statm): 2459 2057 413 48 0 2411 0
[pid=5173] vsize: 9836
Current children cumulated CPU time (s) 770.04
Current children cumulated vsize (Kb) 11964

[startup+820.073 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5175
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 2090 0 0 0 44925 1235 0 0 25 0 1 0 19940008 10072064 2060 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5173/statm): 2459 2060 413 48 0 2411 0
[pid=5173] vsize: 9836
Current children cumulated CPU time (s) 779.62
Current children cumulated vsize (Kb) 11964

[startup+830.073 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5175
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 2095 0 0 0 45860 1257 0 0 25 0 1 0 19940008 10203136 2065 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2491 2065 413 48 0 2443 0
[pid=5173] vsize: 9964
Current children cumulated CPU time (s) 789.19
Current children cumulated vsize (Kb) 12092

[startup+840.074 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 5175
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 2099 0 0 0 46797 1279 0 0 25 0 1 0 19940008 10203136 2069 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2491 2069 413 48 0 2443 0
[pid=5173] vsize: 9964
Current children cumulated CPU time (s) 798.78
Current children cumulated vsize (Kb) 12092

[startup+850.075 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5175
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 2106 0 0 0 47735 1301 0 0 25 0 1 0 19940008 10203136 2076 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2491 2076 413 48 0 2443 0
[pid=5173] vsize: 9964
Current children cumulated CPU time (s) 808.38
Current children cumulated vsize (Kb) 12092

[startup+860.075 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5175
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 2114 0 0 0 48672 1323 0 0 25 0 1 0 19940008 10203136 2084 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434789 0 0 17 0 0 0
Raw data (/proc/5173/statm): 2491 2084 413 48 0 2443 0
[pid=5173] vsize: 9964
Current children cumulated CPU time (s) 817.97
Current children cumulated vsize (Kb) 12092

[startup+870.076 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5175
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 2118 0 0 0 49608 1345 0 0 25 0 1 0 19940008 10203136 2088 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5173/statm): 2491 2088 413 48 0 2443 0
[pid=5173] vsize: 9964
Current children cumulated CPU time (s) 827.55
Current children cumulated vsize (Kb) 12092

[startup+880.077 s]
Raw data (loadavg): 1.01 1.01 1.00 2/60 5225
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 2120 0 0 0 50532 1375 0 0 25 0 1 0 19940008 10354688 2090 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2528 2090 413 48 0 2480 0
[pid=5173] vsize: 10112
Current children cumulated CPU time (s) 837.09
Current children cumulated vsize (Kb) 12240

[startup+890.078 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5230
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 2121 0 0 0 51464 1403 0 0 25 0 1 0 19940008 10305536 2091 4294967295 134512640 134702520 3221223712 3221181408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2516 2091 413 48 0 2468 0
[pid=5173] vsize: 10064
Current children cumulated CPU time (s) 846.69
Current children cumulated vsize (Kb) 12192

[startup+900.077 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5230
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 2123 0 0 0 52396 1429 0 0 25 0 1 0 19940008 10305536 2093 4294967295 134512640 134702520 3221223712 3221222736 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5173/statm): 2516 2093 413 48 0 2468 0
[pid=5173] vsize: 10064
Current children cumulated CPU time (s) 856.27
Current children cumulated vsize (Kb) 12192

[startup+910.079 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5230
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 2126 0 0 0 53325 1454 0 0 25 0 1 0 19940008 10305536 2096 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5173/statm): 2516 2096 413 48 0 2468 0
[pid=5173] vsize: 10064
Current children cumulated CPU time (s) 865.81
Current children cumulated vsize (Kb) 12192

[startup+920.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5230
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 2128 0 0 0 54256 1481 0 0 25 0 1 0 19940008 10305536 2098 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2516 2098 413 48 0 2468 0
[pid=5173] vsize: 10064
Current children cumulated CPU time (s) 875.39
Current children cumulated vsize (Kb) 12192

[startup+930.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5230
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 2129 0 0 0 55190 1505 0 0 25 0 1 0 19940008 10305536 2099 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2516 2099 413 48 0 2468 0
[pid=5173] vsize: 10064
Current children cumulated CPU time (s) 884.97
Current children cumulated vsize (Kb) 12192

[startup+940.081 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5230
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 2133 0 0 0 56126 1527 0 0 25 0 1 0 19940008 10305536 2103 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2516 2103 413 48 0 2468 0
[pid=5173] vsize: 10064
Current children cumulated CPU time (s) 894.55
Current children cumulated vsize (Kb) 12192

[startup+950.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5234
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 2136 0 0 0 57064 1549 0 0 25 0 1 0 19940008 10305536 2106 4294967295 134512640 134702520 3221223712 3221222608 134550404 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5173/statm): 2516 2106 413 48 0 2468 0
[pid=5173] vsize: 10064
Current children cumulated CPU time (s) 904.15
Current children cumulated vsize (Kb) 12192

[startup+960.082 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5234
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 2137 0 0 0 57996 1574 0 0 25 0 1 0 19940008 10305536 2107 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2516 2107 413 48 0 2468 0
[pid=5173] vsize: 10064
Current children cumulated CPU time (s) 913.72
Current children cumulated vsize (Kb) 12192

[startup+970.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5234
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 2142 0 0 0 58932 1598 0 0 25 0 1 0 19940008 10305536 2112 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5173/statm): 2516 2112 413 48 0 2468 0
[pid=5173] vsize: 10064
Current children cumulated CPU time (s) 923.32
Current children cumulated vsize (Kb) 12192

[startup+980.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5234
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 2142 0 0 0 59863 1623 0 0 25 0 1 0 19940008 10305536 2112 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2516 2112 413 48 0 2468 0
[pid=5173] vsize: 10064
Current children cumulated CPU time (s) 932.88
Current children cumulated vsize (Kb) 12192

[startup+990.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5234
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 2148 0 0 0 60792 1649 0 0 25 0 1 0 19940008 10305536 2118 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5173/statm): 2516 2118 413 48 0 2468 0
[pid=5173] vsize: 10064
Current children cumulated CPU time (s) 942.43
Current children cumulated vsize (Kb) 12192

[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5234
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 2152 0 0 0 61726 1675 0 0 25 0 1 0 19940008 10428416 2122 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2546 2122 413 48 0 2498 0
[pid=5173] vsize: 10184
Current children cumulated CPU time (s) 952.03
Current children cumulated vsize (Kb) 12312

[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5234
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 2156 0 0 0 62666 1698 0 0 25 0 1 0 19940008 10428416 2126 4294967295 134512640 134702520 3221223712 3221222992 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2546 2126 413 48 0 2498 0
[pid=5173] vsize: 10184
Current children cumulated CPU time (s) 961.66
Current children cumulated vsize (Kb) 12312

[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5234
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 2158 0 0 0 63598 1721 0 0 25 0 1 0 19940008 10428416 2128 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2546 2128 413 48 0 2498 0
[pid=5173] vsize: 10184
Current children cumulated CPU time (s) 971.21
Current children cumulated vsize (Kb) 12312

[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5234
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 2161 0 0 0 64538 1742 0 0 25 0 1 0 19940008 10428416 2131 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2546 2131 413 48 0 2498 0
[pid=5173] vsize: 10184
Current children cumulated CPU time (s) 980.82
Current children cumulated vsize (Kb) 12312

[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5234
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 2161 0 0 0 65468 1769 0 0 25 0 1 0 19940008 10428416 2131 4294967295 134512640 134702520 3221223712 3221222992 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2546 2131 413 48 0 2498 0
[pid=5173] vsize: 10184
Current children cumulated CPU time (s) 990.39
Current children cumulated vsize (Kb) 12312

[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5234
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 2171 0 0 0 66403 1792 0 0 25 0 1 0 19940008 10428416 2141 4294967295 134512640 134702520 3221223712 3221222992 134552553 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5173/statm): 2546 2141 413 48 0 2498 0
[pid=5173] vsize: 10184
Current children cumulated CPU time (s) 999.97
Current children cumulated vsize (Kb) 12312

[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5234
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 2176 0 0 0 67329 1819 0 0 25 0 1 0 19940008 10428416 2146 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2546 2146 413 48 0 2498 0
[pid=5173] vsize: 10184
Current children cumulated CPU time (s) 1009.5
Current children cumulated vsize (Kb) 12312

[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5234
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 2181 0 0 0 68263 1843 0 0 25 0 1 0 19940008 10555392 2151 4294967295 134512640 134702520 3221223712 3221222992 134552242 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5173/statm): 2577 2151 413 48 0 2529 0
[pid=5173] vsize: 10308
Current children cumulated CPU time (s) 1019.08
Current children cumulated vsize (Kb) 12436

[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5234
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 2181 0 0 0 69191 1867 0 0 25 0 1 0 19940008 10555392 2151 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5173/statm): 2577 2151 413 48 0 2529 0
[pid=5173] vsize: 10308
Current children cumulated CPU time (s) 1028.6
Current children cumulated vsize (Kb) 12436

[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5234
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 2183 0 0 0 70123 1892 0 0 25 0 1 0 19940008 10555392 2153 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2577 2153 413 48 0 2529 0
[pid=5173] vsize: 10308
Current children cumulated CPU time (s) 1038.17
Current children cumulated vsize (Kb) 12436

[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5234
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 2187 0 0 0 71050 1918 0 0 25 0 1 0 19940008 10555392 2157 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2577 2157 413 48 0 2529 0
[pid=5173] vsize: 10308
Current children cumulated CPU time (s) 1047.7
Current children cumulated vsize (Kb) 12436

[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5234
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 2187 0 0 0 71983 1943 0 0 25 0 1 0 19940008 10555392 2157 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2577 2157 413 48 0 2529 0
[pid=5173] vsize: 10308
Current children cumulated CPU time (s) 1057.28
Current children cumulated vsize (Kb) 12436

[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5234
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 2190 0 0 0 72918 1966 0 0 25 0 1 0 19940008 10555392 2160 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2577 2160 413 48 0 2529 0
[pid=5173] vsize: 10308
Current children cumulated CPU time (s) 1066.86
Current children cumulated vsize (Kb) 12436

[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5234
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 2190 0 0 0 73840 1991 0 0 25 0 1 0 19940008 10555392 2160 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2577 2160 413 48 0 2529 0
[pid=5173] vsize: 10308
Current children cumulated CPU time (s) 1076.33
Current children cumulated vsize (Kb) 12436

[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5234
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 2190 0 0 0 74764 2019 0 0 21 0 1 0 19940008 10555392 2160 4294967295 134512640 134702520 3221223712 3221166528 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5173/statm): 2577 2160 413 48 0 2529 0
[pid=5173] vsize: 10308
Current children cumulated CPU time (s) 1085.85
Current children cumulated vsize (Kb) 12436

[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5234
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 2191 0 0 0 75689 2046 0 0 25 0 1 0 19940008 10555392 2161 4294967295 134512640 134702520 3221223712 3221222992 134552284 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2577 2161 413 48 0 2529 0
[pid=5173] vsize: 10308
Current children cumulated CPU time (s) 1095.37
Current children cumulated vsize (Kb) 12436

[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5234
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 2191 0 0 0 76608 2075 0 0 17 0 1 0 19940008 10555392 2161 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2577 2161 413 48 0 2529 0
[pid=5173] vsize: 10308
Current children cumulated CPU time (s) 1104.85
Current children cumulated vsize (Kb) 12436

[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5234
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 2191 0 0 0 77545 2097 0 0 25 0 1 0 19940008 10555392 2161 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2577 2161 413 48 0 2529 0
[pid=5173] vsize: 10308
Current children cumulated CPU time (s) 1114.44
Current children cumulated vsize (Kb) 12436

[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5234
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 2191 0 0 0 78470 2125 0 0 25 0 1 0 19940008 10555392 2161 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2577 2161 413 48 0 2529 0
[pid=5173] vsize: 10308
Current children cumulated CPU time (s) 1123.97
Current children cumulated vsize (Kb) 12436

[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5236
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 2191 0 0 0 79398 2151 0 0 25 0 1 0 19940008 10555392 2161 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2577 2161 413 48 0 2529 0
[pid=5173] vsize: 10308
Current children cumulated CPU time (s) 1133.51
Current children cumulated vsize (Kb) 12436

[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5236
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 2191 0 0 0 80314 2182 0 0 25 0 1 0 19940008 10555392 2161 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2577 2161 413 48 0 2529 0
[pid=5173] vsize: 10308
Current children cumulated CPU time (s) 1142.98
Current children cumulated vsize (Kb) 12436

[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5236
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 2191 0 0 0 81231 2209 0 0 25 0 1 0 19940008 10555392 2161 4294967295 134512640 134702520 3221223712 3221222992 134552345 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2577 2161 413 48 0 2529 0
[pid=5173] vsize: 10308
Current children cumulated CPU time (s) 1152.42
Current children cumulated vsize (Kb) 12436

[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5236
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 2192 0 0 0 82158 2233 0 0 25 0 1 0 19940008 10555392 2162 4294967295 134512640 134702520 3221223712 3221222736 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5173/statm): 2577 2162 413 48 0 2529 0
[pid=5173] vsize: 10308
Current children cumulated CPU time (s) 1161.93
Current children cumulated vsize (Kb) 12436

[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5236
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 2195 0 0 0 83091 2257 0 0 25 0 1 0 19940008 10555392 2165 4294967295 134512640 134702520 3221223712 3221222608 134552310 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5173/statm): 2577 2165 413 48 0 2529 0
[pid=5173] vsize: 10308
Current children cumulated CPU time (s) 1171.5
Current children cumulated vsize (Kb) 12436

[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5236
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 2195 0 0 0 84014 2283 0 0 25 0 1 0 19940008 10555392 2165 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2577 2165 413 48 0 2529 0
[pid=5173] vsize: 10308
Current children cumulated CPU time (s) 1180.99
Current children cumulated vsize (Kb) 12436

[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5236
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 2197 0 0 0 84940 2307 0 0 25 0 1 0 19940008 10555392 2167 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2577 2167 413 48 0 2529 0
[pid=5173] vsize: 10308
Current children cumulated CPU time (s) 1190.49
Current children cumulated vsize (Kb) 12436

[startup+1260.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5236
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) R 5168 5168 4005 0 -1 0 2198 0 0 0 85862 2331 0 0 25 0 1 0 19940008 10555392 2168 4294967295 134512640 134702520 3221223712 3221222736 134550372 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5173/statm): 2577 2168 413 48 0 2529 0
[pid=5173] vsize: 10308
Current children cumulated CPU time (s) 1199.95
Current children cumulated vsize (Kb) 12436

[startup+1270.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5236
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 2199 0 0 0 86783 2358 0 0 25 0 1 0 19940008 10555392 2169 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2577 2169 413 48 0 2529 0
[pid=5173] vsize: 10308
Current children cumulated CPU time (s) 1209.43
Current children cumulated vsize (Kb) 12436



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1270.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5236
Raw data (/proc/5168/stat): 5168 (vallstSAT2005PB) S 5167 5168 4005 0 -1 0 378 1684 0 0 1 1 30840 960 17 0 1 0 19906388 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5168/statm): 532 248 485 147 0 385 0
[pid=5168] vsize: 2128
Raw data (/proc/5173/stat): 5173 (vallst) T 5168 5168 4005 0 -1 0 2199 0 0 0 86783 2358 0 0 25 0 1 0 19940008 10555392 2169 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5173/statm): 2577 2169 413 48 0 2529 0
[pid=5173] vsize: 10308
Current children cumulated CPU time (s) 1209.43
Current children cumulated vsize (Kb) 12436

Sending SIGTERM to -5168
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5238
New process pid=5239
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/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/5129/stat
open syscall for file /proc/5129/status
open syscall for file /proc/5129/cmdline
open syscall for file /proc/5129/environ
open syscall for file /proc/5167/stat
open syscall for file /proc/5167/status
open syscall for file /proc/5167/cmdline
open syscall for file /proc/5167/environ
open syscall for file /proc/5168/stat
open syscall for file /proc/5168/status
open syscall for file /proc/5168/cmdline
open syscall for file /proc/5168/environ
open syscall for file /proc/5173/stat
open syscall for file /proc/5173/status
open syscall for file /proc/5173/cmdline
open syscall for file /proc/5173/environ
open syscall for file /proc/5238/stat
open syscall for file /proc/5238/status
open syscall for file /proc/5238/cmdline
open syscall for file /proc/5238/environ
open syscall for file /proc/5239/stat
open syscall for file /proc/5239/status
open syscall for file /proc/5239/cmdline
open syscall for file /proc/5239/environ
One traced child (pid=5238) exited with status: 0
One traced child (pid=5239) exited with status: 0
New process pid=5240
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
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5173) exited with status: 3
One traced child (pid=5240) exited with status: 0
New process pid=5241
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=5241) exited with status: 0
One traced child (pid=5168) 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): 1270.59
CPU time (s): 1209.82
CPU user time (s): 1176.51
CPU system time (s): 33.3049
CPU usage (%): 95.2166
Max. virtual memory (cumulated for all children) (Kb): 12436

Verifier Data

ERROR: no interpretation found !