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/miplib3/normalized-mps-v2-20-10-air05.opb
MD5SUM02b9fdfc96e8b88ab6df67318e21abbc
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 39630
Optimality of the best value was proved NO
Number of terms in the objective function 7195
Biggest coefficient in the objective function 2679
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 3908448
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 2679
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 3908448
Number of bits of the biggest sum of numbers22
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.2
Number of variables7195
Total number of constraints7621
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)7621
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint404

Trace number 4908

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        870956 kB
Buffers:         40700 kB
Cached:          91884 kB
SwapCached:        832 kB
Active:          72584 kB
Inactive:        62644 kB
HighTotal:      131008 kB
HighFree:        35840 kB
LowTotal:       903652 kB
LowFree:        835116 kB
SwapTotal:     2097892 kB
SwapFree:      2096604 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5736 kB
Slab:            22900 kB
Committed_AS:    64132 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 21:14:00 (client local time) WITH STATUS 0 IN 1209.78 SECONDS
stats: 7647 7 1209.78 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 957  (#equs: 0)
#decisions: 40855;  #end-nodes: 7138;
#proof improvement attempts: 0;  #restarts: 70
Current batch, end-nodes: 342 / 373 (97)
#axs: 853, #non-axs: 203
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:  3862580 (45867:>=*);
#decisions: 56;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 853, #non-axs: 203
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:  3862593 (45854:>=*);
#decisions: 6091;  #end-nodes: 1178;
#proof improvement attempts: 0;  #restarts: 13
Current batch, end-nodes: 61 / 83 (83)
#axs: 853, #non-axs: 267
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:  3864632 (43815:>=*);
#decisions: 123;  #end-nodes: 15;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 15 / 80 (80)
#axs: 853, #non-axs: 267
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:  3864673 (43774:>=*);
#decisions: 145;  #end-nodes: 27;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 27 / 80 (80)
#axs: 853, #non-axs: 267
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:  3864676 (43771:>=*);
#decisions: 132;  #end-nodes: 32;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 32 / 80 (80)
#axs: 853, #non-axs: 267
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:  3864791 (43656:>=*);
#decisions: 160;  #end-nodes: 54;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 54 / 80 (80)
#axs: 853, #non-axs: 267
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:  3864881 (43566:>=*);
#decisions: 132;  #end-nodes: 31;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 31 / 80 (80)
#axs: 853, #non-axs: 267
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:  3865174 (43273:>=*);
#decisions: 110;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 853, #non-axs: 267
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:  3865363 (43084:>=*);
#decisions: 12062;  #end-nodes: 3010;
#proof improvement attempts: 0;  #restarts: 21
Current batch, end-nodes: 619 / 934 (85)
#axs: 853, #non-axs: 343
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:  3865979 (42468:>=*);
#decisions: 58;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 853, #non-axs: 343
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:  3866019 (42428:>=*);
#decisions: 123874;  #end-nodes: 34323;
#proof improvement attempts: 0;  #restarts: 245
Current batch, end-nodes: 589 / 649 (141)
#axs: 854, #non-axs: 699
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:  3866305 (42142:>=*);
#decisions: 386;  #end-nodes: 55;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 55 / 80 (80)
#axs: 854, #non-axs: 699
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:  3866583 (41864:>=*);
#decisions: 317;  #end-nodes: 29;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 29 / 80 (80)
#axs: 854, #non-axs: 699
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:  3866690 (41757:>=*);
#decisions: 422;  #end-nodes: 34;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 34 / 80 (80)
#axs: 854, #non-axs: 700
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:  3866776 (41671:>=*);
#decisions: 40257;  #end-nodes: 10737;
#proof improvement attempts: 0;  #restarts: 89
Current batch, end-nodes: 73 / 102 (102)
#axs: 854, #non-axs: 1114
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:  3866971 (41476:>=*);
#decisions: 170;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 854, #non-axs: 1114
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:  3867353 (41094:>=*);
#decisions: 179;  #end-nodes: 21;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 21 / 80 (80)
#axs: 854, #non-axs: 1114
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:  3867354 (41093:>=*);
#decisions: 2558;  #end-nodes: 639;
#proof improvement attempts: 0;  #restarts: 6
Current batch, end-nodes: 77 / 90 (81)
#axs: 854, #non-axs: 1139
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:  3869310 (39137:>=*);
#decisions: 92;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 854, #non-axs: 1139
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:  3869311 (39136:>=*);
#decisions: 85;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 854, #non-axs: 1139
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:  3869316 (39131:>=*);
#decisions: 108;  #end-nodes: 15;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 15 / 80 (80)
#axs: 854, #non-axs: 1139
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:  3869321 (39126:>=*);
#decisions: 113;  #end-nodes: 19;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 19 / 80 (80)
#axs: 854, #non-axs: 1139
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:  3870085 (38362:>=*);
#decisions: 120;  #end-nodes: 34;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 34 / 80 (80)
#axs: 854, #non-axs: 1139
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:  3870253 (38194:>=*);
#decisions: 110;  #end-nodes: 24;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 24 / 80 (80)
#axs: 854, #non-axs: 1139
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:  3870254 (38193:>=*);
#decisions: 146886;  #end-nodes: 43668;
#proof improvement attempts: 0;  #restarts: 288
Current batch, end-nodes: 0 / 155 (151)
#axs: 854, #non-axs: 759
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 3870254 (38193:>=*)

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: 1082  (#equs: 1)
Time taken: 5 min, 33 sec

2:
seed: 0
Nr of vars set: 1082  (#equs: 0)
Nr of vars set: 1082  (#equs: 0)
Interupt request received.
#decisions: 1002606;  #end-nodes: 397147;
#proof improvement attempts: 0;  #restarts: 1157
Current batch, end-nodes: 2518 / 4018 (409)
#axs: 853, #non-axs: 1779
tight: meta-meta: start: 3, end: 4;  meta: start: 6, end (keep): 9
loose: meta-meta: start: 6, end: 8;  meta: start: 12, end (keep): 17
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: 7124  (#equs: 0)
Time taken: 14 min, 35 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/23978/stat): 23978 (vallstSAT2005PB) R 23977 23978 2660 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1852923907 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23978/statm): 174 3 169 147 0 27 0
[pid=23978] 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=23979
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=23979) exited with status: 0
New process pid=23980
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=23980) exited with status: 0
New process pid=23981
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/wulflinc20/normalized-mps-v2-20-10-air05.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0043 s]
Raw data (loadavg): 0.94 0.98 0.99 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 903 0 0 0 877 44 0 0 25 0 1 0 1852923914 5382144 813 4294967295 134512640 134702520 3221223952 3221223392 134617883 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 1314 813 413 48 0 1266 0
[pid=23981] vsize: 5256
Current children cumulated CPU time (s) 9.24
Current children cumulated vsize (Kb) 7384

