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/miplib/normalized-mps-v2-20-10-misc07.opb
MD5SUMf204f0495d2a5caf7ce1d50b166e58a2
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.14
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 4283

Launcher Data

LAUNCH ON wulflinc8 THE 2005-09-19 06:06:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7555 boxname=wulflinc8 idbench=523 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  f204f0495d2a5caf7ce1d50b166e58a2  /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: 7555
/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:        906512 kB
Buffers:         36168 kB
Cached:          66672 kB
SwapCached:        792 kB
Active:          68756 kB
Inactive:        36772 kB
HighTotal:      131008 kB
HighFree:        60508 kB
LowTotal:       903652 kB
LowFree:        846004 kB
SwapTotal:     2097136 kB
SwapFree:      2095876 kB
Dirty:              68 kB
Writeback:           0 kB
Mapped:           5752 kB
Slab:            16980 kB
Committed_AS:    64132 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 06:28:06 (client local time) WITH STATUS 0 IN 1207.32 SECONDS
stats: 7555 7 1207.32 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 26  (#equs: 0)
#decisions: 541;  #end-nodes: 190;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 23 / 134 (80)
#axs: 248, #non-axs: 50
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:  1069339646 (1078144000:>=*);
#decisions: 19;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 248, #non-axs: 50
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:  1069416446 (1078067200:>=*);
#decisions: 14;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 248, #non-axs: 50
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:  1069493246 (1077990400:>=*);
#decisions: 17;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 248, #non-axs: 50
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:  1069570046 (1077913600:>=*);
#decisions: 15;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 248, #non-axs: 50
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:  1069646846 (1077836800:>=*);
#decisions: 27;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 248, #non-axs: 51
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:  1069657086 (1077826560:>=*);
#decisions: 148;  #end-nodes: 76;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 76 / 99 (80)
#axs: 248, #non-axs: 71
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:  1069672446 (1077811200:>=*);
#decisions: 75;  #end-nodes: 20;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 20 / 80 (80)
#axs: 248, #non-axs: 74
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:  1069749246 (1077734400:>=*);
#decisions: 29;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 248, #non-axs: 74
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:  1069790206 (1077693440:>=*);
#decisions: 49;  #end-nodes: 16;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 16 / 80 (80)
#axs: 248, #non-axs: 77
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:  1069867006 (1077616640:>=*);
#decisions: 108;  #end-nodes: 38;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 38 / 90 (80)
#axs: 248, #non-axs: 86
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:  1069872126 (1077611520:>=*);
#decisions: 56;  #end-nodes: 22;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 22 / 80 (80)
#axs: 248, #non-axs: 86
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:  1069948926 (1077534720:>=*);
#decisions: 72;  #end-nodes: 29;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 29 / 80 (80)
#axs: 248, #non-axs: 86
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:  1070025726 (1077457920:>=*);
#decisions: 1388;  #end-nodes: 755;
#proof improvement attempts: 0;  #restarts: 3
Current batch, end-nodes: 5 / 87 (80)
#axs: 248, #non-axs: 298
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:  1070056446 (1077427200:>=*);
#decisions: 42;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 248, #non-axs: 298
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:  1070133246 (1077350400:>=*);
#decisions: 51;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 248, #non-axs: 299
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:  1070210046 (1077273600:>=*);
#decisions: 62;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 248, #non-axs: 299
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: 46;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 248, #non-axs: 300
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:  1070363646 (1077120000:>=*);
#decisions: 118;  #end-nodes: 47;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 47 / 80 (80)
#axs: 248, #non-axs: 305
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:  1070440446 (1077043200:>=*);
#decisions: 1241;  #end-nodes: 602;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 303 / 364 (80)
#axs: 248, #non-axs: 570
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:  1070491646 (1076992000:>=*);
#decisions: 1627;  #end-nodes: 829;
#proof improvement attempts: 0;  #restarts: 6
Current batch, end-nodes: 18 / 97 (81)
#axs: 248, #non-axs: 987
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: 2094;  #end-nodes: 1085;
#proof improvement attempts: 0;  #restarts: 4
Current batch, end-nodes: 115 / 309 (81)
#axs: 248, #non-axs: 1518
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:  1070624766 (1076858880:>=*);
#decisions: 812;  #end-nodes: 370;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 178 / 214 (80)
#axs: 248, #non-axs: 1712
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:  1070655486 (1076828160:>=*);
#decisions: 3743;  #end-nodes: 1983;
#proof improvement attempts: 0;  #restarts: 8
Current batch, end-nodes: 606 / 879 (82)
#axs: 248, #non-axs: 2600
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:  1070681086 (1076802560:>=*);
#decisions: 13051;  #end-nodes: 7042;
#proof improvement attempts: 0;  #restarts: 40
Current batch, end-nodes: 1094 / 1348 (90)
#axs: 248, #non-axs: 4586
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:  1070706686 (1076776960:>=*);
#decisions: 3077;  #end-nodes: 1751;
#proof improvement attempts: 0;  #restarts: 6
Current batch, end-nodes: 155 / 200 (81)
#axs: 248, #non-axs: 4983
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:  1070752766 (1076730880:>=*);
#decisions: 24374;  #end-nodes: 13738;
#proof improvement attempts: 0;  #restarts: 58
Current batch, end-nodes: 17 / 95 (94)
#axs: 248, #non-axs: 7147
tight: meta-meta: start: 6, end: 9;  meta: start: 7, end (keep): 13
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1070757886 (1076725760:>=*);
#decisions: 72430;  #end-nodes: 42893;
#proof improvement attempts: 0;  #restarts: 134
Current batch, end-nodes: 361 / 521 (113)
#axs: 248, #non-axs: 2294
tight: meta-meta: start: 5, end: 7;  meta: start: 3, end (keep): 3
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1070768126 (1076715520:>=*);
#decisions: 22937;  #end-nodes: 12983;
#proof improvement attempts: 0;  #restarts: 61
Current batch, end-nodes: 284 / 534 (95)
#axs: 248, #non-axs: 1810
tight: meta-meta: start: 5, end: 7;  meta: start: 3, end (keep): 3
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1070809086 (1076674560:>=*);
#decisions: 22569;  #end-nodes: 13792;
#proof improvement attempts: 0;  #restarts: 41
Current batch, end-nodes: 75 / 159 (90)
#axs: 248, #non-axs: 1759
tight: meta-meta: start: 5, end: 7;  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: 1240097;  #end-nodes: 909253;
#proof improvement attempts: 0;  #restarts: 672
Current batch, end-nodes: 0 / 511 (247)
#axs: 248, #non-axs: 3413
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): 42
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, 6 sec

