Some explanations

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

General information on the benchmark

Namemps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos12.opb
MD5SUM8be56d63285d7b46f1a8393a6f228d5d
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 10813568
Optimality of the best value was proved NO
Number of terms in the objective function 8960
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 469761600
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 524288
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 469761600
Number of bits of the biggest sum of numbers29
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1204.93
Number of variables16548
Total number of constraints11747
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)3136
Number of constraints which are nor clauses,nor cardinality constraints8611
Minimum length of a constraint1
Maximum length of a constraint560

Trace number 9417

Launcher Data

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        943196 kB
Buffers:         10168 kB
Cached:          64156 kB
SwapCached:          0 kB
Active:          47396 kB
Inactive:        29844 kB
HighTotal:      131008 kB
HighFree:        62384 kB
LowTotal:       903652 kB
LowFree:        880812 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8664 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 13:45:29 (client local time) WITH STATUS 3 IN 768.807 SECONDS
stats: 8136 7 768.807 3

Solver Data

1:
seed: 0
Nr of vars set: 721  (#equs: 0)
Nr of vars set: 721  (#equs: 42)
#decisions: 859555;  #end-nodes: 74564;
#proof improvement attempts: 0;  #restarts: 377
Current batch, end-nodes: 84 / 174 (174)
#axs: 9236, #non-axs: 29515
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:  460925710 (8835889:>=*);
#decisions: 7285;  #end-nodes: 14;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 14 / 80 (80)
#axs: 9236, #non-axs: 29529
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:  460931342 (8830257:>=*);
#decisions: 10988;  #end-nodes: 22;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 22 / 80 (80)
#axs: 9236, #non-axs: 29549
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:  463087400 (6674199:>=*);
#decisions: 4881;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 9236, #non-axs: 29559
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:  463087528 (6674071:>=*);
#decisions: 1498;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 9236, #non-axs: 29559
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:  463087532 (6674067:>=*);
#decisions: 1950;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 9236, #non-axs: 29563
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:  463087540 (6674059:>=*);
#decisions: 3245;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 9236, #non-axs: 29565
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:  463087604 (6673995:>=*);
#decisions: 732;  #end-nodes: 16;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 16 / 80 (80)
#axs: 9236, #non-axs: 29567
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:  463087605 (6673994:>=*);
#decisions: 710;  #end-nodes: 56;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 56 / 80 (80)
#axs: 9236, #non-axs: 29568
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:  463087606 (6673993:>=*);
#decisions: 757;  #end-nodes: 56;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 56 / 80 (80)
#axs: 9236, #non-axs: 29568
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:  463087607 (6673992:>=*);
#decisions: 699;  #end-nodes: 48;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 48 / 80 (80)
#axs: 9236, #non-axs: 29568
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:  463087608 (6673991:>=*);
#decisions: 706;  #end-nodes: 53;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 53 / 80 (80)
#axs: 9236, #non-axs: 29570
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:  463087609 (6673990:>=*);
#decisions: 2612;  #end-nodes: 53;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 53 / 80 (80)
#axs: 9236, #non-axs: 29571
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:  463087622 (6673977:>=*);
#decisions: 4086;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 9236, #non-axs: 29571
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:  463087630 (6673969:>=*);
#decisions: 1078;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 9236, #non-axs: 29571
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:  463087632 (6673967:>=*);
#decisions: 1064;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 9236, #non-axs: 29572
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:  463087634 (6673965:>=*);
#decisions: 652;  #end-nodes: 14;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 14 / 80 (80)
#axs: 9236, #non-axs: 29573
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:  463087635 (6673964:>=*);
#decisions: 1030;  #end-nodes: 15;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 15 / 80 (80)
#axs: 9236, #non-axs: 29573
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:  463087636 (6673963:>=*);
#decisions: 1424;  #end-nodes: 27;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 27 / 80 (80)
#axs: 9236, #non-axs: 29573
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:  463087637 (6673962:>=*);
#decisions: 85358;  #end-nodes: 9593;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 103 (103)
#axs: 9237, #non-axs: 22137
tight: meta-meta: start: 5, end: 7;  meta: start: 9, end (keep): 15
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 463087637 (6673962:>=*)

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: 735  (#equs: 50)
Time taken: 7 min, 12 sec

2:

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

seed: 0
Nr of vars set: 735  (#equs: 0)
Nr of vars set: 735  (#equs: 0)
Interupt request received.
#decisions: 1317544;  #end-nodes: 192429;
#proof improvement attempts: 0;  #restarts: 622
Current batch, end-nodes: 375 / 386 (275)
#axs: 9214, #non-axs: 7637
tight: meta-meta: start: 4, end: 5;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 7, end: 10;  meta: start: 26, end (keep): 42
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 8548  (#equs: 27)
Time taken: 12 min, 48 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/5566/stat): 5566 (vallstSAT2005PB) R 5565 5566 4005 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20483964 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5566/statm): 174 3 169 147 0 27 0
[pid=5566] 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=5567
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=5567) exited with status: 0
New process pid=5568
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=5568) exited with status: 0
New process pid=5569
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/wulflinc27/normalized-mps-v2-13-7-neos12.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0032 s]
Raw data (loadavg): 0.95 1.01 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 1454 0 0 0 868 45 0 0 25 0 1 0 20483972 7958528 1358 4294967295 134512640 134702520 3221223952 3221223088 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5569/statm): 1943 1358 413 48 0 1895 0
[pid=5569] vsize: 7772
Current children cumulated CPU time (s) 9.15
Current children cumulated vsize (Kb) 9900

[startup+20.005 s]
Raw data (loadavg): 0.96 1.01 0.99 1/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 1471 0 0 0 1778 74 0 0 24 0 1 0 20483972 15839232 1375 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3867 1375 413 48 0 3819 0
[pid=5569] vsize: 15468
Current children cumulated CPU time (s) 18.54
Current children cumulated vsize (Kb) 17596

