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-ran17x17.opb
MD5SUM4afffa77a031423497a8b9b377dd0292
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 612453
Optimality of the best value was proved NO
Number of terms in the objective function 6069
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 1576985250
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 5242880
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 1576985250
Number of bits of the biggest sum of numbers31
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1215.84
Number of variables6069
Total number of constraints323
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 constraints323
Minimum length of a constraint21
Maximum length of a constraint340

Trace number 9388

Launcher Data

LAUNCH ON wulflinc22 THE 2005-09-23 13:09:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8117 boxname=wulflinc22 idbench=1085 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4afffa77a031423497a8b9b377dd0292  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-ran17x17.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-ran17x17.opb 0
IDLAUNCH: 8117
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 450.985
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        925172 kB
Buffers:         10736 kB
Cached:          81676 kB
SwapCached:          0 kB
Active:          44316 kB
Inactive:        50992 kB
HighTotal:      131008 kB
HighFree:        48944 kB
LowTotal:       903652 kB
LowFree:        876228 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8624 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 13:33:51 (client local time) WITH STATUS 0 IN 1206.7 SECONDS
stats: 8117 7 1206.7 0

Solver Data

1:
seed: 0
Nr of vars set: 2658  (#equs: 0)
Nr of vars set: 2658  (#equs: 0)
#decisions: 48020;  #end-nodes: 1343;
#proof improvement attempts: 0;  #restarts: 16
Current batch, end-nodes: 35 / 84 (84)
#axs: 358, #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:  1574911823 (2073426:>=*);
#decisions: 2853;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 358, #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:  1574911828 (2073421:>=*);
#decisions: 2864;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 358, #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:  1574911843 (2073406:>=*);
#decisions: 2873;  #end-nodes: 15;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 15 / 80 (80)
#axs: 358, #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:  1574911848 (2073401:>=*);
#decisions: 2959;  #end-nodes: 53;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 53 / 80 (80)
#axs: 358, #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:  1574915136 (2070113:>=*);
#decisions: 2915;  #end-nodes: 41;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 41 / 80 (80)
#axs: 358, #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:  1574915156 (2070093:>=*);
#decisions: 2891;  #end-nodes: 20;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 20 / 80 (80)
#axs: 358, #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:  1574915162 (2070087:>=*);
#decisions: 8551;  #end-nodes: 220;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 60 / 80 (80)
#axs: 358, #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:  1574926364 (2058885:>=*);
#decisions: 2552;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 358, #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:  1574926374 (2058875:>=*);
#decisions: 2555;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 358, #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:  1574926386 (2058863:>=*);
#decisions: 2583;  #end-nodes: 20;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 20 / 80 (80)
#axs: 358, #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:  1574926390 (2058859:>=*);
#decisions: 2574;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 358, #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:  1574926406 (2058843:>=*);
#decisions: 2633;  #end-nodes: 72;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 72 / 80 (80)
#axs: 358, #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:  1574926412 (2058837:>=*);
#decisions: 2625;  #end-nodes: 46;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 46 / 80 (80)
#axs: 358, #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:  1574926416 (2058833:>=*);
#decisions: 2576;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 358, #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:  1574926420 (2058829:>=*);
#decisions: 2638;  #end-nodes: 54;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 54 / 80 (80)
#axs: 358, #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:  1574926432 (2058817:>=*);
#decisions: 27715;  #end-nodes: 800;
#proof improvement attempts: 0;  #restarts: 9
Current batch, end-nodes: 68 / 82 (82)
#axs: 358, #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:  1574952945 (2032304:>=*);
#decisions: 5241;  #end-nodes: 55;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 55 / 80 (80)
#axs: 358, #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:  1574953024 (2032225:>=*);
#decisions: 3331;  #end-nodes: 41;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 41 / 80 (80)
#axs: 358, #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:  1574954414 (2030835:>=*);
#decisions: 3762;  #end-nodes: 42;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 42 / 80 (80)
#axs: 358, #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:  1574954446 (2030803:>=*);
#decisions: 3710;  #end-nodes: 15;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 15 / 80 (80)
#axs: 358, #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:  1574954470 (2030779:>=*);
#decisions: 3332;  #end-nodes: 59;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 59 / 80 (80)
#axs: 358, #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:  1574954491 (2030758:>=*);
#decisions: 3826;  #end-nodes: 62;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 62 / 80 (80)
#axs: 358, #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:  1574954499 (2030750:>=*);
#decisions: 3273;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 358, #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:  1574954501 (2030748:>=*);
#decisions: 3722;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 358, #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:  1574954502 (2030747:>=*);
#decisions: 42509;  #end-nodes: 1306;
#proof improvement attempts: 0;  #restarts: 15
Current batch, end-nodes: 75 / 83 (83)
#axs: 358, #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:  1575184634 (1800615:>=*);
#decisions: 2730;  #end-nodes: 63;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 63 / 80 (80)
#axs: 358, #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:  1575184981 (1800268:>=*);
#decisions: 2600;  #end-nodes: 28;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 28 / 80 (80)
#axs: 358, #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:  1575185001 (1800248:>=*);
#decisions: 1194354;  #end-nodes: 67270;
#proof improvement attempts: 0;  #restarts: 480
Current batch, end-nodes: 0 / 199 (199)
#axs: 358, #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:) 1575185001 (1800248:>=*)

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

2:
seed: 0
Nr of vars set: 2658  (#equs: 0)
Nr of vars set: 2658  (#equs: 0)
Interupt request received.
#decisions: 4328708;  #end-nodes: 492261;
#proof improvement attempts: 0;  #restarts: 1561
Current batch, end-nodes: 100 / 510 (510)
#axs: 358, #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: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 4883  (#equs: 0)
Time taken: 14 min, 41 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/6646/stat): 6646 (vallstSAT2005PB) R 6645 6646 4060 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 20433723 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6646/statm): 174 3 169 147 0 27 0
[pid=6646] 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=6647
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=6647) exited with status: 0
New process pid=6648
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=6648) exited with status: 0
New process pid=6649
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/wulflinc22/normalized-mps-v2-13-7-ran17x17.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0028 s]
Raw data (loadavg): 0.93 1.01 1.04 1/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) T 6646 6646 4060 0 -1 0 625 0 0 0 768 70 0 0 19 0 1 0 20433730 3993600 595 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6649/statm): 975 595 413 48 0 927 0
[pid=6649] vsize: 3900
Current children cumulated CPU time (s) 8.41
Current children cumulated vsize (Kb) 6028

[startup+20.0045 s]
Raw data (loadavg): 0.94 1.01 1.03 1/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) T 6646 6646 4060 0 -1 0 625 0 0 0 1454 174 0 0 19 0 1 0 20433730 3993600 595 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6649/statm): 975 595 413 48 0 927 0
[pid=6649] vsize: 3900
Current children cumulated CPU time (s) 16.31
Current children cumulated vsize (Kb) 6028

[startup+30.0052 s]
Raw data (loadavg): 0.95 1.01 1.03 2/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) R 6646 6646 4060 0 -1 0 770 0 0 0 2184 260 0 0 24 0 1 0 20433730 5660672 740 4294967295 134512640 134702520 3221223952 3221223536 134558688 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6649/statm): 1382 740 413 48 0 1334 0
[pid=6649] vsize: 5528
Current children cumulated CPU time (s) 24.47
Current children cumulated vsize (Kb) 7656

[startup+40.0049 s]
Raw data (loadavg): 1.11 1.04 1.04 1/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) T 6646 6646 4060 0 -1 0 973 0 0 0 2999 319 0 0 21 0 1 0 20433730 5660672 943 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6649/statm): 1382 943 413 48 0 1334 0
[pid=6649] vsize: 5528
Current children cumulated CPU time (s) 33.21
Current children cumulated vsize (Kb) 7656

[startup+50.0066 s]
Raw data (loadavg): 1.09 1.04 1.04 1/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) T 6646 6646 4060 0 -1 0 997 0 0 0 3824 376 0 0 25 0 1 0 20433730 5660672 967 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6649/statm): 1382 967 413 48 0 1334 0
[pid=6649] vsize: 5528
Current children cumulated CPU time (s) 42.03
Current children cumulated vsize (Kb) 7656