2:
seed: 0
Nr of vars set: 30  (#equs: 0)
Nr of vars set: 30  (#equs: 0)
Interupt request received.
#decisions: 986738;  #end-nodes: 721253;
#proof improvement attempts: 0;  #restarts: 487
Current batch, end-nodes: 6182 / 7035 (241)
#axs: 248, #non-axs: 3745
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): 42
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 218  (#equs: 0)
Time taken: 5 min, 0 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/12395/stat): 12395 (vallstSAT2005PB) R 12394 12395 27660 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1775811099 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12395/statm): 174 3 169 147 0 27 0
[pid=12395] 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=12396
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=12396) exited with status: 0
New process pid=12397
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=12397) exited with status: 0
New process pid=12398
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.0037 s]
Raw data (loadavg): 0.62 0.87 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 222 0 0 0 945 16 0 0 25 0 1 0 1775811106 2019328 192 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 493 192 413 48 0 445 0
[pid=12398] vsize: 1972
Current children cumulated CPU time (s) 9.63
Current children cumulated vsize (Kb) 4100

[startup+20.0045 s]
Raw data (loadavg): 0.68 0.87 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 333 0 0 0 1869 43 0 0 24 0 1 0 1775811106 2740224 303 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 669 303 413 48 0 621 0
[pid=12398] vsize: 2676
Current children cumulated CPU time (s) 19.14
Current children cumulated vsize (Kb) 4804

[startup+30.0063 s]
Raw data (loadavg): 0.73 0.88 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 375 0 0 0 2771 75 0 0 25 0 1 0 1775811106 2883584 345 4294967295 134512640 134702520 3221223952 3221223344 134603635 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 704 345 413 48 0 656 0
[pid=12398] vsize: 2816
Current children cumulated CPU time (s) 28.48
Current children cumulated vsize (Kb) 4944

[startup+40.0071 s]
Raw data (loadavg): 0.77 0.88 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 397 0 0 0 3676 109 0 0 24 0 1 0 1775811106 3067904 367 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 749 367 413 48 0 701 0
[pid=12398] vsize: 2996
Current children cumulated CPU time (s) 37.87
Current children cumulated vsize (Kb) 5124

[startup+50.0088 s]
Raw data (loadavg): 0.81 0.88 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 506 0 0 0 4582 140 0 0 25 0 1 0 1775811106 3067904 476 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 749 476 413 48 0 701 0
[pid=12398] vsize: 2996
Current children cumulated CPU time (s) 47.24
Current children cumulated vsize (Kb) 5124

[startup+60.0096 s]
Raw data (loadavg): 0.84 0.89 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 511 0 0 0 5488 174 0 0 19 0 1 0 1775811106 3203072 481 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 782 481 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 56.64
Current children cumulated vsize (Kb) 5256

[startup+70.0104 s]
Raw data (loadavg): 0.86 0.89 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 514 0 0 0 6391 208 0 0 25 0 1 0 1775811106 3203072 484 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 782 484 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 66.01
Current children cumulated vsize (Kb) 5256

[startup+80.0122 s]
Raw data (loadavg): 0.88 0.89 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 514 0 0 0 7325 230 0 0 25 0 1 0 1775811106 3203072 484 4294967295 134512640 134702520 3221223952 3221222848 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 782 484 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 75.57
Current children cumulated vsize (Kb) 5256

[startup+90.0129 s]
Raw data (loadavg): 0.90 0.90 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 514 0 0 0 8288 245 0 0 25 0 1 0 1775811106 3203072 484 4294967295 134512640 134702520 3221223952 3221223232 134553342 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 782 484 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 85.35
Current children cumulated vsize (Kb) 5256

[startup+100.014 s]
Raw data (loadavg): 0.99 0.91 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 514 0 0 0 9193 277 0 0 20 0 1 0 1775811106 3203072 484 4294967295 134512640 134702520 3221223952 3221223232 134552467 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 782 484 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 94.72
Current children cumulated vsize (Kb) 5256

[startup+110.016 s]
Raw data (loadavg): 0.99 0.92 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 515 0 0 0 10089 315 0 0 25 0 1 0 1775811106 3203072 485 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 782 485 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 104.06
Current children cumulated vsize (Kb) 5256

[startup+120.016 s]
Raw data (loadavg): 0.99 0.92 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 520 0 0 0 10992 347 0 0 25 0 1 0 1775811106 3203072 490 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 782 490 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 113.41
Current children cumulated vsize (Kb) 5256

[startup+130.017 s]
Raw data (loadavg): 0.99 0.92 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 520 0 0 0 11901 378 0 0 25 0 1 0 1775811106 3203072 490 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 782 490 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 122.81
Current children cumulated vsize (Kb) 5256

[startup+140.018 s]
Raw data (loadavg): 0.99 0.92 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 520 0 0 0 12807 412 0 0 25 0 1 0 1775811106 3203072 490 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 782 490 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 132.21
Current children cumulated vsize (Kb) 5256

[startup+150.02 s]
Raw data (loadavg): 0.99 0.92 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 520 0 0 0 13715 446 0 0 21 0 1 0 1775811106 3203072 490 4294967295 134512640 134702520 3221223952 3221223232 134553512 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 782 490 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 141.63
Current children cumulated vsize (Kb) 5256

[startup+160.02 s]
Raw data (loadavg): 0.99 0.93 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 520 0 0 0 14624 479 0 0 25 0 1 0 1775811106 3203072 490 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 782 490 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 151.05
Current children cumulated vsize (Kb) 5256

[startup+170.021 s]
Raw data (loadavg): 0.99 0.93 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 520 0 0 0 15586 491 0 0 25 0 1 0 1775811106 3203072 490 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 782 490 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 160.79
Current children cumulated vsize (Kb) 5256

[startup+180.023 s]
Raw data (loadavg): 0.99 0.93 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 520 0 0 0 16527 512 0 0 25 0 1 0 1775811106 3203072 490 4294967295 134512640 134702520 3221223952 3221222848 134552523 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 782 490 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 170.41
Current children cumulated vsize (Kb) 5256

[startup+190.024 s]
Raw data (loadavg): 0.99 0.93 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 520 0 0 0 17431 546 0 0 25 0 1 0 1775811106 3203072 490 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 782 490 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 179.79
Current children cumulated vsize (Kb) 5256

[startup+200.026 s]
Raw data (loadavg): 0.99 0.93 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 527 0 0 0 18342 578 0 0 25 0 1 0 1775811106 3203072 497 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 782 497 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 189.22
Current children cumulated vsize (Kb) 5256

[startup+210.026 s]
Raw data (loadavg): 0.99 0.94 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 531 0 0 0 19245 613 0 0 21 0 1 0 1775811106 3203072 501 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 782 501 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 198.6
Current children cumulated vsize (Kb) 5256

[startup+220.027 s]
Raw data (loadavg): 0.99 0.94 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 536 0 0 0 20150 645 0 0 22 0 1 0 1775811106 3203072 506 4294967295 134512640 134702520 3221223952 3221223344 134603625 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 782 506 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 207.97
Current children cumulated vsize (Kb) 5256