[startup+30.0059 s]
Raw data (loadavg): 0.97 1.01 0.99 1/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 1520 0 0 0 2359 207 0 0 17 0 1 0 20483972 15839232 1424 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3867 1424 413 48 0 3819 0
[pid=5569] vsize: 15468
Current children cumulated CPU time (s) 25.68
Current children cumulated vsize (Kb) 17596

[startup+40.0067 s]
Raw data (loadavg): 0.97 1.01 0.99 1/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 1520 0 0 0 2985 330 0 0 20 0 1 0 20483972 15839232 1424 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3867 1424 413 48 0 3819 0
[pid=5569] vsize: 15468
Current children cumulated CPU time (s) 33.17
Current children cumulated vsize (Kb) 17596

[startup+50.0075 s]
Raw data (loadavg): 0.98 1.01 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 1520 0 0 0 3751 402 0 0 25 0 1 0 20483972 15839232 1424 4294967295 134512640 134702520 3221223952 3221223232 134552319 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5569/statm): 3867 1424 413 48 0 3819 0
[pid=5569] vsize: 15468
Current children cumulated CPU time (s) 41.55
Current children cumulated vsize (Kb) 17596

[startup+60.0083 s]
Raw data (loadavg): 0.98 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 1524 0 0 0 4587 457 0 0 25 0 1 0 20483972 15839232 1428 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3867 1428 413 48 0 3819 0
[pid=5569] vsize: 15468
Current children cumulated CPU time (s) 50.46
Current children cumulated vsize (Kb) 17596

[startup+70.0102 s]
Raw data (loadavg): 0.98 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 1532 0 0 0 5440 508 0 0 25 0 1 0 20483972 15839232 1436 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5569/statm): 3867 1436 413 48 0 3819 0
[pid=5569] vsize: 15468
Current children cumulated CPU time (s) 59.5
Current children cumulated vsize (Kb) 17596

[startup+80.011 s]
Raw data (loadavg): 0.98 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 1537 0 0 0 6303 556 0 0 25 0 1 0 20483972 15839232 1441 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5569/statm): 3867 1441 413 48 0 3819 0
[pid=5569] vsize: 15468
Current children cumulated CPU time (s) 68.61
Current children cumulated vsize (Kb) 17596