[startup+60.0073 s]
Raw data (loadavg): 1.15 1.05 1.05 1/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) T 6646 6646 4060 0 -1 0 1071 0 0 0 4587 452 0 0 20 0 1 0 20433730 5660672 1041 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6649/statm): 1382 1041 413 48 0 1334 0
[pid=6649] vsize: 5528
Current children cumulated CPU time (s) 50.42
Current children cumulated vsize (Kb) 7656

[startup+70.009 s]
Raw data (loadavg): 1.13 1.05 1.05 2/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) R 6646 6646 4060 0 -1 0 1090 0 0 0 5351 531 0 0 19 0 1 0 20433730 5660672 1060 4294967295 134512640 134702520 3221223952 3221210108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6649/statm): 1382 1060 413 48 0 1334 0
[pid=6649] vsize: 5528
Current children cumulated CPU time (s) 58.85
Current children cumulated vsize (Kb) 7656

[startup+80.0097 s]
Raw data (loadavg): 1.11 1.05 1.04 1/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) T 6646 6646 4060 0 -1 0 1090 0 0 0 6193 582 0 0 23 0 1 0 20433730 5660672 1060 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6649/statm): 1382 1060 413 48 0 1334 0
[pid=6649] vsize: 5528
Current children cumulated CPU time (s) 67.78
Current children cumulated vsize (Kb) 7656

[startup+90.0094 s]
Raw data (loadavg): 1.09 1.05 1.04 1/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) T 6646 6646 4060 0 -1 0 1090 0 0 0 6954 665 0 0 19 0 1 0 20433730 5660672 1060 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6649/statm): 1382 1060 413 48 0 1334 0
[pid=6649] vsize: 5528
Current children cumulated CPU time (s) 76.22
Current children cumulated vsize (Kb) 7656

[startup+100.01 s]
Raw data (loadavg): 1.08 1.04 1.04 2/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) R 6646 6646 4060 0 -1 0 1090 0 0 0 7748 732 0 0 25 0 1 0 20433730 5660672 1060 4294967295 134512640 134702520 3221223952 3221164368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6649/statm): 1382 1060 413 48 0 1334 0
[pid=6649] vsize: 5528
Current children cumulated CPU time (s) 84.83
Current children cumulated vsize (Kb) 7656

[startup+110.011 s]
Raw data (loadavg): 1.06 1.04 1.04 2/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) R 6646 6646 4060 0 -1 0 1090 0 0 0 8707 745 0 0 25 0 1 0 20433730 5660672 1060 4294967295 134512640 134702520 3221223952 3221222848 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6649/statm): 1382 1060 413 48 0 1334 0
[pid=6649] vsize: 5528
Current children cumulated CPU time (s) 94.55
Current children cumulated vsize (Kb) 7656

[startup+120.012 s]
Raw data (loadavg): 1.13 1.06 1.05 2/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) R 6646 6646 4060 0 -1 0 1090 0 0 0 9551 795 0 0 19 0 1 0 20433730 5660672 1060 4294967295 134512640 134702520 3221223952 3221223232 134553271 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6649/statm): 1382 1060 413 48 0 1334 0
[pid=6649] vsize: 5528
Current children cumulated CPU time (s) 103.49
Current children cumulated vsize (Kb) 7656

[startup+130.012 s]
Raw data (loadavg): 1.11 1.06 1.05 2/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) R 6646 6646 4060 0 -1 0 1090 0 0 0 10377 855 0 0 25 0 1 0 20433730 5660672 1060 4294967295 134512640 134702520 3221223952 3221022748 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6649/statm): 1382 1060 413 48 0 1334 0
[pid=6649] vsize: 5528
Current children cumulated CPU time (s) 112.35
Current children cumulated vsize (Kb) 7656

[startup+140.013 s]
Raw data (loadavg): 1.10 1.05 1.04 1/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) T 6646 6646 4060 0 -1 0 1090 0 0 0 11180 921 0 0 20 0 1 0 20433730 5660672 1060 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6649/statm): 1382 1060 413 48 0 1334 0
[pid=6649] vsize: 5528
Current children cumulated CPU time (s) 121.04
Current children cumulated vsize (Kb) 7656

[startup+150.014 s]
Raw data (loadavg): 1.08 1.05 1.04 2/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) R 6646 6646 4060 0 -1 0 1090 0 0 0 11961 992 0 0 19 0 1 0 20433730 5660672 1060 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6649/statm): 1382 1060 413 48 0 1334 0
[pid=6649] vsize: 5528
Current children cumulated CPU time (s) 129.56
Current children cumulated vsize (Kb) 7656

[startup+160.014 s]
Raw data (loadavg): 1.15 1.07 1.05 2/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) R 6646 6646 4060 0 -1 0 1090 0 0 0 12768 1058 0 0 25 0 1 0 20433730 5660672 1060 4294967295 134512640 134702520 3221223952 3221169648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6649/statm): 1382 1060 413 48 0 1334 0
[pid=6649] vsize: 5528
Current children cumulated CPU time (s) 138.29
Current children cumulated vsize (Kb) 7656

[startup+170.016 s]
Raw data (loadavg): 1.12 1.06 1.05 2/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) R 6646 6646 4060 0 -1 0 1090 0 0 0 13728 1073 0 0 25 0 1 0 20433730 5660672 1060 4294967295 134512640 134702520 3221223952 3221222848 134553287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6649/statm): 1382 1060 413 48 0 1334 0
[pid=6649] vsize: 5528
Current children cumulated CPU time (s) 148.04
Current children cumulated vsize (Kb) 7656

[startup+180.017 s]
Raw data (loadavg): 1.10 1.06 1.05 1/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) T 6646 6646 4060 0 -1 0 1090 0 0 0 14574 1123 0 0 20 0 1 0 20433730 5660672 1060 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6649/statm): 1382 1060 413 48 0 1334 0
[pid=6649] vsize: 5528
Current children cumulated CPU time (s) 157
Current children cumulated vsize (Kb) 7656

[startup+190.017 s]
Raw data (loadavg): 1.09 1.06 1.04 2/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) R 6646 6646 4060 0 -1 0 1090 0 0 0 15391 1184 0 0 25 0 1 0 20433730 5660672 1060 4294967295 134512640 134702520 3221223952 3221099408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6649/statm): 1382 1060 413 48 0 1334 0
[pid=6649] vsize: 5528
Current children cumulated CPU time (s) 165.78
Current children cumulated vsize (Kb) 7656

[startup+200.018 s]
Raw data (loadavg): 1.07 1.06 1.04 1/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) T 6646 6646 4060 0 -1 0 1090 0 0 0 16216 1238 0 0 21 0 1 0 20433730 5660672 1060 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6649/statm): 1382 1060 413 48 0 1334 0
[pid=6649] vsize: 5528
Current children cumulated CPU time (s) 174.57
Current children cumulated vsize (Kb) 7656

[startup+210.019 s]
Raw data (loadavg): 1.06 1.05 1.04 1/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) T 6646 6646 4060 0 -1 0 1090 0 0 0 17003 1307 0 0 19 0 1 0 20433730 5660672 1060 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6649/statm): 1382 1060 413 48 0 1334 0
[pid=6649] vsize: 5528
Current children cumulated CPU time (s) 183.13
Current children cumulated vsize (Kb) 7656

[startup+220.021 s]
Raw data (loadavg): 1.05 1.05 1.04 2/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) R 6646 6646 4060 0 -1 0 1090 0 0 0 17793 1375 0 0 20 0 1 0 20433730 5660672 1060 4294967295 134512640 134702520 3221223952 3221223232 134552868 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6649/statm): 1382 1060 413 48 0 1334 0
[pid=6649] vsize: 5528
Current children cumulated CPU time (s) 191.71
Current children cumulated vsize (Kb) 7656

