Some explanations

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

General information on the benchmark

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

Trace number 9386

Launcher Data

LAUNCH ON wulflinc7 THE 2005-09-23 13:08:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8114 boxname=wulflinc7 idbench=1082 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  688d61d0de54e028c8c4910e094a132c  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-ran13x13.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-ran13x13.opb 0
IDLAUNCH: 8114
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        934352 kB
Buffers:         10748 kB
Cached:          72620 kB
SwapCached:          0 kB
Active:          44680 kB
Inactive:        41552 kB
HighTotal:      131008 kB
HighFree:        54516 kB
LowTotal:       903652 kB
LowFree:        879836 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8472 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 13:33:34 (client local time) WITH STATUS 0 IN 1202.15 SECONDS
stats: 8114 7 1202.15 0

Solver Data

1:
seed: 0
Nr of vars set: 1635  (#equs: 0)
Nr of vars set: 1635  (#equs: 0)
#decisions: 4933;  #end-nodes: 209;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 49 / 80 (80)
#axs: 222, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  946226921 (3706256:>=*);
#decisions: 1417;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 222, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  946226932 (3706245:>=*);
#decisions: 1417;  #end-nodes: 18;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 18 / 80 (80)
#axs: 222, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  946226939 (3706238:>=*);
#decisions: 1485;  #end-nodes: 55;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 55 / 80 (80)
#axs: 222, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  946226940 (3706237:>=*);
#decisions: 1450;  #end-nodes: 42;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 42 / 80 (80)
#axs: 222, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  946226976 (3706201:>=*);
#decisions: 349642;  #end-nodes: 26048;
#proof improvement attempts: 0;  #restarts: 237
Current batch, end-nodes: 35 / 139 (139)
#axs: 222, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  946231089 (3702088:>=*);
#decisions: 1579;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 222, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  946231113 (3702064:>=*);
#decisions: 1589;  #end-nodes: 22;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 22 / 80 (80)
#axs: 222, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  946231121 (3702056:>=*);
#decisions: 1604;  #end-nodes: 27;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 27 / 80 (80)
#axs: 222, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  946231145 (3702032:>=*);
#decisions: 1600;  #end-nodes: 30;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 30 / 80 (80)
#axs: 222, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  946231197 (3701980:>=*);
#decisions: 372378;  #end-nodes: 28600;
#proof improvement attempts: 0;  #restarts: 255
Current batch, end-nodes: 49 / 143 (143)
#axs: 222, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  946289805 (3643372:>=*);
#decisions: 1413;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 222, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  946289985 (3643192:>=*);
#decisions: 1414;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 222, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  946290028 (3643149:>=*);
#decisions: 1549;  #end-nodes: 35;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 35 / 80 (80)
#axs: 222, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  946290043 (3643134:>=*);
#decisions: 415789;  #end-nodes: 33454;
#proof improvement attempts: 0;  #restarts: 288
Current batch, end-nodes: 0 / 151 (151)
#axs: 222, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 946290043 (3643134:>=*)

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

2:
seed: 0
Nr of vars set: 1635  (#equs: 0)
Nr of vars set: 1635  (#equs: 0)
#decisions: 108686;  #end-nodes: 9520;
#proof improvement attempts: 0;  #restarts: 73
Current batch, end-nodes: 73 / 138 (138)
#axs: 222, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  2063771 (3629022:>=*);
#decisions: 1681;  #end-nodes: 58;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 58 / 120 (120)
#axs: 222, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2063779 (3629014:>=*);
#decisions: 1712;  #end-nodes: 51;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 51 / 120 (120)
#axs: 222, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2063797 (3628996:>=*);
#decisions: 1749;  #end-nodes: 101;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 101 / 120 (120)
#axs: 222, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2063819 (3628974:>=*);
#decisions: 77943;  #end-nodes: 6803;
#proof improvement attempts: 0;  #restarts: 53
Current batch, end-nodes: 79 / 133 (133)
#axs: 222, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2207851 (3484942:>=*);
#decisions: 1388;  #end-nodes: 36;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 36 / 120 (120)
#axs: 222, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2207858 (3484935:>=*);
#decisions: 272971;  #end-nodes: 26846;
#proof improvement attempts: 0;  #restarts: 187
Current batch, end-nodes: 11 / 166 (166)
#axs: 222, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2396691 (3296102:>=*);
#decisions: 1396;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 120 (120)
#axs: 222, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2396851 (3295942:>=*);
#decisions: 1390;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 120 (120)
#axs: 222, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2397139 (3295654:>=*);
#decisions: 1401;  #end-nodes: 14;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 14 / 120 (120)
#axs: 222, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2397143 (3295650:>=*);
#decisions: 1389;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 120 (120)
#axs: 222, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2397161 (3295632:>=*);
#decisions: 1422;  #end-nodes: 25;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 25 / 120 (120)
#axs: 222, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2397247 (3295546:>=*);
#decisions: 1453;  #end-nodes: 44;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 44 / 120 (120)
#axs: 222, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2397359 (3295434:>=*);
#decisions: 1388;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 120 (120)
#axs: 222, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  2397439 (3295354:>=*);
Interupt request received.
#decisions: 3324213;  #end-nodes: 645817;
#proof improvement attempts: 0;  #restarts: 1842
Current batch, end-nodes: 491 / 580 (580)
#axs: 222, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 2397439 (3295354:>=*)

No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 3025  (#equs: 0)
Time taken: 14 min, 39 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/6061/stat): 6061 (vallstSAT2005PB) R 6060 6061 4059 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 20442111 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6061/statm): 174 3 169 147 0 27 0
[pid=6061] 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=6062
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=6062) exited with status: 0
New process pid=6063
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=6063) exited with status: 0
New process pid=6064
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/wulflinc7/normalized-mps-v2-13-7-ran13x13.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.003 s]
Raw data (loadavg): 0.87 0.97 0.99 1/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) T 6061 6061 4059 0 -1 0 453 0 0 0 519 156 0 0 17 0 1 0 20442118 3174400 416 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6064/statm): 775 416 413 48 0 727 0
[pid=6064] vsize: 3100
Current children cumulated CPU time (s) 6.77
Current children cumulated vsize (Kb) 5228

[startup+20.0036 s]
Raw data (loadavg): 0.89 0.97 0.99 2/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) R 6061 6061 4059 0 -1 0 553 0 0 0 1000 320 0 0 19 0 1 0 20442118 4259840 516 4294967295 134512640 134702520 3221223952 3221223232 134553312 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6064/statm): 1040 516 413 48 0 992 0
[pid=6064] vsize: 4160
Current children cumulated CPU time (s) 13.22
Current children cumulated vsize (Kb) 6288

[startup+30.0042 s]
Raw data (loadavg): 0.91 0.97 0.99 2/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) R 6061 6061 4059 0 -1 0 732 0 0 0 1801 380 0 0 25 0 1 0 20442118 4259840 695 4294967295 134512640 134702520 3221223952 3221222976 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6064/statm): 1040 695 413 48 0 992 0
[pid=6064] vsize: 4160
Current children cumulated CPU time (s) 21.83
Current children cumulated vsize (Kb) 6288

[startup+40.0049 s]
Raw data (loadavg): 0.92 0.97 0.99 2/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) R 6061 6061 4059 0 -1 0 745 0 0 0 2597 445 0 0 25 0 1 0 20442118 4259840 708 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6064/statm): 1040 708 413 48 0 992 0
[pid=6064] vsize: 4160
Current children cumulated CPU time (s) 30.44
Current children cumulated vsize (Kb) 6288

[startup+50.0055 s]
Raw data (loadavg): 0.93 0.97 0.99 2/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) R 6061 6061 4059 0 -1 0 746 0 0 0 3393 510 0 0 25 0 1 0 20442118 4259840 709 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6064/statm): 1040 709 413 48 0 992 0
[pid=6064] vsize: 4160
Current children cumulated CPU time (s) 39.05
Current children cumulated vsize (Kb) 6288