[startup+90.0118 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 1615 0 0 0 7203 587 0 0 23 0 1 0 20483972 15839232 1519 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3867 1519 413 48 0 3819 0
[pid=5569] vsize: 15468
Current children cumulated CPU time (s) 77.92
Current children cumulated vsize (Kb) 17596

[startup+100.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 1665 0 0 0 8106 620 0 0 25 0 1 0 20483972 15839232 1569 4294967295 134512640 134702520 3221223952 3221216188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3867 1569 413 48 0 3819 0
[pid=5569] vsize: 15468
Current children cumulated CPU time (s) 87.28
Current children cumulated vsize (Kb) 17596

[startup+110.013 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 1666 0 0 0 9000 659 0 0 25 0 1 0 20483972 15998976 1570 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3906 1570 413 48 0 3858 0
[pid=5569] vsize: 15624
Current children cumulated CPU time (s) 96.61
Current children cumulated vsize (Kb) 17752

[startup+120.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 1666 0 0 0 9902 692 0 0 25 0 1 0 20483972 15872000 1570 4294967295 134512640 134702520 3221223952 3221223172 134550217 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5569/statm): 3875 1570 413 48 0 3827 0
[pid=5569] vsize: 15500
Current children cumulated CPU time (s) 105.96
Current children cumulated vsize (Kb) 17628

[startup+130.016 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 1666 0 0 0 10802 725 0 0 25 0 1 0 20483972 15872000 1570 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3875 1570 413 48 0 3827 0
[pid=5569] vsize: 15500
Current children cumulated CPU time (s) 115.29
Current children cumulated vsize (Kb) 17628

[startup+140.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 1666 0 0 0 11655 774 0 0 25 0 1 0 20483972 15872000 1570 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5569/statm): 3875 1570 413 48 0 3827 0
[pid=5569] vsize: 15500
Current children cumulated CPU time (s) 124.31
Current children cumulated vsize (Kb) 17628

[startup+150.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 1669 0 0 0 12508 822 0 0 25 0 1 0 20483972 15876096 1573 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3876 1573 413 48 0 3828 0
[pid=5569] vsize: 15504
Current children cumulated CPU time (s) 133.32
Current children cumulated vsize (Kb) 17632

[startup+160.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 1670 0 0 0 13341 875 0 0 25 0 1 0 20483972 15945728 1574 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3893 1574 413 48 0 3845 0
[pid=5569] vsize: 15572
Current children cumulated CPU time (s) 142.18
Current children cumulated vsize (Kb) 17700

[startup+170.02 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 1681 0 0 0 14186 929 0 0 25 0 1 0 20483972 15945728 1585 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3893 1585 413 48 0 3845 0
[pid=5569] vsize: 15572
Current children cumulated CPU time (s) 151.17
Current children cumulated vsize (Kb) 17700

[startup+180.021 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 1693 0 0 0 15036 982 0 0 25 0 1 0 20483972 15945728 1597 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3893 1597 413 48 0 3845 0
[pid=5569] vsize: 15572
Current children cumulated CPU time (s) 160.2
Current children cumulated vsize (Kb) 17700

[startup+190.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 1706 0 0 0 15909 1028 0 0 25 0 1 0 20483972 16101376 1610 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3931 1610 413 48 0 3883 0
[pid=5569] vsize: 15724
Current children cumulated CPU time (s) 169.39
Current children cumulated vsize (Kb) 17852

[startup+200.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 1706 0 0 0 16850 1050 0 0 25 0 1 0 20483972 16101376 1610 4294967295 134512640 134702520 3221223952 3221222848 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5569/statm): 3931 1610 413 48 0 3883 0
[pid=5569] vsize: 15724
Current children cumulated CPU time (s) 179.02
Current children cumulated vsize (Kb) 17852

[startup+210.025 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 1708 0 0 0 17714 1097 0 0 25 0 1 0 20483972 16039936 1612 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5569/statm): 3916 1612 413 48 0 3868 0
[pid=5569] vsize: 15664
Current children cumulated CPU time (s) 188.13
Current children cumulated vsize (Kb) 17792

[startup+220.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 1711 0 0 0 18546 1157 0 0 20 0 1 0 20483972 16039936 1615 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5569/statm): 3916 1615 413 48 0 3868 0
[pid=5569] vsize: 15664
Current children cumulated CPU time (s) 197.05
Current children cumulated vsize (Kb) 17792

[startup+230.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 1713 0 0 0 19400 1204 0 0 25 0 1 0 20483972 16039936 1617 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3916 1617 413 48 0 3868 0
[pid=5569] vsize: 15664
Current children cumulated CPU time (s) 206.06
Current children cumulated vsize (Kb) 17792

[startup+240.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 1715 0 0 0 20250 1256 0 0 25 0 1 0 20483972 16039936 1619 4294967295 134512640 134702520 3221223952 3221223232 134553118 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3916 1619 413 48 0 3868 0
[pid=5569] vsize: 15664
Current children cumulated CPU time (s) 215.08
Current children cumulated vsize (Kb) 17792

[startup+250.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 1759 0 0 0 21195 1275 0 0 25 0 1 0 20483972 16039936 1663 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3916 1663 413 48 0 3868 0
[pid=5569] vsize: 15664
Current children cumulated CPU time (s) 224.72
Current children cumulated vsize (Kb) 17792

[startup+260.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 1792 0 0 0 22045 1322 0 0 18 0 1 0 20483972 16039936 1696 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3916 1696 413 48 0 3868 0
[pid=5569] vsize: 15664
Current children cumulated CPU time (s) 233.69
Current children cumulated vsize (Kb) 17792

[startup+270.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 1847 0 0 0 22934 1360 0 0 25 0 1 0 20483972 16121856 1751 4294967295 134512640 134702520 3221223952 3221223232 134553147 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5569/statm): 3936 1751 413 48 0 3888 0
[pid=5569] vsize: 15744
Current children cumulated CPU time (s) 242.96
Current children cumulated vsize (Kb) 17872

[startup+280.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 1870 0 0 0 23783 1411 0 0 25 0 1 0 20483972 16121856 1774 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3936 1774 413 48 0 3888 0
[pid=5569] vsize: 15744
Current children cumulated CPU time (s) 251.96
Current children cumulated vsize (Kb) 17872

[startup+290.034 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 1900 0 0 0 24670 1453 0 0 25 0 1 0 20483972 16265216 1804 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3971 1804 413 48 0 3923 0
[pid=5569] vsize: 15884
Current children cumulated CPU time (s) 261.25
Current children cumulated vsize (Kb) 18012

[startup+300.035 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 1900 0 0 0 25610 1475 0 0 25 0 1 0 20483972 16265216 1804 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3971 1804 413 48 0 3923 0
[pid=5569] vsize: 15884
Current children cumulated CPU time (s) 270.87
Current children cumulated vsize (Kb) 18012

[startup+310.035 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 1903 0 0 0 26484 1516 0 0 25 0 1 0 20483972 16203776 1807 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3956 1807 413 48 0 3908 0
[pid=5569] vsize: 15824
Current children cumulated CPU time (s) 280.02
Current children cumulated vsize (Kb) 17952

[startup+320.036 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 1912 0 0 0 27327 1567 0 0 25 0 1 0 20483972 16203776 1816 4294967295 134512640 134702520 3221223952 3221223232 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5569/statm): 3956 1816 413 48 0 3908 0
[pid=5569] vsize: 15824
Current children cumulated CPU time (s) 288.96
Current children cumulated vsize (Kb) 17952

[startup+330.036 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 1929 0 0 0 28196 1604 0 0 25 0 1 0 20483972 16273408 1833 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3973 1833 413 48 0 3925 0
[pid=5569] vsize: 15892
Current children cumulated CPU time (s) 298.02
Current children cumulated vsize (Kb) 18020

[startup+340.037 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 1978 0 0 0 29101 1637 0 0 25 0 1 0 20483972 16273408 1882 4294967295 134512640 134702520 3221223952 3221215388 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5569/statm): 3973 1882 413 48 0 3925 0
[pid=5569] vsize: 15892
Current children cumulated CPU time (s) 307.4
Current children cumulated vsize (Kb) 18020

[startup+350.038 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 2001 0 0 0 29952 1686 0 0 20 0 1 0 20483972 17330176 1905 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5569/statm): 4231 1905 413 48 0 4183 0
[pid=5569] vsize: 16924
Current children cumulated CPU time (s) 316.4
Current children cumulated vsize (Kb) 19052

[startup+360.039 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 2026 0 0 0 30816 1732 0 0 25 0 1 0 20483972 17416192 1930 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5569/statm): 4252 1930 413 48 0 4204 0
[pid=5569] vsize: 17008
Current children cumulated CPU time (s) 325.5
Current children cumulated vsize (Kb) 19136

[startup+370.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 2075 0 0 0 31733 1760 0 0 25 0 1 0 20483972 17416192 1979 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5569/statm): 4252 1979 413 48 0 4204 0
[pid=5569] vsize: 17008
Current children cumulated CPU time (s) 334.95
Current children cumulated vsize (Kb) 19136

[startup+380.04 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 2084 0 0 0 32620 1797 0 0 25 0 1 0 20483972 17416192 1988 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5569/statm): 4252 1988 413 48 0 4204 0
[pid=5569] vsize: 17008
Current children cumulated CPU time (s) 344.19
Current children cumulated vsize (Kb) 19136

[startup+390.041 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 2115 0 0 0 33555 1820 0 0 25 0 1 0 20483972 17416192 2019 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 4252 2019 413 48 0 4204 0
[pid=5569] vsize: 17008
Current children cumulated CPU time (s) 353.77
Current children cumulated vsize (Kb) 19136

[startup+400.042 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 2267 0 0 0 34464 1851 0 0 25 0 1 0 20483972 17711104 2143 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 4324 2143 413 48 0 4276 0
[pid=5569] vsize: 17296
Current children cumulated CPU time (s) 363.17
Current children cumulated vsize (Kb) 19424

[startup+410.043 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 2296 0 0 0 35387 1879 0 0 25 0 1 0 20483972 17833984 2172 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 4354 2172 413 48 0 4306 0
[pid=5569] vsize: 17416
Current children cumulated CPU time (s) 372.68
Current children cumulated vsize (Kb) 19544

[startup+420.044 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 2303 0 0 0 36261 1924 0 0 25 0 1 0 20483972 17833984 2179 4294967295 134512640 134702520 3221223952 3221221468 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5569/statm): 4354 2179 413 48 0 4306 0
[pid=5569] vsize: 17416
Current children cumulated CPU time (s) 381.87
Current children cumulated vsize (Kb) 19544

[startup+430.045 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 2304 0 0 0 37130 1970 0 0 22 0 1 0 20483972 18010112 2180 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 4397 2180 413 48 0 4349 0
[pid=5569] vsize: 17588
Current children cumulated CPU time (s) 391.02
Current children cumulated vsize (Kb) 19716

[startup+440.045 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 2304 0 0 0 38010 2013 0 0 25 0 1 0 20483972 17944576 2180 4294967295 134512640 134702520 3221223952 3221223232 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5569/statm): 4381 2180 413 48 0 4333 0
[pid=5569] vsize: 17524
Current children cumulated CPU time (s) 400.25
Current children cumulated vsize (Kb) 19652

[startup+450.046 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 2304 0 0 0 38896 2052 0 0 25 0 1 0 20483972 17944576 2180 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 4381 2180 413 48 0 4333 0
[pid=5569] vsize: 17524
Current children cumulated CPU time (s) 409.5
Current children cumulated vsize (Kb) 19652

[startup+460.046 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) T 5566 5566 4005 0 -1 0 2304 0 0 0 39742 2104 0 0 24 0 1 0 20483972 17944576 2180 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5569/statm): 4381 2180 413 48 0 4333 0
[pid=5569] vsize: 17524
Current children cumulated CPU time (s) 418.48
Current children cumulated vsize (Kb) 19652

[startup+470.048 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5569
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20483964 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 242 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5569/stat): 5569 (vallst) R 5566 5566 4005 0 -1 0 2305 0 0 0 40684 2125 0 0 25 0 1 0 20483972 17944576 2181 4294967295 134512640 134702520 3221223952 3221222848 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5569/statm): 4381 2181 413 48 0 4333 0
[pid=5569] vsize: 17524
Current children cumulated CPU time (s) 428.11
Current children cumulated vsize (Kb) 19652
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=5569) exited with status: 2
New process pid=5570
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=5570) exited with status: 0
New process pid=5571
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+480.049 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 1485 0 0 0 407 27 0 0 23 0 1 0 20531505 8491008 1455 4294967295 134512640 134702520 3221223712 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 2073 1455 413 48 0 2025 0
[pid=5571] vsize: 8292
Current children cumulated CPU time (s) 437.51
Current children cumulated vsize (Kb) 10420

[startup+490.049 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 1503 0 0 0 1286 71 0 0 25 0 1 0 20531505 8630272 1473 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 2107 1473 413 48 0 2059 0
[pid=5571] vsize: 8428
Current children cumulated CPU time (s) 446.74
Current children cumulated vsize (Kb) 10556

[startup+500.05 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 1575 0 0 0 2174 109 0 0 25 0 1 0 20531505 17453056 1545 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4261 1545 413 48 0 4213 0
[pid=5571] vsize: 17044
Current children cumulated CPU time (s) 456
Current children cumulated vsize (Kb) 19172

[startup+510.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 1641 0 0 0 3035 156 0 0 24 0 1 0 20531505 17453056 1611 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4261 1611 413 48 0 4213 0
[pid=5571] vsize: 17044
Current children cumulated CPU time (s) 465.08
Current children cumulated vsize (Kb) 19172

[startup+520.052 s]
Raw data (loadavg): 1.08 1.02 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 1686 0 0 0 3882 207 0 0 24 0 1 0 20531505 17571840 1656 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4290 1656 413 48 0 4242 0
[pid=5571] vsize: 17160
Current children cumulated CPU time (s) 474.06
Current children cumulated vsize (Kb) 19288

[startup+530.053 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 1724 0 0 0 4765 247 0 0 24 0 1 0 20531505 17571840 1694 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 4290 1694 413 48 0 4242 0
[pid=5571] vsize: 17160
Current children cumulated CPU time (s) 483.29
Current children cumulated vsize (Kb) 19288

[startup+540.054 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 1761 0 0 0 5630 295 0 0 25 0 1 0 20531505 17752064 1731 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4334 1731 413 48 0 4286 0
[pid=5571] vsize: 17336
Current children cumulated CPU time (s) 492.42
Current children cumulated vsize (Kb) 19464

[startup+550.054 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 1799 0 0 0 6487 343 0 0 21 0 1 0 20531505 18948096 1769 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4626 1769 413 48 0 4578 0
[pid=5571] vsize: 18504
Current children cumulated CPU time (s) 501.47
Current children cumulated vsize (Kb) 20632

[startup+560.055 s]
Raw data (loadavg): 1.04 1.02 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 1805 0 0 0 7349 392 0 0 21 0 1 0 20531505 18948096 1775 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4626 1775 413 48 0 4578 0
[pid=5571] vsize: 18504
Current children cumulated CPU time (s) 510.58
Current children cumulated vsize (Kb) 20632

[startup+570.057 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 1806 0 0 0 8212 439 0 0 25 0 1 0 20531505 19099648 1776 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4663 1776 413 48 0 4615 0
[pid=5571] vsize: 18652
Current children cumulated CPU time (s) 519.68
Current children cumulated vsize (Kb) 20780

[startup+580.058 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 1835 0 0 0 9106 476 0 0 25 0 1 0 20531505 18972672 1805 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4632 1805 413 48 0 4584 0
[pid=5571] vsize: 18528
Current children cumulated CPU time (s) 528.99
Current children cumulated vsize (Kb) 20656

[startup+590.059 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 1847 0 0 0 10007 508 0 0 21 0 1 0 20531505 18972672 1817 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5571/statm): 4632 1817 413 48 0 4584 0
[pid=5571] vsize: 18528
Current children cumulated CPU time (s) 538.32
Current children cumulated vsize (Kb) 20656

[startup+600.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 1858 0 0 0 10925 536 0 0 24 0 1 0 20531505 18972672 1828 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 4632 1828 413 48 0 4584 0
[pid=5571] vsize: 18528
Current children cumulated CPU time (s) 547.78
Current children cumulated vsize (Kb) 20656

[startup+610.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 1862 0 0 0 11830 569 0 0 25 0 1 0 20531505 19046400 1832 4294967295 134512640 134702520 3221223712 3221222992 134554263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4650 1832 413 48 0 4602 0
[pid=5571] vsize: 18600
Current children cumulated CPU time (s) 557.16
Current children cumulated vsize (Kb) 20728

[startup+620.061 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 1869 0 0 0 12737 601 0 0 21 0 1 0 20531505 19046400 1839 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5571/statm): 4650 1839 413 48 0 4602 0
[pid=5571] vsize: 18600
Current children cumulated CPU time (s) 566.55
Current children cumulated vsize (Kb) 20728

[startup+630.062 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 1872 0 0 0 13626 640 0 0 25 0 1 0 20531505 19046400 1842 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4650 1842 413 48 0 4602 0
[pid=5571] vsize: 18600
Current children cumulated CPU time (s) 575.83
Current children cumulated vsize (Kb) 20728

[startup+640.063 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 1873 0 0 0 14518 679 0 0 25 0 1 0 20531505 19046400 1843 4294967295 134512640 134702520 3221223712 3221222992 134553162 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4650 1843 413 48 0 4602 0
[pid=5571] vsize: 18600
Current children cumulated CPU time (s) 585.14
Current children cumulated vsize (Kb) 20728

[startup+650.064 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 1879 0 0 0 15407 717 0 0 25 0 1 0 20531505 19046400 1849 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4650 1849 413 48 0 4602 0
[pid=5571] vsize: 18600
Current children cumulated CPU time (s) 594.41
Current children cumulated vsize (Kb) 20728

[startup+660.064 s]
Raw data (loadavg): 1.08 1.02 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 1885 0 0 0 16304 751 0 0 25 0 1 0 20531505 19046400 1855 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 4650 1855 413 48 0 4602 0
[pid=5571] vsize: 18600
Current children cumulated CPU time (s) 603.72
Current children cumulated vsize (Kb) 20728

[startup+670.066 s]
Raw data (loadavg): 1.15 1.04 1.01 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 1887 0 0 0 17152 800 0 0 25 0 1 0 20531505 19243008 1857 4294967295 134512640 134702520 3221223712 3221222608 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 4698 1857 413 48 0 4650 0
[pid=5571] vsize: 18792
Current children cumulated CPU time (s) 612.69
Current children cumulated vsize (Kb) 20920

[startup+680.067 s]
Raw data (loadavg): 1.12 1.04 1.01 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 1887 0 0 0 18025 841 0 0 25 0 1 0 20531505 19116032 1857 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4667 1857 413 48 0 4619 0
[pid=5571] vsize: 18668
Current children cumulated CPU time (s) 621.83
Current children cumulated vsize (Kb) 20796

[startup+690.067 s]
Raw data (loadavg): 1.10 1.03 1.01 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 1948 0 0 0 18991 853 0 0 25 0 1 0 20531505 19116032 1918 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4667 1918 413 48 0 4619 0
[pid=5571] vsize: 18668
Current children cumulated CPU time (s) 631.61
Current children cumulated vsize (Kb) 20796

[startup+700.068 s]
Raw data (loadavg): 1.09 1.03 1.01 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 1961 0 0 0 19902 884 0 0 25 0 1 0 20531505 19116032 1931 4294967295 134512640 134702520 3221223712 3221222976 134553196 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4667 1931 413 48 0 4619 0
[pid=5571] vsize: 18668
Current children cumulated CPU time (s) 641.03
Current children cumulated vsize (Kb) 20796

[startup+710.068 s]
Raw data (loadavg): 1.07 1.03 1.01 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 1964 0 0 0 20828 909 0 0 25 0 1 0 20531505 19116032 1934 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 4667 1934 413 48 0 4619 0
[pid=5571] vsize: 18668
Current children cumulated CPU time (s) 650.54
Current children cumulated vsize (Kb) 20796

[startup+720.07 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 1968 0 0 0 21720 946 0 0 25 0 1 0 20531505 19116032 1938 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4667 1938 413 48 0 4619 0
[pid=5571] vsize: 18668
Current children cumulated CPU time (s) 659.83
Current children cumulated vsize (Kb) 20796

[startup+730.071 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 1971 0 0 0 22639 974 0 0 25 0 1 0 20531505 19193856 1941 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4686 1941 413 48 0 4638 0
[pid=5571] vsize: 18744
Current children cumulated CPU time (s) 669.3
Current children cumulated vsize (Kb) 20872

[startup+740.072 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 1976 0 0 0 23543 1008 0 0 25 0 1 0 20531505 19193856 1946 4294967295 134512640 134702520 3221223712 3221222992 134553330 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 4686 1946 413 48 0 4638 0
[pid=5571] vsize: 18744
Current children cumulated CPU time (s) 678.68
Current children cumulated vsize (Kb) 20872

[startup+750.073 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 1980 0 0 0 24407 1053 0 0 25 0 1 0 20531505 19193856 1950 4294967295 134512640 134702520 3221223712 3221222992 134552741 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4686 1950 413 48 0 4638 0
[pid=5571] vsize: 18744
Current children cumulated CPU time (s) 687.77
Current children cumulated vsize (Kb) 20872

[startup+760.073 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 1986 0 0 0 25282 1096 0 0 24 0 1 0 20531505 19193856 1956 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4686 1956 413 48 0 4638 0
[pid=5571] vsize: 18744
Current children cumulated CPU time (s) 696.95
Current children cumulated vsize (Kb) 20872

[startup+770.074 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 1995 0 0 0 26150 1141 0 0 21 0 1 0 20531505 19329024 1965 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4719 1965 413 48 0 4671 0
[pid=5571] vsize: 18876
Current children cumulated CPU time (s) 706.08
Current children cumulated vsize (Kb) 21004

[startup+780.075 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 1996 0 0 0 27023 1186 0 0 25 0 1 0 20531505 19329024 1966 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4719 1966 413 48 0 4671 0
[pid=5571] vsize: 18876
Current children cumulated CPU time (s) 715.26
Current children cumulated vsize (Kb) 21004

[startup+790.075 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 1997 0 0 0 27889 1231 0 0 24 0 1 0 20531505 19267584 1967 4294967295 134512640 134702520 3221223712 3221222976 134553191 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4704 1967 413 48 0 4656 0
[pid=5571] vsize: 18816
Current children cumulated CPU time (s) 724.37
Current children cumulated vsize (Kb) 20944

[startup+800.076 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2000 0 0 0 28732 1286 0 0 25 0 1 0 20531505 19267584 1970 4294967295 134512640 134702520 3221223712 3221222992 134554270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4704 1970 413 48 0 4656 0
[pid=5571] vsize: 18816
Current children cumulated CPU time (s) 733.35
Current children cumulated vsize (Kb) 20944

[startup+810.077 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 2005 0 0 0 29612 1327 0 0 25 0 1 0 20531505 19267584 1975 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4704 1975 413 48 0 4656 0
[pid=5571] vsize: 18816
Current children cumulated CPU time (s) 742.56
Current children cumulated vsize (Kb) 20944

[startup+820.077 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2012 0 0 0 30481 1370 0 0 25 0 1 0 20531505 19267584 1982 4294967295 134512640 134702520 3221223712 3221222992 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4704 1982 413 48 0 4656 0
[pid=5571] vsize: 18816
Current children cumulated CPU time (s) 751.68
Current children cumulated vsize (Kb) 20944

[startup+830.078 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2031 0 0 0 31404 1396 0 0 25 0 1 0 20531505 19267584 2001 4294967295 134512640 134702520 3221223712 3221222992 134552969 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 4704 2001 413 48 0 4656 0
[pid=5571] vsize: 18816
Current children cumulated CPU time (s) 761.17
Current children cumulated vsize (Kb) 20944

[startup+840.079 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 2041 0 0 0 32270 1444 0 0 25 0 1 0 20531505 19406848 2011 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4738 2011 413 48 0 4690 0
[pid=5571] vsize: 18952
Current children cumulated CPU time (s) 770.31
Current children cumulated vsize (Kb) 21080

[startup+850.08 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2054 0 0 0 33146 1485 0 0 23 0 1 0 20531505 19406848 2024 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 4738 2024 413 48 0 4690 0
[pid=5571] vsize: 18952
Current children cumulated CPU time (s) 779.48
Current children cumulated vsize (Kb) 21080

[startup+860.081 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2097 0 0 0 34030 1524 0 0 25 0 1 0 20531505 19406848 2067 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4738 2067 413 48 0 4690 0
[pid=5571] vsize: 18952
Current children cumulated CPU time (s) 788.71
Current children cumulated vsize (Kb) 21080

[startup+870.082 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2133 0 0 0 34927 1555 0 0 25 0 1 0 20531505 19406848 2103 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 4738 2103 413 48 0 4690 0
[pid=5571] vsize: 18952
Current children cumulated CPU time (s) 797.99
Current children cumulated vsize (Kb) 21080

[startup+880.082 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 2186 0 0 0 35828 1587 0 0 25 0 1 0 20531505 19406848 2156 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4738 2156 413 48 0 4690 0
[pid=5571] vsize: 18952
Current children cumulated CPU time (s) 807.32
Current children cumulated vsize (Kb) 21080

[startup+890.082 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2232 0 0 0 36753 1612 0 0 25 0 1 0 20531505 19542016 2202 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4771 2202 413 48 0 4723 0
[pid=5571] vsize: 19084
Current children cumulated CPU time (s) 816.82
Current children cumulated vsize (Kb) 21212

[startup+900.083 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2336 0 0 0 37711 1627 0 0 25 0 1 0 20531505 19542016 2306 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 4771 2306 413 48 0 4723 0
[pid=5571] vsize: 19084
Current children cumulated CPU time (s) 826.55
Current children cumulated vsize (Kb) 21212

[startup+910.084 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 2431 0 0 0 38580 1670 0 0 25 0 1 0 20531505 19677184 2401 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4804 2401 413 48 0 4756 0
[pid=5571] vsize: 19216
Current children cumulated CPU time (s) 835.67
Current children cumulated vsize (Kb) 21344

[startup+920.086 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2431 0 0 0 39453 1713 0 0 25 0 1 0 20531505 19677184 2401 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 4804 2401 413 48 0 4756 0
[pid=5571] vsize: 19216
Current children cumulated CPU time (s) 844.83
Current children cumulated vsize (Kb) 21344

[startup+930.086 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 2437 0 0 0 40330 1755 0 0 24 0 1 0 20531505 19677184 2407 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4804 2407 413 48 0 4756 0
[pid=5571] vsize: 19216
Current children cumulated CPU time (s) 854.02
Current children cumulated vsize (Kb) 21344

[startup+940.086 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2439 0 0 0 41186 1806 0 0 25 0 1 0 20531505 19677184 2409 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4804 2409 413 48 0 4756 0
[pid=5571] vsize: 19216
Current children cumulated CPU time (s) 863.09
Current children cumulated vsize (Kb) 21344

[startup+950.087 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 2445 0 0 0 42047 1857 0 0 25 0 1 0 20531505 19677184 2415 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4804 2415 413 48 0 4756 0
[pid=5571] vsize: 19216
Current children cumulated CPU time (s) 872.21
Current children cumulated vsize (Kb) 21344

[startup+960.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2454 0 0 0 42987 1879 0 0 25 0 1 0 20531505 19677184 2424 4294967295 134512640 134702520 3221223712 3221223104 134603632 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 4804 2424 413 48 0 4756 0
[pid=5571] vsize: 19216
Current children cumulated CPU time (s) 881.83
Current children cumulated vsize (Kb) 21344

[startup+970.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 2458 0 0 0 43898 1907 0 0 25 0 1 0 20531505 19677184 2428 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4804 2428 413 48 0 4756 0
[pid=5571] vsize: 19216
Current children cumulated CPU time (s) 891.22
Current children cumulated vsize (Kb) 21344

[startup+980.089 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 2496 0 0 0 44801 1939 0 0 25 0 1 0 20531505 19836928 2466 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 4843 2466 413 48 0 4795 0
[pid=5571] vsize: 19372
Current children cumulated CPU time (s) 900.57
Current children cumulated vsize (Kb) 21500

[startup+990.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2545 0 0 0 45730 1965 0 0 25 0 1 0 20531505 21032960 2515 4294967295 134512640 134702520 3221223712 3221222992 134552472 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 5135 2515 413 48 0 5087 0
[pid=5571] vsize: 20540
Current children cumulated CPU time (s) 910.12
Current children cumulated vsize (Kb) 22668

[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 2602 0 0 0 46618 2001 0 0 25 0 1 0 20531505 21032960 2572 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5135 2572 413 48 0 5087 0
[pid=5571] vsize: 20540
Current children cumulated CPU time (s) 919.36
Current children cumulated vsize (Kb) 22668

[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 2647 0 0 0 47480 2046 0 0 25 0 1 0 20531505 21032960 2617 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 5135 2617 413 48 0 5087 0
[pid=5571] vsize: 20540
Current children cumulated CPU time (s) 928.43
Current children cumulated vsize (Kb) 22668

[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2693 0 0 0 48413 2069 0 0 25 0 1 0 20531505 21032960 2663 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5135 2663 413 48 0 5087 0
[pid=5571] vsize: 20540
Current children cumulated CPU time (s) 937.99
Current children cumulated vsize (Kb) 22668

[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2731 0 0 0 49323 2100 0 0 25 0 1 0 20531505 21213184 2701 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5179 2701 413 48 0 5131 0
[pid=5571] vsize: 20716
Current children cumulated CPU time (s) 947.4
Current children cumulated vsize (Kb) 22844

[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2790 0 0 0 50254 2125 0 0 25 0 1 0 20531505 21213184 2760 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5179 2760 413 48 0 5131 0
[pid=5571] vsize: 20716
Current children cumulated CPU time (s) 956.96
Current children cumulated vsize (Kb) 22844

[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2839 0 0 0 51140 2164 0 0 23 0 1 0 20531505 21213184 2809 4294967295 134512640 134702520 3221223712 3221222736 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5179 2809 413 48 0 5131 0
[pid=5571] vsize: 20716
Current children cumulated CPU time (s) 966.21
Current children cumulated vsize (Kb) 22844

[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 2841 0 0 0 52026 2203 0 0 25 0 1 0 20531505 21401600 2811 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 5225 2811 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 975.46
Current children cumulated vsize (Kb) 23028

[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 2841 0 0 0 52913 2240 0 0 25 0 1 0 20531505 21401600 2811 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 5225 2811 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 984.7
Current children cumulated vsize (Kb) 23028

[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2841 0 0 0 53806 2278 0 0 25 0 1 0 20531505 21401600 2811 4294967295 134512640 134702520 3221223712 3221222992 134552553 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5225 2811 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 994.01
Current children cumulated vsize (Kb) 23028

[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2847 0 0 0 54702 2312 0 0 25 0 1 0 20531505 21401600 2817 4294967295 134512640 134702520 3221223712 3221222736 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5225 2817 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1003.31
Current children cumulated vsize (Kb) 23028

[startup+1100.1 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2853 0 0 0 55586 2351 0 0 25 0 1 0 20531505 21401600 2823 4294967295 134512640 134702520 3221223712 3221222992 134552370 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5225 2823 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1012.54
Current children cumulated vsize (Kb) 23028

[startup+1110.1 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2853 0 0 0 56480 2384 0 0 25 0 1 0 20531505 21401600 2823 4294967295 134512640 134702520 3221223712 3221222992 134554270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5225 2823 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1021.81
Current children cumulated vsize (Kb) 23028

[startup+1120.1 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2857 0 0 0 57368 2423 0 0 25 0 1 0 20531505 21401600 2827 4294967295 134512640 134702520 3221223712 3221222992 134553111 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 5225 2827 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1031.08
Current children cumulated vsize (Kb) 23028

[startup+1130.1 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2857 0 0 0 58252 2463 0 0 25 0 1 0 20531505 21401600 2827 4294967295 134512640 134702520 3221223712 3221222992 134552128 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5225 2827 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1040.32
Current children cumulated vsize (Kb) 23028

[startup+1140.1 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2857 0 0 0 59127 2507 0 0 25 0 1 0 20531505 21401600 2827 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 5225 2827 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1049.51
Current children cumulated vsize (Kb) 23028

[startup+1150.1 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2858 0 0 0 60021 2542 0 0 25 0 1 0 20531505 21401600 2828 4294967295 134512640 134702520 3221223712 3221222992 134552819 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5225 2828 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1058.8
Current children cumulated vsize (Kb) 23028

[startup+1160.1 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2860 0 0 0 60932 2572 0 0 25 0 1 0 20531505 21401600 2830 4294967295 134512640 134702520 3221223712 3221222832 134573399 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5225 2830 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1068.21
Current children cumulated vsize (Kb) 23028

[startup+1170.11 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2867 0 0 0 61886 2588 0 0 25 0 1 0 20531505 21401600 2837 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 5225 2837 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1077.91
Current children cumulated vsize (Kb) 23028

[startup+1180.11 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2868 0 0 0 62792 2621 0 0 25 0 1 0 20531505 21401600 2838 4294967295 134512640 134702520 3221223712 3221223104 134605854 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5225 2838 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1087.3
Current children cumulated vsize (Kb) 23028

[startup+1190.11 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2871 0 0 0 63752 2635 0 0 25 0 1 0 20531505 21401600 2841 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 5225 2841 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1097.04
Current children cumulated vsize (Kb) 23028

[startup+1200.11 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2872 0 0 0 64648 2669 0 0 23 0 1 0 20531505 21401600 2842 4294967295 134512640 134702520 3221223712 3221222736 134552263 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5225 2842 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1106.34
Current children cumulated vsize (Kb) 23028

[startup+1210.11 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2873 0 0 0 65528 2711 0 0 25 0 1 0 20531505 21401600 2843 4294967295 134512640 134702520 3221223712 3221222548 134550186 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5225 2843 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1115.56
Current children cumulated vsize (Kb) 23028

[startup+1220.11 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 2873 0 0 0 66438 2742 0 0 25 0 1 0 20531505 21401600 2843 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 5225 2843 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1124.97
Current children cumulated vsize (Kb) 23028

[startup+1230.11 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2878 0 0 0 67386 2761 0 0 25 0 1 0 20531505 21401600 2848 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 5225 2848 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1134.64
Current children cumulated vsize (Kb) 23028

[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2880 0 0 0 68297 2791 0 0 25 0 1 0 20531505 21401600 2850 4294967295 134512640 134702520 3221223712 3221223184 134657210 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5225 2850 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1144.05
Current children cumulated vsize (Kb) 23028

[startup+1250.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2884 0 0 0 69194 2827 0 0 25 0 1 0 20531505 21401600 2854 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5225 2854 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1153.38
Current children cumulated vsize (Kb) 23028

[startup+1260.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 2888 0 0 0 70147 2845 0 0 25 0 1 0 20531505 21401600 2858 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5225 2858 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1163.09
Current children cumulated vsize (Kb) 23028

[startup+1270.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2889 0 0 0 71089 2864 0 0 25 0 1 0 20531505 21401600 2859 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5225 2859 413 48 0 5177 0
[pid=5571] vsize: 20900
Current children cumulated CPU time (s) 1172.7
Current children cumulated vsize (Kb) 23028

[startup+1280.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) T 5566 5566 4005 0 -1 0 2892 0 0 0 71981 2899 0 0 25 0 1 0 20531505 21475328 2862 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5571/statm): 5243 2862 413 48 0 5195 0
[pid=5571] vsize: 20972
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (Kb) 23100

[startup+1290.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2968 0 0 0 72938 2914 0 0 25 0 1 0 20531505 21475328 2938 4294967295 134512640 134702520 3221223712 3221222992 134552128 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5571/statm): 5243 2938 413 48 0 5195 0
[pid=5571] vsize: 20972
Current children cumulated CPU time (s) 1191.69
Current children cumulated vsize (Kb) 23100

[startup+1300.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2971 0 0 0 73890 2931 0 0 25 0 1 0 20531505 21475328 2941 4294967295 134512640 134702520 3221223712 3221222832 134578611 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5243 2941 413 48 0 5195 0
[pid=5571] vsize: 20972
Current children cumulated CPU time (s) 1201.38
Current children cumulated vsize (Kb) 23100



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1300.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5571
Raw data (/proc/5566/stat): 5566 (vallstSAT2005PB) S 5565 5566 4005 0 -1 0 378 2680 0 0 1 1 41172 2143 19 0 1 0 20483964 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5566/statm): 532 248 485 147 0 385 0
[pid=5566] vsize: 2128
Raw data (/proc/5571/stat): 5571 (vallst) R 5566 5566 4005 0 -1 0 2971 0 0 0 73890 2931 0 0 25 0 1 0 20531505 21475328 2941 4294967295 134512640 134702520 3221223712 3221222832 134578611 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5571/statm): 5243 2941 413 48 0 5195 0
[pid=5571] vsize: 20972
Current children cumulated CPU time (s) 1201.38
Current children cumulated vsize (Kb) 23100

Sending SIGTERM to -5566
Sleeping 2 seconds
New process pid=5573
New process pid=5574
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/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/1694/stat
open syscall for file /proc/1694/status
open syscall for file /proc/1694/cmdline
open syscall for file /proc/1694/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/5527/stat
open syscall for file /proc/5527/status
open syscall for file /proc/5527/cmdline
open syscall for file /proc/5527/environ
open syscall for file /proc/5565/stat
open syscall for file /proc/5565/status
open syscall for file /proc/5565/cmdline
open syscall for file /proc/5565/environ
open syscall for file /proc/5566/stat
open syscall for file /proc/5566/status
open syscall for file /proc/5566/cmdline
open syscall for file /proc/5566/environ
open syscall for file /proc/5571/stat
open syscall for file /proc/5571/status
open syscall for file /proc/5571/cmdline
open syscall for file /proc/5571/environ
open syscall for file /proc/5573/stat
open syscall for file /proc/5573/status
open syscall for file /proc/5573/cmdline
open syscall for file /proc/5573/environ
open syscall for file /proc/5574/stat
open syscall for file /proc/5574/status
open syscall for file /proc/5574/cmdline
open syscall for file /proc/5574/environ
One traced child (pid=5573) exited with status: 0
One traced child (pid=5574) exited with status: 0
New process pid=5575
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=5575) exited with status: 0
New process pid=5576
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=5576) exited with status: 0
One traced child (pid=5566) ended because it received signal 15 (SIGTERM)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5571) exited with status: 3
All traced children have exited ! Game is over.

Child status: 3
Real time (s): 1300.74
CPU time (s): 768.807
CPU user time (s): 739.429
CPU system time (s): 29.3785
CPU usage (%): 59.1054
Max. virtual memory (cumulated for all children) (Kb): 23100

Verifier Data

ERROR: no interpretation found !