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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-misc07.opb
MD5SUMb8ad25b48a93aa2545086c9eaeaee0ef
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1076618240
Optimality of the best value was proved NO
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1073741824
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 3287948287
Number of bits of the biggest sum of numbers32
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.12
Number of variables290
Total number of constraints471
Number of constraints which are clauses127
Number of constraints which are cardinality constraints (but not clauses)272
Number of constraints which are nor clauses,nor cardinality constraints72
Minimum length of a constraint1
Maximum length of a constraint263

Trace number 4322

Launcher Data

LAUNCH ON wulflinc8 THE 2005-09-19 06:28:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7608 boxname=wulflinc8 idbench=576 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b8ad25b48a93aa2545086c9eaeaee0ef  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-misc07.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-misc07.opb 0
IDLAUNCH: 7608
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        906876 kB
Buffers:         36276 kB
Cached:          66700 kB
SwapCached:        792 kB
Active:          68780 kB
Inactive:        36896 kB
HighTotal:      131008 kB
HighFree:        60480 kB
LowTotal:       903652 kB
LowFree:        846396 kB
SwapTotal:     2097136 kB
SwapFree:      2095876 kB
Dirty:              64 kB
Writeback:           0 kB
Mapped:           5752 kB
Slab:            16572 kB
Committed_AS:    64132 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 06:50:18 (client local time) WITH STATUS 0 IN 1206.46 SECONDS
stats: 7608 7 1206.46 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 26  (#equs: 0)
#decisions: 78;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 248, #non-axs: 3
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:  1069278206 (1078205440:>=*);
#decisions: 78;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 248, #non-axs: 3
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:  1069355006 (1078128640:>=*);
#decisions: 91;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 248, #non-axs: 5
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:  1069431806 (1078051840:>=*);
#decisions: 93;  #end-nodes: 14;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 14 / 80 (80)
#axs: 248, #non-axs: 5
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:  1069508606 (1077975040:>=*);
#decisions: 76;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 248, #non-axs: 5
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:  1069585406 (1077898240:>=*);
#decisions: 80;  #end-nodes: 13;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 13 / 80 (80)
#axs: 248, #non-axs: 5
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:  1069662206 (1077821440:>=*);
#decisions: 102;  #end-nodes: 35;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 35 / 80 (80)
#axs: 248, #non-axs: 5
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:  1069739006 (1077744640:>=*);
#decisions: 119;  #end-nodes: 44;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 44 / 80 (80)
#axs: 248, #non-axs: 5
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:  1069769726 (1077713920:>=*);
#decisions: 182;  #end-nodes: 71;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 71 / 80 (80)
#axs: 248, #non-axs: 6
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:  1069846526 (1077637120:>=*);
#decisions: 146;  #end-nodes: 78;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 78 / 81 (80)
#axs: 248, #non-axs: 21
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:  1069882366 (1077601280:>=*);
#decisions: 56;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 248, #non-axs: 21
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:  1069959166 (1077524480:>=*);
#decisions: 469;  #end-nodes: 202;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 122 / 185 (80)
#axs: 248, #non-axs: 106
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:  1070174206 (1077309440:>=*);
#decisions: 62;  #end-nodes: 36;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 36 / 80 (80)
#axs: 248, #non-axs: 115
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:  1070286846 (1077196800:>=*);
#decisions: 506;  #end-nodes: 269;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 65 / 107 (80)
#axs: 248, #non-axs: 252
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:  1070348286 (1077135360:>=*);
#decisions: 48;  #end-nodes: 14;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 14 / 80 (80)
#axs: 248, #non-axs: 254
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:  1070425086 (1077058560:>=*);
#decisions: 116;  #end-nodes: 42;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 42 / 80 (80)
#axs: 248, #non-axs: 258
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:  1070501886 (1076981760:>=*);
#decisions: 23;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 248, #non-axs: 258
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:  1070578686 (1076904960:>=*);
#decisions: 4279;  #end-nodes: 2486;
#proof improvement attempts: 0;  #restarts: 3
Current batch, end-nodes: 686 / 939 (80)
#axs: 248, #non-axs: 1400
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:  1070609406 (1076874240:>=*);
#decisions: 1966;  #end-nodes: 1161;
#proof improvement attempts: 0;  #restarts: 5
Current batch, end-nodes: 127 / 135 (81)
#axs: 248, #non-axs: 1776
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:  1070635006 (1076848640:>=*);
#decisions: 3462;  #end-nodes: 1909;
#proof improvement attempts: 0;  #restarts: 6
Current batch, end-nodes: 563 / 655 (81)
#axs: 248, #non-axs: 2502
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:  1070696446 (1076787200:>=*);
#decisions: 9856;  #end-nodes: 5602;
#proof improvement attempts: 0;  #restarts: 26
Current batch, end-nodes: 41 / 95 (86)
#axs: 248, #non-axs: 4375
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1070732286 (1076751360:>=*);
#decisions: 2156;  #end-nodes: 1186;
#proof improvement attempts: 0;  #restarts: 9
Current batch, end-nodes: 231 / 505 (82)
#axs: 248, #non-axs: 4731
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1070768126 (1076715520:>=*);
#decisions: 12684;  #end-nodes: 7407;
#proof improvement attempts: 0;  #restarts: 25
Current batch, end-nodes: 963 / 1160 (86)
#axs: 248, #non-axs: 6629
tight: meta-meta: start: 6, end: 9;  meta: start: 10, end (keep): 19
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1070773246 (1076710400:>=*);
#decisions: 1671;  #end-nodes: 807;
#proof improvement attempts: 0;  #restarts: 5
Current batch, end-nodes: 57 / 88 (81)
#axs: 248, #non-axs: 6873
tight: meta-meta: start: 6, end: 9;  meta: start: 10, end (keep): 19
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1070778366 (1076705280:>=*);
#decisions: 147882;  #end-nodes: 91874;
#proof improvement attempts: 0;  #restarts: 253
Current batch, end-nodes: 513 / 700 (143)
#axs: 248, #non-axs: 2064
tight: meta-meta: start: 4, end: 5;  meta: start: 3, end (keep): 3
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1070865406 (1076618240:>=*);
#decisions: 1209236;  #end-nodes: 877338;
#proof improvement attempts: 0;  #restarts: 672
Current batch, end-nodes: 0 / 7355 (247)
#axs: 248, #non-axs: 3267
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 3
loose: meta-meta: start: 8, end: 12;  meta: start: 26, end (keep): 43
Model found with constant:
  (pushed:) 1070865406 (1076618240:>=*)

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: 30  (#equs: 0)
Time taken: 15 min, 3 sec

2:
seed: 0
Nr of vars set: 30  (#equs: 0)
Nr of vars set: 30  (#equs: 0)
Interupt request received.
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: 30  (#equs: 0)
Time taken: 5 min, 2 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/12707/stat): 12707 (vallstSAT2005PB) R 12706 12707 27660 0 -1 0 19 0 0 0 0 0 0 0 21 0 1 0 1775944276 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12707/statm): 174 3 169 147 0 27 0
[pid=12707] 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=12708
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=12708) exited with status: 0
New process pid=12709
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=12709) exited with status: 0
New process pid=12710
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/wulflinc8/normalized-mps-v2-20-10-misc07.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.004 s]
Raw data (loadavg): 0.81 0.99 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 219 0 0 0 947 17 0 0 25 0 1 0 1775944283 2007040 189 4294967295 134512640 134702520 3221223952 3221223088 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 490 189 413 48 0 442 0
[pid=12710] vsize: 1960
Current children cumulated CPU time (s) 9.66
Current children cumulated vsize (Kb) 4088