[startup+230.028 s]
Raw data (loadavg): 0.99 0.94 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 537 0 0 0 21109 660 0 0 25 0 1 0 1775811106 3203072 507 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 782 507 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 217.71
Current children cumulated vsize (Kb) 5256

[startup+240.029 s]
Raw data (loadavg): 0.99 0.94 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 538 0 0 0 22050 683 0 0 25 0 1 0 1775811106 3203072 508 4294967295 134512640 134702520 3221223952 3221223232 134552460 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 782 508 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 227.35
Current children cumulated vsize (Kb) 5256

[startup+250.03 s]
Raw data (loadavg): 0.99 0.94 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 541 0 0 0 22956 717 0 0 25 0 1 0 1775811106 3203072 511 4294967295 134512640 134702520 3221223952 3221223232 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 782 511 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 236.75
Current children cumulated vsize (Kb) 5256

[startup+260.031 s]
Raw data (loadavg): 0.99 0.94 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 546 0 0 0 23860 751 0 0 25 0 1 0 1775811106 3203072 516 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 782 516 413 48 0 734 0
[pid=12398] vsize: 3128
Current children cumulated CPU time (s) 246.13
Current children cumulated vsize (Kb) 5256

[startup+270.032 s]
Raw data (loadavg): 0.99 0.94 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 549 0 0 0 24761 787 0 0 21 0 1 0 1775811106 3338240 519 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 815 519 413 48 0 767 0
[pid=12398] vsize: 3260
Current children cumulated CPU time (s) 255.5
Current children cumulated vsize (Kb) 5388

[startup+280.033 s]
Raw data (loadavg): 0.99 0.95 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 552 0 0 0 25670 817 0 0 25 0 1 0 1775811106 3338240 522 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 815 522 413 48 0 767 0
[pid=12398] vsize: 3260
Current children cumulated CPU time (s) 264.89
Current children cumulated vsize (Kb) 5388

[startup+290.034 s]
Raw data (loadavg): 0.99 0.95 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 557 0 0 0 26574 849 0 0 25 0 1 0 1775811106 3338240 527 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 815 527 413 48 0 767 0
[pid=12398] vsize: 3260
Current children cumulated CPU time (s) 274.25
Current children cumulated vsize (Kb) 5388

[startup+300.035 s]
Raw data (loadavg): 0.99 0.95 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 557 0 0 0 27537 860 0 0 25 0 1 0 1775811106 3338240 527 4294967295 134512640 134702520 3221223952 3221222848 134552509 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 815 527 413 48 0 767 0
[pid=12398] vsize: 3260
Current children cumulated CPU time (s) 283.99
Current children cumulated vsize (Kb) 5388

[startup+310.036 s]
Raw data (loadavg): 0.99 0.95 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 557 0 0 0 28470 883 0 0 25 0 1 0 1775811106 3338240 527 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 815 527 413 48 0 767 0
[pid=12398] vsize: 3260
Current children cumulated CPU time (s) 293.55
Current children cumulated vsize (Kb) 5388

[startup+320.037 s]
Raw data (loadavg): 0.99 0.95 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 559 0 0 0 29376 914 0 0 25 0 1 0 1775811106 3338240 529 4294967295 134512640 134702520 3221223952 3221223232 134552562 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 815 529 413 48 0 767 0
[pid=12398] vsize: 3260
Current children cumulated CPU time (s) 302.92
Current children cumulated vsize (Kb) 5388

[startup+330.039 s]
Raw data (loadavg): 0.99 0.95 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 560 0 0 0 30283 944 0 0 21 0 1 0 1775811106 3338240 530 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 815 530 413 48 0 767 0
[pid=12398] vsize: 3260
Current children cumulated CPU time (s) 312.29
Current children cumulated vsize (Kb) 5388

[startup+340.039 s]
Raw data (loadavg): 0.99 0.95 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 564 0 0 0 31183 976 0 0 25 0 1 0 1775811106 3338240 534 4294967295 134512640 134702520 3221223952 3221223232 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 815 534 413 48 0 767 0
[pid=12398] vsize: 3260
Current children cumulated CPU time (s) 321.61
Current children cumulated vsize (Kb) 5388

[startup+350.041 s]
Raw data (loadavg): 0.99 0.95 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 568 0 0 0 32089 1008 0 0 25 0 1 0 1775811106 3338240 538 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 815 538 413 48 0 767 0
[pid=12398] vsize: 3260
Current children cumulated CPU time (s) 330.99
Current children cumulated vsize (Kb) 5388

[startup+360.043 s]
Raw data (loadavg): 0.99 0.95 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 573 0 0 0 32987 1042 0 0 25 0 1 0 1775811106 3338240 543 4294967295 134512640 134702520 3221223952 3221223232 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 815 543 413 48 0 767 0
[pid=12398] vsize: 3260
Current children cumulated CPU time (s) 340.31
Current children cumulated vsize (Kb) 5388

[startup+370.044 s]
Raw data (loadavg): 0.99 0.95 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 573 0 0 0 33946 1058 0 0 25 0 1 0 1775811106 3338240 543 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 815 543 413 48 0 767 0
[pid=12398] vsize: 3260
Current children cumulated CPU time (s) 350.06
Current children cumulated vsize (Kb) 5388

[startup+380.045 s]
Raw data (loadavg): 0.99 0.96 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 575 0 0 0 34893 1076 0 0 17 0 1 0 1775811106 3338240 545 4294967295 134512640 134702520 3221223952 3221223232 134557196 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 815 545 413 48 0 767 0
[pid=12398] vsize: 3260
Current children cumulated CPU time (s) 359.71
Current children cumulated vsize (Kb) 5388

[startup+390.046 s]
Raw data (loadavg): 0.99 0.96 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 577 0 0 0 35791 1112 0 0 25 0 1 0 1775811106 3338240 547 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 815 547 413 48 0 767 0
[pid=12398] vsize: 3260
Current children cumulated CPU time (s) 369.05
Current children cumulated vsize (Kb) 5388

[startup+400.047 s]
Raw data (loadavg): 0.99 0.96 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 578 0 0 0 36702 1143 0 0 25 0 1 0 1775811106 3338240 548 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 815 548 413 48 0 767 0
[pid=12398] vsize: 3260
Current children cumulated CPU time (s) 378.47
Current children cumulated vsize (Kb) 5388

[startup+410.048 s]
Raw data (loadavg): 0.99 0.96 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 581 0 0 0 37609 1177 0 0 25 0 1 0 1775811106 3473408 551 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 848 551 413 48 0 800 0
[pid=12398] vsize: 3392
Current children cumulated CPU time (s) 387.88
Current children cumulated vsize (Kb) 5520