[startup+230.021 s]
Raw data (loadavg): 1.04 1.05 1.04 2/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) T 6646 6646 4060 0 -1 0 1090 0 0 0 18727 1394 0 0 25 0 1 0 20433730 5660672 1060 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6649/statm): 1382 1060 413 48 0 1334 0
[pid=6649] vsize: 5528
Current children cumulated CPU time (s) 201.24
Current children cumulated vsize (Kb) 7656

[startup+240.021 s]
Raw data (loadavg): 1.04 1.05 1.04 2/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) R 6646 6646 4060 0 -1 0 1090 0 0 0 19624 1431 0 0 20 0 1 0 20433730 5660672 1060 4294967295 134512640 134702520 3221223952 3221223232 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6649/statm): 1382 1060 413 48 0 1334 0
[pid=6649] vsize: 5528
Current children cumulated CPU time (s) 210.58
Current children cumulated vsize (Kb) 7656

[startup+250.023 s]
Raw data (loadavg): 1.03 1.05 1.04 2/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) R 6646 6646 4060 0 -1 0 1090 0 0 0 20410 1499 0 0 20 0 1 0 20433730 5660672 1060 4294967295 134512640 134702520 3221223952 3221223232 134552345 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6649/statm): 1382 1060 413 48 0 1334 0
[pid=6649] vsize: 5528
Current children cumulated CPU time (s) 219.12
Current children cumulated vsize (Kb) 7656

[startup+260.023 s]
Raw data (loadavg): 1.10 1.06 1.04 2/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) R 6646 6646 4060 0 -1 0 1090 0 0 0 21205 1560 0 0 20 0 1 0 20433730 5660672 1060 4294967295 134512640 134702520 3221223952 3221203868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6649/statm): 1382 1060 413 48 0 1334 0
[pid=6649] vsize: 5528
Current children cumulated CPU time (s) 227.68
Current children cumulated vsize (Kb) 7656

[startup+270.024 s]
Raw data (loadavg): 1.09 1.06 1.04 2/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) R 6646 6646 4060 0 -1 0 1090 0 0 0 22043 1615 0 0 25 0 1 0 20433730 5660672 1060 4294967295 134512640 134702520 3221223952 3221039568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6649/statm): 1382 1060 413 48 0 1334 0
[pid=6649] vsize: 5528
Current children cumulated CPU time (s) 236.61
Current children cumulated vsize (Kb) 7656

[startup+280.025 s]
Raw data (loadavg): 1.07 1.06 1.04 1/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) T 6646 6646 4060 0 -1 0 1091 0 0 0 22857 1674 0 0 21 0 1 0 20433730 5660672 1061 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6649/statm): 1382 1061 413 48 0 1334 0
[pid=6649] vsize: 5528
Current children cumulated CPU time (s) 245.34
Current children cumulated vsize (Kb) 7656

[startup+290.026 s]
Raw data (loadavg): 1.14 1.07 1.05 1/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) T 6646 6646 4060 0 -1 0 1091 0 0 0 23700 1725 0 0 25 0 1 0 20433730 5660672 1061 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6649/statm): 1382 1061 413 48 0 1334 0
[pid=6649] vsize: 5528
Current children cumulated CPU time (s) 254.28
Current children cumulated vsize (Kb) 7656

[startup+300.026 s]
Raw data (loadavg): 1.11 1.07 1.04 2/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) R 6646 6646 4060 0 -1 0 1092 0 0 0 24651 1742 0 0 25 0 1 0 20433730 5804032 1062 4294967295 134512640 134702520 3221223952 3221222848 134553489 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6649/statm): 1417 1062 413 48 0 1369 0
[pid=6649] vsize: 5668
Current children cumulated CPU time (s) 263.96
Current children cumulated vsize (Kb) 7796

[startup+310.027 s]
Raw data (loadavg): 1.10 1.06 1.04 2/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) R 6646 6646 4060 0 -1 0 1094 0 0 0 25484 1797 0 0 25 0 1 0 20433730 5775360 1064 4294967295 134512640 134702520 3221223952 3220952508 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6649/statm): 1410 1064 413 48 0 1362 0
[pid=6649] vsize: 5640
Current children cumulated CPU time (s) 272.84
Current children cumulated vsize (Kb) 7768

[startup+320.029 s]
Raw data (loadavg): 1.08 1.06 1.04 2/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) R 6646 6646 4060 0 -1 0 1096 0 0 0 26298 1858 0 0 21 0 1 0 20433730 5775360 1066 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6649/statm): 1410 1066 413 48 0 1362 0
[pid=6649] vsize: 5640
Current children cumulated CPU time (s) 281.59
Current children cumulated vsize (Kb) 7768

[startup+330.029 s]
Raw data (loadavg): 1.07 1.06 1.04 1/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) T 6646 6646 4060 0 -1 0 1097 0 0 0 27104 1920 0 0 21 0 1 0 20433730 5775360 1067 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6649/statm): 1410 1067 413 48 0 1362 0
[pid=6649] vsize: 5640
Current children cumulated CPU time (s) 290.27
Current children cumulated vsize (Kb) 7768

[startup+340.029 s]
Raw data (loadavg): 1.06 1.06 1.04 1/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) T 6646 6646 4060 0 -1 0 1098 0 0 0 27894 1985 0 0 19 0 1 0 20433730 5775360 1068 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6649/statm): 1410 1068 413 48 0 1362 0
[pid=6649] vsize: 5640
Current children cumulated CPU time (s) 298.82
Current children cumulated vsize (Kb) 7768

[startup+350.03 s]
Raw data (loadavg): 1.12 1.07 1.05 1/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) T 6646 6646 4060 0 -1 0 1099 0 0 0 28703 2045 0 0 20 0 1 0 20433730 5775360 1069 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6649/statm): 1410 1069 413 48 0 1362 0
[pid=6649] vsize: 5640
Current children cumulated CPU time (s) 307.51
Current children cumulated vsize (Kb) 7768

[startup+360.03 s]
Raw data (loadavg): 1.10 1.07 1.04 1/56 6649
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20433723 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 242 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6649/stat): 6649 (vallst) T 6646 6646 4060 0 -1 0 1101 0 0 0 29635 2067 0 0 25 0 1 0 20433730 5775360 1071 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6649/statm): 1410 1071 413 48 0 1362 0
[pid=6649] vsize: 5640
Current children cumulated CPU time (s) 317.05
Current children cumulated vsize (Kb) 7768
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=6649) exited with status: 2
New process pid=6650
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=6650) exited with status: 0
New process pid=6651
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.032 s]
Raw data (loadavg): 1.09 1.06 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 486 0 0 0 182 1 0 0 25 0 1 0 20470545 3362816 457 4294967295 134512640 134702520 3221223712 3221034608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 821 457 413 48 0 773 0
[pid=6651] vsize: 3284
Current children cumulated CPU time (s) 326.74
Current children cumulated vsize (Kb) 5412

[startup+380.033 s]
Raw data (loadavg): 1.07 1.06 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 557 0 0 0 849 110 0 0 19 0 1 0 20470545 3600384 528 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 879 528 413 48 0 831 0
[pid=6651] vsize: 3516
Current children cumulated CPU time (s) 334.5
Current children cumulated vsize (Kb) 5644

[startup+390.034 s]
Raw data (loadavg): 1.06 1.06 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 821 0 0 0 1451 243 0 0 18 0 1 0 20470545 4902912 792 4294967295 134512640 134702520 3221223712 3221223104 134605856 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1197 792 413 48 0 1149 0
[pid=6651] vsize: 4788
Current children cumulated CPU time (s) 341.85
Current children cumulated vsize (Kb) 6916

[startup+400.034 s]
Raw data (loadavg): 1.05 1.06 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 923 0 0 0 2195 328 0 0 25 0 1 0 20470545 4902912 894 4294967295 134512640 134702520 3221223712 3221007488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1197 894 413 48 0 1149 0
[pid=6651] vsize: 4788
Current children cumulated CPU time (s) 350.14
Current children cumulated vsize (Kb) 6916