[startup+20.0048 s]
Raw data (loadavg): 0.84 0.99 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 386 0 0 0 1881 39 0 0 25 0 1 0 1775944283 2727936 356 4294967295 134512640 134702520 3221223952 3221223232 134557183 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 666 356 413 48 0 618 0
[pid=12710] vsize: 2664
Current children cumulated CPU time (s) 19.22
Current children cumulated vsize (Kb) 4792

[startup+30.0066 s]
Raw data (loadavg): 0.86 0.99 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 482 0 0 0 2776 73 0 0 25 0 1 0 1775944283 3051520 452 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 745 452 413 48 0 697 0
[pid=12710] vsize: 2980
Current children cumulated CPU time (s) 28.51
Current children cumulated vsize (Kb) 5108

[startup+40.0074 s]
Raw data (loadavg): 0.89 0.99 0.98 1/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 511 0 0 0 3683 106 0 0 23 0 1 0 1775944283 3219456 481 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 481 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 37.91
Current children cumulated vsize (Kb) 5272

[startup+50.0092 s]
Raw data (loadavg): 0.90 0.99 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 528 0 0 0 4587 142 0 0 25 0 1 0 1775944283 3219456 498 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 498 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 47.31
Current children cumulated vsize (Kb) 5272

[startup+60.01 s]
Raw data (loadavg): 0.92 0.99 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 532 0 0 0 5502 171 0 0 25 0 1 0 1775944283 3219456 502 4294967295 134512640 134702520 3221223952 3221222848 134552263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 502 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 56.75
Current children cumulated vsize (Kb) 5272

[startup+70.0107 s]
Raw data (loadavg): 0.93 0.99 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 532 0 0 0 6461 184 0 0 25 0 1 0 1775944283 3219456 502 4294967295 134512640 134702520 3221223952 3221222848 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 502 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 66.47
Current children cumulated vsize (Kb) 5272

[startup+80.0115 s]
Raw data (loadavg): 0.94 0.99 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 532 0 0 0 7396 205 0 0 25 0 1 0 1775944283 3219456 502 4294967295 134512640 134702520 3221223952 3221222848 134552460 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 502 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 76.03
Current children cumulated vsize (Kb) 5272

[startup+90.0123 s]
Raw data (loadavg): 0.95 0.99 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 532 0 0 0 8302 237 0 0 25 0 1 0 1775944283 3219456 502 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12710/statm): 786 502 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 85.41
Current children cumulated vsize (Kb) 5272

[startup+100.013 s]
Raw data (loadavg): 0.96 0.99 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 532 0 0 0 9209 267 0 0 19 0 1 0 1775944283 3219456 502 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12710/statm): 786 502 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 94.78
Current children cumulated vsize (Kb) 5272

[startup+110.014 s]
Raw data (loadavg): 0.96 0.99 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 532 0 0 0 10141 290 0 0 25 0 1 0 1775944283 3219456 502 4294967295 134512640 134702520 3221223952 3221222848 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 502 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 104.33
Current children cumulated vsize (Kb) 5272

[startup+120.015 s]
Raw data (loadavg): 0.97 0.99 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 532 0 0 0 11103 302 0 0 25 0 1 0 1775944283 3219456 502 4294967295 134512640 134702520 3221223952 3221222848 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 502 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 114.07
Current children cumulated vsize (Kb) 5272

[startup+130.015 s]
Raw data (loadavg): 0.97 0.99 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 534 0 0 0 12011 334 0 0 25 0 1 0 1775944283 3219456 504 4294967295 134512640 134702520 3221223952 3221223072 134573708 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 504 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 123.47
Current children cumulated vsize (Kb) 5272

[startup+140.016 s]
Raw data (loadavg): 1.05 1.01 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 534 0 0 0 12912 369 0 0 24 0 1 0 1775944283 3219456 504 4294967295 134512640 134702520 3221223952 3221222848 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 504 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 132.83
Current children cumulated vsize (Kb) 5272

[startup+150.018 s]
Raw data (loadavg): 1.04 1.00 0.98 1/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 534 0 0 0 13806 403 0 0 25 0 1 0 1775944283 3219456 504 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12710/statm): 786 504 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 142.11
Current children cumulated vsize (Kb) 5272

[startup+160.019 s]
Raw data (loadavg): 1.03 1.00 0.98 1/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 534 0 0 0 14711 436 0 0 25 0 1 0 1775944283 3219456 504 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 504 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 151.49
Current children cumulated vsize (Kb) 5272

[startup+170.018 s]
Raw data (loadavg): 1.03 1.00 0.98 1/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 534 0 0 0 15624 467 0 0 25 0 1 0 1775944283 3219456 504 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 504 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 160.93
Current children cumulated vsize (Kb) 5272

[startup+180.02 s]
Raw data (loadavg): 1.02 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 534 0 0 0 16562 489 0 0 25 0 1 0 1775944283 3219456 504 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12710/statm): 786 504 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 170.53
Current children cumulated vsize (Kb) 5272

[startup+190.02 s]
Raw data (loadavg): 1.02 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 534 0 0 0 17522 502 0 0 25 0 1 0 1775944283 3219456 504 4294967295 134512640 134702520 3221223952 3221222848 134552222 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 504 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 180.26
Current children cumulated vsize (Kb) 5272

[startup+200.021 s]
Raw data (loadavg): 1.02 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 534 0 0 0 18434 532 0 0 25 0 1 0 1775944283 3219456 504 4294967295 134512640 134702520 3221223952 3221223232 134552759 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 504 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 189.68
Current children cumulated vsize (Kb) 5272

[startup+210.022 s]
Raw data (loadavg): 1.01 1.00 0.98 1/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 534 0 0 0 19333 564 0 0 21 0 1 0 1775944283 3219456 504 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 504 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 198.99
Current children cumulated vsize (Kb) 5272

[startup+220.021 s]
Raw data (loadavg): 1.01 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 534 0 0 0 20245 593 0 0 25 0 1 0 1775944283 3219456 504 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12710/statm): 786 504 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 208.4
Current children cumulated vsize (Kb) 5272