[startup+420.049 s]
Raw data (loadavg): 0.99 0.96 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 585 0 0 0 38517 1209 0 0 25 0 1 0 1775811106 3473408 555 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 848 555 413 48 0 800 0
[pid=12398] vsize: 3392
Current children cumulated CPU time (s) 397.28
Current children cumulated vsize (Kb) 5520

[startup+430.05 s]
Raw data (loadavg): 0.99 0.96 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 587 0 0 0 39420 1241 0 0 19 0 1 0 1775811106 3473408 557 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 848 557 413 48 0 800 0
[pid=12398] vsize: 3392
Current children cumulated CPU time (s) 406.63
Current children cumulated vsize (Kb) 5520

[startup+440.051 s]
Raw data (loadavg): 0.99 0.96 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 590 0 0 0 40319 1275 0 0 25 0 1 0 1775811106 3473408 560 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 848 560 413 48 0 800 0
[pid=12398] vsize: 3392
Current children cumulated CPU time (s) 415.96
Current children cumulated vsize (Kb) 5520

[startup+450.052 s]
Raw data (loadavg): 0.99 0.96 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 592 0 0 0 41213 1314 0 0 25 0 1 0 1775811106 3473408 562 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 848 562 413 48 0 800 0
[pid=12398] vsize: 3392
Current children cumulated CPU time (s) 425.29
Current children cumulated vsize (Kb) 5520

[startup+460.054 s]
Raw data (loadavg): 0.99 0.96 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 595 0 0 0 42115 1347 0 0 20 0 1 0 1775811106 3473408 565 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 848 565 413 48 0 800 0
[pid=12398] vsize: 3392
Current children cumulated CPU time (s) 434.64
Current children cumulated vsize (Kb) 5520

[startup+470.055 s]
Raw data (loadavg): 0.99 0.96 0.95 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 598 0 0 0 43014 1382 0 0 18 0 1 0 1775811106 3473408 568 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 848 568 413 48 0 800 0
[pid=12398] vsize: 3392
Current children cumulated CPU time (s) 443.98
Current children cumulated vsize (Kb) 5520

[startup+480.055 s]
Raw data (loadavg): 0.99 0.97 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 599 0 0 0 43973 1397 0 0 25 0 1 0 1775811106 3473408 569 4294967295 134512640 134702520 3221223952 3221222848 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 848 569 413 48 0 800 0
[pid=12398] vsize: 3392
Current children cumulated CPU time (s) 453.72
Current children cumulated vsize (Kb) 5520

[startup+490.056 s]
Raw data (loadavg): 0.99 0.97 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 599 0 0 0 44922 1415 0 0 25 0 1 0 1775811106 3473408 569 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 848 569 413 48 0 800 0
[pid=12398] vsize: 3392
Current children cumulated CPU time (s) 463.39
Current children cumulated vsize (Kb) 5520

[startup+500.057 s]
Raw data (loadavg): 0.99 0.97 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 602 0 0 0 45818 1450 0 0 25 0 1 0 1775811106 3473408 572 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 848 572 413 48 0 800 0
[pid=12398] vsize: 3392
Current children cumulated CPU time (s) 472.7
Current children cumulated vsize (Kb) 5520

[startup+510.058 s]
Raw data (loadavg): 0.99 0.97 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 718 0 0 0 46733 1479 0 0 25 0 1 0 1775811106 3964928 688 4294967295 134512640 134702520 3221223952 3221223232 134557201 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 968 688 413 48 0 920 0
[pid=12398] vsize: 3872
Current children cumulated CPU time (s) 482.14
Current children cumulated vsize (Kb) 6000

[startup+520.058 s]
Raw data (loadavg): 0.99 0.97 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 941 0 0 0 47650 1509 0 0 25 0 1 0 1775811106 4984832 911 4294967295 134512640 134702520 3221223952 3221223232 134552868 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 1217 911 413 48 0 1169 0
[pid=12398] vsize: 4868
Current children cumulated CPU time (s) 491.61
Current children cumulated vsize (Kb) 6996