[startup+410.035 s]
Raw data (loadavg): 1.04 1.05 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 955 0 0 0 2889 424 0 0 17 0 1 0 20470545 5136384 926 4294967295 134512640 134702520 3221223712 3221214188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1254 926 413 48 0 1206 0
[pid=6651] vsize: 5016
Current children cumulated CPU time (s) 358.04
Current children cumulated vsize (Kb) 7144

[startup+420.037 s]
Raw data (loadavg): 1.04 1.05 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 955 0 0 0 3668 496 0 0 18 0 1 0 20470545 5136384 926 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1254 926 413 48 0 1206 0
[pid=6651] vsize: 5016
Current children cumulated CPU time (s) 366.55
Current children cumulated vsize (Kb) 7144

[startup+430.037 s]
Raw data (loadavg): 1.10 1.07 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 955 0 0 0 4371 591 0 0 18 0 1 0 20470545 5136384 926 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1254 926 413 48 0 1206 0
[pid=6651] vsize: 5016
Current children cumulated CPU time (s) 374.53
Current children cumulated vsize (Kb) 7144

[startup+440.037 s]
Raw data (loadavg): 1.09 1.06 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 955 0 0 0 4864 756 0 0 18 0 1 0 20470545 5136384 926 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1254 926 413 48 0 1206 0
[pid=6651] vsize: 5016
Current children cumulated CPU time (s) 381.11
Current children cumulated vsize (Kb) 7144

[startup+450.038 s]
Raw data (loadavg): 1.07 1.06 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 955 0 0 0 5501 875 0 0 25 0 1 0 20470545 5136384 926 4294967295 134512640 134702520 3221223712 3220878048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1254 926 413 48 0 1206 0
[pid=6651] vsize: 5016
Current children cumulated CPU time (s) 388.67
Current children cumulated vsize (Kb) 7144

[startup+460.039 s]
Raw data (loadavg): 1.06 1.06 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 955 0 0 0 6200 970 0 0 19 0 1 0 20470545 5136384 926 4294967295 134512640 134702520 3221223712 3221200128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1254 926 413 48 0 1206 0
[pid=6651] vsize: 5016
Current children cumulated CPU time (s) 396.61
Current children cumulated vsize (Kb) 7144

[startup+470.04 s]
Raw data (loadavg): 1.05 1.06 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 955 0 0 0 6984 1036 0 0 18 0 1 0 20470545 5136384 926 4294967295 134512640 134702520 3221223712 3221222976 134553210 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1254 926 413 48 0 1206 0
[pid=6651] vsize: 5016
Current children cumulated CPU time (s) 405.11
Current children cumulated vsize (Kb) 7144

[startup+480.041 s]
Raw data (loadavg): 1.04 1.05 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 955 0 0 0 7733 1120 0 0 25 0 1 0 20470545 5136384 926 4294967295 134512640 134702520 3221223712 3221088928 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1254 926 413 48 0 1206 0
[pid=6651] vsize: 5016
Current children cumulated CPU time (s) 413.44
Current children cumulated vsize (Kb) 7144

[startup+490.042 s]
Raw data (loadavg): 1.12 1.07 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 955 0 0 0 8442 1211 0 0 19 0 1 0 20470545 5136384 926 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1254 926 413 48 0 1206 0
[pid=6651] vsize: 5016
Current children cumulated CPU time (s) 421.44
Current children cumulated vsize (Kb) 7144

[startup+500.042 s]
Raw data (loadavg): 1.10 1.07 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 955 0 0 0 9047 1346 0 0 16 0 1 0 20470545 5136384 926 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1254 926 413 48 0 1206 0
[pid=6651] vsize: 5016
Current children cumulated CPU time (s) 428.84
Current children cumulated vsize (Kb) 7144

[startup+510.043 s]
Raw data (loadavg): 1.08 1.06 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 955 0 0 0 9800 1429 0 0 25 0 1 0 20470545 5136384 926 4294967295 134512640 134702520 3221223712 3221123648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1254 926 413 48 0 1206 0
[pid=6651] vsize: 5016
Current children cumulated CPU time (s) 437.2
Current children cumulated vsize (Kb) 7144

[startup+520.044 s]
Raw data (loadavg): 1.07 1.06 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 955 0 0 0 10557 1506 0 0 18 0 1 0 20470545 5136384 926 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1254 926 413 48 0 1206 0
[pid=6651] vsize: 5016
Current children cumulated CPU time (s) 445.54
Current children cumulated vsize (Kb) 7144

[startup+530.045 s]
Raw data (loadavg): 1.06 1.06 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 955 0 0 0 11325 1582 0 0 25 0 1 0 20470545 5136384 926 4294967295 134512640 134702520 3221223712 3221048128 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1254 926 413 48 0 1206 0
[pid=6651] vsize: 5016
Current children cumulated CPU time (s) 453.98
Current children cumulated vsize (Kb) 7144

[startup+540.046 s]
Raw data (loadavg): 1.05 1.06 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 957 0 0 0 12073 1666 0 0 18 0 1 0 20470545 5136384 928 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1254 928 413 48 0 1206 0
[pid=6651] vsize: 5016
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (Kb) 7144

[startup+550.047 s]
Raw data (loadavg): 1.04 1.05 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 957 0 0 0 12581 1824 0 0 17 0 1 0 20470545 5136384 928 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1254 928 413 48 0 1206 0
[pid=6651] vsize: 5016
Current children cumulated CPU time (s) 468.96
Current children cumulated vsize (Kb) 7144

[startup+560.048 s]
Raw data (loadavg): 1.03 1.05 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 959 0 0 0 13115 1977 0 0 18 0 1 0 20470545 5136384 930 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1254 930 413 48 0 1206 0
[pid=6651] vsize: 5016
Current children cumulated CPU time (s) 475.83
Current children cumulated vsize (Kb) 7144

[startup+570.048 s]
Raw data (loadavg): 1.03 1.05 1.03 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 961 0 0 0 13916 2043 0 0 25 0 1 0 20470545 5136384 932 4294967295 134512640 134702520 3221223712 3220934028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1254 932 413 48 0 1206 0
[pid=6651] vsize: 5016
Current children cumulated CPU time (s) 484.5
Current children cumulated vsize (Kb) 7144

[startup+580.049 s]
Raw data (loadavg): 1.02 1.05 1.03 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 963 0 0 0 14643 2135 0 0 19 0 1 0 20470545 5136384 934 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1254 934 413 48 0 1206 0
[pid=6651] vsize: 5016
Current children cumulated CPU time (s) 492.69
Current children cumulated vsize (Kb) 7144

[startup+590.05 s]
Raw data (loadavg): 1.02 1.05 1.03 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 964 0 0 0 15428 2203 0 0 25 0 1 0 20470545 5136384 935 4294967295 134512640 134702520 3221223712 3220980448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1254 935 413 48 0 1206 0
[pid=6651] vsize: 5016
Current children cumulated CPU time (s) 501.22
Current children cumulated vsize (Kb) 7144

[startup+600.051 s]
Raw data (loadavg): 1.02 1.04 1.03 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 967 0 0 0 16168 2288 0 0 18 0 1 0 20470545 5136384 938 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1254 938 413 48 0 1206 0
[pid=6651] vsize: 5016
Current children cumulated CPU time (s) 509.47
Current children cumulated vsize (Kb) 7144

[startup+610.052 s]
Raw data (loadavg): 1.09 1.06 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 967 0 0 0 16733 2427 0 0 17 0 1 0 20470545 5136384 938 4294967295 134512640 134702520 3221223712 3221222608 134552232 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1254 938 413 48 0 1206 0
[pid=6651] vsize: 5016
Current children cumulated CPU time (s) 516.51
Current children cumulated vsize (Kb) 7144

[startup+620.053 s]
Raw data (loadavg): 1.16 1.07 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 968 0 0 0 17303 2565 0 0 18 0 1 0 20470545 5136384 939 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1254 939 413 48 0 1206 0
[pid=6651] vsize: 5016
Current children cumulated CPU time (s) 523.59
Current children cumulated vsize (Kb) 7144