[startup+60.0061 s]
Raw data (loadavg): 0.94 0.97 0.99 2/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) R 6061 6061 4059 0 -1 0 746 0 0 0 4309 538 0 0 25 0 1 0 20442118 4259840 709 4294967295 134512640 134702520 3221223952 3221222848 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6064/statm): 1040 709 413 48 0 992 0
[pid=6064] vsize: 4160
Current children cumulated CPU time (s) 48.49
Current children cumulated vsize (Kb) 6288

[startup+70.0068 s]
Raw data (loadavg): 0.95 0.97 0.99 1/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) T 6061 6061 4059 0 -1 0 746 0 0 0 5168 583 0 0 24 0 1 0 20442118 4259840 709 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6064/statm): 1040 709 413 48 0 992 0
[pid=6064] vsize: 4160
Current children cumulated CPU time (s) 57.53
Current children cumulated vsize (Kb) 6288

[startup+80.0074 s]
Raw data (loadavg): 0.96 0.97 0.99 2/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) R 6061 6061 4059 0 -1 0 750 0 0 0 5971 645 0 0 25 0 1 0 20442118 4259840 713 4294967295 134512640 134702520 3221223952 3221222976 134553333 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6064/statm): 1040 713 413 48 0 992 0
[pid=6064] vsize: 4160
Current children cumulated CPU time (s) 66.18
Current children cumulated vsize (Kb) 6288

[startup+90.0081 s]
Raw data (loadavg): 0.96 0.97 0.99 1/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) T 6061 6061 4059 0 -1 0 756 0 0 0 6776 709 0 0 25 0 1 0 20442118 4259840 719 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6064/statm): 1040 719 413 48 0 992 0
[pid=6064] vsize: 4160
Current children cumulated CPU time (s) 74.87
Current children cumulated vsize (Kb) 6288

[startup+100.009 s]
Raw data (loadavg): 0.97 0.97 0.99 1/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) T 6061 6061 4059 0 -1 0 759 0 0 0 7631 758 0 0 25 0 1 0 20442118 4259840 722 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6064/statm): 1040 722 413 48 0 992 0
[pid=6064] vsize: 4160
Current children cumulated CPU time (s) 83.91
Current children cumulated vsize (Kb) 6288

[startup+110.01 s]
Raw data (loadavg): 1.05 0.99 0.99 2/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) R 6061 6061 4059 0 -1 0 759 0 0 0 8550 785 0 0 25 0 1 0 20442118 4259840 722 4294967295 134512640 134702520 3221223952 3221222848 134553333 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6064/statm): 1040 722 413 48 0 992 0
[pid=6064] vsize: 4160
Current children cumulated CPU time (s) 93.37
Current children cumulated vsize (Kb) 6288

[startup+120.011 s]
Raw data (loadavg): 1.04 0.99 0.99 2/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) R 6061 6061 4059 0 -1 0 761 0 0 0 9346 849 0 0 25 0 1 0 20442118 4259840 724 4294967295 134512640 134702520 3221223952 3221115728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6064/statm): 1040 724 413 48 0 992 0
[pid=6064] vsize: 4160
Current children cumulated CPU time (s) 101.97
Current children cumulated vsize (Kb) 6288

[startup+130.012 s]
Raw data (loadavg): 1.11 1.00 1.00 2/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) R 6061 6061 4059 0 -1 0 765 0 0 0 10132 920 0 0 25 0 1 0 20442118 4259840 728 4294967295 134512640 134702520 3221223952 3221222976 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6064/statm): 1040 728 413 48 0 992 0
[pid=6064] vsize: 4160
Current children cumulated CPU time (s) 110.54
Current children cumulated vsize (Kb) 6288

[startup+140.012 s]
Raw data (loadavg): 1.09 1.00 1.00 1/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) T 6061 6061 4059 0 -1 0 767 0 0 0 10927 986 0 0 23 0 1 0 20442118 4259840 730 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6064/statm): 1040 730 413 48 0 992 0
[pid=6064] vsize: 4160
Current children cumulated CPU time (s) 119.15
Current children cumulated vsize (Kb) 6288

[startup+150.013 s]
Raw data (loadavg): 1.08 1.00 1.00 2/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) R 6061 6061 4059 0 -1 0 769 0 0 0 11710 1056 0 0 20 0 1 0 20442118 4259840 732 4294967295 134512640 134702520 3221223952 3221223232 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6064/statm): 1040 732 413 48 0 992 0
[pid=6064] vsize: 4160
Current children cumulated CPU time (s) 127.68
Current children cumulated vsize (Kb) 6288

[startup+160.014 s]
Raw data (loadavg): 1.07 1.00 1.00 1/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) T 6061 6061 4059 0 -1 0 771 0 0 0 12597 1093 0 0 25 0 1 0 20442118 4259840 734 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6064/statm): 1040 734 413 48 0 992 0
[pid=6064] vsize: 4160
Current children cumulated CPU time (s) 136.92
Current children cumulated vsize (Kb) 6288

[startup+170.014 s]
Raw data (loadavg): 1.06 1.00 1.00 2/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) R 6061 6061 4059 0 -1 0 771 0 0 0 13483 1130 0 0 20 0 1 0 20442118 4259840 734 4294967295 134512640 134702520 3221223952 3221223232 134553492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6064/statm): 1040 734 413 48 0 992 0
[pid=6064] vsize: 4160
Current children cumulated CPU time (s) 146.15
Current children cumulated vsize (Kb) 6288

[startup+180.014 s]
Raw data (loadavg): 1.05 1.00 1.00 2/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) R 6061 6061 4059 0 -1 0 773 0 0 0 14284 1195 0 0 20 0 1 0 20442118 4259840 736 4294967295 134512640 134702520 3221223952 3221223232 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6064/statm): 1040 736 413 48 0 992 0
[pid=6064] vsize: 4160
Current children cumulated CPU time (s) 154.81
Current children cumulated vsize (Kb) 6288

[startup+190.015 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) R 6061 6061 4059 0 -1 0 775 0 0 0 15078 1263 0 0 20 0 1 0 20442118 4386816 738 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6064/statm): 1071 738 413 48 0 1023 0
[pid=6064] vsize: 4284
Current children cumulated CPU time (s) 163.43
Current children cumulated vsize (Kb) 6412

[startup+200.016 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) R 6061 6061 4059 0 -1 0 778 0 0 0 15911 1317 0 0 25 0 1 0 20442118 4386816 741 4294967295 134512640 134702520 3221223952 3221222848 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6064/statm): 1071 741 413 48 0 1023 0
[pid=6064] vsize: 4284
Current children cumulated CPU time (s) 172.3
Current children cumulated vsize (Kb) 6412

[startup+210.017 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) R 6061 6061 4059 0 -1 0 778 0 0 0 16832 1342 0 0 25 0 1 0 20442118 4386816 741 4294967295 134512640 134702520 3221223952 3221222848 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6064/statm): 1071 741 413 48 0 1023 0
[pid=6064] vsize: 4284
Current children cumulated CPU time (s) 181.76
Current children cumulated vsize (Kb) 6412

[startup+220.017 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) R 6061 6061 4059 0 -1 0 780 0 0 0 17674 1391 0 0 17 0 1 0 20442118 4386816 743 4294967295 134512640 134702520 3221223952 3221223232 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6064/statm): 1071 743 413 48 0 1023 0
[pid=6064] vsize: 4284
Current children cumulated CPU time (s) 190.67
Current children cumulated vsize (Kb) 6412

[startup+230.018 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) R 6061 6061 4059 0 -1 0 781 0 0 0 18500 1448 0 0 23 0 1 0 20442118 4386816 744 4294967295 134512640 134702520 3221223952 3221223232 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6064/statm): 1071 744 413 48 0 1023 0
[pid=6064] vsize: 4284
Current children cumulated CPU time (s) 199.5
Current children cumulated vsize (Kb) 6412