[startup+230.022 s]
Raw data (loadavg): 1.01 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 534 0 0 0 21186 612 0 0 25 0 1 0 1775944283 3219456 504 4294967295 134512640 134702520 3221223952 3221222848 134554263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 504 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 218
Current children cumulated vsize (Kb) 5272

[startup+240.023 s]
Raw data (loadavg): 1.01 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 534 0 0 0 22151 624 0 0 25 0 1 0 1775944283 3219456 504 4294967295 134512640 134702520 3221223952 3221222848 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 504 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 227.77
Current children cumulated vsize (Kb) 5272

[startup+250.024 s]
Raw data (loadavg): 1.01 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 534 0 0 0 23056 658 0 0 25 0 1 0 1775944283 3219456 504 4294967295 134512640 134702520 3221223952 3221223232 134552345 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 504 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 237.16
Current children cumulated vsize (Kb) 5272

[startup+260.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 539 0 0 0 23969 689 0 0 25 0 1 0 1775944283 3219456 509 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 509 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 246.6
Current children cumulated vsize (Kb) 5272

[startup+270.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 544 0 0 0 24868 726 0 0 25 0 1 0 1775944283 3219456 514 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 514 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 255.96
Current children cumulated vsize (Kb) 5272

[startup+280.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 549 0 0 0 25780 756 0 0 25 0 1 0 1775944283 3219456 519 4294967295 134512640 134702520 3221223952 3221222816 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 786 519 413 48 0 738 0
[pid=12710] vsize: 3144
Current children cumulated CPU time (s) 265.38
Current children cumulated vsize (Kb) 5272

[startup+290.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 551 0 0 0 26676 793 0 0 24 0 1 0 1775944283 3354624 521 4294967295 134512640 134702520 3221223952 3221223072 134584604 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 819 521 413 48 0 771 0
[pid=12710] vsize: 3276
Current children cumulated CPU time (s) 274.71
Current children cumulated vsize (Kb) 5404

[startup+300.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 554 0 0 0 27580 825 0 0 25 0 1 0 1775944283 3354624 524 4294967295 134512640 134702520 3221223952 3221222848 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 819 524 413 48 0 771 0
[pid=12710] vsize: 3276
Current children cumulated CPU time (s) 284.07
Current children cumulated vsize (Kb) 5404

[startup+310.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 558 0 0 0 28505 851 0 0 25 0 1 0 1775944283 3354624 528 4294967295 134512640 134702520 3221223952 3221222848 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 819 528 413 48 0 771 0
[pid=12710] vsize: 3276
Current children cumulated CPU time (s) 293.58
Current children cumulated vsize (Kb) 5404

[startup+320.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 558 0 0 0 29468 864 0 0 25 0 1 0 1775944283 3354624 528 4294967295 134512640 134702520 3221223952 3221222848 134552266 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/12710/statm): 819 528 413 48 0 771 0
[pid=12710] vsize: 3276
Current children cumulated CPU time (s) 303.34
Current children cumulated vsize (Kb) 5404

[startup+330.031 s]
Raw data (loadavg): 1.00 1.00 0.98 1/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 561 0 0 0 30384 894 0 0 25 0 1 0 1775944283 3354624 531 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12710/statm): 819 531 413 48 0 771 0
[pid=12710] vsize: 3276
Current children cumulated CPU time (s) 312.8
Current children cumulated vsize (Kb) 5404

[startup+340.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 564 0 0 0 31290 926 0 0 25 0 1 0 1775944283 3354624 534 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 819 534 413 48 0 771 0
[pid=12710] vsize: 3276
Current children cumulated CPU time (s) 322.18
Current children cumulated vsize (Kb) 5404

[startup+350.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 564 0 0 0 32202 954 0 0 25 0 1 0 1775944283 3354624 534 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 819 534 413 48 0 771 0
[pid=12710] vsize: 3276
Current children cumulated CPU time (s) 331.58
Current children cumulated vsize (Kb) 5404

[startup+360.034 s]
Raw data (loadavg): 1.00 1.00 0.98 1/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 571 0 0 0 33098 992 0 0 17 0 1 0 1775944283 3354624 541 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12710/statm): 819 541 413 48 0 771 0
[pid=12710] vsize: 3276
Current children cumulated CPU time (s) 340.92
Current children cumulated vsize (Kb) 5404

[startup+370.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 572 0 0 0 34003 1025 0 0 25 0 1 0 1775944283 3354624 542 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12710/statm): 819 542 413 48 0 771 0
[pid=12710] vsize: 3276
Current children cumulated CPU time (s) 350.3
Current children cumulated vsize (Kb) 5404

[startup+380.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 575 0 0 0 34921 1052 0 0 22 0 1 0 1775944283 3354624 545 4294967295 134512640 134702520 3221223952 3221223232 134553512 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 819 545 413 48 0 771 0
[pid=12710] vsize: 3276
Current children cumulated CPU time (s) 359.75
Current children cumulated vsize (Kb) 5404

[startup+390.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 580 0 0 0 35819 1087 0 0 25 0 1 0 1775944283 3354624 550 4294967295 134512640 134702520 3221223952 3221223232 134552569 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 819 550 413 48 0 771 0
[pid=12710] vsize: 3276
Current children cumulated CPU time (s) 369.08
Current children cumulated vsize (Kb) 5404

[startup+400.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 581 0 0 0 36756 1108 0 0 25 0 1 0 1775944283 3354624 551 4294967295 134512640 134702520 3221223952 3221222848 134554352 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 819 551 413 48 0 771 0
[pid=12710] vsize: 3276
Current children cumulated CPU time (s) 378.66
Current children cumulated vsize (Kb) 5404

[startup+410.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 581 0 0 0 37718 1122 0 0 25 0 1 0 1775944283 3354624 551 4294967295 134512640 134702520 3221223952 3221222848 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 819 551 413 48 0 771 0
[pid=12710] vsize: 3276
Current children cumulated CPU time (s) 388.42
Current children cumulated vsize (Kb) 5404

[startup+420.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 582 0 0 0 38619 1157 0 0 25 0 1 0 1775944283 3354624 552 4294967295 134512640 134702520 3221223952 3221223232 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 819 552 413 48 0 771 0
[pid=12710] vsize: 3276
Current children cumulated CPU time (s) 397.78
Current children cumulated vsize (Kb) 5404

[startup+430.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 589 0 0 0 39518 1189 0 0 25 0 1 0 1775944283 3489792 559 4294967295 134512640 134702520 3221223952 3221223232 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 852 559 413 48 0 804 0
[pid=12710] vsize: 3408
Current children cumulated CPU time (s) 407.09
Current children cumulated vsize (Kb) 5536

[startup+440.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 590 0 0 0 40421 1221 0 0 25 0 1 0 1775944283 3489792 560 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12710/statm): 852 560 413 48 0 804 0
[pid=12710] vsize: 3408
Current children cumulated CPU time (s) 416.44
Current children cumulated vsize (Kb) 5536

[startup+450.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 591 0 0 0 41324 1256 0 0 25 0 1 0 1775944283 3489792 561 4294967295 134512640 134702520 3221223952 3221223232 134554270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 852 561 413 48 0 804 0
[pid=12710] vsize: 3408
Current children cumulated CPU time (s) 425.82
Current children cumulated vsize (Kb) 5536

[startup+460.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 595 0 0 0 42230 1289 0 0 25 0 1 0 1775944283 3489792 565 4294967295 134512640 134702520 3221223952 3221223232 134552509 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 852 565 413 48 0 804 0
[pid=12710] vsize: 3408
Current children cumulated CPU time (s) 435.21
Current children cumulated vsize (Kb) 5536

[startup+470.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 597 0 0 0 43132 1323 0 0 25 0 1 0 1775944283 3489792 567 4294967295 134512640 134702520 3221223952 3221222848 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/12710/statm): 852 567 413 48 0 804 0
[pid=12710] vsize: 3408
Current children cumulated CPU time (s) 444.57
Current children cumulated vsize (Kb) 5536

[startup+480.045 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 601 0 0 0 44036 1358 0 0 25 0 1 0 1775944283 3489792 571 4294967295 134512640 134702520 3221223952 3221223072 134572664 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 852 571 413 48 0 804 0
[pid=12710] vsize: 3408
Current children cumulated CPU time (s) 453.96
Current children cumulated vsize (Kb) 5536

[startup+490.045 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 603 0 0 0 44942 1390 0 0 25 0 1 0 1775944283 3489792 573 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/12710/statm): 852 573 413 48 0 804 0
[pid=12710] vsize: 3408
Current children cumulated CPU time (s) 463.34
Current children cumulated vsize (Kb) 5536

[startup+500.046 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 605 0 0 0 45871 1414 0 0 25 0 1 0 1775944283 3489792 575 4294967295 134512640 134702520 3221223952 3221222848 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 852 575 413 48 0 804 0
[pid=12710] vsize: 3408
Current children cumulated CPU time (s) 472.87
Current children cumulated vsize (Kb) 5536

[startup+510.047 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 605 0 0 0 46834 1427 0 0 25 0 1 0 1775944283 3489792 575 4294967295 134512640 134702520 3221223952 3221222848 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/12710/statm): 852 575 413 48 0 804 0
[pid=12710] vsize: 3408
Current children cumulated CPU time (s) 482.63
Current children cumulated vsize (Kb) 5536

[startup+520.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 610 0 0 0 47747 1457 0 0 25 0 1 0 1775944283 3489792 580 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 852 580 413 48 0 804 0
[pid=12710] vsize: 3408
Current children cumulated CPU time (s) 492.06
Current children cumulated vsize (Kb) 5536

[startup+530.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 612 0 0 0 48662 1484 0 0 25 0 1 0 1775944283 3489792 582 4294967295 134512640 134702520 3221223952 3221223232 134552509 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 852 582 413 48 0 804 0
[pid=12710] vsize: 3408
Current children cumulated CPU time (s) 501.48
Current children cumulated vsize (Kb) 5536

[startup+540.049 s]
Raw data (loadavg): 1.00 1.00 0.98 1/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 762 0 0 0 49575 1516 0 0 25 0 1 0 1775944283 4173824 732 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12710/statm): 1019 732 413 48 0 971 0
[pid=12710] vsize: 4076
Current children cumulated CPU time (s) 510.93
Current children cumulated vsize (Kb) 6204

[startup+550.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 1011 0 0 0 50483 1548 0 0 23 0 1 0 1775944283 5214208 981 4294967295 134512640 134702520 3221223952 3221223072 134572622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 1273 981 413 48 0 1225 0
[pid=12710] vsize: 5092
Current children cumulated CPU time (s) 520.33
Current children cumulated vsize (Kb) 7220

[startup+560.052 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 1088 0 0 0 51401 1575 0 0 25 0 1 0 1775944283 5492736 1044 4294967295 134512640 134702520 3221223952 3221223232 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 1341 1044 413 48 0 1293 0
[pid=12710] vsize: 5364
Current children cumulated CPU time (s) 529.78
Current children cumulated vsize (Kb) 7492

[startup+570.052 s]
Raw data (loadavg): 1.00 1.00 0.98 1/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 1300 0 0 0 52318 1603 0 0 25 0 1 0 1775944283 6352896 1256 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12710/statm): 1551 1256 413 48 0 1503 0
[pid=12710] vsize: 6204
Current children cumulated CPU time (s) 539.23
Current children cumulated vsize (Kb) 8332

[startup+580.053 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 1486 0 0 0 53243 1632 0 0 25 0 1 0 1775944283 7081984 1442 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 1729 1442 413 48 0 1681 0
[pid=12710] vsize: 6916
Current children cumulated CPU time (s) 548.77
Current children cumulated vsize (Kb) 9044

[startup+590.054 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 1650 0 0 0 54175 1654 0 0 25 0 1 0 1775944283 7753728 1606 4294967295 134512640 134702520 3221223952 3221223232 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 1893 1606 413 48 0 1845 0
[pid=12710] vsize: 7572
Current children cumulated CPU time (s) 558.31
Current children cumulated vsize (Kb) 9700

[startup+600.055 s]
Raw data (loadavg): 1.00 1.00 0.98 1/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 1733 0 0 0 55111 1675 0 0 25 0 1 0 1775944283 8105984 1689 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12710/statm): 1979 1689 413 48 0 1931 0
[pid=12710] vsize: 7916
Current children cumulated CPU time (s) 567.88
Current children cumulated vsize (Kb) 10044

[startup+610.057 s]
Raw data (loadavg): 1.07 1.02 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 1741 0 0 0 56041 1699 0 0 25 0 1 0 1775944283 8105984 1697 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 1979 1697 413 48 0 1931 0
[pid=12710] vsize: 7916
Current children cumulated CPU time (s) 577.42
Current children cumulated vsize (Kb) 10044

[startup+620.058 s]
Raw data (loadavg): 1.06 1.02 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 1882 0 0 0 56970 1722 0 0 25 0 1 0 1775944283 8740864 1838 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 2134 1838 413 48 0 2086 0
[pid=12710] vsize: 8536
Current children cumulated CPU time (s) 586.94
Current children cumulated vsize (Kb) 10664

[startup+630.058 s]
Raw data (loadavg): 1.05 1.01 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 2029 0 0 0 57905 1743 0 0 25 0 1 0 1775944283 9244672 1985 4294967295 134512640 134702520 3221223952 3221222848 134552370 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 2257 1985 413 48 0 2209 0
[pid=12710] vsize: 9028
Current children cumulated CPU time (s) 596.5
Current children cumulated vsize (Kb) 11156

[startup+640.059 s]
Raw data (loadavg): 1.04 1.01 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 2033 0 0 0 58841 1766 0 0 25 0 1 0 1775944283 9244672 1989 4294967295 134512640 134702520 3221223952 3221223232 134552504 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/12710/statm): 2257 1989 413 48 0 2209 0
[pid=12710] vsize: 9028
Current children cumulated CPU time (s) 606.09
Current children cumulated vsize (Kb) 11156

[startup+650.061 s]
Raw data (loadavg): 1.04 1.01 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 2099 0 0 0 59772 1791 0 0 25 0 1 0 1775944283 9564160 2055 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 2335 2055 413 48 0 2287 0
[pid=12710] vsize: 9340
Current children cumulated CPU time (s) 615.65
Current children cumulated vsize (Kb) 11468

[startup+660.062 s]
Raw data (loadavg): 1.03 1.01 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 2222 0 0 0 60710 1813 0 0 25 0 1 0 1775944283 10043392 2178 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 2452 2178 413 48 0 2404 0
[pid=12710] vsize: 9808
Current children cumulated CPU time (s) 625.25
Current children cumulated vsize (Kb) 11936

[startup+670.062 s]
Raw data (loadavg): 1.02 1.01 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 2348 0 0 0 61646 1837 0 0 25 0 1 0 1775944283 10571776 2304 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 2581 2304 413 48 0 2533 0
[pid=12710] vsize: 10324
Current children cumulated CPU time (s) 634.85
Current children cumulated vsize (Kb) 12452

[startup+680.064 s]
Raw data (loadavg): 1.02 1.01 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 2487 0 0 0 62582 1860 0 0 25 0 1 0 1775944283 11227136 2443 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12710/statm): 2741 2443 413 48 0 2693 0
[pid=12710] vsize: 10964
Current children cumulated CPU time (s) 644.44
Current children cumulated vsize (Kb) 13092

[startup+690.065 s]
Raw data (loadavg): 1.02 1.01 0.99 1/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 2580 0 0 0 63525 1882 0 0 25 0 1 0 1775944283 11509760 2536 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12710/statm): 2810 2536 413 48 0 2762 0
[pid=12710] vsize: 11240
Current children cumulated CPU time (s) 654.09
Current children cumulated vsize (Kb) 13368

[startup+700.067 s]
Raw data (loadavg): 1.01 1.01 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 2581 0 0 0 64459 1907 0 0 25 0 1 0 1775944283 11509760 2537 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 2810 2537 413 48 0 2762 0
[pid=12710] vsize: 11240
Current children cumulated CPU time (s) 663.68
Current children cumulated vsize (Kb) 13368

[startup+710.068 s]
Raw data (loadavg): 1.01 1.01 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 2598 0 0 0 65403 1927 0 0 25 0 1 0 1775944283 11644928 2554 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 2843 2554 413 48 0 2795 0
[pid=12710] vsize: 11372
Current children cumulated CPU time (s) 673.32
Current children cumulated vsize (Kb) 13500

[startup+720.068 s]
Raw data (loadavg): 1.01 1.01 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 2718 0 0 0 66347 1948 0 0 25 0 1 0 1775944283 12099584 2674 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/12710/statm): 2954 2674 413 48 0 2906 0
[pid=12710] vsize: 11816
Current children cumulated CPU time (s) 682.97
Current children cumulated vsize (Kb) 13944

[startup+730.07 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 2827 0 0 0 67294 1967 0 0 25 0 1 0 1775944283 12546048 2783 4294967295 134512640 134702520 3221223952 3221223232 134554330 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3063 2783 413 48 0 3015 0
[pid=12710] vsize: 12252
Current children cumulated CPU time (s) 692.63
Current children cumulated vsize (Kb) 14380

[startup+740.071 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 2921 0 0 0 68237 1989 0 0 25 0 1 0 1775944283 13045760 2877 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3185 2877 413 48 0 3137 0
[pid=12710] vsize: 12740
Current children cumulated CPU time (s) 702.28
Current children cumulated vsize (Kb) 14868

[startup+750.073 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 3005 0 0 0 69188 2006 0 0 25 0 1 0 1775944283 13406208 2961 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3273 2961 413 48 0 3225 0
[pid=12710] vsize: 13092
Current children cumulated CPU time (s) 711.96
Current children cumulated vsize (Kb) 15220

[startup+760.073 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 3105 0 0 0 70133 2027 0 0 25 0 1 0 1775944283 13725696 3061 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3351 3061 413 48 0 3303 0
[pid=12710] vsize: 13404
Current children cumulated CPU time (s) 721.62
Current children cumulated vsize (Kb) 15532

[startup+770.074 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 3181 0 0 0 71085 2044 0 0 25 0 1 0 1775944283 14012416 3137 4294967295 134512640 134702520 3221223952 3221222848 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3421 3137 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 731.31
Current children cumulated vsize (Kb) 15812

[startup+780.075 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 3181 0 0 0 72052 2056 0 0 25 0 1 0 1775944283 14012416 3137 4294967295 134512640 134702520 3221223952 3221222848 134553492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3421 3137 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 741.1
Current children cumulated vsize (Kb) 15812

[startup+790.077 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 3181 0 0 0 72994 2077 0 0 25 0 1 0 1775944283 14012416 3137 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3421 3137 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 750.73
Current children cumulated vsize (Kb) 15812

[startup+800.079 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 3181 0 0 0 73916 2103 0 0 25 0 1 0 1775944283 14012416 3137 4294967295 134512640 134702520 3221223952 3221223232 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3421 3137 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 760.21
Current children cumulated vsize (Kb) 15812

[startup+810.079 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 3181 0 0 0 74845 2129 0 0 25 0 1 0 1775944283 14012416 3137 4294967295 134512640 134702520 3221223952 3221223232 134552467 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3421 3137 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 769.76
Current children cumulated vsize (Kb) 15812

[startup+820.08 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 3181 0 0 0 75772 2155 0 0 25 0 1 0 1775944283 14012416 3137 4294967295 134512640 134702520 3221223952 3221223232 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3421 3137 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 779.29
Current children cumulated vsize (Kb) 15812

[startup+830.081 s]
Raw data (loadavg): 1.08 1.02 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 3182 0 0 0 76704 2178 0 0 25 0 1 0 1775944283 14012416 3138 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3421 3138 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 788.84
Current children cumulated vsize (Kb) 15812

[startup+840.082 s]
Raw data (loadavg): 1.07 1.02 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 3182 0 0 0 77634 2202 0 0 25 0 1 0 1775944283 14012416 3138 4294967295 134512640 134702520 3221223952 3221223220 134557393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3421 3138 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 798.38
Current children cumulated vsize (Kb) 15812

[startup+850.083 s]
Raw data (loadavg): 1.06 1.01 0.99 1/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 3182 0 0 0 78559 2224 0 0 25 0 1 0 1775944283 14012416 3138 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3421 3138 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 807.85
Current children cumulated vsize (Kb) 15812

[startup+860.085 s]
Raw data (loadavg): 1.05 1.01 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 3182 0 0 0 79458 2262 0 0 25 0 1 0 1775944283 14012416 3138 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12710/statm): 3421 3138 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 817.22
Current children cumulated vsize (Kb) 15812

[startup+870.085 s]
Raw data (loadavg): 1.04 1.01 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 3182 0 0 0 80366 2292 0 0 25 0 1 0 1775944283 14012416 3138 4294967295 134512640 134702520 3221223952 3221223232 134552509 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3421 3138 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 826.6
Current children cumulated vsize (Kb) 15812

[startup+880.086 s]
Raw data (loadavg): 1.03 1.01 0.99 1/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 3182 0 0 0 81270 2325 0 0 25 0 1 0 1775944283 14012416 3138 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3421 3138 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 835.97
Current children cumulated vsize (Kb) 15812

[startup+890.087 s]
Raw data (loadavg): 1.03 1.01 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 3182 0 0 0 82178 2356 0 0 25 0 1 0 1775944283 14012416 3138 4294967295 134512640 134702520 3221223952 3221223232 134552446 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3421 3138 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 845.36
Current children cumulated vsize (Kb) 15812

[startup+900.087 s]
Raw data (loadavg): 1.02 1.01 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 3182 0 0 0 83087 2389 0 0 23 0 1 0 1775944283 14012416 3138 4294967295 134512640 134702520 3221223952 3221223232 134552441 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3421 3138 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 854.78
Current children cumulated vsize (Kb) 15812

[startup+910.088 s]
Raw data (loadavg): 1.02 1.01 0.99 1/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 3182 0 0 0 83988 2423 0 0 18 0 1 0 1775944283 14012416 3138 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12710/statm): 3421 3138 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 864.13
Current children cumulated vsize (Kb) 15812

[startup+920.089 s]
Raw data (loadavg): 1.02 1.01 0.99 1/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 3182 0 0 0 84896 2455 0 0 25 0 1 0 1775944283 14012416 3138 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3421 3138 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 873.53
Current children cumulated vsize (Kb) 15812

[startup+930.09 s]
Raw data (loadavg): 1.01 1.01 0.99 1/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 3182 0 0 0 85806 2485 0 0 25 0 1 0 1775944283 14012416 3138 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12710/statm): 3421 3138 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 882.93
Current children cumulated vsize (Kb) 15812

[startup+940.09 s]
Raw data (loadavg): 1.01 1.01 0.99 2/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) R 12707 12707 27660 0 -1 0 3182 0 0 0 86742 2507 0 0 25 0 1 0 1775944283 14012416 3138 4294967295 134512640 134702520 3221223952 3221222848 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12710/statm): 3421 3138 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 892.51
Current children cumulated vsize (Kb) 15812

[startup+950.091 s]
Raw data (loadavg): 1.01 1.00 0.99 1/57 12710
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1775944276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 242 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12710/stat): 12710 (vallst) T 12707 12707 27660 0 -1 0 3182 0 0 0 87708 2520 0 0 25 0 1 0 1775944283 14012416 3138 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12710/statm): 3421 3138 413 48 0 3373 0
[pid=12710] vsize: 13684
Current children cumulated CPU time (s) 902.3
Current children cumulated vsize (Kb) 15812
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=12710) exited with status: 2
New process pid=12711
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=12711) exited with status: 0
New process pid=12712
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+960.092 s]
Raw data (loadavg): 1.01 1.00 0.99 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 266 0 0 0 632 85 0 0 19 0 1 0 1776039419 2293760 236 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12712/statm): 560 236 413 48 0 512 0
[pid=12712] vsize: 2240
Current children cumulated CPU time (s) 910.65
Current children cumulated vsize (Kb) 4368

[startup+970.093 s]
Raw data (loadavg): 1.08 1.02 1.00 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 447 0 0 0 1340 184 0 0 20 0 1 0 1776039419 3031040 417 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12712/statm): 740 417 413 48 0 692 0
[pid=12712] vsize: 2960
Current children cumulated CPU time (s) 918.72
Current children cumulated vsize (Kb) 5088

[startup+980.094 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) R 12707 12707 27660 0 -1 0 509 0 0 0 2100 265 0 0 21 0 1 0 1776039419 3166208 479 4294967295 134512640 134702520 3221223712 3221222608 134552354 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/12712/statm): 773 479 413 48 0 725 0
[pid=12712] vsize: 3092
Current children cumulated CPU time (s) 927.13
Current children cumulated vsize (Kb) 5220

[startup+990.094 s]
Raw data (loadavg): 1.06 1.02 1.00 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 521 0 0 0 2867 346 0 0 18 0 1 0 1776039419 3301376 491 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12712/statm): 806 491 413 48 0 758 0
[pid=12712] vsize: 3224
Current children cumulated CPU time (s) 935.61
Current children cumulated vsize (Kb) 5352

[startup+1000.1 s]
Raw data (loadavg): 1.05 1.02 1.00 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 533 0 0 0 3639 427 0 0 15 0 1 0 1776039419 3301376 503 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12712/statm): 806 503 413 48 0 758 0
[pid=12712] vsize: 3224
Current children cumulated CPU time (s) 944.14
Current children cumulated vsize (Kb) 5352

[startup+1010.1 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) R 12707 12707 27660 0 -1 0 535 0 0 0 4345 528 0 0 16 0 1 0 1776039419 3301376 505 4294967295 134512640 134702520 3221223712 3221222448 134564360 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12712/statm): 806 505 413 48 0 758 0
[pid=12712] vsize: 3224
Current children cumulated CPU time (s) 952.21
Current children cumulated vsize (Kb) 5352

[startup+1020.1 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 540 0 0 0 5087 616 0 0 16 0 1 0 1776039419 3301376 510 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12712/statm): 806 510 413 48 0 758 0
[pid=12712] vsize: 3224
Current children cumulated CPU time (s) 960.51
Current children cumulated vsize (Kb) 5352

[startup+1030.1 s]
Raw data (loadavg): 1.18 1.05 1.01 2/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) R 12707 12707 27660 0 -1 0 545 0 0 0 5839 698 0 0 16 0 1 0 1776039419 3301376 515 4294967295 134512640 134702520 3221223712 3221222992 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12712/statm): 806 515 413 48 0 758 0
[pid=12712] vsize: 3224
Current children cumulated CPU time (s) 968.85
Current children cumulated vsize (Kb) 5352

[startup+1040.1 s]
Raw data (loadavg): 1.15 1.04 1.01 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 555 0 0 0 6619 771 0 0 16 0 1 0 1776039419 3436544 525 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12712/statm): 839 525 413 48 0 791 0
[pid=12712] vsize: 3356
Current children cumulated CPU time (s) 977.38
Current children cumulated vsize (Kb) 5484

[startup+1050.1 s]
Raw data (loadavg): 1.13 1.04 1.01 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 563 0 0 0 7392 854 0 0 16 0 1 0 1776039419 3436544 533 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12712/statm): 839 533 413 48 0 791 0
[pid=12712] vsize: 3356
Current children cumulated CPU time (s) 985.94
Current children cumulated vsize (Kb) 5484

[startup+1060.1 s]
Raw data (loadavg): 1.11 1.04 1.01 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 571 0 0 0 8172 928 0 0 16 0 1 0 1776039419 3436544 541 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12712/statm): 839 541 413 48 0 791 0
[pid=12712] vsize: 3356
Current children cumulated CPU time (s) 994.48
Current children cumulated vsize (Kb) 5484

[startup+1070.1 s]
Raw data (loadavg): 1.09 1.04 1.01 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 573 0 0 0 8905 1022 0 0 16 0 1 0 1776039419 3436544 543 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12712/statm): 839 543 413 48 0 791 0
[pid=12712] vsize: 3356
Current children cumulated CPU time (s) 1002.75
Current children cumulated vsize (Kb) 5484

[startup+1080.1 s]
Raw data (loadavg): 1.16 1.05 1.01 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 574 0 0 0 9630 1115 0 0 16 0 1 0 1776039419 3436544 544 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12712/statm): 839 544 413 48 0 791 0
[pid=12712] vsize: 3356
Current children cumulated CPU time (s) 1010.93
Current children cumulated vsize (Kb) 5484

[startup+1090.1 s]
Raw data (loadavg): 1.13 1.05 1.01 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 579 0 0 0 10400 1194 0 0 16 0 1 0 1776039419 3436544 549 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12712/statm): 839 549 413 48 0 791 0
[pid=12712] vsize: 3356
Current children cumulated CPU time (s) 1019.42
Current children cumulated vsize (Kb) 5484

[startup+1100.1 s]
Raw data (loadavg): 1.11 1.05 1.01 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 586 0 0 0 11186 1273 0 0 16 0 1 0 1776039419 3436544 556 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12712/statm): 839 556 413 48 0 791 0
[pid=12712] vsize: 3356
Current children cumulated CPU time (s) 1028.07
Current children cumulated vsize (Kb) 5484