[startup+630.053 s]
Raw data (loadavg): 1.13 1.07 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 970 0 0 0 18131 2621 0 0 22 0 1 0 20470545 5136384 941 4294967295 134512640 134702520 3221223712 3221223272 134550241 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1254 941 413 48 0 1206 0
[pid=6651] vsize: 5016
Current children cumulated CPU time (s) 532.43
Current children cumulated vsize (Kb) 7144

[startup+640.053 s]
Raw data (loadavg): 1.11 1.07 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 970 0 0 0 18857 2714 0 0 19 0 1 0 20470545 5136384 941 4294967295 134512640 134702520 3221223712 3221222992 134553492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1254 941 413 48 0 1206 0
[pid=6651] vsize: 5016
Current children cumulated CPU time (s) 540.62
Current children cumulated vsize (Kb) 7144

[startup+650.054 s]
Raw data (loadavg): 1.10 1.06 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 972 0 0 0 19642 2782 0 0 25 0 1 0 20470545 5136384 943 4294967295 134512640 134702520 3221223712 3221065888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1254 943 413 48 0 1206 0
[pid=6651] vsize: 5016
Current children cumulated CPU time (s) 549.15
Current children cumulated vsize (Kb) 7144

[startup+660.055 s]
Raw data (loadavg): 1.15 1.08 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 974 0 0 0 20404 2859 0 0 17 0 1 0 20470545 5136384 945 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1254 945 413 48 0 1206 0
[pid=6651] vsize: 5016
Current children cumulated CPU time (s) 557.54
Current children cumulated vsize (Kb) 7144

[startup+670.056 s]
Raw data (loadavg): 1.13 1.08 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 974 0 0 0 20845 3034 0 0 17 0 1 0 20470545 5136384 945 4294967295 134512640 134702520 3221223712 3221222608 134553816 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1254 945 413 48 0 1206 0
[pid=6651] vsize: 5016
Current children cumulated CPU time (s) 563.7
Current children cumulated vsize (Kb) 7144

[startup+680.057 s]
Raw data (loadavg): 1.11 1.07 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 978 0 0 0 21403 3178 0 0 19 0 1 0 20470545 5136384 949 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1254 949 413 48 0 1206 0
[pid=6651] vsize: 5016
Current children cumulated CPU time (s) 570.72
Current children cumulated vsize (Kb) 7144

[startup+690.057 s]
Raw data (loadavg): 1.17 1.09 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 979 0 0 0 22181 3248 0 0 25 0 1 0 20470545 5136384 950 4294967295 134512640 134702520 3221223712 3221110508 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1254 950 413 48 0 1206 0
[pid=6651] vsize: 5016
Current children cumulated CPU time (s) 579.2
Current children cumulated vsize (Kb) 7144

[startup+700.057 s]
Raw data (loadavg): 1.14 1.08 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 981 0 0 0 22982 3312 0 0 20 0 1 0 20470545 5136384 952 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1254 952 413 48 0 1206 0
[pid=6651] vsize: 5016
Current children cumulated CPU time (s) 587.85
Current children cumulated vsize (Kb) 7144

[startup+710.058 s]
Raw data (loadavg): 1.12 1.08 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 982 0 0 0 23708 3400 0 0 17 0 1 0 20470545 5136384 953 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1254 953 413 48 0 1206 0
[pid=6651] vsize: 5016
Current children cumulated CPU time (s) 595.99
Current children cumulated vsize (Kb) 7144

[startup+720.059 s]
Raw data (loadavg): 1.10 1.08 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 983 0 0 0 24509 3460 0 0 25 0 1 0 20470545 5136384 954 4294967295 134512640 134702520 3221223712 3221039488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1254 954 413 48 0 1206 0
[pid=6651] vsize: 5016
Current children cumulated CPU time (s) 604.6
Current children cumulated vsize (Kb) 7144

[startup+730.06 s]
Raw data (loadavg): 1.08 1.07 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 984 0 0 0 25161 3571 0 0 18 0 1 0 20470545 5271552 955 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1287 955 413 48 0 1239 0
[pid=6651] vsize: 5148
Current children cumulated CPU time (s) 612.23
Current children cumulated vsize (Kb) 7276

[startup+740.059 s]
Raw data (loadavg): 1.07 1.07 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 985 0 0 0 25755 3702 0 0 18 0 1 0 20470545 5242880 956 4294967295 134512640 134702520 3221223712 3221223264 134658402 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1280 956 413 48 0 1232 0
[pid=6651] vsize: 5120
Current children cumulated CPU time (s) 619.48
Current children cumulated vsize (Kb) 7248

[startup+750.06 s]
Raw data (loadavg): 1.06 1.07 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 987 0 0 0 26482 3792 0 0 18 0 1 0 20470545 5242880 958 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1280 958 413 48 0 1232 0
[pid=6651] vsize: 5120
Current children cumulated CPU time (s) 627.65
Current children cumulated vsize (Kb) 7248

[startup+760.061 s]
Raw data (loadavg): 1.05 1.07 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 988 0 0 0 27288 3856 0 0 25 0 1 0 20470545 5242880 959 4294967295 134512640 134702520 3221223712 3221026992 134611991 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1280 959 413 48 0 1232 0
[pid=6651] vsize: 5120
Current children cumulated CPU time (s) 636.35
Current children cumulated vsize (Kb) 7248

[startup+770.062 s]
Raw data (loadavg): 1.04 1.06 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 992 0 0 0 28063 3925 0 0 19 0 1 0 20470545 5242880 963 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1280 963 413 48 0 1232 0
[pid=6651] vsize: 5120
Current children cumulated CPU time (s) 644.79
Current children cumulated vsize (Kb) 7248

[startup+780.063 s]
Raw data (loadavg): 1.03 1.06 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 993 0 0 0 28805 4009 0 0 19 0 1 0 20470545 5242880 964 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1280 964 413 48 0 1232 0
[pid=6651] vsize: 5120
Current children cumulated CPU time (s) 653.05
Current children cumulated vsize (Kb) 7248

[startup+790.064 s]
Raw data (loadavg): 1.03 1.06 1.03 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 994 0 0 0 29481 4118 0 0 17 0 1 0 20470545 5242880 965 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1280 965 413 48 0 1232 0
[pid=6651] vsize: 5120
Current children cumulated CPU time (s) 660.9
Current children cumulated vsize (Kb) 7248

[startup+800.064 s]
Raw data (loadavg): 1.10 1.07 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 995 0 0 0 29977 4287 0 0 17 0 1 0 20470545 5242880 966 4294967295 134512640 134702520 3221223712 3221222480 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1280 966 413 48 0 1232 0
[pid=6651] vsize: 5120
Current children cumulated CPU time (s) 667.55
Current children cumulated vsize (Kb) 7248

[startup+810.065 s]
Raw data (loadavg): 1.17 1.09 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 997 0 0 0 30661 4392 0 0 25 0 1 0 20470545 5242880 968 4294967295 134512640 134702520 3221223712 3220987148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1280 968 413 48 0 1232 0
[pid=6651] vsize: 5120
Current children cumulated CPU time (s) 675.44
Current children cumulated vsize (Kb) 7248

[startup+820.066 s]
Raw data (loadavg): 1.14 1.08 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 999 0 0 0 31429 4464 0 0 20 0 1 0 20470545 5242880 970 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1280 970 413 48 0 1232 0
[pid=6651] vsize: 5120
Current children cumulated CPU time (s) 683.84
Current children cumulated vsize (Kb) 7248

[startup+830.067 s]
Raw data (loadavg): 1.12 1.08 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 999 0 0 0 32182 4539 0 0 19 0 1 0 20470545 5242880 970 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1280 970 413 48 0 1232 0
[pid=6651] vsize: 5120
Current children cumulated CPU time (s) 692.12
Current children cumulated vsize (Kb) 7248

[startup+840.067 s]
Raw data (loadavg): 1.10 1.08 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 1000 0 0 0 32996 4597 0 0 25 0 1 0 20470545 5242880 971 4294967295 134512640 134702520 3221223712 3221049408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1280 971 413 48 0 1232 0
[pid=6651] vsize: 5120
Current children cumulated CPU time (s) 700.84
Current children cumulated vsize (Kb) 7248