[startup+240.02 s]
Raw data (loadavg): 1.02 1.00 1.00 1/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) T 6061 6061 4059 0 -1 0 783 0 0 0 19256 1524 0 0 21 0 1 0 20442118 4386816 746 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6064/statm): 1071 746 413 48 0 1023 0
[pid=6064] vsize: 4284
Current children cumulated CPU time (s) 207.82
Current children cumulated vsize (Kb) 6412

[startup+250.02 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) R 6061 6061 4059 0 -1 0 785 0 0 0 20032 1595 0 0 19 0 1 0 20442118 4386816 748 4294967295 134512640 134702520 3221223952 3221223232 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6064/statm): 1071 748 413 48 0 1023 0
[pid=6064] vsize: 4284
Current children cumulated CPU time (s) 216.29
Current children cumulated vsize (Kb) 6412

[startup+260.021 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) R 6061 6061 4059 0 -1 0 785 0 0 0 20815 1667 0 0 19 0 1 0 20442118 4386816 748 4294967295 134512640 134702520 3221223952 3221223232 134553312 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6064/statm): 1071 748 413 48 0 1023 0
[pid=6064] vsize: 4284
Current children cumulated CPU time (s) 224.84
Current children cumulated vsize (Kb) 6412

[startup+270.022 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) R 6061 6061 4059 0 -1 0 787 0 0 0 21732 1695 0 0 25 0 1 0 20442118 4386816 750 4294967295 134512640 134702520 3221223952 3221222848 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6064/statm): 1071 750 413 48 0 1023 0
[pid=6064] vsize: 4284
Current children cumulated CPU time (s) 234.29
Current children cumulated vsize (Kb) 6412

[startup+280.021 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) R 6061 6061 4059 0 -1 0 787 0 0 0 22587 1744 0 0 20 0 1 0 20442118 4386816 750 4294967295 134512640 134702520 3221223952 3221205488 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6064/statm): 1071 750 413 48 0 1023 0
[pid=6064] vsize: 4284
Current children cumulated CPU time (s) 243.33
Current children cumulated vsize (Kb) 6412

[startup+290.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) R 6061 6061 4059 0 -1 0 788 0 0 0 23393 1808 0 0 20 0 1 0 20442118 4386816 751 4294967295 134512640 134702520 3221223952 3221223356 1074230006 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6064/statm): 1071 751 413 48 0 1023 0
[pid=6064] vsize: 4284
Current children cumulated CPU time (s) 252.03
Current children cumulated vsize (Kb) 6412

[startup+300.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) R 6061 6061 4059 0 -1 0 789 0 0 0 24187 1880 0 0 20 0 1 0 20442118 4386816 752 4294967295 134512640 134702520 3221223952 3221212988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6064/statm): 1071 752 413 48 0 1023 0
[pid=6064] vsize: 4284
Current children cumulated CPU time (s) 260.69
Current children cumulated vsize (Kb) 6412

[startup+310.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) R 6061 6061 4059 0 -1 0 791 0 0 0 25059 1922 0 0 25 0 1 0 20442118 4386816 754 4294967295 134512640 134702520 3221223952 3221222848 134553330 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6064/statm): 1071 754 413 48 0 1023 0
[pid=6064] vsize: 4284
Current children cumulated CPU time (s) 269.83
Current children cumulated vsize (Kb) 6412

[startup+320.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) R 6061 6061 4059 0 -1 0 791 0 0 0 25979 1948 0 0 25 0 1 0 20442118 4386816 754 4294967295 134512640 134702520 3221223952 3221222848 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6064/statm): 1071 754 413 48 0 1023 0
[pid=6064] vsize: 4284
Current children cumulated CPU time (s) 279.29
Current children cumulated vsize (Kb) 6412

[startup+330.024 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) T 6061 6061 4059 0 -1 0 792 0 0 0 26763 2016 0 0 20 0 1 0 20442118 4386816 755 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6064/statm): 1071 755 413 48 0 1023 0
[pid=6064] vsize: 4284
Current children cumulated CPU time (s) 287.81
Current children cumulated vsize (Kb) 6412

[startup+340.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) T 6061 6061 4059 0 -1 0 792 0 0 0 27582 2079 0 0 20 0 1 0 20442118 4386816 755 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6064/statm): 1071 755 413 48 0 1023 0
[pid=6064] vsize: 4284
Current children cumulated CPU time (s) 296.63
Current children cumulated vsize (Kb) 6412

[startup+350.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) T 6061 6061 4059 0 -1 0 795 0 0 0 28407 2130 0 0 21 0 1 0 20442118 4386816 758 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6064/statm): 1071 758 413 48 0 1023 0
[pid=6064] vsize: 4284
Current children cumulated CPU time (s) 305.39
Current children cumulated vsize (Kb) 6412

[startup+360.027 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6064
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20442111 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 242 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6064/stat): 6064 (vallst) T 6061 6061 4059 0 -1 0 797 0 0 0 29295 2166 0 0 25 0 1 0 20442118 4386816 760 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6064/statm): 1071 760 413 48 0 1023 0
[pid=6064] vsize: 4284
Current children cumulated CPU time (s) 314.63
Current children cumulated vsize (Kb) 6412
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=6064) exited with status: 2
New process pid=6065
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=6065) exited with status: 0
New process pid=6066
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+370.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 403 0 0 0 112 6 0 0 20 0 1 0 20478986 2969600 373 4294967295 134512640 134702520 3221223712 3221222848 134552991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 725 373 413 48 0 677 0
[pid=6066] vsize: 2900
Current children cumulated CPU time (s) 324
Current children cumulated vsize (Kb) 5028