[startup+20.005 s]
Raw data (loadavg): 0.95 0.98 0.99 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 974 0 0 0 1699 108 0 0 21 0 1 0 1852923914 9912320 884 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2420 884 413 48 0 2372 0
[pid=23981] vsize: 9680
Current children cumulated CPU time (s) 18.1
Current children cumulated vsize (Kb) 11808

[startup+30.0067 s]
Raw data (loadavg): 0.95 0.98 0.99 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1028 0 0 0 2567 154 0 0 24 0 1 0 1852923914 10072064 938 4294967295 134512640 134702520 3221223952 3221223232 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2459 938 413 48 0 2411 0
[pid=23981] vsize: 9836
Current children cumulated CPU time (s) 27.24
Current children cumulated vsize (Kb) 11964

[startup+40.0075 s]
Raw data (loadavg): 0.96 0.98 0.99 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1045 0 0 0 3449 197 0 0 25 0 1 0 1852923914 10076160 955 4294967295 134512640 134702520 3221223952 3221223232 134552270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2460 955 413 48 0 2412 0
[pid=23981] vsize: 9840
Current children cumulated CPU time (s) 36.49
Current children cumulated vsize (Kb) 11968

[startup+50.0092 s]
Raw data (loadavg): 0.97 0.98 0.99 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1098 0 0 0 4380 222 0 0 25 0 1 0 1852923914 10076160 1008 4294967295 134512640 134702520 3221223952 3221223232 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2460 1008 413 48 0 2412 0
[pid=23981] vsize: 9840
Current children cumulated CPU time (s) 46.05
Current children cumulated vsize (Kb) 11968

[startup+60.0099 s]
Raw data (loadavg): 0.97 0.98 0.99 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1116 0 0 0 5303 248 0 0 25 0 1 0 1852923914 10190848 1026 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2488 1026 413 48 0 2440 0
[pid=23981] vsize: 9952
Current children cumulated CPU time (s) 55.54
Current children cumulated vsize (Kb) 12080

[startup+70.0106 s]
Raw data (loadavg): 0.97 0.98 0.99 1/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) T 23978 23978 2660 0 -1 0 1123 0 0 0 6231 272 0 0 25 0 1 0 1852923914 10190848 1033 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2488 1033 413 48 0 2440 0
[pid=23981] vsize: 9952
Current children cumulated CPU time (s) 65.06
Current children cumulated vsize (Kb) 12080

[startup+80.0114 s]
Raw data (loadavg): 0.98 0.98 0.99 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1125 0 0 0 7169 295 0 0 25 0 1 0 1852923914 10190848 1035 4294967295 134512640 134702520 3221223952 3221222848 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2488 1035 413 48 0 2440 0
[pid=23981] vsize: 9952
Current children cumulated CPU time (s) 74.67
Current children cumulated vsize (Kb) 12080

[startup+90.0121 s]
Raw data (loadavg): 0.98 0.98 0.99 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1125 0 0 0 8080 327 0 0 25 0 1 0 1852923914 10190848 1035 4294967295 134512640 134702520 3221223952 3221223232 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2488 1035 413 48 0 2440 0
[pid=23981] vsize: 9952
Current children cumulated CPU time (s) 84.1
Current children cumulated vsize (Kb) 12080

[startup+100.014 s]
Raw data (loadavg): 0.98 0.98 0.99 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1131 0 0 0 8994 358 0 0 25 0 1 0 1852923914 10199040 1041 4294967295 134512640 134702520 3221223952 3221222976 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2490 1041 413 48 0 2442 0
[pid=23981] vsize: 9960
Current children cumulated CPU time (s) 93.55
Current children cumulated vsize (Kb) 12088

[startup+110.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1269 0 0 0 9919 385 0 0 25 0 1 0 1852923914 10199040 1179 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2490 1179 413 48 0 2442 0
[pid=23981] vsize: 9960
Current children cumulated CPU time (s) 103.07
Current children cumulated vsize (Kb) 12088

[startup+120.015 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) T 23978 23978 2660 0 -1 0 1273 0 0 0 10849 411 0 0 25 0 1 0 1852923914 10199040 1183 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2490 1183 413 48 0 2442 0
[pid=23981] vsize: 9960
Current children cumulated CPU time (s) 112.63
Current children cumulated vsize (Kb) 12088

[startup+130.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) T 23978 23978 2660 0 -1 0 1279 0 0 0 11784 433 0 0 25 0 1 0 1852923914 10354688 1189 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23981/statm): 2528 1189 413 48 0 2480 0
[pid=23981] vsize: 10112
Current children cumulated CPU time (s) 122.2
Current children cumulated vsize (Kb) 12240

[startup+140.017 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) T 23978 23978 2660 0 -1 0 1279 0 0 0 12699 462 0 0 25 0 1 0 1852923914 10305536 1189 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2516 1189 413 48 0 2468 0
[pid=23981] vsize: 10064
Current children cumulated CPU time (s) 131.64
Current children cumulated vsize (Kb) 12192