[startup+850.069 s]
Raw data (loadavg): 1.08 1.07 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1001 0 0 0 33793 4666 0 0 20 0 1 0 20470545 5242880 972 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1280 972 413 48 0 1232 0
[pid=6651] vsize: 5120
Current children cumulated CPU time (s) 709.5
Current children cumulated vsize (Kb) 7248

[startup+860.07 s]
Raw data (loadavg): 1.07 1.07 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1001 0 0 0 34296 4826 0 0 16 0 1 0 20470545 5242880 972 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1280 972 413 48 0 1232 0
[pid=6651] vsize: 5120
Current children cumulated CPU time (s) 716.13
Current children cumulated vsize (Kb) 7248

[startup+870.071 s]
Raw data (loadavg): 1.13 1.08 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 1004 0 0 0 34813 4982 0 0 19 0 1 0 20470545 5242880 975 4294967295 134512640 134702520 3221223712 3221223280 134561465 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1280 975 413 48 0 1232 0
[pid=6651] vsize: 5120
Current children cumulated CPU time (s) 722.86
Current children cumulated vsize (Kb) 7248

[startup+880.072 s]
Raw data (loadavg): 1.11 1.08 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1004 0 0 0 35557 5070 0 0 18 0 1 0 20470545 5242880 975 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1280 975 413 48 0 1232 0
[pid=6651] vsize: 5120
Current children cumulated CPU time (s) 731.18
Current children cumulated vsize (Kb) 7248

[startup+890.073 s]
Raw data (loadavg): 1.09 1.08 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 1006 0 0 0 36340 5143 0 0 24 0 1 0 20470545 5242880 977 4294967295 134512640 134702520 3221223712 3221170208 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1280 977 413 48 0 1232 0
[pid=6651] vsize: 5120
Current children cumulated CPU time (s) 739.74
Current children cumulated vsize (Kb) 7248

[startup+900.074 s]
Raw data (loadavg): 1.08 1.08 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 1007 0 0 0 37169 5200 0 0 25 0 1 0 20470545 5242880 978 4294967295 134512640 134702520 3221223712 3220934688 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1280 978 413 48 0 1232 0
[pid=6651] vsize: 5120
Current children cumulated CPU time (s) 748.6
Current children cumulated vsize (Kb) 7248

[startup+910.075 s]
Raw data (loadavg): 1.07 1.07 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 1009 0 0 0 37926 5277 0 0 19 0 1 0 20470545 5242880 980 4294967295 134512640 134702520 3221223712 3221222832 134573839 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1280 980 413 48 0 1232 0
[pid=6651] vsize: 5120
Current children cumulated CPU time (s) 756.94
Current children cumulated vsize (Kb) 7248

[startup+920.076 s]
Raw data (loadavg): 1.14 1.09 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1010 0 0 0 38687 5358 0 0 19 0 1 0 20470545 5382144 981 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1314 981 413 48 0 1266 0
[pid=6651] vsize: 5256
Current children cumulated CPU time (s) 765.36
Current children cumulated vsize (Kb) 7384

[startup+930.077 s]
Raw data (loadavg): 1.11 1.08 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1010 0 0 0 39246 5500 0 0 17 0 1 0 20470545 5382144 981 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1314 981 413 48 0 1266 0
[pid=6651] vsize: 5256
Current children cumulated CPU time (s) 772.37
Current children cumulated vsize (Kb) 7384

[startup+940.077 s]
Raw data (loadavg): 1.10 1.08 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1012 0 0 0 39859 5631 0 0 20 0 1 0 20470545 5353472 983 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1307 983 413 48 0 1259 0
[pid=6651] vsize: 5228
Current children cumulated CPU time (s) 779.81
Current children cumulated vsize (Kb) 7356

[startup+950.079 s]
Raw data (loadavg): 1.08 1.08 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 1014 0 0 0 40669 5693 0 0 25 0 1 0 20470545 5353472 985 4294967295 134512640 134702520 3221223712 3221088428 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1307 985 413 48 0 1259 0
[pid=6651] vsize: 5228
Current children cumulated CPU time (s) 788.53
Current children cumulated vsize (Kb) 7356

[startup+960.08 s]
Raw data (loadavg): 1.07 1.07 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 1015 0 0 0 41474 5756 0 0 21 0 1 0 20470545 5353472 986 4294967295 134512640 134702520 3221223712 3221222992 134552894 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1307 986 413 48 0 1259 0
[pid=6651] vsize: 5228
Current children cumulated CPU time (s) 797.21
Current children cumulated vsize (Kb) 7356

[startup+970.082 s]
Raw data (loadavg): 1.06 1.07 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1017 0 0 0 42245 5829 0 0 18 0 1 0 20470545 5353472 988 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1307 988 413 48 0 1259 0
[pid=6651] vsize: 5228
Current children cumulated CPU time (s) 805.65
Current children cumulated vsize (Kb) 7356

[startup+980.082 s]
Raw data (loadavg): 1.20 1.10 1.05 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1018 0 0 0 43005 5909 0 0 19 0 1 0 20470545 5353472 989 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1307 989 413 48 0 1259 0
[pid=6651] vsize: 5228
Current children cumulated CPU time (s) 814.05
Current children cumulated vsize (Kb) 7356

[startup+990.082 s]
Raw data (loadavg): 1.17 1.10 1.05 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 1020 0 0 0 43751 5990 0 0 18 0 1 0 20470545 5353472 991 4294967295 134512640 134702520 3221223712 3221222608 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1307 991 413 48 0 1259 0
[pid=6651] vsize: 5228
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (Kb) 7356

[startup+1000.08 s]
Raw data (loadavg): 1.22 1.11 1.05 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1020 0 0 0 44319 6139 0 0 17 0 1 0 20470545 5353472 991 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1307 991 413 48 0 1259 0
[pid=6651] vsize: 5228
Current children cumulated CPU time (s) 829.49
Current children cumulated vsize (Kb) 7356

[startup+1010.08 s]
Raw data (loadavg): 1.18 1.11 1.05 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 1022 0 0 0 45045 6227 0 0 25 0 1 0 20470545 5353472 993 4294967295 134512640 134702520 3221223712 3221000428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1307 993 413 48 0 1259 0
[pid=6651] vsize: 5228
Current children cumulated CPU time (s) 837.63
Current children cumulated vsize (Kb) 7356

[startup+1020.08 s]
Raw data (loadavg): 1.15 1.10 1.05 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1025 0 0 0 45824 6301 0 0 22 0 1 0 20470545 5353472 996 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1307 996 413 48 0 1259 0
[pid=6651] vsize: 5228
Current children cumulated CPU time (s) 846.16
Current children cumulated vsize (Kb) 7356

[startup+1030.08 s]
Raw data (loadavg): 1.13 1.10 1.05 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 1025 0 0 0 46597 6370 0 0 21 0 1 0 20470545 5353472 996 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1307 996 413 48 0 1259 0
[pid=6651] vsize: 5228
Current children cumulated CPU time (s) 854.58
Current children cumulated vsize (Kb) 7356

[startup+1040.09 s]
Raw data (loadavg): 1.11 1.10 1.05 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1026 0 0 0 47366 6443 0 0 19 0 1 0 20470545 5353472 997 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1307 997 413 48 0 1259 0
[pid=6651] vsize: 5228
Current children cumulated CPU time (s) 863
Current children cumulated vsize (Kb) 7356

[startup+1050.09 s]
Raw data (loadavg): 1.09 1.09 1.05 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 1028 0 0 0 48140 6519 0 0 21 0 1 0 20470545 5353472 999 4294967295 134512640 134702520 3221223712 3221200288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1307 999 413 48 0 1259 0
[pid=6651] vsize: 5228
Current children cumulated CPU time (s) 871.5
Current children cumulated vsize (Kb) 7356

[startup+1060.09 s]
Raw data (loadavg): 1.08 1.09 1.05 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1029 0 0 0 48808 6627 0 0 17 0 1 0 20470545 5353472 1000 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1307 1000 413 48 0 1259 0
[pid=6651] vsize: 5228
Current children cumulated CPU time (s) 879.26
Current children cumulated vsize (Kb) 7356