[startup+1110.11 s]
Raw data (loadavg): 1.09 1.05 1.01 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 592 0 0 0 11949 1357 0 0 16 0 1 0 1776039419 3571712 562 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12712/statm): 872 562 413 48 0 824 0
[pid=12712] vsize: 3488
Current children cumulated CPU time (s) 1036.54
Current children cumulated vsize (Kb) 5616

[startup+1120.11 s]
Raw data (loadavg): 1.08 1.05 1.01 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 593 0 0 0 12733 1434 0 0 16 0 1 0 1776039419 3571712 563 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12712/statm): 872 563 413 48 0 824 0
[pid=12712] vsize: 3488
Current children cumulated CPU time (s) 1045.15
Current children cumulated vsize (Kb) 5616

[startup+1130.11 s]
Raw data (loadavg): 1.07 1.04 1.01 2/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) R 12707 12707 27660 0 -1 0 596 0 0 0 13509 1516 0 0 16 0 1 0 1776039419 3571712 566 4294967295 134512640 134702520 3221223712 3221222992 134553100 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12712/statm): 872 566 413 48 0 824 0
[pid=12712] vsize: 3488
Current children cumulated CPU time (s) 1053.73
Current children cumulated vsize (Kb) 5616

[startup+1140.11 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 598 0 0 0 14248 1605 0 0 15 0 1 0 1776039419 3571712 568 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12712/statm): 872 568 413 48 0 824 0
[pid=12712] vsize: 3488
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (Kb) 5616