[startup+150.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1281 0 0 0 13610 492 0 0 25 0 1 0 1852923914 10305536 1191 4294967295 134512640 134702520 3221223952 3221223232 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2516 1191 413 48 0 2468 0
[pid=23981] vsize: 10064
Current children cumulated CPU time (s) 141.05
Current children cumulated vsize (Kb) 12192

[startup+160.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1321 0 0 0 14545 513 0 0 25 0 1 0 1852923914 10305536 1231 4294967295 134512640 134702520 3221223952 3221222976 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2516 1231 413 48 0 2468 0
[pid=23981] vsize: 10064
Current children cumulated CPU time (s) 150.61
Current children cumulated vsize (Kb) 12192

[startup+170.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1325 0 0 0 15462 543 0 0 25 0 1 0 1852923914 10305536 1235 4294967295 134512640 134702520 3221223952 3221223232 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2516 1235 413 48 0 2468 0
[pid=23981] vsize: 10064
Current children cumulated CPU time (s) 160.08
Current children cumulated vsize (Kb) 12192

[startup+180.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1328 0 0 0 16392 569 0 0 25 0 1 0 1852923914 10305536 1238 4294967295 134512640 134702520 3221223952 3221223352 134607338 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2516 1238 413 48 0 2468 0
[pid=23981] vsize: 10064
Current children cumulated CPU time (s) 169.64
Current children cumulated vsize (Kb) 12192

[startup+190.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1332 0 0 0 17325 590 0 0 25 0 1 0 1852923914 10305536 1242 4294967295 134512640 134702520 3221223952 3221222976 134553168 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2516 1242 413 48 0 2468 0
[pid=23981] vsize: 10064
Current children cumulated CPU time (s) 179.18
Current children cumulated vsize (Kb) 12192

[startup+200.022 s]
Raw data (loadavg): 1.07 1.00 1.00 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1336 0 0 0 18255 614 0 0 25 0 1 0 1852923914 10305536 1246 4294967295 134512640 134702520 3221223952 3221223232 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2516 1246 413 48 0 2468 0
[pid=23981] vsize: 10064
Current children cumulated CPU time (s) 188.72
Current children cumulated vsize (Kb) 12192

[startup+210.024 s]
Raw data (loadavg): 1.06 1.00 1.00 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1341 0 0 0 19182 641 0 0 25 0 1 0 1852923914 10428416 1251 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2546 1251 413 48 0 2498 0
[pid=23981] vsize: 10184
Current children cumulated CPU time (s) 198.26
Current children cumulated vsize (Kb) 12312

[startup+220.024 s]
Raw data (loadavg): 1.05 1.00 1.00 1/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) T 23978 23978 2660 0 -1 0 1347 0 0 0 20112 662 0 0 25 0 1 0 1852923914 10428416 1257 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23981/statm): 2546 1257 413 48 0 2498 0
[pid=23981] vsize: 10184
Current children cumulated CPU time (s) 207.77
Current children cumulated vsize (Kb) 12312

[startup+230.024 s]
Raw data (loadavg): 1.04 1.00 1.00 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1349 0 0 0 21051 683 0 0 25 0 1 0 1852923914 10428416 1259 4294967295 134512640 134702520 3221223952 3221222976 134551065 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2546 1259 413 48 0 2498 0
[pid=23981] vsize: 10184
Current children cumulated CPU time (s) 217.37
Current children cumulated vsize (Kb) 12312

[startup+240.025 s]
Raw data (loadavg): 1.11 1.02 1.00 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1352 0 0 0 21970 714 0 0 25 0 1 0 1852923914 10428416 1262 4294967295 134512640 134702520 3221223952 3221222848 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2546 1262 413 48 0 2498 0
[pid=23981] vsize: 10184
Current children cumulated CPU time (s) 226.87
Current children cumulated vsize (Kb) 12312

[startup+250.027 s]
Raw data (loadavg): 1.10 1.02 1.00 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1352 0 0 0 22882 740 0 0 25 0 1 0 1852923914 10428416 1262 4294967295 134512640 134702520 3221223952 3221223232 134554270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2546 1262 413 48 0 2498 0
[pid=23981] vsize: 10184
Current children cumulated CPU time (s) 236.25
Current children cumulated vsize (Kb) 12312

[startup+260.027 s]
Raw data (loadavg): 1.08 1.01 1.00 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1356 0 0 0 23822 761 0 0 25 0 1 0 1852923914 10428416 1266 4294967295 134512640 134702520 3221223952 3221120668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2546 1266 413 48 0 2498 0
[pid=23981] vsize: 10184
Current children cumulated CPU time (s) 245.86
Current children cumulated vsize (Kb) 12312

[startup+270.028 s]
Raw data (loadavg): 1.07 1.01 1.00 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1357 0 0 0 24748 788 0 0 25 0 1 0 1852923914 10428416 1267 4294967295 134512640 134702520 3221223952 3221223232 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2546 1267 413 48 0 2498 0
[pid=23981] vsize: 10184
Current children cumulated CPU time (s) 255.39
Current children cumulated vsize (Kb) 12312

[startup+280.029 s]
Raw data (loadavg): 1.06 1.01 1.00 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1362 0 0 0 25690 809 0 0 25 0 1 0 1852923914 10428416 1272 4294967295 134512640 134702520 3221223952 3221222976 134552889 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2546 1272 413 48 0 2498 0
[pid=23981] vsize: 10184
Current children cumulated CPU time (s) 265.02
Current children cumulated vsize (Kb) 12312

[startup+290.03 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1363 0 0 0 26612 838 0 0 25 0 1 0 1852923914 10428416 1273 4294967295 134512640 134702520 3221223952 3221223152 134617883 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2546 1273 413 48 0 2498 0
[pid=23981] vsize: 10184
Current children cumulated CPU time (s) 274.53
Current children cumulated vsize (Kb) 12312

[startup+300.031 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) T 23978 23978 2660 0 -1 0 1364 0 0 0 27530 863 0 0 25 0 1 0 1852923914 10428416 1274 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23981/statm): 2546 1274 413 48 0 2498 0
[pid=23981] vsize: 10184
Current children cumulated CPU time (s) 283.96
Current children cumulated vsize (Kb) 12312

[startup+310.032 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) T 23978 23978 2660 0 -1 0 1364 0 0 0 28452 887 0 0 25 0 1 0 1852923914 10428416 1274 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23981/statm): 2546 1274 413 48 0 2498 0
[pid=23981] vsize: 10184
Current children cumulated CPU time (s) 293.42
Current children cumulated vsize (Kb) 12312

[startup+320.032 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) T 23978 23978 2660 0 -1 0 1517 0 0 0 29375 913 0 0 25 0 1 0 1852923914 10428416 1427 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2546 1427 413 48 0 2498 0
[pid=23981] vsize: 10184
Current children cumulated CPU time (s) 302.91
Current children cumulated vsize (Kb) 12312

[startup+330.034 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1521 0 0 0 30310 935 0 0 25 0 1 0 1852923914 10555392 1431 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2577 1431 413 48 0 2529 0
[pid=23981] vsize: 10308
Current children cumulated CPU time (s) 312.48
Current children cumulated vsize (Kb) 12436

[startup+340.034 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) R 23978 23978 2660 0 -1 0 1522 0 0 0 31247 958 0 0 25 0 1 0 1852923914 10555392 1432 4294967295 134512640 134702520 3221223952 3221222976 134553168 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2577 1432 413 48 0 2529 0
[pid=23981] vsize: 10308
Current children cumulated CPU time (s) 322.08
Current children cumulated vsize (Kb) 12436

[startup+350.035 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 23981
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1852923907 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 242 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23981/stat): 23981 (vallst) T 23978 23978 2660 0 -1 0 1525 0 0 0 32168 985 0 0 25 0 1 0 1852923914 10555392 1435 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23981/statm): 2577 1435 413 48 0 2529 0
[pid=23981] vsize: 10308
Current children cumulated CPU time (s) 331.56
Current children cumulated vsize (Kb) 12436
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=23981) exited with status: 2
New process pid=23982
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=23982) exited with status: 0
New process pid=23983
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+360.037 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 805 0 0 0 720 20 0 0 25 0 1 0 1852959143 5042176 775 4294967295 134512640 134702520 3221223712 3221222848 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 1231 775 413 48 0 1183 0
[pid=23983] vsize: 4924
Current children cumulated CPU time (s) 341.1
Current children cumulated vsize (Kb) 7052