[startup+1070.09 s]
Raw data (loadavg): 1.07 1.08 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1031 0 0 0 49308 6790 0 0 17 0 1 0 20470545 5353472 1002 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1307 1002 413 48 0 1259 0
[pid=6651] vsize: 5228
Current children cumulated CPU time (s) 885.89
Current children cumulated vsize (Kb) 7356

[startup+1080.09 s]
Raw data (loadavg): 1.06 1.08 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 1031 0 0 0 50026 6879 0 0 25 0 1 0 20470545 5353472 1002 4294967295 134512640 134702520 3221223712 3220984608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1307 1002 413 48 0 1259 0
[pid=6651] vsize: 5228
Current children cumulated CPU time (s) 893.96
Current children cumulated vsize (Kb) 7356

[startup+1090.09 s]
Raw data (loadavg): 1.05 1.08 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1032 0 0 0 50824 6945 0 0 21 0 1 0 20470545 5353472 1003 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1307 1003 413 48 0 1259 0
[pid=6651] vsize: 5228
Current children cumulated CPU time (s) 902.6
Current children cumulated vsize (Kb) 7356

[startup+1100.09 s]
Raw data (loadavg): 1.04 1.08 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1033 0 0 0 51590 7019 0 0 20 0 1 0 20470545 5353472 1004 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1307 1004 413 48 0 1259 0
[pid=6651] vsize: 5228
Current children cumulated CPU time (s) 911
Current children cumulated vsize (Kb) 7356

[startup+1110.09 s]
Raw data (loadavg): 1.03 1.07 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1034 0 0 0 52360 7094 0 0 17 0 1 0 20470545 5353472 1005 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1307 1005 413 48 0 1259 0
[pid=6651] vsize: 5228
Current children cumulated CPU time (s) 919.45
Current children cumulated vsize (Kb) 7356

[startup+1120.09 s]
Raw data (loadavg): 1.03 1.07 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1035 0 0 0 53140 7169 0 0 18 0 1 0 20470545 5353472 1006 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1307 1006 413 48 0 1259 0
[pid=6651] vsize: 5228
Current children cumulated CPU time (s) 928
Current children cumulated vsize (Kb) 7356

[startup+1130.09 s]
Raw data (loadavg): 1.02 1.07 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1037 0 0 0 53902 7246 0 0 18 0 1 0 20470545 5353472 1008 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1307 1008 413 48 0 1259 0
[pid=6651] vsize: 5228
Current children cumulated CPU time (s) 936.39
Current children cumulated vsize (Kb) 7356

[startup+1140.09 s]
Raw data (loadavg): 1.02 1.06 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1037 0 0 0 54506 7371 0 0 18 0 1 0 20470545 5353472 1008 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1307 1008 413 48 0 1259 0
[pid=6651] vsize: 5228
Current children cumulated CPU time (s) 943.68
Current children cumulated vsize (Kb) 7356

[startup+1150.09 s]
Raw data (loadavg): 1.10 1.08 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 1037 0 0 0 55249 7451 0 0 25 0 1 0 20470545 5353472 1008 4294967295 134512640 134702520 3221223712 3221006188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1307 1008 413 48 0 1259 0
[pid=6651] vsize: 5228
Current children cumulated CPU time (s) 951.91
Current children cumulated vsize (Kb) 7356

[startup+1160.09 s]
Raw data (loadavg): 1.08 1.07 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1041 0 0 0 56054 7513 0 0 22 0 1 0 20470545 5476352 1012 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1337 1012 413 48 0 1289 0
[pid=6651] vsize: 5348
Current children cumulated CPU time (s) 960.58
Current children cumulated vsize (Kb) 7476

[startup+1170.1 s]
Raw data (loadavg): 1.07 1.07 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1043 0 0 0 56837 7581 0 0 21 0 1 0 20470545 5476352 1014 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1337 1014 413 48 0 1289 0
[pid=6651] vsize: 5348
Current children cumulated CPU time (s) 969.09
Current children cumulated vsize (Kb) 7476

[startup+1180.1 s]
Raw data (loadavg): 1.06 1.07 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 1046 0 0 0 57641 7646 0 0 20 0 1 0 20470545 5476352 1017 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1337 1017 413 48 0 1289 0
[pid=6651] vsize: 5348
Current children cumulated CPU time (s) 977.78
Current children cumulated vsize (Kb) 7476

[startup+1190.1 s]
Raw data (loadavg): 1.05 1.07 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1047 0 0 0 58436 7715 0 0 19 0 1 0 20470545 5476352 1018 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1337 1018 413 48 0 1289 0
[pid=6651] vsize: 5348
Current children cumulated CPU time (s) 986.42
Current children cumulated vsize (Kb) 7476

[startup+1200.1 s]
Raw data (loadavg): 1.04 1.06 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1050 0 0 0 59174 7797 0 0 17 0 1 0 20470545 5476352 1021 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1337 1021 413 48 0 1289 0
[pid=6651] vsize: 5348
Current children cumulated CPU time (s) 994.62
Current children cumulated vsize (Kb) 7476

[startup+1210.1 s]
Raw data (loadavg): 1.11 1.08 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1051 0 0 0 59635 7968 0 0 17 0 1 0 20470545 5476352 1022 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1337 1022 413 48 0 1289 0
[pid=6651] vsize: 5348
Current children cumulated CPU time (s) 1000.94
Current children cumulated vsize (Kb) 7476

[startup+1220.1 s]
Raw data (loadavg): 1.09 1.07 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1052 0 0 0 60235 8099 0 0 18 0 1 0 20470545 5476352 1023 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1337 1023 413 48 0 1289 0
[pid=6651] vsize: 5348
Current children cumulated CPU time (s) 1008.25
Current children cumulated vsize (Kb) 7476

[startup+1230.1 s]
Raw data (loadavg): 1.08 1.07 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 1054 0 0 0 61042 8161 0 0 19 0 1 0 20470545 5476352 1025 4294967295 134512640 134702520 3221223712 3221222992 134550618 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1337 1025 413 48 0 1289 0
[pid=6651] vsize: 5348
Current children cumulated CPU time (s) 1016.94
Current children cumulated vsize (Kb) 7476

[startup+1240.1 s]
Raw data (loadavg): 1.14 1.08 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1054 0 0 0 61854 8222 0 0 21 0 1 0 20470545 5476352 1025 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1337 1025 413 48 0 1289 0
[pid=6651] vsize: 5348
Current children cumulated CPU time (s) 1025.67
Current children cumulated vsize (Kb) 7476

[startup+1250.1 s]
Raw data (loadavg): 1.12 1.08 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 1055 0 0 0 62644 8295 0 0 19 0 1 0 20470545 5476352 1026 4294967295 134512640 134702520 3221223712 3221222832 134572157 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1337 1026 413 48 0 1289 0
[pid=6651] vsize: 5348
Current children cumulated CPU time (s) 1034.3
Current children cumulated vsize (Kb) 7476

[startup+1260.1 s]
Raw data (loadavg): 1.10 1.08 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1057 0 0 0 63442 8361 0 0 19 0 1 0 20470545 5476352 1028 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1337 1028 413 48 0 1289 0
[pid=6651] vsize: 5348
Current children cumulated CPU time (s) 1042.94
Current children cumulated vsize (Kb) 7476

[startup+1270.1 s]
Raw data (loadavg): 1.08 1.08 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1058 0 0 0 64246 8425 0 0 22 0 1 0 20470545 5476352 1029 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1337 1029 413 48 0 1289 0
[pid=6651] vsize: 5348
Current children cumulated CPU time (s) 1051.62
Current children cumulated vsize (Kb) 7476

[startup+1280.11 s]
Raw data (loadavg): 1.07 1.07 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1060 0 0 0 64897 8540 0 0 16 0 1 0 20470545 5476352 1031 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1337 1031 413 48 0 1289 0
[pid=6651] vsize: 5348
Current children cumulated CPU time (s) 1059.28
Current children cumulated vsize (Kb) 7476