[startup+1150.11 s]
Raw data (loadavg): 1.13 1.06 1.01 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 598 0 0 0 14975 1700 0 0 16 0 1 0 1776039419 3571712 568 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12712/statm): 872 568 413 48 0 824 0
[pid=12712] vsize: 3488
Current children cumulated CPU time (s) 1070.23
Current children cumulated vsize (Kb) 5616

[startup+1160.11 s]
Raw data (loadavg): 1.11 1.05 1.01 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 605 0 0 0 15743 1776 0 0 16 0 1 0 1776039419 3571712 575 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12712/statm): 872 575 413 48 0 824 0
[pid=12712] vsize: 3488
Current children cumulated CPU time (s) 1078.67
Current children cumulated vsize (Kb) 5616

[startup+1170.11 s]
Raw data (loadavg): 1.09 1.05 1.01 2/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 607 0 0 0 16508 1861 0 0 16 0 1 0 1776039419 3571712 577 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12712/statm): 872 577 413 48 0 824 0
[pid=12712] vsize: 3488
Current children cumulated CPU time (s) 1087.17
Current children cumulated vsize (Kb) 5616

[startup+1180.11 s]
Raw data (loadavg): 1.08 1.05 1.01 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 608 0 0 0 17280 1941 0 0 16 0 1 0 1776039419 3571712 578 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12712/statm): 872 578 413 48 0 824 0
[pid=12712] vsize: 3488
Current children cumulated CPU time (s) 1095.69
Current children cumulated vsize (Kb) 5616