[startup+530.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 1177 0 0 0 48563 1540 0 0 25 0 1 0 1775811106 5881856 1147 4294967295 134512640 134702520 3221223952 3221223072 134584546 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 1436 1147 413 48 0 1388 0
[pid=12398] vsize: 5744
Current children cumulated CPU time (s) 501.05
Current children cumulated vsize (Kb) 7872

[startup+540.061 s]
Raw data (loadavg): 0.99 0.97 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 1392 0 0 0 49476 1571 0 0 25 0 1 0 1775811106 6856704 1362 4294967295 134512640 134702520 3221223952 3221223232 134552509 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 1674 1362 413 48 0 1626 0
[pid=12398] vsize: 6696
Current children cumulated CPU time (s) 510.49
Current children cumulated vsize (Kb) 8824

[startup+550.062 s]
Raw data (loadavg): 0.99 0.97 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 1451 0 0 0 50406 1596 0 0 25 0 1 0 1775811106 7028736 1421 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 1716 1421 413 48 0 1668 0
[pid=12398] vsize: 6864
Current children cumulated CPU time (s) 520.04
Current children cumulated vsize (Kb) 8992

[startup+560.063 s]
Raw data (loadavg): 0.99 0.97 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 1528 0 0 0 51333 1623 0 0 25 0 1 0 1775811106 7380992 1498 4294967295 134512640 134702520 3221223952 3221223232 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 1802 1498 413 48 0 1754 0
[pid=12398] vsize: 7208
Current children cumulated CPU time (s) 529.58
Current children cumulated vsize (Kb) 9336

[startup+570.063 s]
Raw data (loadavg): 0.99 0.97 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 1700 0 0 0 52261 1648 0 0 25 0 1 0 1775811106 8015872 1670 4294967295 134512640 134702520 3221223952 3221223336 134609894 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 1957 1670 413 48 0 1909 0
[pid=12398] vsize: 7828
Current children cumulated CPU time (s) 539.11
Current children cumulated vsize (Kb) 9956

[startup+580.065 s]
Raw data (loadavg): 0.99 0.97 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 1701 0 0 0 53192 1673 0 0 25 0 1 0 1775811106 7958528 1670 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 1943 1670 413 48 0 1895 0
[pid=12398] vsize: 7772
Current children cumulated CPU time (s) 548.67
Current children cumulated vsize (Kb) 9900

[startup+590.066 s]
Raw data (loadavg): 0.99 0.97 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 1831 0 0 0 54122 1698 0 0 25 0 1 0 1775811106 8486912 1800 4294967295 134512640 134702520 3221223952 3221223232 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 2072 1800 413 48 0 2024 0
[pid=12398] vsize: 8288
Current children cumulated CPU time (s) 558.22
Current children cumulated vsize (Kb) 10416

[startup+600.067 s]
Raw data (loadavg): 0.99 0.97 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 1986 0 0 0 55052 1724 0 0 25 0 1 0 1775811106 9252864 1955 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 2259 1955 413 48 0 2211 0
[pid=12398] vsize: 9036
Current children cumulated CPU time (s) 567.78
Current children cumulated vsize (Kb) 11164

[startup+610.068 s]
Raw data (loadavg): 0.99 0.97 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 2135 0 0 0 55987 1747 0 0 25 0 1 0 1775811106 9777152 2104 4294967295 134512640 134702520 3221223952 3221223232 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 2387 2104 413 48 0 2339 0
[pid=12398] vsize: 9548
Current children cumulated CPU time (s) 577.36
Current children cumulated vsize (Kb) 11676

[startup+620.069 s]
Raw data (loadavg): 0.99 0.97 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 2284 0 0 0 56917 1773 0 0 25 0 1 0 1775811106 10379264 2253 4294967295 134512640 134702520 3221223952 3221223344 134603380 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 2534 2253 413 48 0 2486 0
[pid=12398] vsize: 10136
Current children cumulated CPU time (s) 586.92
Current children cumulated vsize (Kb) 12264

[startup+630.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 2386 0 0 0 57864 1791 0 0 25 0 1 0 1775811106 10870784 2355 4294967295 134512640 134702520 3221223952 3221222848 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 2654 2355 413 48 0 2606 0
[pid=12398] vsize: 10616
Current children cumulated CPU time (s) 596.57
Current children cumulated vsize (Kb) 12744

[startup+640.072 s]
Raw data (loadavg): 1.07 0.99 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 2387 0 0 0 58802 1812 0 0 25 0 1 0 1775811106 10870784 2356 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 2654 2356 413 48 0 2606 0
[pid=12398] vsize: 10616
Current children cumulated CPU time (s) 606.16
Current children cumulated vsize (Kb) 12744

[startup+650.073 s]
Raw data (loadavg): 1.06 0.99 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 2388 0 0 0 59739 1836 0 0 25 0 1 0 1775811106 10870784 2357 4294967295 134512640 134702520 3221223952 3221223232 134551042 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 2654 2357 413 48 0 2606 0
[pid=12398] vsize: 10616
Current children cumulated CPU time (s) 615.77
Current children cumulated vsize (Kb) 12744

[startup+660.073 s]
Raw data (loadavg): 1.05 0.99 0.96 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 2493 0 0 0 60680 1857 0 0 25 0 1 0 1775811106 11325440 2462 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 2765 2462 413 48 0 2717 0
[pid=12398] vsize: 11060
Current children cumulated CPU time (s) 625.39
Current children cumulated vsize (Kb) 13188

[startup+670.074 s]
Raw data (loadavg): 1.04 0.99 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 2496 0 0 0 61624 1877 0 0 25 0 1 0 1775811106 11272192 2465 4294967295 134512640 134702520 3221223952 3221223072 134573276 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 2752 2465 413 48 0 2704 0
[pid=12398] vsize: 11008
Current children cumulated CPU time (s) 635.03
Current children cumulated vsize (Kb) 13136

[startup+680.075 s]
Raw data (loadavg): 1.04 0.99 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 2546 0 0 0 62572 1895 0 0 25 0 1 0 1775811106 11407360 2515 4294967295 134512640 134702520 3221223952 3221223232 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 2785 2515 413 48 0 2737 0
[pid=12398] vsize: 11140
Current children cumulated CPU time (s) 644.69
Current children cumulated vsize (Kb) 13268

[startup+690.076 s]
Raw data (loadavg): 1.03 0.99 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 2654 0 0 0 63516 1915 0 0 25 0 1 0 1775811106 11919360 2623 4294967295 134512640 134702520 3221223952 3221223232 134557183 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/12398/statm): 2910 2623 413 48 0 2862 0
[pid=12398] vsize: 11640
Current children cumulated CPU time (s) 654.33
Current children cumulated vsize (Kb) 13768

[startup+700.076 s]
Raw data (loadavg): 1.03 0.99 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 2762 0 0 0 64463 1937 0 0 25 0 1 0 1775811106 12324864 2731 4294967295 134512640 134702520 3221223952 3221223224 134553180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3009 2731 413 48 0 2961 0
[pid=12398] vsize: 12036
Current children cumulated CPU time (s) 664.02
Current children cumulated vsize (Kb) 14164

[startup+710.078 s]
Raw data (loadavg): 1.02 0.99 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 2855 0 0 0 65406 1957 0 0 25 0 1 0 1775811106 12804096 2824 4294967295 134512640 134702520 3221223952 3221223232 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3126 2824 413 48 0 3078 0
[pid=12398] vsize: 12504
Current children cumulated CPU time (s) 673.65
Current children cumulated vsize (Kb) 14632

[startup+720.079 s]
Raw data (loadavg): 1.02 0.99 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 2938 0 0 0 66354 1975 0 0 25 0 1 0 1775811106 13168640 2907 4294967295 134512640 134702520 3221223952 3221223232 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3215 2907 413 48 0 3167 0
[pid=12398] vsize: 12860
Current children cumulated CPU time (s) 683.31
Current children cumulated vsize (Kb) 14988

[startup+730.081 s]
Raw data (loadavg): 1.01 0.99 0.96 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 3055 0 0 0 67298 1995 0 0 25 0 1 0 1775811106 13631488 3024 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3328 3024 413 48 0 3280 0
[pid=12398] vsize: 13312
Current children cumulated CPU time (s) 692.95
Current children cumulated vsize (Kb) 15440

[startup+740.082 s]
Raw data (loadavg): 1.01 0.99 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 3145 0 0 0 68246 2014 0 0 25 0 1 0 1775811106 13967360 3114 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3410 3114 413 48 0 3362 0
[pid=12398] vsize: 13640
Current children cumulated CPU time (s) 702.62
Current children cumulated vsize (Kb) 15768

[startup+750.082 s]
Raw data (loadavg): 1.01 0.99 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 3236 0 0 0 69198 2032 0 0 25 0 1 0 1775811106 14422016 3205 4294967295 134512640 134702520 3221223952 3221223232 134551028 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3521 3205 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 712.32
Current children cumulated vsize (Kb) 16212

[startup+760.083 s]
Raw data (loadavg): 1.01 0.99 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 3276 0 0 0 70156 2047 0 0 25 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221222848 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 722.05
Current children cumulated vsize (Kb) 16212

[startup+770.084 s]
Raw data (loadavg): 1.01 0.99 0.96 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 3276 0 0 0 71125 2058 0 0 25 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 731.85
Current children cumulated vsize (Kb) 16212

[startup+780.086 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 3276 0 0 0 72062 2079 0 0 25 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 741.43
Current children cumulated vsize (Kb) 16212

[startup+790.086 s]
Raw data (loadavg): 1.00 0.99 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 3276 0 0 0 72991 2101 0 0 25 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223232 134550752 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 750.94
Current children cumulated vsize (Kb) 16212

[startup+800.087 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 3276 0 0 0 73921 2126 0 0 25 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 760.49
Current children cumulated vsize (Kb) 16212

[startup+810.089 s]
Raw data (loadavg): 1.00 0.99 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 3276 0 0 0 74854 2146 0 0 25 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223232 134552509 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 770.02
Current children cumulated vsize (Kb) 16212

[startup+820.09 s]
Raw data (loadavg): 1.00 0.99 0.96 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 3276 0 0 0 75782 2172 0 0 17 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 779.56
Current children cumulated vsize (Kb) 16212

[startup+830.092 s]
Raw data (loadavg): 1.08 1.00 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 3276 0 0 0 76690 2205 0 0 25 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223232 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 788.97
Current children cumulated vsize (Kb) 16212

[startup+840.092 s]
Raw data (loadavg): 1.07 1.00 0.96 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 3276 0 0 0 77594 2240 0 0 25 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 798.36
Current children cumulated vsize (Kb) 16212

[startup+850.093 s]
Raw data (loadavg): 1.06 1.00 0.96 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 3276 0 0 0 78505 2271 0 0 25 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 807.78
Current children cumulated vsize (Kb) 16212

[startup+860.094 s]
Raw data (loadavg): 1.05 1.00 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 3276 0 0 0 79425 2300 0 0 25 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223232 134552460 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 817.27
Current children cumulated vsize (Kb) 16212

[startup+870.095 s]
Raw data (loadavg): 1.04 1.00 0.96 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 3276 0 0 0 80330 2335 0 0 25 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 826.67
Current children cumulated vsize (Kb) 16212

[startup+880.096 s]
Raw data (loadavg): 1.03 1.00 0.96 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 3276 0 0 0 81237 2368 0 0 25 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 836.07
Current children cumulated vsize (Kb) 16212

[startup+890.097 s]
Raw data (loadavg): 1.03 1.00 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 3276 0 0 0 82140 2399 0 0 25 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 845.41
Current children cumulated vsize (Kb) 16212

[startup+900.098 s]
Raw data (loadavg): 1.02 1.00 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 3276 0 0 0 83057 2427 0 0 25 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 854.86
Current children cumulated vsize (Kb) 16212

[startup+910.1 s]
Raw data (loadavg): 1.02 1.00 0.96 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 3276 0 0 0 83957 2459 0 0 19 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 864.18
Current children cumulated vsize (Kb) 16212

[startup+920.101 s]
Raw data (loadavg): 1.02 1.00 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 3276 0 0 0 84868 2488 0 0 25 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 873.58
Current children cumulated vsize (Kb) 16212

[startup+930.102 s]
Raw data (loadavg): 1.01 1.00 0.96 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 3276 0 0 0 85776 2520 0 0 22 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 882.98
Current children cumulated vsize (Kb) 16212

[startup+940.103 s]
Raw data (loadavg): 1.01 1.00 0.96 1/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) T 12395 12395 27660 0 -1 0 3276 0 0 0 86691 2548 0 0 25 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 892.41
Current children cumulated vsize (Kb) 16212

[startup+950.104 s]
Raw data (loadavg): 1.01 1.00 0.96 2/57 12398
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1775811099 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 242 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12398/stat): 12398 (vallst) R 12395 12395 27660 0 -1 0 3276 0 0 0 87659 2560 0 0 25 0 1 0 1775811106 14422016 3245 4294967295 134512640 134702520 3221223952 3221222848 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12398/statm): 3521 3245 413 48 0 3473 0
[pid=12398] vsize: 14084
Current children cumulated CPU time (s) 902.21
Current children cumulated vsize (Kb) 16212
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=12398) exited with status: 2
New process pid=12399
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=12399) exited with status: 0
New process pid=12400
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.105 s]
Raw data (loadavg): 1.01 1.00 0.96 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 268 0 0 0 420 57 0 0 17 0 1 0 1775906546 2297856 238 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12400/statm): 561 238 413 48 0 513 0
[pid=12400] vsize: 2244
Current children cumulated CPU time (s) 911.11
Current children cumulated vsize (Kb) 4372