[startup+370.037 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 838 0 0 0 1651 46 0 0 24 0 1 0 1852959143 8728576 808 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23983/statm): 2131 808 413 48 0 2083 0
[pid=23983] vsize: 8524
Current children cumulated CPU time (s) 350.67
Current children cumulated vsize (Kb) 10652

[startup+380.038 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 954 0 0 0 2565 76 0 0 25 0 1 0 1852959143 8876032 924 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23983/statm): 2167 924 413 48 0 2119 0
[pid=23983] vsize: 8668
Current children cumulated CPU time (s) 360.11
Current children cumulated vsize (Kb) 10796

[startup+390.039 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1013 0 0 0 3483 104 0 0 25 0 1 0 1852959143 8876032 983 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2167 983 413 48 0 2119 0
[pid=23983] vsize: 8668
Current children cumulated CPU time (s) 369.57
Current children cumulated vsize (Kb) 10796

[startup+400.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1027 0 0 0 4407 129 0 0 25 0 1 0 1852959143 8876032 997 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2167 997 413 48 0 2119 0
[pid=23983] vsize: 8668
Current children cumulated CPU time (s) 379.06
Current children cumulated vsize (Kb) 10796

[startup+410.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1034 0 0 0 5343 152 0 0 25 0 1 0 1852959143 9019392 1004 4294967295 134512640 134702520 3221223712 3221222608 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2202 1004 413 48 0 2154 0
[pid=23983] vsize: 8808
Current children cumulated CPU time (s) 388.65
Current children cumulated vsize (Kb) 10936

[startup+420.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1034 0 0 0 6277 173 0 0 25 0 1 0 1852959143 8970240 1004 4294967295 134512640 134702520 3221223712 3221222992 134550645 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2190 1004 413 48 0 2142 0
[pid=23983] vsize: 8760
Current children cumulated CPU time (s) 398.2
Current children cumulated vsize (Kb) 10888

[startup+430.044 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 1040 0 0 0 7203 197 0 0 25 0 1 0 1852959143 8970240 1010 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23983/statm): 2190 1010 413 48 0 2142 0
[pid=23983] vsize: 8760
Current children cumulated CPU time (s) 407.7
Current children cumulated vsize (Kb) 10888

[startup+440.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 1046 0 0 0 8128 222 0 0 25 0 1 0 1852959143 8970240 1016 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2190 1016 413 48 0 2142 0
[pid=23983] vsize: 8760
Current children cumulated CPU time (s) 417.2
Current children cumulated vsize (Kb) 10888

[startup+450.045 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 1145 0 0 0 9058 246 0 0 25 0 1 0 1852959143 8970240 1115 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23983/statm): 2190 1115 413 48 0 2142 0
[pid=23983] vsize: 8760
Current children cumulated CPU time (s) 426.74
Current children cumulated vsize (Kb) 10888

[startup+460.047 s]
Raw data (loadavg): 1.08 1.02 1.01 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1150 0 0 0 9985 270 0 0 25 0 1 0 1852959143 9113600 1120 4294967295 134512640 134702520 3221223712 3221222736 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2225 1120 413 48 0 2177 0
[pid=23983] vsize: 8900
Current children cumulated CPU time (s) 436.25
Current children cumulated vsize (Kb) 11028

[startup+470.048 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1152 0 0 0 10920 293 0 0 25 0 1 0 1852959143 9113600 1122 4294967295 134512640 134702520 3221223712 3221222608 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2225 1122 413 48 0 2177 0
[pid=23983] vsize: 8900
Current children cumulated CPU time (s) 445.83
Current children cumulated vsize (Kb) 11028

[startup+480.048 s]
Raw data (loadavg): 1.06 1.01 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1154 0 0 0 11845 320 0 0 25 0 1 0 1852959143 9089024 1124 4294967295 134512640 134702520 3221223712 3221222736 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2219 1124 413 48 0 2171 0
[pid=23983] vsize: 8876
Current children cumulated CPU time (s) 455.35
Current children cumulated vsize (Kb) 11004

[startup+490.049 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1160 0 0 0 12766 345 0 0 25 0 1 0 1852959143 9089024 1130 4294967295 134512640 134702520 3221223712 3221223112 134606953 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2219 1130 413 48 0 2171 0
[pid=23983] vsize: 8876
Current children cumulated CPU time (s) 464.81
Current children cumulated vsize (Kb) 11004

[startup+500.05 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 1333 0 0 0 13694 369 0 0 25 0 1 0 1852959143 9224192 1303 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2252 1303 413 48 0 2204 0
[pid=23983] vsize: 9008
Current children cumulated CPU time (s) 474.33
Current children cumulated vsize (Kb) 11136

[startup+510.052 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1740 0 0 0 14624 393 0 0 25 0 1 0 1852959143 9224192 1710 4294967295 134512640 134702520 3221223712 3221222992 134550661 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2252 1710 413 48 0 2204 0
[pid=23983] vsize: 9008
Current children cumulated CPU time (s) 483.87
Current children cumulated vsize (Kb) 11136

[startup+520.052 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1754 0 0 0 15550 420 0 0 25 0 1 0 1852959143 9224192 1724 4294967295 134512640 134702520 3221223712 3221211168 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2252 1724 413 48 0 2204 0
[pid=23983] vsize: 9008
Current children cumulated CPU time (s) 493.4
Current children cumulated vsize (Kb) 11136

[startup+530.053 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1757 0 0 0 16492 440 0 0 25 0 1 0 1852959143 9367552 1727 4294967295 134512640 134702520 3221223712 3221222608 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2287 1727 413 48 0 2239 0
[pid=23983] vsize: 9148
Current children cumulated CPU time (s) 503.02
Current children cumulated vsize (Kb) 11276

[startup+540.054 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1758 0 0 0 17418 466 0 0 25 0 1 0 1852959143 9318400 1728 4294967295 134512640 134702520 3221223712 3221222992 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2275 1728 413 48 0 2227 0
[pid=23983] vsize: 9100
Current children cumulated CPU time (s) 512.54
Current children cumulated vsize (Kb) 11228

[startup+550.056 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 1762 0 0 0 18349 489 0 0 25 0 1 0 1852959143 9318400 1732 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2275 1732 413 48 0 2227 0
[pid=23983] vsize: 9100
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (Kb) 11228

[startup+560.056 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1764 0 0 0 19265 519 0 0 25 0 1 0 1852959143 9318400 1734 4294967295 134512640 134702520 3221223712 3221222992 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2275 1734 413 48 0 2227 0
[pid=23983] vsize: 9100
Current children cumulated CPU time (s) 531.54
Current children cumulated vsize (Kb) 11228

[startup+570.057 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1766 0 0 0 20190 547 0 0 25 0 1 0 1852959143 9318400 1736 4294967295 134512640 134702520 3221223712 3221222992 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2275 1736 413 48 0 2227 0
[pid=23983] vsize: 9100
Current children cumulated CPU time (s) 541.07
Current children cumulated vsize (Kb) 11228

[startup+580.058 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1902 0 0 0 21121 572 0 0 25 0 1 0 1852959143 9318400 1872 4294967295 134512640 134702520 3221223712 3221222992 134553160 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2275 1872 413 48 0 2227 0
[pid=23983] vsize: 9100
Current children cumulated CPU time (s) 550.63
Current children cumulated vsize (Kb) 11228

[startup+590.059 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1906 0 0 0 22058 595 0 0 25 0 1 0 1852959143 9457664 1876 4294967295 134512640 134702520 3221223712 3221222608 134552981 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2309 1876 413 48 0 2261 0
[pid=23983] vsize: 9236
Current children cumulated CPU time (s) 560.23
Current children cumulated vsize (Kb) 11364

[startup+600.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1906 0 0 0 22989 617 0 0 25 0 1 0 1852959143 9408512 1876 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2297 1876 413 48 0 2249 0
[pid=23983] vsize: 9188
Current children cumulated CPU time (s) 569.76
Current children cumulated vsize (Kb) 11316

[startup+610.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1911 0 0 0 23916 643 0 0 25 0 1 0 1852959143 9408512 1881 4294967295 134512640 134702520 3221223712 3221222992 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2297 1881 413 48 0 2249 0
[pid=23983] vsize: 9188
Current children cumulated CPU time (s) 579.29
Current children cumulated vsize (Kb) 11316

[startup+620.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 1955 0 0 0 24846 668 0 0 25 0 1 0 1852959143 9408512 1925 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2297 1925 413 48 0 2249 0
[pid=23983] vsize: 9188
Current children cumulated CPU time (s) 588.84
Current children cumulated vsize (Kb) 11316

[startup+630.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2007 0 0 0 25783 691 0 0 25 0 1 0 1852959143 9543680 1977 4294967295 134512640 134702520 3221223712 3221222992 134554263 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23983/statm): 2330 1977 413 48 0 2282 0
[pid=23983] vsize: 9320
Current children cumulated CPU time (s) 598.44
Current children cumulated vsize (Kb) 11448

[startup+640.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2040 0 0 0 26719 713 0 0 25 0 1 0 1852959143 10027008 2010 4294967295 134512640 134702520 3221223712 3221222992 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2448 2010 413 48 0 2400 0
[pid=23983] vsize: 9792
Current children cumulated CPU time (s) 608.02
Current children cumulated vsize (Kb) 11920

[startup+650.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2067 0 0 0 27656 735 0 0 25 0 1 0 1852959143 10027008 2037 4294967295 134512640 134702520 3221223712 3221222736 134552884 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2448 2037 413 48 0 2400 0
[pid=23983] vsize: 9792
Current children cumulated CPU time (s) 617.61
Current children cumulated vsize (Kb) 11920

[startup+660.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2069 0 0 0 28593 756 0 0 25 0 1 0 1852959143 10182656 2039 4294967295 134512640 134702520 3221223712 3221222608 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2486 2039 413 48 0 2438 0
[pid=23983] vsize: 9944
Current children cumulated CPU time (s) 627.19
Current children cumulated vsize (Kb) 12072

[startup+670.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2071 0 0 0 29517 782 0 0 25 0 1 0 1852959143 10133504 2041 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2474 2041 413 48 0 2426 0
[pid=23983] vsize: 9896
Current children cumulated CPU time (s) 636.69
Current children cumulated vsize (Kb) 12024

[startup+680.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2072 0 0 0 30449 804 0 0 25 0 1 0 1852959143 10133504 2042 4294967295 134512640 134702520 3221223712 3221071328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2474 2042 413 48 0 2426 0
[pid=23983] vsize: 9896
Current children cumulated CPU time (s) 646.23
Current children cumulated vsize (Kb) 12024

[startup+690.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2077 0 0 0 31384 829 0 0 25 0 1 0 1852959143 10133504 2047 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2474 2047 413 48 0 2426 0
[pid=23983] vsize: 9896
Current children cumulated CPU time (s) 655.83
Current children cumulated vsize (Kb) 12024

[startup+700.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2090 0 0 0 32324 850 0 0 25 0 1 0 1852959143 10133504 2060 4294967295 134512640 134702520 3221223712 3221222992 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2474 2060 413 48 0 2426 0
[pid=23983] vsize: 9896
Current children cumulated CPU time (s) 665.44
Current children cumulated vsize (Kb) 12024

[startup+710.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 2096 0 0 0 33255 874 0 0 18 0 1 0 1852959143 10133504 2066 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23983/statm): 2474 2066 413 48 0 2426 0
[pid=23983] vsize: 9896
Current children cumulated CPU time (s) 674.99
Current children cumulated vsize (Kb) 12024

[startup+720.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2101 0 0 0 34193 897 0 0 25 0 1 0 1852959143 10260480 2071 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2505 2071 413 48 0 2457 0
[pid=23983] vsize: 10020
Current children cumulated CPU time (s) 684.6
Current children cumulated vsize (Kb) 12148

[startup+730.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2105 0 0 0 35134 919 0 0 25 0 1 0 1852959143 10260480 2075 4294967295 134512640 134702520 3221223712 3221222608 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2505 2075 413 48 0 2457 0
[pid=23983] vsize: 10020
Current children cumulated CPU time (s) 694.23
Current children cumulated vsize (Kb) 12148

[startup+740.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2106 0 0 0 36071 942 0 0 25 0 1 0 1852959143 10260480 2076 4294967295 134512640 134702520 3221223712 3221222992 134550647 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2505 2076 413 48 0 2457 0
[pid=23983] vsize: 10020
Current children cumulated CPU time (s) 703.83
Current children cumulated vsize (Kb) 12148

[startup+750.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2111 0 0 0 36998 965 0 0 25 0 1 0 1852959143 10260480 2081 4294967295 134512640 134702520 3221223712 3221222992 134553147 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2505 2081 413 48 0 2457 0
[pid=23983] vsize: 10020
Current children cumulated CPU time (s) 713.33
Current children cumulated vsize (Kb) 12148

[startup+760.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2112 0 0 0 37928 989 0 0 25 0 1 0 1852959143 10260480 2082 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2505 2082 413 48 0 2457 0
[pid=23983] vsize: 10020
Current children cumulated CPU time (s) 722.87
Current children cumulated vsize (Kb) 12148

[startup+770.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2115 0 0 0 38861 1013 0 0 25 0 1 0 1852959143 10260480 2085 4294967295 134512640 134702520 3221223712 3221222992 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2505 2085 413 48 0 2457 0
[pid=23983] vsize: 10020
Current children cumulated CPU time (s) 732.44
Current children cumulated vsize (Kb) 12148

[startup+780.075 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 2121 0 0 0 39798 1036 0 0 25 0 1 0 1852959143 10260480 2091 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2505 2091 413 48 0 2457 0
[pid=23983] vsize: 10020
Current children cumulated CPU time (s) 742.04
Current children cumulated vsize (Kb) 12148

[startup+790.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2125 0 0 0 40731 1061 0 0 25 0 1 0 1852959143 10260480 2095 4294967295 134512640 134702520 3221223712 3221222736 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2505 2095 413 48 0 2457 0
[pid=23983] vsize: 10020
Current children cumulated CPU time (s) 751.62
Current children cumulated vsize (Kb) 12148

[startup+800.077 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 2128 0 0 0 41668 1083 0 0 21 0 1 0 1852959143 10403840 2098 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23983/statm): 2540 2098 413 48 0 2492 0
[pid=23983] vsize: 10160
Current children cumulated CPU time (s) 761.21
Current children cumulated vsize (Kb) 12288

[startup+810.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2130 0 0 0 42613 1101 0 0 25 0 1 0 1852959143 10403840 2100 4294967295 134512640 134702520 3221223712 3221222608 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2540 2100 413 48 0 2492 0
[pid=23983] vsize: 10160
Current children cumulated CPU time (s) 770.84
Current children cumulated vsize (Kb) 12288

[startup+820.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2131 0 0 0 43549 1123 0 0 25 0 1 0 1852959143 10379264 2101 4294967295 134512640 134702520 3221223712 3221222992 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2534 2101 413 48 0 2486 0
[pid=23983] vsize: 10136
Current children cumulated CPU time (s) 780.42
Current children cumulated vsize (Kb) 12264

[startup+830.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2132 0 0 0 44476 1148 0 0 25 0 1 0 1852959143 10379264 2102 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2534 2102 413 48 0 2486 0
[pid=23983] vsize: 10136
Current children cumulated CPU time (s) 789.94
Current children cumulated vsize (Kb) 12264

[startup+840.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2136 0 0 0 45407 1174 0 0 25 0 1 0 1852959143 10379264 2106 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2534 2106 413 48 0 2486 0
[pid=23983] vsize: 10136
Current children cumulated CPU time (s) 799.51
Current children cumulated vsize (Kb) 12264

[startup+850.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2138 0 0 0 46341 1198 0 0 25 0 1 0 1852959143 10379264 2108 4294967295 134512640 134702520 3221223712 3221222992 134552864 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2534 2108 413 48 0 2486 0
[pid=23983] vsize: 10136
Current children cumulated CPU time (s) 809.09
Current children cumulated vsize (Kb) 12264

[startup+860.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2139 0 0 0 47275 1224 0 0 25 0 1 0 1852959143 10379264 2109 4294967295 134512640 134702520 3221223712 3221222992 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2534 2109 413 48 0 2486 0
[pid=23983] vsize: 10136
Current children cumulated CPU time (s) 818.69
Current children cumulated vsize (Kb) 12264

[startup+870.083 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 2144 0 0 0 48203 1248 0 0 25 0 1 0 1852959143 10379264 2114 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23983/statm): 2534 2114 413 48 0 2486 0
[pid=23983] vsize: 10136
Current children cumulated CPU time (s) 828.21
Current children cumulated vsize (Kb) 12264

[startup+880.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2147 0 0 0 49134 1271 0 0 25 0 1 0 1852959143 10379264 2117 4294967295 134512640 134702520 3221223712 3221222736 134557196 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2534 2117 413 48 0 2486 0
[pid=23983] vsize: 10136
Current children cumulated CPU time (s) 837.75
Current children cumulated vsize (Kb) 12264

[startup+890.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2149 0 0 0 50071 1294 0 0 25 0 1 0 1852959143 10379264 2119 4294967295 134512640 134702520 3221223712 3221222608 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2534 2119 413 48 0 2486 0
[pid=23983] vsize: 10136
Current children cumulated CPU time (s) 847.35
Current children cumulated vsize (Kb) 12264

[startup+900.086 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 2150 0 0 0 51000 1316 0 0 25 0 1 0 1852959143 10379264 2120 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2534 2120 413 48 0 2486 0
[pid=23983] vsize: 10136
Current children cumulated CPU time (s) 856.86
Current children cumulated vsize (Kb) 12264

[startup+910.087 s]
Raw data (loadavg): 1.08 1.02 1.01 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2160 0 0 0 51937 1337 0 0 25 0 1 0 1852959143 10379264 2130 4294967295 134512640 134702520 3221223712 3221222992 134553364 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2534 2130 413 48 0 2486 0
[pid=23983] vsize: 10136
Current children cumulated CPU time (s) 866.44
Current children cumulated vsize (Kb) 12264

[startup+920.088 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2161 0 0 0 52867 1361 0 0 25 0 1 0 1852959143 10502144 2131 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2564 2131 413 48 0 2516 0
[pid=23983] vsize: 10256
Current children cumulated CPU time (s) 875.98
Current children cumulated vsize (Kb) 12384

[startup+930.089 s]
Raw data (loadavg): 1.06 1.01 1.00 1/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 2163 0 0 0 53797 1384 0 0 25 0 1 0 1852959143 10502144 2133 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23983/statm): 2564 2133 413 48 0 2516 0
[pid=23983] vsize: 10256
Current children cumulated CPU time (s) 885.51
Current children cumulated vsize (Kb) 12384

[startup+940.09 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2165 0 0 0 54722 1409 0 0 25 0 1 0 1852959143 10502144 2135 4294967295 134512640 134702520 3221223712 3221222992 134552284 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2564 2135 413 48 0 2516 0
[pid=23983] vsize: 10256
Current children cumulated CPU time (s) 895.01
Current children cumulated vsize (Kb) 12384

[startup+950.091 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2167 0 0 0 55651 1433 0 0 25 0 1 0 1852959143 10502144 2137 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2564 2137 413 48 0 2516 0
[pid=23983] vsize: 10256
Current children cumulated CPU time (s) 904.54
Current children cumulated vsize (Kb) 12384

[startup+960.092 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2169 0 0 0 56579 1457 0 0 25 0 1 0 1852959143 10502144 2139 4294967295 134512640 134702520 3221223712 3221222992 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2564 2139 413 48 0 2516 0
[pid=23983] vsize: 10256
Current children cumulated CPU time (s) 914.06
Current children cumulated vsize (Kb) 12384

[startup+970.093 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 2170 0 0 0 57511 1481 0 0 25 0 1 0 1852959143 10502144 2140 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23983/statm): 2564 2140 413 48 0 2516 0
[pid=23983] vsize: 10256
Current children cumulated CPU time (s) 923.62
Current children cumulated vsize (Kb) 12384

[startup+980.095 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2174 0 0 0 58448 1503 0 0 25 0 1 0 1852959143 10502144 2144 4294967295 134512640 134702520 3221223712 3221222608 134552569 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2564 2144 413 48 0 2516 0
[pid=23983] vsize: 10256
Current children cumulated CPU time (s) 933.21
Current children cumulated vsize (Kb) 12384

[startup+990.095 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2174 0 0 0 59375 1529 0 0 25 0 1 0 1852959143 10502144 2144 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2564 2144 413 48 0 2516 0
[pid=23983] vsize: 10256
Current children cumulated CPU time (s) 942.74
Current children cumulated vsize (Kb) 12384

[startup+1000.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2174 0 0 0 60293 1558 0 0 25 0 1 0 1852959143 10502144 2144 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2564 2144 413 48 0 2516 0
[pid=23983] vsize: 10256
Current children cumulated CPU time (s) 952.21
Current children cumulated vsize (Kb) 12384

[startup+1010.1 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2175 0 0 0 61223 1581 0 0 25 0 1 0 1852959143 10502144 2145 4294967295 134512640 134702520 3221223712 3221222992 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2564 2145 413 48 0 2516 0
[pid=23983] vsize: 10256
Current children cumulated CPU time (s) 961.74
Current children cumulated vsize (Kb) 12384

[startup+1020.1 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2178 0 0 0 62154 1605 0 0 25 0 1 0 1852959143 10502144 2148 4294967295 134512640 134702520 3221223712 3221222992 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2564 2148 413 48 0 2516 0
[pid=23983] vsize: 10256
Current children cumulated CPU time (s) 971.29
Current children cumulated vsize (Kb) 12384

[startup+1030.1 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2178 0 0 0 63077 1632 0 0 25 0 1 0 1852959143 10502144 2148 4294967295 134512640 134702520 3221223712 3221222992 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2564 2148 413 48 0 2516 0
[pid=23983] vsize: 10256
Current children cumulated CPU time (s) 980.79
Current children cumulated vsize (Kb) 12384

[startup+1040.1 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2181 0 0 0 64007 1656 0 0 25 0 1 0 1852959143 10502144 2151 4294967295 134512640 134702520 3221223712 3221222992 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2564 2151 413 48 0 2516 0
[pid=23983] vsize: 10256
Current children cumulated CPU time (s) 990.33
Current children cumulated vsize (Kb) 12384

[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2182 0 0 0 64930 1683 0 0 25 0 1 0 1852959143 10502144 2152 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2564 2152 413 48 0 2516 0
[pid=23983] vsize: 10256
Current children cumulated CPU time (s) 999.83
Current children cumulated vsize (Kb) 12384

[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2186 0 0 0 65867 1706 0 0 25 0 1 0 1852959143 10645504 2156 4294967295 134512640 134702520 3221223712 3221222608 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2599 2156 413 48 0 2551 0
[pid=23983] vsize: 10396
Current children cumulated CPU time (s) 1009.43
Current children cumulated vsize (Kb) 12524

[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 2187 0 0 0 66798 1730 0 0 25 0 1 0 1852959143 10596352 2157 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23983/statm): 2587 2157 413 48 0 2539 0
[pid=23983] vsize: 10348
Current children cumulated CPU time (s) 1018.98
Current children cumulated vsize (Kb) 12476

[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2189 0 0 0 67716 1761 0 0 25 0 1 0 1852959143 10596352 2159 4294967295 134512640 134702520 3221223712 3221222736 134550372 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2587 2159 413 48 0 2539 0
[pid=23983] vsize: 10348
Current children cumulated CPU time (s) 1028.47
Current children cumulated vsize (Kb) 12476

[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2190 0 0 0 68637 1787 0 0 25 0 1 0 1852959143 10596352 2160 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2587 2160 413 48 0 2539 0
[pid=23983] vsize: 10348
Current children cumulated CPU time (s) 1037.94
Current children cumulated vsize (Kb) 12476

[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2192 0 0 0 69565 1816 0 0 25 0 1 0 1852959143 10596352 2162 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2587 2162 413 48 0 2539 0
[pid=23983] vsize: 10348
Current children cumulated CPU time (s) 1047.51
Current children cumulated vsize (Kb) 12476

[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2192 0 0 0 70485 1843 0 0 25 0 1 0 1852959143 10596352 2162 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2587 2162 413 48 0 2539 0
[pid=23983] vsize: 10348
Current children cumulated CPU time (s) 1056.98
Current children cumulated vsize (Kb) 12476

[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2192 0 0 0 71407 1867 0 0 25 0 1 0 1852959143 10596352 2162 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2587 2162 413 48 0 2539 0
[pid=23983] vsize: 10348
Current children cumulated CPU time (s) 1066.44
Current children cumulated vsize (Kb) 12476

[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2196 0 0 0 72332 1892 0 0 25 0 1 0 1852959143 10596352 2166 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2587 2166 413 48 0 2539 0
[pid=23983] vsize: 10348
Current children cumulated CPU time (s) 1075.94
Current children cumulated vsize (Kb) 12476

[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2199 0 0 0 73262 1914 0 0 25 0 1 0 1852959143 10596352 2169 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2587 2169 413 48 0 2539 0
[pid=23983] vsize: 10348
Current children cumulated CPU time (s) 1085.46
Current children cumulated vsize (Kb) 12476

[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2201 0 0 0 74193 1937 0 0 25 0 1 0 1852959143 10596352 2171 4294967295 134512640 134702520 3221223712 3221222736 134553162 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2587 2171 413 48 0 2539 0
[pid=23983] vsize: 10348
Current children cumulated CPU time (s) 1095
Current children cumulated vsize (Kb) 12476

[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 2204 0 0 0 75134 1956 0 0 25 0 1 0 1852959143 10596352 2174 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23983/statm): 2587 2174 413 48 0 2539 0
[pid=23983] vsize: 10348
Current children cumulated CPU time (s) 1104.6
Current children cumulated vsize (Kb) 12476

[startup+1170.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 2204 0 0 0 76056 1983 0 0 25 0 1 0 1852959143 10596352 2174 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2587 2174 413 48 0 2539 0
[pid=23983] vsize: 10348
Current children cumulated CPU time (s) 1114.09
Current children cumulated vsize (Kb) 12476

[startup+1180.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2205 0 0 0 76976 2012 0 0 25 0 1 0 1852959143 10596352 2175 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2587 2175 413 48 0 2539 0
[pid=23983] vsize: 10348
Current children cumulated CPU time (s) 1123.58
Current children cumulated vsize (Kb) 12476

[startup+1190.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 2207 0 0 0 77904 2036 0 0 25 0 1 0 1852959143 10596352 2177 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2587 2177 413 48 0 2539 0
[pid=23983] vsize: 10348
Current children cumulated CPU time (s) 1133.1
Current children cumulated vsize (Kb) 12476

[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2214 0 0 0 78824 2064 0 0 25 0 1 0 1852959143 10596352 2184 4294967295 134512640 134702520 3221223712 3221222932 134550217 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2587 2184 413 48 0 2539 0
[pid=23983] vsize: 10348
Current children cumulated CPU time (s) 1142.58
Current children cumulated vsize (Kb) 12476

[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2215 0 0 0 79745 2092 0 0 25 0 1 0 1852959143 10727424 2185 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2619 2185 413 48 0 2571 0
[pid=23983] vsize: 10476
Current children cumulated CPU time (s) 1152.07
Current children cumulated vsize (Kb) 12604

[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) T 23978 23978 2660 0 -1 0 2222 0 0 0 80678 2112 0 0 25 0 1 0 1852959143 10727424 2192 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2619 2192 413 48 0 2571 0
[pid=23983] vsize: 10476
Current children cumulated CPU time (s) 1161.6
Current children cumulated vsize (Kb) 12604

[startup+1230.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2228 0 0 0 81609 2137 0 0 25 0 1 0 1852959143 10727424 2198 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2619 2198 413 48 0 2571 0
[pid=23983] vsize: 10476
Current children cumulated CPU time (s) 1171.16
Current children cumulated vsize (Kb) 12604

[startup+1240.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2232 0 0 0 82536 2163 0 0 25 0 1 0 1852959143 10727424 2202 4294967295 134512640 134702520 3221223712 3221222992 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2619 2202 413 48 0 2571 0
[pid=23983] vsize: 10476
Current children cumulated CPU time (s) 1180.69
Current children cumulated vsize (Kb) 12604

[startup+1250.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2234 0 0 0 83467 2188 0 0 25 0 1 0 1852959143 10727424 2204 4294967295 134512640 134702520 3221223712 3221222736 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2619 2204 413 48 0 2571 0
[pid=23983] vsize: 10476
Current children cumulated CPU time (s) 1190.25
Current children cumulated vsize (Kb) 12604

[startup+1260.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2237 0 0 0 84407 2208 0 0 25 0 1 0 1852959143 10727424 2207 4294967295 134512640 134702520 3221223712 3221222608 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2619 2207 413 48 0 2571 0
[pid=23983] vsize: 10476
Current children cumulated CPU time (s) 1199.85
Current children cumulated vsize (Kb) 12604

[startup+1270.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2237 0 0 0 85334 2233 0 0 25 0 1 0 1852959143 10727424 2207 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2619 2207 413 48 0 2571 0
[pid=23983] vsize: 10476
Current children cumulated CPU time (s) 1209.37
Current children cumulated vsize (Kb) 12604



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1270.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23983
Raw data (/proc/23978/stat): 23978 (vallstSAT2005PB) S 23977 23978 2660 0 -1 0 378 1900 0 0 1 1 32371 997 19 0 1 0 1852923907 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23978/statm): 532 248 485 147 0 385 0
[pid=23978] vsize: 2128
Raw data (/proc/23983/stat): 23983 (vallst) R 23978 23978 2660 0 -1 0 2237 0 0 0 85334 2233 0 0 25 0 1 0 1852959143 10727424 2207 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23983/statm): 2619 2207 413 48 0 2571 0
[pid=23983] vsize: 10476
Current children cumulated CPU time (s) 1209.37
Current children cumulated vsize (Kb) 12604

Sending SIGTERM to -23978
Sleeping 2 seconds
New process pid=23985
New process pid=23986
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/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/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/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/1282/stat
open syscall for file /proc/1282/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/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/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/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/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/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/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/21233/stat
open syscall for file /proc/21233/status
open syscall for file /proc/21233/cmdline
open syscall for file /proc/21233/environ
open syscall for file /proc/20037/stat
open syscall for file /proc/20037/status
open syscall for file /proc/20037/cmdline
open syscall for file /proc/20037/environ
open syscall for file /proc/20064/stat
open syscall for file /proc/20064/status
open syscall for file /proc/20064/cmdline
open syscall for file /proc/20064/environ
open syscall for file /proc/20088/stat
open syscall for file /proc/20088/status
open syscall for file /proc/20088/cmdline
open syscall for file /proc/20088/environ
open syscall for file /proc/4269/stat
open syscall for file /proc/4269/status
open syscall for file /proc/4269/cmdline
open syscall for file /proc/4269/environ
open syscall for file /proc/17737/stat
open syscall for file /proc/17737/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/17737/cmdline
open syscall for file /proc/17737/environ
open syscall for file /proc/17772/stat
open syscall for file /proc/17772/status
open syscall for file /proc/17772/cmdline
open syscall for file /proc/17772/environ
open syscall for file /proc/2660/stat
open syscall for file /proc/2660/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/2660/cmdline
open syscall for file /proc/2660/environ
open syscall for file /proc/2661/stat
open syscall for file /proc/2661/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/2661/cmdline
open syscall for file /proc/2661/environ
open syscall for file /proc/2670/stat
open syscall for file /proc/2670/status
open syscall for file /proc/2670/cmdline
open syscall for file /proc/2670/environ
open syscall for file /proc/23941/stat
open syscall for file /proc/23941/status
open syscall for file /proc/23941/cmdline
open syscall for file /proc/23941/environ
open syscall for file /proc/23977/stat
open syscall for file /proc/23977/status
open syscall for file /proc/23977/cmdline
open syscall for file /proc/23977/environ
open syscall for file /proc/23978/stat
open syscall for file /proc/23978/status
open syscall for file /proc/23978/cmdline
open syscall for file /proc/23978/environ
open syscall for file /proc/23983/stat
open syscall for file /proc/23983/status
open syscall for file /proc/23983/cmdline
open syscall for file /proc/23983/environ
open syscall for file /proc/23985/stat
open syscall for file /proc/23985/status
open syscall for file /proc/23985/cmdline
open syscall for file /proc/23985/environ
open syscall for file /proc/23986/stat
open syscall for file /proc/23986/status
open syscall for file /proc/23986/cmdline
open syscall for file /proc/23986/environ
One traced child (pid=23985) exited with status: 0
One traced child (pid=23986) exited with status: 0
New process pid=23987
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
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=23983) exited with status: 3
One traced child (pid=23987) exited with status: 0
New process pid=23988
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=23988) exited with status: 0
One traced child (pid=23978) 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): 1270.63
CPU time (s): 1209.78
CPU user time (s): 1177.36
CPU system time (s): 32.4201
CPU usage (%): 95.2104
Max. virtual memory (cumulated for all children) (Kb): 12604

Verifier Data

ERROR: no interpretation found !