[startup+1190.11 s]
Raw data (loadavg): 1.06 1.05 1.01 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 611 0 0 0 18053 2019 0 0 16 0 1 0 1776039419 3571712 581 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12712/statm): 872 581 413 48 0 824 0
[pid=12712] vsize: 3488
Current children cumulated CPU time (s) 1104.2
Current children cumulated vsize (Kb) 5616

[startup+1200.12 s]
Raw data (loadavg): 1.05 1.05 1.00 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 611 0 0 0 18784 2111 0 0 16 0 1 0 1776039419 3571712 581 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12712/statm): 872 581 413 48 0 824 0
[pid=12712] vsize: 3488
Current children cumulated CPU time (s) 1112.43
Current children cumulated vsize (Kb) 5616

[startup+1210.12 s]
Raw data (loadavg): 1.04 1.04 1.00 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 613 0 0 0 19517 2205 0 0 16 0 1 0 1776039419 3571712 583 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12712/statm): 872 583 413 48 0 824 0
[pid=12712] vsize: 3488
Current children cumulated CPU time (s) 1120.7
Current children cumulated vsize (Kb) 5616

[startup+1220.12 s]
Raw data (loadavg): 1.04 1.04 1.00 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 618 0 0 0 20331 2269 0 0 16 0 1 0 1776039419 3571712 588 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12712/statm): 872 588 413 48 0 824 0
[pid=12712] vsize: 3488
Current children cumulated CPU time (s) 1129.48
Current children cumulated vsize (Kb) 5616