[startup+970.106 s]
Raw data (loadavg): 1.08 1.02 0.97 2/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) R 12395 12395 27660 0 -1 0 482 0 0 0 1121 162 0 0 20 0 1 0 1775906546 3043328 452 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12400/statm): 743 452 413 48 0 695 0
[pid=12400] vsize: 2972
Current children cumulated CPU time (s) 919.17
Current children cumulated vsize (Kb) 5100

[startup+980.106 s]
Raw data (loadavg): 1.07 1.02 0.97 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 508 0 0 0 1873 244 0 0 21 0 1 0 1775906546 3178496 478 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12400/statm): 776 478 413 48 0 728 0
[pid=12400] vsize: 3104
Current children cumulated CPU time (s) 927.51
Current children cumulated vsize (Kb) 5232

[startup+990.107 s]
Raw data (loadavg): 1.06 1.01 0.97 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 530 0 0 0 2647 323 0 0 19 0 1 0 1775906546 3313664 500 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12400/statm): 809 500 413 48 0 761 0
[pid=12400] vsize: 3236
Current children cumulated CPU time (s) 936.04
Current children cumulated vsize (Kb) 5364

[startup+1000.11 s]
Raw data (loadavg): 1.05 1.01 0.97 2/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 548 0 0 0 3439 397 0 0 20 0 1 0 1775906546 3313664 518 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12400/statm): 809 518 413 48 0 761 0
[pid=12400] vsize: 3236
Current children cumulated CPU time (s) 944.7
Current children cumulated vsize (Kb) 5364

[startup+1010.11 s]
Raw data (loadavg): 1.04 1.01 0.97 2/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) R 12395 12395 27660 0 -1 0 554 0 0 0 4198 480 0 0 22 0 1 0 1775906546 3313664 524 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12400/statm): 809 524 413 48 0 761 0
[pid=12400] vsize: 3236
Current children cumulated CPU time (s) 953.12
Current children cumulated vsize (Kb) 5364

[startup+1020.11 s]
Raw data (loadavg): 1.11 1.03 0.97 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 555 0 0 0 4917 577 0 0 15 0 1 0 1775906546 3313664 525 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12400/statm): 809 525 413 48 0 761 0
[pid=12400] vsize: 3236
Current children cumulated CPU time (s) 961.28
Current children cumulated vsize (Kb) 5364

[startup+1030.11 s]
Raw data (loadavg): 1.10 1.03 0.97 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 558 0 0 0 5652 671 0 0 16 0 1 0 1775906546 3448832 528 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12400/statm): 842 528 413 48 0 794 0
[pid=12400] vsize: 3368
Current children cumulated CPU time (s) 969.57
Current children cumulated vsize (Kb) 5496