[startup+380.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 403 0 0 0 576 174 0 0 16 0 1 0 20478986 2969600 373 4294967295 134512640 134702520 3221223712 3221222848 134550611 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 725 373 413 48 0 677 0
[pid=6066] vsize: 2900
Current children cumulated CPU time (s) 330.32
Current children cumulated vsize (Kb) 5028

[startup+390.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 564 0 0 0 1126 318 0 0 18 0 1 0 20478986 3829760 534 4294967295 134512640 134702520 3221223712 3221222992 134553333 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 935 534 413 48 0 887 0
[pid=6066] vsize: 3740
Current children cumulated CPU time (s) 337.26
Current children cumulated vsize (Kb) 5868

[startup+400.029 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 656 0 0 0 1809 415 0 0 21 0 1 0 20478986 3829760 626 4294967295 134512640 134702520 3221223712 3221161868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 935 626 413 48 0 887 0
[pid=6066] vsize: 3740
Current children cumulated CPU time (s) 345.06
Current children cumulated vsize (Kb) 5868

[startup+410.03 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 667 0 0 0 2477 521 0 0 18 0 1 0 20478986 3833856 637 4294967295 134512640 134702520 3221223712 3221222992 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 936 637 413 48 0 888 0
[pid=6066] vsize: 3744
Current children cumulated CPU time (s) 352.8
Current children cumulated vsize (Kb) 5872

[startup+420.031 s]
Raw data (loadavg): 1.05 1.01 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 673 0 0 0 3170 615 0 0 23 0 1 0 20478986 3833856 643 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 936 643 413 48 0 888 0
[pid=6066] vsize: 3744
Current children cumulated CPU time (s) 360.67
Current children cumulated vsize (Kb) 5872

[startup+430.032 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 678 0 0 0 3832 723 0 0 20 0 1 0 20478986 3969024 648 4294967295 134512640 134702520 3221223712 3221222608 134552523 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 969 648 413 48 0 921 0
[pid=6066] vsize: 3876
Current children cumulated CPU time (s) 368.37
Current children cumulated vsize (Kb) 6004

[startup+440.032 s]
Raw data (loadavg): 1.04 1.01 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 681 0 0 0 4503 831 0 0 19 0 1 0 20478986 3952640 651 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 965 651 413 48 0 917 0
[pid=6066] vsize: 3860
Current children cumulated CPU time (s) 376.16
Current children cumulated vsize (Kb) 5988

[startup+450.033 s]
Raw data (loadavg): 1.10 1.03 1.01 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 683 0 0 0 5121 954 0 0 17 0 1 0 20478986 3952640 653 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6066/statm): 965 653 413 48 0 917 0
[pid=6066] vsize: 3860
Current children cumulated CPU time (s) 383.57
Current children cumulated vsize (Kb) 5988

[startup+460.034 s]
Raw data (loadavg): 1.09 1.03 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 684 0 0 0 5577 1131 0 0 17 0 1 0 20478986 3952640 654 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 965 654 413 48 0 917 0
[pid=6066] vsize: 3860
Current children cumulated CPU time (s) 389.9
Current children cumulated vsize (Kb) 5988

[startup+470.034 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 686 0 0 0 6169 1260 0 0 18 0 1 0 20478986 3952640 656 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 965 656 413 48 0 917 0
[pid=6066] vsize: 3860
Current children cumulated CPU time (s) 397.11
Current children cumulated vsize (Kb) 5988

[startup+480.035 s]
Raw data (loadavg): 1.13 1.04 1.01 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 686 0 0 0 6854 1359 0 0 20 0 1 0 20478986 3952640 656 4294967295 134512640 134702520 3221223712 3221190688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 965 656 413 48 0 917 0
[pid=6066] vsize: 3860
Current children cumulated CPU time (s) 404.95
Current children cumulated vsize (Kb) 5988

[startup+490.036 s]
Raw data (loadavg): 1.11 1.04 1.01 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 687 0 0 0 7523 1464 0 0 18 0 1 0 20478986 3952640 657 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6066/statm): 965 657 413 48 0 917 0
[pid=6066] vsize: 3860
Current children cumulated CPU time (s) 412.69
Current children cumulated vsize (Kb) 5988

[startup+500.037 s]
Raw data (loadavg): 1.10 1.04 1.01 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 690 0 0 0 8202 1566 0 0 22 0 1 0 20478986 3952640 660 4294967295 134512640 134702520 3221223712 3221129868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 965 660 413 48 0 917 0
[pid=6066] vsize: 3860
Current children cumulated CPU time (s) 420.5
Current children cumulated vsize (Kb) 5988

[startup+510.038 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 692 0 0 0 8885 1673 0 0 18 0 1 0 20478986 3952640 662 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6066/statm): 965 662 413 48 0 917 0
[pid=6066] vsize: 3860
Current children cumulated CPU time (s) 428.4
Current children cumulated vsize (Kb) 5988

[startup+520.038 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 693 0 0 0 9434 1819 0 0 17 0 1 0 20478986 3952640 663 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 965 663 413 48 0 917 0
[pid=6066] vsize: 3860
Current children cumulated CPU time (s) 435.35
Current children cumulated vsize (Kb) 5988

[startup+530.038 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 694 0 0 0 9913 1986 0 0 18 0 1 0 20478986 3952640 664 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 965 664 413 48 0 917 0
[pid=6066] vsize: 3860
Current children cumulated CPU time (s) 441.81
Current children cumulated vsize (Kb) 5988

[startup+540.039 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 696 0 0 0 10585 2092 0 0 19 0 1 0 20478986 3952640 666 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 965 666 413 48 0 917 0
[pid=6066] vsize: 3860
Current children cumulated CPU time (s) 449.59
Current children cumulated vsize (Kb) 5988

[startup+550.04 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 697 0 0 0 11253 2192 0 0 18 0 1 0 20478986 3952640 667 4294967295 134512640 134702520 3221223712 3221222992 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 965 667 413 48 0 917 0
[pid=6066] vsize: 3860
Current children cumulated CPU time (s) 457.27
Current children cumulated vsize (Kb) 5988

[startup+560.041 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 697 0 0 0 11884 2316 0 0 17 0 1 0 20478986 3952640 667 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6066/statm): 965 667 413 48 0 917 0
[pid=6066] vsize: 3860
Current children cumulated CPU time (s) 464.82
Current children cumulated vsize (Kb) 5988

[startup+570.042 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 698 0 0 0 12332 2496 0 0 18 0 1 0 20478986 3952640 668 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6066/statm): 965 668 413 48 0 917 0
[pid=6066] vsize: 3860
Current children cumulated CPU time (s) 471.1
Current children cumulated vsize (Kb) 5988

[startup+580.041 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 700 0 0 0 12962 2615 0 0 19 0 1 0 20478986 3952640 670 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6066/statm): 965 670 413 48 0 917 0
[pid=6066] vsize: 3860
Current children cumulated CPU time (s) 478.59
Current children cumulated vsize (Kb) 5988

[startup+590.043 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 701 0 0 0 13646 2715 0 0 18 0 1 0 20478986 3952640 671 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 965 671 413 48 0 917 0
[pid=6066] vsize: 3860
Current children cumulated CPU time (s) 486.43
Current children cumulated vsize (Kb) 5988

[startup+600.043 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 701 0 0 0 14328 2815 0 0 18 0 1 0 20478986 3952640 671 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6066/statm): 965 671 413 48 0 917 0
[pid=6066] vsize: 3860
Current children cumulated CPU time (s) 494.25
Current children cumulated vsize (Kb) 5988

[startup+610.045 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 702 0 0 0 14843 2979 0 0 17 0 1 0 20478986 3952640 672 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6066/statm): 965 672 413 48 0 917 0
[pid=6066] vsize: 3860
Current children cumulated CPU time (s) 501.04
Current children cumulated vsize (Kb) 5988

[startup+620.046 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 704 0 0 0 15352 3136 0 0 18 0 1 0 20478986 3952640 674 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6066/statm): 965 674 413 48 0 917 0
[pid=6066] vsize: 3860
Current children cumulated CPU time (s) 507.7
Current children cumulated vsize (Kb) 5988

[startup+630.045 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 705 0 0 0 16040 3235 0 0 18 0 1 0 20478986 3952640 675 4294967295 134512640 134702520 3221223712 3221222992 134552712 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 965 675 413 48 0 917 0
[pid=6066] vsize: 3860
Current children cumulated CPU time (s) 515.57
Current children cumulated vsize (Kb) 5988

[startup+640.046 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 707 0 0 0 16731 3332 0 0 18 0 1 0 20478986 3952640 677 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6066/statm): 965 677 413 48 0 917 0
[pid=6066] vsize: 3860
Current children cumulated CPU time (s) 523.45
Current children cumulated vsize (Kb) 5988

[startup+650.047 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 708 0 0 0 17385 3440 0 0 17 0 1 0 20478986 4087808 678 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6066/statm): 998 678 413 48 0 950 0
[pid=6066] vsize: 3992
Current children cumulated CPU time (s) 531.07
Current children cumulated vsize (Kb) 6120

[startup+660.048 s]
Raw data (loadavg): 1.08 1.03 1.01 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 709 0 0 0 17826 3623 0 0 18 0 1 0 20478986 4087808 679 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 998 679 413 48 0 950 0
[pid=6066] vsize: 3992
Current children cumulated CPU time (s) 537.31
Current children cumulated vsize (Kb) 6120

[startup+670.049 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 711 0 0 0 18448 3744 0 0 20 0 1 0 20478986 4071424 681 4294967295 134512640 134702520 3221223712 3221222608 134552372 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6066/statm): 994 681 413 48 0 946 0
[pid=6066] vsize: 3976
Current children cumulated CPU time (s) 544.74
Current children cumulated vsize (Kb) 6104

[startup+680.049 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 712 0 0 0 19146 3840 0 0 20 0 1 0 20478986 4071424 682 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 994 682 413 48 0 946 0
[pid=6066] vsize: 3976
Current children cumulated CPU time (s) 552.68
Current children cumulated vsize (Kb) 6104

[startup+690.049 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 713 0 0 0 19848 3937 0 0 19 0 1 0 20478986 4071424 683 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 994 683 413 48 0 946 0
[pid=6066] vsize: 3976
Current children cumulated CPU time (s) 560.67
Current children cumulated vsize (Kb) 6104

[startup+700.05 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 714 0 0 0 20431 4072 0 0 16 0 1 0 20478986 4071424 684 4294967295 134512640 134702520 3221223712 3221222892 134519982 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6066/statm): 994 684 413 48 0 946 0
[pid=6066] vsize: 3976
Current children cumulated CPU time (s) 567.85
Current children cumulated vsize (Kb) 6104

[startup+710.05 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 715 0 0 0 20923 4237 0 0 18 0 1 0 20478986 4071424 685 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 994 685 413 48 0 946 0
[pid=6066] vsize: 3976
Current children cumulated CPU time (s) 574.42
Current children cumulated vsize (Kb) 6104

[startup+720.051 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 717 0 0 0 21580 4351 0 0 19 0 1 0 20478986 4071424 687 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6066/statm): 994 687 413 48 0 946 0
[pid=6066] vsize: 3976
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (Kb) 6104

[startup+730.053 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 718 0 0 0 22295 4444 0 0 20 0 1 0 20478986 4071424 688 4294967295 134512640 134702520 3221223712 3221222832 134578840 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 994 688 413 48 0 946 0
[pid=6066] vsize: 3976
Current children cumulated CPU time (s) 590.21
Current children cumulated vsize (Kb) 6104

[startup+740.053 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 719 0 0 0 23011 4537 0 0 18 0 1 0 20478986 4071424 689 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6066/statm): 994 689 413 48 0 946 0
[pid=6066] vsize: 3976
Current children cumulated CPU time (s) 598.3
Current children cumulated vsize (Kb) 6104

[startup+750.054 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 720 0 0 0 23667 4650 0 0 18 0 1 0 20478986 4071424 690 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 994 690 413 48 0 946 0
[pid=6066] vsize: 3976
Current children cumulated CPU time (s) 605.99
Current children cumulated vsize (Kb) 6104

[startup+760.056 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 721 0 0 0 24258 4782 0 0 19 0 1 0 20478986 4071424 691 4294967295 134512640 134702520 3221223712 3221222480 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 994 691 413 48 0 946 0
[pid=6066] vsize: 3976
Current children cumulated CPU time (s) 613.22
Current children cumulated vsize (Kb) 6104

[startup+770.056 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 722 0 0 0 24925 4894 0 0 19 0 1 0 20478986 4071424 692 4294967295 134512640 134702520 3221223712 3221222992 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 994 692 413 48 0 946 0
[pid=6066] vsize: 3976
Current children cumulated CPU time (s) 621.01
Current children cumulated vsize (Kb) 6104

[startup+780.057 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 722 0 0 0 25634 4988 0 0 19 0 1 0 20478986 4071424 692 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 994 692 413 48 0 946 0
[pid=6066] vsize: 3976
Current children cumulated CPU time (s) 629.04
Current children cumulated vsize (Kb) 6104

[startup+790.059 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 724 0 0 0 26364 5071 0 0 19 0 1 0 20478986 4071424 694 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 994 694 413 48 0 946 0
[pid=6066] vsize: 3976
Current children cumulated CPU time (s) 637.17
Current children cumulated vsize (Kb) 6104

[startup+800.059 s]
Raw data (loadavg): 1.09 1.03 1.01 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 725 0 0 0 26945 5210 0 0 17 0 1 0 20478986 4071424 695 4294967295 134512640 134702520 3221223712 3221222880 134658404 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 994 695 413 48 0 946 0
[pid=6066] vsize: 3976
Current children cumulated CPU time (s) 644.37
Current children cumulated vsize (Kb) 6104

[startup+810.06 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 726 0 0 0 27408 5391 0 0 17 0 1 0 20478986 4071424 696 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6066/statm): 994 696 413 48 0 946 0
[pid=6066] vsize: 3976
Current children cumulated CPU time (s) 650.81
Current children cumulated vsize (Kb) 6104

[startup+820.06 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 728 0 0 0 28084 5490 0 0 19 0 1 0 20478986 4071424 698 4294967295 134512640 134702520 3221223712 3221222992 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 994 698 413 48 0 946 0
[pid=6066] vsize: 3976
Current children cumulated CPU time (s) 658.56
Current children cumulated vsize (Kb) 6104

[startup+830.061 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 729 0 0 0 28787 5582 0 0 19 0 1 0 20478986 4071424 699 4294967295 134512640 134702520 3221223712 3221222992 134552712 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 994 699 413 48 0 946 0
[pid=6066] vsize: 3976
Current children cumulated CPU time (s) 666.51
Current children cumulated vsize (Kb) 6104

[startup+840.062 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 729 0 0 0 29524 5670 0 0 20 0 1 0 20478986 4071424 699 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 994 699 413 48 0 946 0
[pid=6066] vsize: 3976
Current children cumulated CPU time (s) 674.76
Current children cumulated vsize (Kb) 6104

[startup+850.062 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 730 0 0 0 30174 5782 0 0 18 0 1 0 20478986 4071424 700 4294967295 134512640 134702520 3221223712 3221222912 134617883 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 994 700 413 48 0 946 0
[pid=6066] vsize: 3976
Current children cumulated CPU time (s) 682.38
Current children cumulated vsize (Kb) 6104

[startup+860.063 s]
Raw data (loadavg): 1.10 1.04 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 731 0 0 0 30703 5936 0 0 18 0 1 0 20478986 4071424 701 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6066/statm): 994 701 413 48 0 946 0
[pid=6066] vsize: 3976
Current children cumulated CPU time (s) 689.21
Current children cumulated vsize (Kb) 6104

[startup+870.064 s]
Raw data (loadavg): 1.17 1.06 1.01 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 732 0 0 0 31315 6061 0 0 19 0 1 0 20478986 4071424 702 4294967295 134512640 134702520 3221223712 3221205068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 994 702 413 48 0 946 0
[pid=6066] vsize: 3976
Current children cumulated CPU time (s) 696.58
Current children cumulated vsize (Kb) 6104

[startup+880.063 s]
Raw data (loadavg): 1.14 1.05 1.01 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 733 0 0 0 32041 6144 0 0 20 0 1 0 20478986 4071424 703 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 994 703 413 48 0 946 0
[pid=6066] vsize: 3976
Current children cumulated CPU time (s) 704.67
Current children cumulated vsize (Kb) 6104

[startup+890.064 s]
Raw data (loadavg): 1.19 1.07 1.01 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 734 0 0 0 32774 6232 0 0 19 0 1 0 20478986 4071424 704 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 994 704 413 48 0 946 0
[pid=6066] vsize: 3976
Current children cumulated CPU time (s) 712.88
Current children cumulated vsize (Kb) 6104

[startup+900.065 s]
Raw data (loadavg): 1.16 1.07 1.01 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 735 0 0 0 33515 6313 0 0 24 0 1 0 20478986 4071424 705 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 994 705 413 48 0 946 0
[pid=6066] vsize: 3976
Current children cumulated CPU time (s) 721.1
Current children cumulated vsize (Kb) 6104

[startup+910.066 s]
Raw data (loadavg): 1.14 1.06 1.01 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 736 0 0 0 33999 6489 0 0 17 0 1 0 20478986 4071424 706 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 994 706 413 48 0 946 0
[pid=6066] vsize: 3976
Current children cumulated CPU time (s) 727.7
Current children cumulated vsize (Kb) 6104

[startup+920.067 s]
Raw data (loadavg): 1.12 1.06 1.01 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 738 0 0 0 34544 6637 0 0 17 0 1 0 20478986 4186112 708 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1022 708 413 48 0 974 0
[pid=6066] vsize: 4088
Current children cumulated CPU time (s) 734.63
Current children cumulated vsize (Kb) 6216

[startup+930.066 s]
Raw data (loadavg): 1.10 1.06 1.01 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 738 0 0 0 35265 6730 0 0 21 0 1 0 20478986 4186112 708 4294967295 134512640 134702520 3221223712 3221204608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6066/statm): 1022 708 413 48 0 974 0
[pid=6066] vsize: 4088
Current children cumulated CPU time (s) 742.77
Current children cumulated vsize (Kb) 6216

[startup+940.067 s]
Raw data (loadavg): 1.08 1.06 1.01 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 739 0 0 0 35986 6818 0 0 19 0 1 0 20478986 4186112 709 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1022 709 413 48 0 974 0
[pid=6066] vsize: 4088
Current children cumulated CPU time (s) 750.86
Current children cumulated vsize (Kb) 6216

[startup+950.068 s]
Raw data (loadavg): 1.07 1.05 1.01 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 740 0 0 0 36726 6901 0 0 18 0 1 0 20478986 4186112 710 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1022 710 413 48 0 974 0
[pid=6066] vsize: 4088
Current children cumulated CPU time (s) 759.09
Current children cumulated vsize (Kb) 6216

[startup+960.068 s]
Raw data (loadavg): 1.13 1.07 1.01 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 742 0 0 0 37322 7031 0 0 16 0 1 0 20478986 4186112 712 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6066/statm): 1022 712 413 48 0 974 0
[pid=6066] vsize: 4088
Current children cumulated CPU time (s) 766.35
Current children cumulated vsize (Kb) 6216

[startup+970.07 s]
Raw data (loadavg): 1.11 1.06 1.01 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 743 0 0 0 37790 7210 0 0 18 0 1 0 20478986 4186112 713 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1022 713 413 48 0 974 0
[pid=6066] vsize: 4088
Current children cumulated CPU time (s) 772.82
Current children cumulated vsize (Kb) 6216

[startup+980.07 s]
Raw data (loadavg): 1.09 1.06 1.01 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 744 0 0 0 38469 7316 0 0 18 0 1 0 20478986 4186112 714 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1022 714 413 48 0 974 0
[pid=6066] vsize: 4088
Current children cumulated CPU time (s) 780.67
Current children cumulated vsize (Kb) 6216

[startup+990.071 s]
Raw data (loadavg): 1.08 1.06 1.01 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 744 0 0 0 39207 7400 0 0 22 0 1 0 20478986 4186112 714 4294967295 134512640 134702520 3221223712 3221161388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1022 714 413 48 0 974 0
[pid=6066] vsize: 4088
Current children cumulated CPU time (s) 788.89
Current children cumulated vsize (Kb) 6216

[startup+1000.07 s]
Raw data (loadavg): 1.07 1.06 1.01 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 747 0 0 0 39935 7486 0 0 20 0 1 0 20478986 4186112 717 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1022 717 413 48 0 974 0
[pid=6066] vsize: 4088
Current children cumulated CPU time (s) 797.03
Current children cumulated vsize (Kb) 6216

[startup+1010.07 s]
Raw data (loadavg): 1.14 1.07 1.01 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 748 0 0 0 40675 7566 0 0 18 0 1 0 20478986 4186112 718 4294967295 134512640 134702520 3221223712 3221222608 134553444 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1022 718 413 48 0 974 0
[pid=6066] vsize: 4088
Current children cumulated CPU time (s) 805.23
Current children cumulated vsize (Kb) 6216

[startup+1020.07 s]
Raw data (loadavg): 1.11 1.07 1.01 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 748 0 0 0 41126 7743 0 0 17 0 1 0 20478986 4186112 718 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6066/statm): 1022 718 413 48 0 974 0
[pid=6066] vsize: 4088
Current children cumulated CPU time (s) 811.51
Current children cumulated vsize (Kb) 6216

[startup+1030.07 s]
Raw data (loadavg): 1.10 1.07 1.01 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 750 0 0 0 41700 7878 0 0 20 0 1 0 20478986 4186112 720 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1022 720 413 48 0 974 0
[pid=6066] vsize: 4088
Current children cumulated CPU time (s) 818.6
Current children cumulated vsize (Kb) 6216

[startup+1040.08 s]
Raw data (loadavg): 1.08 1.06 1.01 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 752 0 0 0 42451 7960 0 0 20 0 1 0 20478986 4186112 722 4294967295 134512640 134702520 3221223712 3221222608 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1022 722 413 48 0 974 0
[pid=6066] vsize: 4088
Current children cumulated CPU time (s) 826.93
Current children cumulated vsize (Kb) 6216

[startup+1050.08 s]
Raw data (loadavg): 1.07 1.06 1.01 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 752 0 0 0 43163 8057 0 0 20 0 1 0 20478986 4186112 722 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1022 722 413 48 0 974 0
[pid=6066] vsize: 4088
Current children cumulated CPU time (s) 835.02
Current children cumulated vsize (Kb) 6216

[startup+1060.08 s]
Raw data (loadavg): 1.06 1.06 1.01 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 753 0 0 0 43904 8143 0 0 20 0 1 0 20478986 4186112 723 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6066/statm): 1022 723 413 48 0 974 0
[pid=6066] vsize: 4088
Current children cumulated CPU time (s) 843.29
Current children cumulated vsize (Kb) 6216

[startup+1070.08 s]
Raw data (loadavg): 1.05 1.06 1.01 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 754 0 0 0 44517 8270 0 0 17 0 1 0 20478986 4186112 724 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1022 724 413 48 0 974 0
[pid=6066] vsize: 4088
Current children cumulated CPU time (s) 850.69
Current children cumulated vsize (Kb) 6216

[startup+1080.08 s]
Raw data (loadavg): 1.04 1.05 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 755 0 0 0 44998 8437 0 0 18 0 1 0 20478986 4186112 725 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1022 725 413 48 0 974 0
[pid=6066] vsize: 4088
Current children cumulated CPU time (s) 857.17
Current children cumulated vsize (Kb) 6216

[startup+1090.08 s]
Raw data (loadavg): 1.03 1.05 1.00 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 757 0 0 0 45684 8537 0 0 20 0 1 0 20478986 4186112 727 4294967295 134512640 134702520 3221223712 3221222992 134553333 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1022 727 413 48 0 974 0
[pid=6066] vsize: 4088
Current children cumulated CPU time (s) 865.03
Current children cumulated vsize (Kb) 6216

[startup+1100.08 s]
Raw data (loadavg): 1.03 1.05 1.00 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 757 0 0 0 46419 8626 0 0 20 0 1 0 20478986 4186112 727 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6066/statm): 1022 727 413 48 0 974 0
[pid=6066] vsize: 4088
Current children cumulated CPU time (s) 873.27
Current children cumulated vsize (Kb) 6216

[startup+1110.08 s]
Raw data (loadavg): 1.02 1.05 1.00 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 762 0 0 0 47173 8708 0 0 19 0 1 0 20478986 4186112 732 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1022 732 413 48 0 974 0
[pid=6066] vsize: 4088
Current children cumulated CPU time (s) 881.63
Current children cumulated vsize (Kb) 6216

[startup+1120.08 s]
Raw data (loadavg): 1.02 1.05 1.00 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 763 0 0 0 47918 8790 0 0 21 0 1 0 20478986 4186112 733 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1022 733 413 48 0 974 0
[pid=6066] vsize: 4088
Current children cumulated CPU time (s) 889.9
Current children cumulated vsize (Kb) 6216

[startup+1130.08 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 764 0 0 0 48465 8937 0 0 17 0 1 0 20478986 4186112 734 4294967295 134512640 134702520 3221223712 3221222608 134552270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1022 734 413 48 0 974 0
[pid=6066] vsize: 4088
Current children cumulated CPU time (s) 896.84
Current children cumulated vsize (Kb) 6216

[startup+1140.08 s]
Raw data (loadavg): 1.09 1.06 1.01 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 766 0 0 0 48950 9103 0 0 18 0 1 0 20478986 4325376 736 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1056 736 413 48 0 1008 0
[pid=6066] vsize: 4224
Current children cumulated CPU time (s) 903.35
Current children cumulated vsize (Kb) 6352

[startup+1150.08 s]
Raw data (loadavg): 1.08 1.06 1.00 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 767 0 0 0 49682 9192 0 0 20 0 1 0 20478986 4300800 737 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6066/statm): 1050 737 413 48 0 1002 0
[pid=6066] vsize: 4200
Current children cumulated CPU time (s) 911.56
Current children cumulated vsize (Kb) 6328

[startup+1160.08 s]
Raw data (loadavg): 1.07 1.05 1.00 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 767 0 0 0 50474 9259 0 0 25 0 1 0 20478986 4300800 737 4294967295 134512640 134702520 3221223712 3221080428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1050 737 413 48 0 1002 0
[pid=6066] vsize: 4200
Current children cumulated CPU time (s) 920.15
Current children cumulated vsize (Kb) 6328

[startup+1170.08 s]
Raw data (loadavg): 1.13 1.07 1.01 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 770 0 0 0 51197 9348 0 0 20 0 1 0 20478986 4300800 740 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1050 740 413 48 0 1002 0
[pid=6066] vsize: 4200
Current children cumulated CPU time (s) 928.27
Current children cumulated vsize (Kb) 6328

[startup+1180.09 s]
Raw data (loadavg): 1.11 1.07 1.01 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 771 0 0 0 51966 9427 0 0 25 0 1 0 20478986 4300800 741 4294967295 134512640 134702520 3221223712 3221222736 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1050 741 413 48 0 1002 0
[pid=6066] vsize: 4200
Current children cumulated CPU time (s) 936.75
Current children cumulated vsize (Kb) 6328

[startup+1190.09 s]
Raw data (loadavg): 1.09 1.06 1.01 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 772 0 0 0 52415 9607 0 0 17 0 1 0 20478986 4300800 742 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1050 742 413 48 0 1002 0
[pid=6066] vsize: 4200
Current children cumulated CPU time (s) 943.04
Current children cumulated vsize (Kb) 6328

[startup+1200.09 s]
Raw data (loadavg): 1.08 1.06 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 775 0 0 0 52979 9749 0 0 20 0 1 0 20478986 4300800 745 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1050 745 413 48 0 1002 0
[pid=6066] vsize: 4200
Current children cumulated CPU time (s) 950.1
Current children cumulated vsize (Kb) 6328

[startup+1210.09 s]
Raw data (loadavg): 1.06 1.06 1.00 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 775 0 0 0 53732 9828 0 0 20 0 1 0 20478986 4300800 745 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6066/statm): 1050 745 413 48 0 1002 0
[pid=6066] vsize: 4200
Current children cumulated CPU time (s) 958.42
Current children cumulated vsize (Kb) 6328

[startup+1220.09 s]
Raw data (loadavg): 1.05 1.06 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 776 0 0 0 54518 9898 0 0 19 0 1 0 20478986 4300800 746 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6066/statm): 1050 746 413 48 0 1002 0
[pid=6066] vsize: 4200
Current children cumulated CPU time (s) 966.98
Current children cumulated vsize (Kb) 6328

[startup+1230.09 s]
Raw data (loadavg): 1.05 1.05 1.00 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 776 0 0 0 55270 9975 0 0 21 0 1 0 20478986 4300800 746 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1050 746 413 48 0 1002 0
[pid=6066] vsize: 4200
Current children cumulated CPU time (s) 975.27
Current children cumulated vsize (Kb) 6328

[startup+1240.09 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 776 0 0 0 56039 10049 0 0 22 0 1 0 20478986 4300800 746 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1050 746 413 48 0 1002 0
[pid=6066] vsize: 4200
Current children cumulated CPU time (s) 983.7
Current children cumulated vsize (Kb) 6328

[startup+1250.09 s]
Raw data (loadavg): 1.03 1.05 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 777 0 0 0 56618 10185 0 0 18 0 1 0 20478986 4300800 747 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1050 747 413 48 0 1002 0
[pid=6066] vsize: 4200
Current children cumulated CPU time (s) 990.85
Current children cumulated vsize (Kb) 6328

[startup+1260.09 s]
Raw data (loadavg): 1.03 1.05 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 778 0 0 0 57144 10344 0 0 17 0 1 0 20478986 4300800 748 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1050 748 413 48 0 1002 0
[pid=6066] vsize: 4200
Current children cumulated CPU time (s) 997.7
Current children cumulated vsize (Kb) 6328

[startup+1270.09 s]
Raw data (loadavg): 1.02 1.05 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 779 0 0 0 57865 10434 0 0 20 0 1 0 20478986 4300800 749 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1050 749 413 48 0 1002 0
[pid=6066] vsize: 4200
Current children cumulated CPU time (s) 1005.81
Current children cumulated vsize (Kb) 6328

[startup+1280.09 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 782 0 0 0 58605 10522 0 0 20 0 1 0 20478986 4300800 752 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6066/statm): 1050 752 413 48 0 1002 0
[pid=6066] vsize: 4200
Current children cumulated CPU time (s) 1014.09
Current children cumulated vsize (Kb) 6328

[startup+1290.09 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 782 0 0 0 59388 10595 0 0 20 0 1 0 20478986 4300800 752 4294967295 134512640 134702520 3221223712 3221222608 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1050 752 413 48 0 1002 0
[pid=6066] vsize: 4200
Current children cumulated CPU time (s) 1022.65
Current children cumulated vsize (Kb) 6328

[startup+1300.1 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 783 0 0 0 60133 10681 0 0 20 0 1 0 20478986 4300800 753 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1050 753 413 48 0 1002 0
[pid=6066] vsize: 4200
Current children cumulated CPU time (s) 1030.96
Current children cumulated vsize (Kb) 6328

[startup+1310.1 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 784 0 0 0 60737 10817 0 0 17 0 1 0 20478986 4300800 754 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1050 754 413 48 0 1002 0
[pid=6066] vsize: 4200
Current children cumulated CPU time (s) 1038.36
Current children cumulated vsize (Kb) 6328

[startup+1320.1 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 785 0 0 0 61207 10985 0 0 17 0 1 0 20478986 4300800 755 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1050 755 413 48 0 1002 0
[pid=6066] vsize: 4200
Current children cumulated CPU time (s) 1044.74
Current children cumulated vsize (Kb) 6328

[startup+1330.1 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 786 0 0 0 61923 11073 0 0 20 0 1 0 20478986 4300800 756 4294967295 134512640 134702520 3221223712 3221222992 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1050 756 413 48 0 1002 0
[pid=6066] vsize: 4200
Current children cumulated CPU time (s) 1052.78
Current children cumulated vsize (Kb) 6328

[startup+1340.1 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 787 0 0 0 62681 11154 0 0 20 0 1 0 20478986 4300800 757 4294967295 134512640 134702520 3221223712 3221222832 134588415 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1050 757 413 48 0 1002 0
[pid=6066] vsize: 4200
Current children cumulated CPU time (s) 1061.17
Current children cumulated vsize (Kb) 6328

[startup+1350.1 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 788 0 0 0 63456 11229 0 0 22 0 1 0 20478986 4300800 758 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1050 758 413 48 0 1002 0
[pid=6066] vsize: 4200
Current children cumulated CPU time (s) 1069.67
Current children cumulated vsize (Kb) 6328

[startup+1360.1 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 788 0 0 0 64207 11309 0 0 21 0 1 0 20478986 4300800 758 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6066/statm): 1050 758 413 48 0 1002 0
[pid=6066] vsize: 4200
Current children cumulated CPU time (s) 1077.98
Current children cumulated vsize (Kb) 6328

[startup+1370.1 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 789 0 0 0 64841 11427 0 0 17 0 1 0 20478986 4300800 759 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1050 759 413 48 0 1002 0
[pid=6066] vsize: 4200
Current children cumulated CPU time (s) 1085.5
Current children cumulated vsize (Kb) 6328

[startup+1380.1 s]
Raw data (loadavg): 1.15 1.06 1.01 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 790 0 0 0 65313 11599 0 0 18 0 1 0 20478986 4300800 760 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1050 760 413 48 0 1002 0
[pid=6066] vsize: 4200
Current children cumulated CPU time (s) 1091.94
Current children cumulated vsize (Kb) 6328

[startup+1390.1 s]
Raw data (loadavg): 1.13 1.06 1.01 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 791 0 0 0 66004 11702 0 0 21 0 1 0 20478986 4403200 761 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1075 761 413 48 0 1027 0
[pid=6066] vsize: 4300
Current children cumulated CPU time (s) 1099.88
Current children cumulated vsize (Kb) 6428

[startup+1400.1 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 792 0 0 0 66777 11776 0 0 19 0 1 0 20478986 4403200 762 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1075 762 413 48 0 1027 0
[pid=6066] vsize: 4300
Current children cumulated CPU time (s) 1108.35
Current children cumulated vsize (Kb) 6428

[startup+1410.1 s]
Raw data (loadavg): 1.09 1.05 1.01 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 793 0 0 0 67518 11863 0 0 19 0 1 0 20478986 4403200 763 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1075 763 413 48 0 1027 0
[pid=6066] vsize: 4300
Current children cumulated CPU time (s) 1116.63
Current children cumulated vsize (Kb) 6428

[startup+1420.1 s]
Raw data (loadavg): 1.15 1.07 1.01 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 793 0 0 0 68282 11941 0 0 21 0 1 0 20478986 4403200 763 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1075 763 413 48 0 1027 0
[pid=6066] vsize: 4300
Current children cumulated CPU time (s) 1125.05
Current children cumulated vsize (Kb) 6428

[startup+1430.1 s]
Raw data (loadavg): 1.13 1.06 1.01 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 797 0 0 0 69042 12018 0 0 19 0 1 0 20478986 4403200 767 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6066/statm): 1075 767 413 48 0 1027 0
[pid=6066] vsize: 4300
Current children cumulated CPU time (s) 1133.42
Current children cumulated vsize (Kb) 6428

[startup+1440.1 s]
Raw data (loadavg): 1.11 1.06 1.01 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 797 0 0 0 69478 12198 0 0 17 0 1 0 20478986 4403200 767 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1075 767 413 48 0 1027 0
[pid=6066] vsize: 4300
Current children cumulated CPU time (s) 1139.58
Current children cumulated vsize (Kb) 6428

[startup+1450.11 s]
Raw data (loadavg): 1.16 1.07 1.01 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 799 0 0 0 70046 12341 0 0 21 0 1 0 20478986 4403200 769 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6066/statm): 1075 769 413 48 0 1027 0
[pid=6066] vsize: 4300
Current children cumulated CPU time (s) 1146.69
Current children cumulated vsize (Kb) 6428

[startup+1460.11 s]
Raw data (loadavg): 1.14 1.07 1.01 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 799 0 0 0 70809 12418 0 0 21 0 1 0 20478986 4403200 769 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1075 769 413 48 0 1027 0
[pid=6066] vsize: 4300
Current children cumulated CPU time (s) 1155.09
Current children cumulated vsize (Kb) 6428

[startup+1470.11 s]
Raw data (loadavg): 1.20 1.09 1.02 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 801 0 0 0 71574 12491 0 0 20 0 1 0 20478986 4403200 771 4294967295 134512640 134702520 3221223712 3221222736 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1075 771 413 48 0 1027 0
[pid=6066] vsize: 4300
Current children cumulated CPU time (s) 1163.47
Current children cumulated vsize (Kb) 6428

[startup+1480.11 s]
Raw data (loadavg): 1.17 1.08 1.02 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 802 0 0 0 72325 12572 0 0 21 0 1 0 20478986 4403200 772 4294967295 134512640 134702520 3221223712 3221223104 134603774 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1075 772 413 48 0 1027 0
[pid=6066] vsize: 4300
Current children cumulated CPU time (s) 1171.79
Current children cumulated vsize (Kb) 6428

[startup+1490.11 s]
Raw data (loadavg): 1.14 1.08 1.02 2/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) R 6061 6061 4059 0 -1 0 802 0 0 0 73078 12657 0 0 20 0 1 0 20478986 4403200 772 4294967295 134512640 134702520 3221223712 3221222832 134586040 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1075 772 413 48 0 1027 0
[pid=6066] vsize: 4300
Current children cumulated CPU time (s) 1180.17
Current children cumulated vsize (Kb) 6428

[startup+1500.11 s]
Raw data (loadavg): 1.12 1.08 1.01 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 803 0 0 0 73627 12801 0 0 17 0 1 0 20478986 4403200 773 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1075 773 413 48 0 1027 0
[pid=6066] vsize: 4300
Current children cumulated CPU time (s) 1187.1
Current children cumulated vsize (Kb) 6428

[startup+1510.11 s]
Raw data (loadavg): 1.10 1.07 1.01 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 804 0 0 0 74125 12970 0 0 17 0 1 0 20478986 4403200 774 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6066/statm): 1075 774 413 48 0 1027 0
[pid=6066] vsize: 4300
Current children cumulated CPU time (s) 1193.77
Current children cumulated vsize (Kb) 6428

[startup+1520.11 s]
Raw data (loadavg): 1.08 1.07 1.01 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 807 0 0 0 74863 13055 0 0 22 0 1 0 20478986 4403200 777 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1075 777 413 48 0 1027 0
[pid=6066] vsize: 4300
Current children cumulated CPU time (s) 1202
Current children cumulated vsize (Kb) 6428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1520.11 s]
Raw data (loadavg): 1.08 1.07 1.01 1/56 6066
Raw data (/proc/6061/stat): 6061 (vallstSAT2005PB) S 6060 6061 4059 0 -1 0 378 1172 0 0 2 1 30087 2192 19 0 1 0 20442111 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6061/statm): 532 248 485 147 0 385 0
[pid=6061] vsize: 2128
Raw data (/proc/6066/stat): 6066 (vallst) T 6061 6061 4059 0 -1 0 807 0 0 0 74863 13055 0 0 22 0 1 0 20478986 4403200 777 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6066/statm): 1075 777 413 48 0 1027 0
[pid=6066] vsize: 4300
Current children cumulated CPU time (s) 1202
Current children cumulated vsize (Kb) 6428

Sending SIGTERM to -6061
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=6068
New process pid=6069
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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
One traced child (pid=6066) exited with status: 3
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1451/stat
open syscall for file /proc/1451/status
open syscall for file /proc/1451/cmdline
open syscall for file /proc/1451/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/4042/stat
open syscall for file /proc/4042/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4067/stat
open syscall for file /proc/4067/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4067/cmdline
open syscall for file /proc/4067/environ
open syscall for file /proc/6022/stat
open syscall for file /proc/6022/status
open syscall for file /proc/6022/cmdline
open syscall for file /proc/6022/environ
open syscall for file /proc/6060/stat
open syscall for file /proc/6060/status
open syscall for file /proc/6060/cmdline
open syscall for file /proc/6060/environ
open syscall for file /proc/6061/stat
open syscall for file /proc/6061/status
open syscall for file /proc/6061/cmdline
open syscall for file /proc/6061/environ
open syscall for file /proc/6068/stat
open syscall for file /proc/6068/status
open syscall for file /proc/6068/cmdline
open syscall for file /proc/6068/environ
open syscall for file /proc/6069/stat
open syscall for file /proc/6069/status
open syscall for file /proc/6069/cmdline
open syscall for file /proc/6069/environ
One traced child (pid=6068) exited with status: 0
One traced child (pid=6069) exited with status: 0
New process pid=6070
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=6070) exited with status: 0
New process pid=6071
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=6071) exited with status: 0
One traced child (pid=6061) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1520.61
CPU time (s): 1202.15
CPU user time (s): 1049.57
CPU system time (s): 152.574
CPU usage (%): 79.0569
Max. virtual memory (cumulated for all children) (Kb): 6428

Verifier Data

ERROR: no interpretation found !