[startup+1290.11 s]
Raw data (loadavg): 1.06 1.07 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1061 0 0 0 65367 8708 0 0 17 0 1 0 20470545 5476352 1032 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1337 1032 413 48 0 1289 0
[pid=6651] vsize: 5348
Current children cumulated CPU time (s) 1065.66
Current children cumulated vsize (Kb) 7476

[startup+1300.11 s]
Raw data (loadavg): 1.05 1.07 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 1064 0 0 0 66091 8799 0 0 25 0 1 0 20470545 5476352 1035 4294967295 134512640 134702520 3221223712 3221096128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1337 1035 413 48 0 1289 0
[pid=6651] vsize: 5348
Current children cumulated CPU time (s) 1073.81
Current children cumulated vsize (Kb) 7476

[startup+1310.11 s]
Raw data (loadavg): 1.04 1.06 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 1064 0 0 0 66901 8859 0 0 25 0 1 0 20470545 5476352 1035 4294967295 134512640 134702520 3221223712 3221015472 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1337 1035 413 48 0 1289 0
[pid=6651] vsize: 5348
Current children cumulated CPU time (s) 1082.51
Current children cumulated vsize (Kb) 7476

[startup+1320.11 s]
Raw data (loadavg): 1.03 1.06 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 1065 0 0 0 67709 8922 0 0 25 0 1 0 20470545 5476352 1036 4294967295 134512640 134702520 3221223712 3220933228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1337 1036 413 48 0 1289 0
[pid=6651] vsize: 5348
Current children cumulated CPU time (s) 1091.22
Current children cumulated vsize (Kb) 7476

[startup+1330.11 s]
Raw data (loadavg): 1.03 1.06 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1065 0 0 0 68507 8986 0 0 22 0 1 0 20470545 5476352 1036 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1337 1036 413 48 0 1289 0
[pid=6651] vsize: 5348
Current children cumulated CPU time (s) 1099.84
Current children cumulated vsize (Kb) 7476

[startup+1340.11 s]
Raw data (loadavg): 1.02 1.06 1.03 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 1065 0 0 0 69313 9047 0 0 23 0 1 0 20470545 5476352 1036 4294967295 134512640 134702520 3221223712 3221222992 134557259 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1337 1036 413 48 0 1289 0
[pid=6651] vsize: 5348
Current children cumulated CPU time (s) 1108.51
Current children cumulated vsize (Kb) 7476

[startup+1350.11 s]
Raw data (loadavg): 1.02 1.05 1.03 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 1068 0 0 0 70134 9105 0 0 24 0 1 0 20470545 5476352 1039 4294967295 134512640 134702520 3221223712 3221222736 134552544 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1337 1039 413 48 0 1289 0
[pid=6651] vsize: 5348
Current children cumulated CPU time (s) 1117.3
Current children cumulated vsize (Kb) 7476

[startup+1360.11 s]
Raw data (loadavg): 1.02 1.05 1.03 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1069 0 0 0 70613 9274 0 0 17 0 1 0 20470545 5615616 1040 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1371 1040 413 48 0 1323 0
[pid=6651] vsize: 5484
Current children cumulated CPU time (s) 1123.78
Current children cumulated vsize (Kb) 7612

[startup+1370.11 s]
Raw data (loadavg): 1.09 1.07 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1071 0 0 0 71129 9436 0 0 19 0 1 0 20470545 5586944 1042 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1364 1042 413 48 0 1316 0
[pid=6651] vsize: 5456
Current children cumulated CPU time (s) 1130.56
Current children cumulated vsize (Kb) 7584

[startup+1380.11 s]
Raw data (loadavg): 1.07 1.06 1.04 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 1073 0 0 0 71942 9494 0 0 22 0 1 0 20470545 5586944 1044 4294967295 134512640 134702520 3221223712 3221222992 134552705 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1364 1044 413 48 0 1316 0
[pid=6651] vsize: 5456
Current children cumulated CPU time (s) 1139.27
Current children cumulated vsize (Kb) 7584

[startup+1390.12 s]
Raw data (loadavg): 1.06 1.06 1.04 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1073 0 0 0 72744 9559 0 0 20 0 1 0 20470545 5586944 1044 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1364 1044 413 48 0 1316 0
[pid=6651] vsize: 5456
Current children cumulated CPU time (s) 1147.94
Current children cumulated vsize (Kb) 7584

[startup+1400.12 s]
Raw data (loadavg): 1.05 1.06 1.03 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 1075 0 0 0 73543 9625 0 0 18 0 1 0 20470545 5586944 1046 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1364 1046 413 48 0 1316 0
[pid=6651] vsize: 5456
Current children cumulated CPU time (s) 1156.59
Current children cumulated vsize (Kb) 7584

[startup+1410.12 s]
Raw data (loadavg): 1.04 1.06 1.03 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 1075 0 0 0 74338 9690 0 0 20 0 1 0 20470545 5586944 1046 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1364 1046 413 48 0 1316 0
[pid=6651] vsize: 5456
Current children cumulated CPU time (s) 1165.19
Current children cumulated vsize (Kb) 7584

[startup+1420.12 s]
Raw data (loadavg): 1.04 1.05 1.03 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 1076 0 0 0 75140 9757 0 0 19 0 1 0 20470545 5586944 1047 4294967295 134512640 134702520 3221223712 3221222832 134584452 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1364 1047 413 48 0 1316 0
[pid=6651] vsize: 5456
Current children cumulated CPU time (s) 1173.88
Current children cumulated vsize (Kb) 7584

[startup+1430.12 s]
Raw data (loadavg): 1.03 1.05 1.03 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1079 0 0 0 75940 9823 0 0 18 0 1 0 20470545 5586944 1050 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1364 1050 413 48 0 1316 0
[pid=6651] vsize: 5456
Current children cumulated CPU time (s) 1182.54
Current children cumulated vsize (Kb) 7584

[startup+1440.12 s]
Raw data (loadavg): 1.02 1.05 1.03 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1079 0 0 0 76574 9943 0 0 17 0 1 0 20470545 5586944 1050 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6651/statm): 1364 1050 413 48 0 1316 0
[pid=6651] vsize: 5456
Current children cumulated CPU time (s) 1190.08
Current children cumulated vsize (Kb) 7584

[startup+1450.12 s]
Raw data (loadavg): 1.02 1.05 1.03 1/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) T 6646 6646 4060 0 -1 0 1079 0 0 0 77230 10058 0 0 21 0 1 0 20470545 5586944 1050 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1364 1050 413 48 0 1316 0
[pid=6651] vsize: 5456
Current children cumulated CPU time (s) 1197.79
Current children cumulated vsize (Kb) 7584

[startup+1460.12 s]
Raw data (loadavg): 1.10 1.06 1.03 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 1081 0 0 0 78040 10122 0 0 21 0 1 0 20470545 5586944 1052 4294967295 134512640 134702520 3221223712 3221222832 134584642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1364 1052 413 48 0 1316 0
[pid=6651] vsize: 5456
Current children cumulated CPU time (s) 1206.53
Current children cumulated vsize (Kb) 7584



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1460.12 s]
Raw data (loadavg): 1.10 1.06 1.03 2/56 6651
Raw data (/proc/6646/stat): 6646 (vallstSAT2005PB) S 6645 6646 4060 0 -1 0 378 1476 0 0 2 1 30405 2083 19 0 1 0 20433723 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6646/statm): 532 248 485 147 0 385 0
[pid=6646] vsize: 2128
Raw data (/proc/6651/stat): 6651 (vallst) R 6646 6646 4060 0 -1 0 1081 0 0 0 78040 10122 0 0 21 0 1 0 20470545 5586944 1052 4294967295 134512640 134702520 3221223712 3221222832 134584642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6651/statm): 1364 1052 413 48 0 1316 0
[pid=6651] vsize: 5456
Current children cumulated CPU time (s) 1206.53
Current children cumulated vsize (Kb) 7584

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

Verifier Data

ERROR: no interpretation found !