[startup+1040.11 s]
Raw data (loadavg): 1.08 1.03 0.97 2/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 564 0 0 0 6413 753 0 0 16 0 1 0 1775906546 3448832 534 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/12400/statm): 842 534 413 48 0 794 0
[pid=12400] vsize: 3368
Current children cumulated CPU time (s) 978
Current children cumulated vsize (Kb) 5496

[startup+1050.11 s]
Raw data (loadavg): 1.07 1.02 0.97 2/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) R 12395 12395 27660 0 -1 0 568 0 0 0 7164 838 0 0 16 0 1 0 1775906546 3448832 538 4294967295 134512640 134702520 3221223712 3221222832 134586049 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12400/statm): 842 538 413 48 0 794 0
[pid=12400] vsize: 3368
Current children cumulated CPU time (s) 986.36
Current children cumulated vsize (Kb) 5496

[startup+1060.11 s]
Raw data (loadavg): 1.06 1.02 0.97 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 572 0 0 0 7952 911 0 0 16 0 1 0 1775906546 3448832 542 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12400/statm): 842 542 413 48 0 794 0
[pid=12400] vsize: 3368
Current children cumulated CPU time (s) 994.97
Current children cumulated vsize (Kb) 5496

[startup+1070.11 s]
Raw data (loadavg): 1.12 1.04 0.98 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 573 0 0 0 8693 1002 0 0 15 0 1 0 1775906546 3448832 543 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12400/statm): 842 543 413 48 0 794 0
[pid=12400] vsize: 3368
Current children cumulated CPU time (s) 1003.29
Current children cumulated vsize (Kb) 5496

[startup+1080.12 s]
Raw data (loadavg): 1.10 1.04 0.98 2/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 573 0 0 0 9422 1095 0 0 16 0 1 0 1775906546 3448832 543 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/12400/statm): 842 543 413 48 0 794 0
[pid=12400] vsize: 3368
Current children cumulated CPU time (s) 1011.51
Current children cumulated vsize (Kb) 5496

[startup+1090.12 s]
Raw data (loadavg): 1.09 1.04 0.98 2/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) R 12395 12395 27660 0 -1 0 577 0 0 0 10203 1169 0 0 16 0 1 0 1775906546 3448832 547 4294967295 134512640 134702520 3221223712 3221222992 134552439 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12400/statm): 842 547 413 48 0 794 0
[pid=12400] vsize: 3368
Current children cumulated CPU time (s) 1020.06
Current children cumulated vsize (Kb) 5496

[startup+1100.12 s]
Raw data (loadavg): 1.07 1.03 0.98 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 585 0 0 0 11004 1239 0 0 16 0 1 0 1775906546 3448832 555 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12400/statm): 842 555 413 48 0 794 0
[pid=12400] vsize: 3368
Current children cumulated CPU time (s) 1028.77
Current children cumulated vsize (Kb) 5496

[startup+1110.12 s]
Raw data (loadavg): 1.06 1.03 0.98 2/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) R 12395 12395 27660 0 -1 0 591 0 0 0 11777 1319 0 0 16 0 1 0 1775906546 3584000 561 4294967295 134512640 134702520 3221223712 3221222992 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/12400/statm): 875 561 413 48 0 827 0
[pid=12400] vsize: 3500
Current children cumulated CPU time (s) 1037.3
Current children cumulated vsize (Kb) 5628

[startup+1120.12 s]
Raw data (loadavg): 1.05 1.03 0.98 2/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) R 12395 12395 27660 0 -1 0 596 0 0 0 12560 1398 0 0 16 0 1 0 1775906546 3584000 566 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12400/statm): 875 566 413 48 0 827 0
[pid=12400] vsize: 3500
Current children cumulated CPU time (s) 1045.92
Current children cumulated vsize (Kb) 5628

[startup+1130.12 s]
Raw data (loadavg): 1.04 1.03 0.98 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 599 0 0 0 13325 1482 0 0 16 0 1 0 1775906546 3584000 569 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12400/statm): 875 569 413 48 0 827 0
[pid=12400] vsize: 3500
Current children cumulated CPU time (s) 1054.41
Current children cumulated vsize (Kb) 5628

[startup+1140.12 s]
Raw data (loadavg): 1.04 1.03 0.98 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 603 0 0 0 14109 1558 0 0 16 0 1 0 1775906546 3584000 573 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12400/statm): 875 573 413 48 0 827 0
[pid=12400] vsize: 3500
Current children cumulated CPU time (s) 1063.01
Current children cumulated vsize (Kb) 5628

[startup+1150.12 s]
Raw data (loadavg): 1.03 1.03 0.98 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 603 0 0 0 14835 1649 0 0 16 0 1 0 1775906546 3584000 573 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12400/statm): 875 573 413 48 0 827 0
[pid=12400] vsize: 3500
Current children cumulated CPU time (s) 1071.18
Current children cumulated vsize (Kb) 5628

[startup+1160.12 s]
Raw data (loadavg): 1.10 1.04 0.98 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 605 0 0 0 15596 1736 0 0 16 0 1 0 1775906546 3584000 575 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12400/statm): 875 575 413 48 0 827 0
[pid=12400] vsize: 3500
Current children cumulated CPU time (s) 1079.66
Current children cumulated vsize (Kb) 5628

[startup+1170.12 s]
Raw data (loadavg): 1.16 1.06 0.99 2/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) R 12395 12395 27660 0 -1 0 607 0 0 0 16360 1818 0 0 16 0 1 0 1775906546 3584000 577 4294967295 134512640 134702520 3221223712 3221222480 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12400/statm): 875 577 413 48 0 827 0
[pid=12400] vsize: 3500
Current children cumulated CPU time (s) 1088.12
Current children cumulated vsize (Kb) 5628

[startup+1180.13 s]
Raw data (loadavg): 1.13 1.05 0.99 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 611 0 0 0 17145 1893 0 0 16 0 1 0 1775906546 3584000 581 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12400/statm): 875 581 413 48 0 827 0
[pid=12400] vsize: 3500
Current children cumulated CPU time (s) 1096.72
Current children cumulated vsize (Kb) 5628

[startup+1190.13 s]
Raw data (loadavg): 1.11 1.05 0.99 2/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) R 12395 12395 27660 0 -1 0 614 0 0 0 17926 1970 0 0 16 0 1 0 1775906546 3584000 584 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12400/statm): 875 584 413 48 0 827 0
[pid=12400] vsize: 3500
Current children cumulated CPU time (s) 1105.3
Current children cumulated vsize (Kb) 5628