[startup+1230.12 s]
Raw data (loadavg): 1.03 1.04 1.00 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 622 0 0 0 21122 2343 0 0 16 0 1 0 1776039419 3706880 592 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12712/statm): 905 592 413 48 0 857 0
[pid=12712] vsize: 3620
Current children cumulated CPU time (s) 1138.13
Current children cumulated vsize (Kb) 5748

[startup+1240.12 s]
Raw data (loadavg): 1.03 1.04 1.00 2/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) R 12707 12707 27660 0 -1 0 624 0 0 0 21917 2415 0 0 16 0 1 0 1776039419 3706880 594 4294967295 134512640 134702520 3221223712 3221222992 134553017 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12712/statm): 905 594 413 48 0 857 0
[pid=12712] vsize: 3620
Current children cumulated CPU time (s) 1146.8
Current children cumulated vsize (Kb) 5748

[startup+1250.12 s]
Raw data (loadavg): 1.02 1.04 1.00 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 628 0 0 0 22694 2493 0 0 16 0 1 0 1776039419 3706880 598 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12712/statm): 905 598 413 48 0 857 0
[pid=12712] vsize: 3620
Current children cumulated CPU time (s) 1155.35
Current children cumulated vsize (Kb) 5748

[startup+1260.12 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 630 0 0 0 23477 2567 0 0 16 0 1 0 1776039419 3706880 600 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12712/statm): 905 600 413 48 0 857 0
[pid=12712] vsize: 3620
Current children cumulated CPU time (s) 1163.92
Current children cumulated vsize (Kb) 5748