[startup+1200.13 s]
Raw data (loadavg): 1.09 1.05 0.99 2/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) R 12395 12395 27660 0 -1 0 617 0 0 0 18735 2034 0 0 16 0 1 0 1775906546 3584000 587 4294967295 134512640 134702520 3221223712 3221222992 134552981 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12400/statm): 875 587 413 48 0 827 0
[pid=12400] vsize: 3500
Current children cumulated CPU time (s) 1114.03
Current children cumulated vsize (Kb) 5628

[startup+1210.13 s]
Raw data (loadavg): 1.08 1.05 0.99 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 622 0 0 0 19515 2110 0 0 16 0 1 0 1775906546 3584000 592 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12400/statm): 875 592 413 48 0 827 0
[pid=12400] vsize: 3500
Current children cumulated CPU time (s) 1122.59
Current children cumulated vsize (Kb) 5628

[startup+1220.13 s]
Raw data (loadavg): 1.07 1.05 0.99 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 625 0 0 0 20306 2181 0 0 16 0 1 0 1775906546 3719168 595 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12400/statm): 908 595 413 48 0 860 0
[pid=12400] vsize: 3632
Current children cumulated CPU time (s) 1131.21
Current children cumulated vsize (Kb) 5760

[startup+1230.13 s]
Raw data (loadavg): 1.06 1.04 0.99 2/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) R 12395 12395 27660 0 -1 0 625 0 0 0 21043 2272 0 0 16 0 1 0 1775906546 3719168 595 4294967295 134512640 134702520 3221223712 3221222480 134550784 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12400/statm): 908 595 413 48 0 860 0
[pid=12400] vsize: 3632
Current children cumulated CPU time (s) 1139.49
Current children cumulated vsize (Kb) 5760

[startup+1240.13 s]
Raw data (loadavg): 1.05 1.04 0.99 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 626 0 0 0 21779 2363 0 0 16 0 1 0 1775906546 3719168 596 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12400/statm): 908 596 413 48 0 860 0
[pid=12400] vsize: 3632
Current children cumulated CPU time (s) 1147.76
Current children cumulated vsize (Kb) 5760

[startup+1250.13 s]
Raw data (loadavg): 1.11 1.06 0.99 2/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 627 0 0 0 22562 2438 0 0 16 0 1 0 1775906546 3719168 597 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12400/statm): 908 597 413 48 0 860 0
[pid=12400] vsize: 3632
Current children cumulated CPU time (s) 1156.34
Current children cumulated vsize (Kb) 5760

[startup+1260.13 s]
Raw data (loadavg): 1.10 1.06 0.99 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 631 0 0 0 23347 2515 0 0 16 0 1 0 1775906546 3719168 601 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12400/statm): 908 601 413 48 0 860 0
[pid=12400] vsize: 3632
Current children cumulated CPU time (s) 1164.96
Current children cumulated vsize (Kb) 5760

[startup+1270.13 s]
Raw data (loadavg): 1.08 1.05 0.99 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 633 0 0 0 24129 2589 0 0 16 0 1 0 1775906546 3719168 603 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12400/statm): 908 603 413 48 0 860 0
[pid=12400] vsize: 3632
Current children cumulated CPU time (s) 1173.52
Current children cumulated vsize (Kb) 5760

[startup+1280.14 s]
Raw data (loadavg): 1.15 1.07 1.00 2/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) R 12395 12395 27660 0 -1 0 634 0 0 0 24900 2669 0 0 16 0 1 0 1775906546 3719168 604 4294967295 134512640 134702520 3221223712 3221222548 134550176 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/12400/statm): 908 604 413 48 0 860 0
[pid=12400] vsize: 3632
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (Kb) 5760

[startup+1290.14 s]
Raw data (loadavg): 1.12 1.06 1.00 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 635 0 0 0 25665 2749 0 0 16 0 1 0 1775906546 3719168 605 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12400/statm): 908 605 413 48 0 860 0
[pid=12400] vsize: 3632
Current children cumulated CPU time (s) 1190.48
Current children cumulated vsize (Kb) 5760

[startup+1300.14 s]
Raw data (loadavg): 1.10 1.06 1.00 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 635 0 0 0 26386 2844 0 0 16 0 1 0 1775906546 3719168 605 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/12400/statm): 908 605 413 48 0 860 0
[pid=12400] vsize: 3632
Current children cumulated CPU time (s) 1198.64
Current children cumulated vsize (Kb) 5760

[startup+1310.14 s]
Raw data (loadavg): 1.09 1.06 1.00 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 637 0 0 0 27154 2926 0 0 16 0 1 0 1775906546 3719168 607 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12400/statm): 908 607 413 48 0 860 0
[pid=12400] vsize: 3632
Current children cumulated CPU time (s) 1207.14
Current children cumulated vsize (Kb) 5760



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1310.14 s]
Raw data (loadavg): 1.09 1.06 1.00 1/57 12400
Raw data (/proc/12395/stat): 12395 (vallstSAT2005PB) S 12394 12395 27660 0 -1 0 378 3651 0 0 1 1 88065 2567 16 0 1 0 1775811099 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/12395/statm): 532 248 485 147 0 385 0
[pid=12395] vsize: 2128
Raw data (/proc/12400/stat): 12400 (vallst) T 12395 12395 27660 0 -1 0 637 0 0 0 27154 2926 0 0 16 0 1 0 1775906546 3719168 607 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/12400/statm): 908 607 413 48 0 860 0
[pid=12400] vsize: 3632
Current children cumulated CPU time (s) 1207.14
Current children cumulated vsize (Kb) 5760

Sending SIGTERM to -12395
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=12402
New process pid=12403
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 /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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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=12400) 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/12358/stat
open syscall for file /proc/12358/status
open syscall for file /proc/12358/cmdline
open syscall for file /proc/12358/environ
open syscall for file /proc/12394/stat
open syscall for file /proc/12394/status
open syscall for file /proc/12394/cmdline
open syscall for file /proc/12394/environ
open syscall for file /proc/12395/stat
open syscall for file /proc/12395/status
open syscall for file /proc/12395/cmdline
open syscall for file /proc/12395/environ
open syscall for file /proc/12402/stat
open syscall for file /proc/12402/status
open syscall for file /proc/12402/cmdline
open syscall for file /proc/12402/environ
open syscall for file /proc/12403/stat
open syscall for file /proc/12403/status
open syscall for file /proc/12403/cmdline
open syscall for file /proc/12403/environ
One traced child (pid=12402) exited with status: 0
One traced child (pid=12403) exited with status: 0
New process pid=12404
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=12404) exited with status: 0
New process pid=12405
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=12405) exited with status: 0
One traced child (pid=12395) 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): 1207.32
CPU user time (s): 1152.29
CPU system time (s): 55.0326
CPU usage (%): 92.1166
Max. virtual memory (cumulated for all children) (Kb): 16212

Verifier Data

ERROR: no interpretation found !