[startup+1270.13 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 634 0 0 0 24275 2638 0 0 16 0 1 0 1776039419 3706880 604 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12712/statm): 905 604 413 48 0 857 0
[pid=12712] vsize: 3620
Current children cumulated CPU time (s) 1172.61
Current children cumulated vsize (Kb) 5748

[startup+1280.13 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 635 0 0 0 25063 2714 0 0 16 0 1 0 1776039419 3706880 605 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12712/statm): 905 605 413 48 0 857 0
[pid=12712] vsize: 3620
Current children cumulated CPU time (s) 1181.25
Current children cumulated vsize (Kb) 5748

[startup+1290.13 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 639 0 0 0 25856 2787 0 0 16 0 1 0 1776039419 3706880 609 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12712/statm): 905 609 413 48 0 857 0
[pid=12712] vsize: 3620
Current children cumulated CPU time (s) 1189.91
Current children cumulated vsize (Kb) 5748

[startup+1300.13 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 639 0 0 0 26611 2872 0 0 16 0 1 0 1776039419 3706880 609 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12712/statm): 905 609 413 48 0 857 0
[pid=12712] vsize: 3620
Current children cumulated CPU time (s) 1198.31
Current children cumulated vsize (Kb) 5748

[startup+1310.13 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 639 0 0 0 27311 2971 0 0 15 0 1 0 1776039419 3706880 609 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12712/statm): 905 609 413 48 0 857 0
[pid=12712] vsize: 3620
Current children cumulated CPU time (s) 1206.3
Current children cumulated vsize (Kb) 5748



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1310.13 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 12712
Raw data (/proc/12707/stat): 12707 (vallstSAT2005PB) S 12706 12707 27660 0 -1 0 378 3557 0 0 2 1 87821 2524 19 0 1 0 1775944276 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12707/statm): 532 248 485 147 0 385 0
[pid=12707] vsize: 2128
Raw data (/proc/12712/stat): 12712 (vallst) T 12707 12707 27660 0 -1 0 639 0 0 0 27311 2971 0 0 15 0 1 0 1776039419 3706880 609 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12712/statm): 905 609 413 48 0 857 0
[pid=12712] vsize: 3620
Current children cumulated CPU time (s) 1206.3
Current children cumulated vsize (Kb) 5748

Sending SIGTERM to -12707
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=12714
New process pid=12715
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/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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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)
One traced child (pid=12712) 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/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/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/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1665/stat
open syscall for file /proc/1665/status
open syscall for file /proc/1665/cmdline
open syscall for file /proc/1665/environ
open syscall for file /proc/15266/stat
open syscall for file /proc/15266/status
open syscall for file /proc/15266/cmdline
open syscall for file /proc/15266/environ
open syscall for file /proc/27911/stat
open syscall for file /proc/27911/status
open syscall for file /proc/27911/cmdline
open syscall for file /proc/27911/environ
open syscall for file /proc/27938/stat
open syscall for file /proc/27938/status
open syscall for file /proc/27938/cmdline
open syscall for file /proc/27938/environ
open syscall for file /proc/27962/stat
open syscall for file /proc/27962/status
open syscall for file /proc/27962/cmdline
open syscall for file /proc/27962/environ
open syscall for file /proc/10488/stat
open syscall for file /proc/10488/status
open syscall for file /proc/10488/cmdline
open syscall for file /proc/10488/environ
open syscall for file /proc/10750/stat
open syscall for file /proc/10750/status
open syscall for file /proc/10750/cmdline
open syscall for file /proc/10750/environ
open syscall for file /proc/30349/stat
open syscall for file /proc/30349/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/30349/cmdline
open syscall for file /proc/30349/environ
open syscall for file /proc/30384/stat
open syscall for file /proc/30384/status
open syscall for file /proc/30384/cmdline
open syscall for file /proc/30384/environ
open syscall for file /proc/27660/stat
open syscall for file /proc/27660/status
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/27660/cmdline
open syscall for file /proc/27660/environ
open syscall for file /proc/27661/stat
open syscall for file /proc/27661/status
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/27661/cmdline
open syscall for file /proc/27661/environ
open syscall for file /proc/27670/stat
open syscall for file /proc/27670/status
open syscall for file /proc/27670/cmdline
open syscall for file /proc/27670/environ
open syscall for file /proc/12670/stat
open syscall for file /proc/12670/status
open syscall for file /proc/12670/cmdline
open syscall for file /proc/12670/environ
open syscall for file /proc/12706/stat
open syscall for file /proc/12706/status
open syscall for file /proc/12706/cmdline
open syscall for file /proc/12706/environ
open syscall for file /proc/12707/stat
open syscall for file /proc/12707/status
open syscall for file /proc/12707/cmdline
open syscall for file /proc/12707/environ
open syscall for file /proc/12714/stat
open syscall for file /proc/12714/status
open syscall for file /proc/12714/cmdline
open syscall for file /proc/12714/environ
open syscall for file /proc/12715/stat
open syscall for file /proc/12715/status
open syscall for file /proc/12715/cmdline
open syscall for file /proc/12715/environ
One traced child (pid=12714) exited with status: 0
One traced child (pid=12715) exited with status: 0
New process pid=12716
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=12716) exited with status: 0
New process pid=12717
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=12717) exited with status: 0
One traced child (pid=12707) 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): 1310.64
CPU time (s): 1206.46
CPU user time (s): 1151.41
CPU system time (s): 55.0516
CPU usage (%): 92.0517
Max. virtual memory (cumulated for all children) (Kb): 15812

Verifier Data

ERROR: no interpretation found !