Some explanations

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

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air05.opb
MD5SUMa0fff131fa124ee4d61d9b3bf266a4ba
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 38469
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.14
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 4300

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        911576 kB
Buffers:         28836 kB
Cached:          68688 kB
SwapCached:        872 kB
Active:          26752 kB
Inactive:        73304 kB
HighTotal:      131008 kB
HighFree:        59080 kB
LowTotal:       903652 kB
LowFree:        852496 kB
SwapTotal:     2097136 kB
SwapFree:      2095648 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5672 kB
Slab:            17196 kB
Committed_AS:    72360 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 06:37:01 (client local time) WITH STATUS 0 IN 1201.85 SECONDS
stats: 7590 7 1201.85 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 957  (#equs: 0)
#decisions: 1300;  #end-nodes: 24;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 24 / 80 (80)
#axs: 853, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  3864624 (43823:>=*);
#decisions: 1302;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 853, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3864625 (43822:>=*);
#decisions: 1302;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 853, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3864757 (43690:>=*);
#decisions: 1312;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 853, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3864802 (43645:>=*);
#decisions: 54588;  #end-nodes: 10589;
#proof improvement attempts: 0;  #restarts: 92
Current batch, end-nodes: 378 / 616 (103)
#axs: 853, #non-axs: 365
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:  3865963 (42484:>=*);
#decisions: 59;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 853, #non-axs: 365
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:  3866139 (42308:>=*);
#decisions: 54;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 853, #non-axs: 365
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:  3866156 (42291:>=*);
#decisions: 59;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 853, #non-axs: 365
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:  3866246 (42201:>=*);
#decisions: 61;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 853, #non-axs: 365
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:  3867077 (41370:>=*);
#decisions: 85;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 853, #non-axs: 365
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:  3867094 (41353:>=*);
#decisions: 64;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 853, #non-axs: 365
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:  3867270 (41177:>=*);
#decisions: 44;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 853, #non-axs: 365
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:  3867287 (41160:>=*);
#decisions: 94;  #end-nodes: 23;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 23 / 80 (80)
#axs: 853, #non-axs: 365
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:  3867483 (40964:>=*);
#decisions: 75;  #end-nodes: 23;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 23 / 80 (80)
#axs: 853, #non-axs: 365
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:  3867507 (40940:>=*);
#decisions: 100;  #end-nodes: 53;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 53 / 80 (80)
#axs: 853, #non-axs: 365
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:  3867527 (40920:>=*);
#decisions: 270326;  #end-nodes: 90526;
#proof improvement attempts: 0;  #restarts: 480
Current batch, end-nodes: 0 / 201 (199)
#axs: 853, #non-axs: 813
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 29, end (keep): 48
Model found with constant:
  (pushed:) 3867527 (40920:>=*)

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

2:
seed: 0
Nr of vars set: 1085  (#equs: 0)
Nr of vars set: 1085  (#equs: 0)
#decisions: 111534;  #end-nodes: 39730;
#proof improvement attempts: 0;  #restarts: 203
Current batch, end-nodes: 192 / 256 (170)
#axs: 853, #non-axs: 1251
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 29, end (keep): 48
result: model found (1)
Model found with constant:  3316116 (40411:>=*);
#decisions: 344;  #end-nodes: 34;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 34 / 120 (120)
#axs: 853, #non-axs: 1251
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 29, end (keep): 48
Model found with constant:  3316352 (40175:>=*);
#decisions: 194;  #end-nodes: 16;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 16 / 120 (120)
#axs: 853, #non-axs: 1251
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 29, end (keep): 48
Model found with constant:  3316356 (40171:>=*);
#decisions: 106419;  #end-nodes: 37514;
#proof improvement attempts: 0;  #restarts: 210
Current batch, end-nodes: 512 / 600 (172)
#axs: 853, #non-axs: 1487
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 29, end (keep): 48
Model found with constant:  3316372 (40155:>=*);
#decisions: 111;  #end-nodes: 14;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 14 / 120 (120)
#axs: 853, #non-axs: 1487
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 29, end (keep): 48
Model found with constant:  3316530 (39997:>=*);
#decisions: 124;  #end-nodes: 20;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 20 / 120 (120)
#axs: 853, #non-axs: 1487
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 29, end (keep): 48
Model found with constant:  3316597 (39930:>=*);
#decisions: 96;  #end-nodes: 24;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 24 / 120 (120)
#axs: 853, #non-axs: 1487
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 29, end (keep): 48
Model found with constant:  3316638 (39889:>=*);
#decisions: 649214;  #end-nodes: 261671;
#proof improvement attempts: 0;  #restarts: 893
Current batch, end-nodes: 487 / 1052 (343)
#axs: 854, #non-axs: 2932
tight: meta-meta: start: 4, end: 5;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 6, end: 9;  meta: start: 15, end (keep): 19
Model found with constant:  3316928 (39599:>=*);
#decisions: 63;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 120 (120)
#axs: 854, #non-axs: 2932
tight: meta-meta: start: 4, end: 5;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 6, end: 9;  meta: start: 15, end (keep): 19
Model found with constant:  3317162 (39365:>=*);
#decisions: 65;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 120 (120)
#axs: 854, #non-axs: 2932
tight: meta-meta: start: 4, end: 5;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 6, end: 9;  meta: start: 15, end (keep): 19
Model found with constant:  3317254 (39273:>=*);
#decisions: 83;  #end-nodes: 31;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 31 / 120 (120)
#axs: 854, #non-axs: 2932
tight: meta-meta: start: 4, end: 5;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 6, end: 9;  meta: start: 15, end (keep): 19
Model found with constant:  3317264 (39263:>=*);
Interupt request received.
#decisions: 68290;  #end-nodes: 22421;
#proof improvement attempts: 0;  #restarts: 128
Current batch, end-nodes: 86 / 152 (152)
#axs: 854, #non-axs: 1518
tight: meta-meta: start: 3, end: 4;  meta: start: 7, end (keep): 11
loose: meta-meta: start: 6, end: 9;  meta: start: 15, end (keep): 19
Model found with constant:
  (pushed:) 3317264 (39263:>=*)

No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 6208  (#equs: 1)
Time taken: 14 min, 41 sec

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) R 31173 31174 6847 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1789420659 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31174/statm): 174 3 169 147 0 27 0
[pid=31174] 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=31175
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=31175) exited with status: 0
New process pid=31176
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=31176) exited with status: 0
New process pid=31177
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/wulflinc4/normalized-mps-v2-20-10-air05.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0055 s]
Raw data (loadavg): 1.11 1.03 0.99 1/57 31177
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1789420659 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 242 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31177/stat): 31177 (vallst) T 31174 31174 6847 0 -1 0 880 0 0 0 874 43 0 0 22 0 1 0 1789420668 5296128 803 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31177/statm): 1293 803 413 48 0 1245 0
[pid=31177] vsize: 5172
Current children cumulated CPU time (s) 9.19
Current children cumulated vsize (Kb) 7300

[startup+20.0064 s]
Raw data (loadavg): 1.09 1.03 0.99 2/57 31177
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1789420659 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 242 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31177/stat): 31177 (vallst) R 31174 31174 6847 0 -1 0 946 0 0 0 1703 102 0 0 22 0 1 0 1789420668 9830400 869 4294967295 134512640 134702520 3221223952 3221223232 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31177/statm): 2400 869 413 48 0 2352 0
[pid=31177] vsize: 9600
Current children cumulated CPU time (s) 18.07
Current children cumulated vsize (Kb) 11728

[startup+30.0072 s]
Raw data (loadavg): 1.08 1.03 0.99 1/57 31177
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1789420659 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 242 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31177/stat): 31177 (vallst) T 31174 31174 6847 0 -1 0 1088 0 0 0 2600 137 0 0 25 0 1 0 1789420668 9981952 1011 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31177/statm): 2437 1011 413 48 0 2389 0
[pid=31177] vsize: 9748
Current children cumulated CPU time (s) 27.39
Current children cumulated vsize (Kb) 11876

[startup+40.0081 s]
Raw data (loadavg): 1.06 1.03 0.99 2/57 31177
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1789420659 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 242 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31177/stat): 31177 (vallst) R 31174 31174 6847 0 -1 0 1097 0 0 0 3508 169 0 0 25 0 1 0 1789420668 10108928 1020 4294967295 134512640 134702520 3221223952 3221222976 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31177/statm): 2468 1020 413 48 0 2420 0
[pid=31177] vsize: 9872
Current children cumulated CPU time (s) 36.79
Current children cumulated vsize (Kb) 12000

[startup+50.0089 s]
Raw data (loadavg): 1.05 1.03 0.99 1/57 31177
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1789420659 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 242 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31177/stat): 31177 (vallst) T 31174 31174 6847 0 -1 0 1139 0 0 0 4427 195 0 0 25 0 1 0 1789420668 10108928 1062 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31177/statm): 2468 1062 413 48 0 2420 0
[pid=31177] vsize: 9872
Current children cumulated CPU time (s) 46.24
Current children cumulated vsize (Kb) 12000

[startup+60.0108 s]
Raw data (loadavg): 1.05 1.02 0.99 1/57 31177
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1789420659 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 242 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31177/stat): 31177 (vallst) T 31174 31174 6847 0 -1 0 1152 0 0 0 5357 219 0 0 25 0 1 0 1789420668 10248192 1075 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31177/statm): 2502 1075 413 48 0 2454 0
[pid=31177] vsize: 10008
Current children cumulated CPU time (s) 55.78
Current children cumulated vsize (Kb) 12136

[startup+70.0117 s]
Raw data (loadavg): 1.04 1.02 0.99 2/57 31177
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1789420659 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 242 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31177/stat): 31177 (vallst) T 31174 31174 6847 0 -1 0 1158 0 0 0 6284 245 0 0 24 0 1 0 1789420668 10248192 1081 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31177/statm): 2502 1081 413 48 0 2454 0
[pid=31177] vsize: 10008
Current children cumulated CPU time (s) 65.31
Current children cumulated vsize (Kb) 12136

[startup+80.0125 s]
Raw data (loadavg): 1.03 1.02 0.99 2/57 31177
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1789420659 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 242 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31177/stat): 31177 (vallst) R 31174 31174 6847 0 -1 0 1165 0 0 0 7220 267 0 0 25 0 1 0 1789420668 10248192 1088 4294967295 134512640 134702520 3221223952 3221222976 134552889 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31177/statm): 2502 1088 413 48 0 2454 0
[pid=31177] vsize: 10008
Current children cumulated CPU time (s) 74.89
Current children cumulated vsize (Kb) 12136

[startup+90.0134 s]
Raw data (loadavg): 1.03 1.02 0.99 2/57 31177
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1789420659 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 242 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31177/stat): 31177 (vallst) R 31174 31174 6847 0 -1 0 1167 0 0 0 8146 294 0 0 25 0 1 0 1789420668 10248192 1090 4294967295 134512640 134702520 3221223952 3221222848 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31177/statm): 2502 1090 413 48 0 2454 0
[pid=31177] vsize: 10008
Current children cumulated CPU time (s) 84.42
Current children cumulated vsize (Kb) 12136

[startup+100.014 s]
Raw data (loadavg): 1.02 1.02 0.99 2/57 31177
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1789420659 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 242 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31177/stat): 31177 (vallst) R 31174 31174 6847 0 -1 0 1171 0 0 0 9062 322 0 0 25 0 1 0 1789420668 10260480 1094 4294967295 134512640 134702520 3221223952 3221222976 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31177/statm): 2505 1094 413 48 0 2457 0
[pid=31177] vsize: 10020
Current children cumulated CPU time (s) 93.86
Current children cumulated vsize (Kb) 12148

[startup+110.016 s]
Raw data (loadavg): 1.02 1.02 0.99 2/57 31177
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1789420659 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 242 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31177/stat): 31177 (vallst) R 31174 31174 6847 0 -1 0 1175 0 0 0 9983 350 0 0 25 0 1 0 1789420668 10260480 1098 4294967295 134512640 134702520 3221223952 3221213808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31177/statm): 2505 1098 413 48 0 2457 0
[pid=31177] vsize: 10020
Current children cumulated CPU time (s) 103.35
Current children cumulated vsize (Kb) 12148

[startup+120.017 s]
Raw data (loadavg): 1.02 1.02 0.99 1/57 31177
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1789420659 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 242 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31177/stat): 31177 (vallst) T 31174 31174 6847 0 -1 0 1178 0 0 0 10916 371 0 0 25 0 1 0 1789420668 10260480 1101 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31177/statm): 2505 1101 413 48 0 2457 0
[pid=31177] vsize: 10020
Current children cumulated CPU time (s) 112.89
Current children cumulated vsize (Kb) 12148

[startup+130.018 s]
Raw data (loadavg): 1.01 1.02 0.99 1/57 31177
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1789420659 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 242 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31177/stat): 31177 (vallst) T 31174 31174 6847 0 -1 0 1428 0 0 0 11845 396 0 0 25 0 1 0 1789420668 10260480 1351 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31177/statm): 2505 1351 413 48 0 2457 0
[pid=31177] vsize: 10020
Current children cumulated CPU time (s) 122.43
Current children cumulated vsize (Kb) 12148

[startup+140.019 s]
Raw data (loadavg): 1.01 1.02 0.99 1/57 31177
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1789420659 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 242 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31177/stat): 31177 (vallst) T 31174 31174 6847 0 -1 0 1432 0 0 0 12783 417 0 0 17 0 1 0 1789420668 10412032 1355 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31177/statm): 2542 1355 413 48 0 2494 0
[pid=31177] vsize: 10168
Current children cumulated CPU time (s) 132.02
Current children cumulated vsize (Kb) 12296

[startup+150.02 s]
Raw data (loadavg): 1.01 1.02 0.99 2/57 31177
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1789420659 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 242 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31177/stat): 31177 (vallst) R 31174 31174 6847 0 -1 0 1432 0 0 0 13694 445 0 0 25 0 1 0 1789420668 10362880 1355 4294967295 134512640 134702520 3221223952 3221223232 134554260 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31177/statm): 2530 1355 413 48 0 2482 0
[pid=31177] vsize: 10120
Current children cumulated CPU time (s) 141.41
Current children cumulated vsize (Kb) 12248

[startup+160.021 s]
Raw data (loadavg): 1.01 1.01 0.99 2/57 31177
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1789420659 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 242 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31177/stat): 31177 (vallst) T 31174 31174 6847 0 -1 0 1437 0 0 0 14626 469 0 0 25 0 1 0 1789420668 10362880 1360 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31177/statm): 2530 1360 413 48 0 2482 0
[pid=31177] vsize: 10120
Current children cumulated CPU time (s) 150.97
Current children cumulated vsize (Kb) 12248

[startup+170.022 s]
Raw data (loadavg): 1.00 1.01 0.99 1/57 31177
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1789420659 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 242 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31177/stat): 31177 (vallst) T 31174 31174 6847 0 -1 0 1441 0 0 0 15551 496 0 0 25 0 1 0 1789420668 10362880 1364 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31177/statm): 2530 1364 413 48 0 2482 0
[pid=31177] vsize: 10120
Current children cumulated CPU time (s) 160.49
Current children cumulated vsize (Kb) 12248

[startup+180.023 s]
Raw data (loadavg): 1.00 1.01 0.99 2/57 31177
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1789420659 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 242 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31177/stat): 31177 (vallst) R 31174 31174 6847 0 -1 0 1446 0 0 0 16489 515 0 0 25 0 1 0 1789420668 10362880 1369 4294967295 134512640 134702520 3221223952 3221222976 134553933 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31177/statm): 2530 1369 413 48 0 2482 0
[pid=31177] vsize: 10120
Current children cumulated CPU time (s) 170.06
Current children cumulated vsize (Kb) 12248

[startup+190.024 s]
Raw data (loadavg): 1.00 1.01 0.99 2/57 31177
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1789420659 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 242 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31177/stat): 31177 (vallst) T 31174 31174 6847 0 -1 0 1448 0 0 0 17423 538 0 0 25 0 1 0 1789420668 10362880 1371 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31177/statm): 2530 1371 413 48 0 2482 0
[pid=31177] vsize: 10120
Current children cumulated CPU time (s) 179.63
Current children cumulated vsize (Kb) 12248

[startup+200.025 s]
Raw data (loadavg): 1.00 1.01 0.99 1/57 31177
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1789420659 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 242 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31177/stat): 31177 (vallst) T 31174 31174 6847 0 -1 0 1451 0 0 0 18344 564 0 0 25 0 1 0 1789420668 10362880 1374 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31177/statm): 2530 1374 413 48 0 2482 0
[pid=31177] vsize: 10120
Current children cumulated CPU time (s) 189.1
Current children cumulated vsize (Kb) 12248

[startup+210.027 s]
Raw data (loadavg): 1.00 1.01 0.99 2/57 31177
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1789420659 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 242 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31177/stat): 31177 (vallst) R 31174 31174 6847 0 -1 0 1452 0 0 0 19260 595 0 0 25 0 1 0 1789420668 10362880 1375 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31177/statm): 2530 1375 413 48 0 2482 0
[pid=31177] vsize: 10120
Current children cumulated CPU time (s) 198.57
Current children cumulated vsize (Kb) 12248

[startup+220.028 s]
Raw data (loadavg): 1.00 1.01 0.99 2/57 31177
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1789420659 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 242 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31177/stat): 31177 (vallst) T 31174 31174 6847 0 -1 0 1456 0 0 0 20185 621 0 0 25 0 1 0 1789420668 10362880 1379 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31177/statm): 2530 1379 413 48 0 2482 0
[pid=31177] vsize: 10120
Current children cumulated CPU time (s) 208.08
Current children cumulated vsize (Kb) 12248

[startup+230.028 s]
Raw data (loadavg): 1.00 1.01 0.99 2/57 31177
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1789420659 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 242 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31177/stat): 31177 (vallst) R 31174 31174 6847 0 -1 0 1516 0 0 0 21112 646 0 0 25 0 1 0 1789420668 10481664 1439 4294967295 134512640 134702520 3221223952 3221222976 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31177/statm): 2559 1439 413 48 0 2511 0
[pid=31177] vsize: 10236
Current children cumulated CPU time (s) 217.6
Current children cumulated vsize (Kb) 12364

[startup+240.028 s]
Raw data (loadavg): 1.00 1.01 0.99 2/57 31177
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1789420659 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 242 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31177/stat): 31177 (vallst) R 31174 31174 6847 0 -1 0 1519 0 0 0 22040 670 0 0 25 0 1 0 1789420668 10481664 1442 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31177/statm): 2559 1442 413 48 0 2511 0
[pid=31177] vsize: 10236
Current children cumulated CPU time (s) 227.12
Current children cumulated vsize (Kb) 12364

[startup+250.029 s]
Raw data (loadavg): 1.00 1.01 0.99 1/57 31177
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1789420659 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 242 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31177/stat): 31177 (vallst) T 31174 31174 6847 0 -1 0 1523 0 0 0 22984 689 0 0 25 0 1 0 1789420668 10481664 1446 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31177/statm): 2559 1446 413 48 0 2511 0
[pid=31177] vsize: 10236
Current children cumulated CPU time (s) 236.75
Current children cumulated vsize (Kb) 12364

[startup+260.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 31177
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1789420659 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 242 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31177/stat): 31177 (vallst) R 31174 31174 6847 0 -1 0 1523 0 0 0 23899 716 0 0 25 0 1 0 1789420668 10481664 1446 4294967295 134512640 134702520 3221223952 3221222848 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31177/statm): 2559 1446 413 48 0 2511 0
[pid=31177] vsize: 10236
Current children cumulated CPU time (s) 246.17
Current children cumulated vsize (Kb) 12364

[startup+270.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 31177
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1789420659 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 242 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31177/stat): 31177 (vallst) R 31174 31174 6847 0 -1 0 1525 0 0 0 24812 747 0 0 25 0 1 0 1789420668 10481664 1448 4294967295 134512640 134702520 3221223952 3221223232 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31177/statm): 2559 1448 413 48 0 2511 0
[pid=31177] vsize: 10236
Current children cumulated CPU time (s) 255.61
Current children cumulated vsize (Kb) 12364

[startup+280.032 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 31177
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1789420659 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 242 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31177/stat): 31177 (vallst) T 31174 31174 6847 0 -1 0 1552 0 0 0 25746 770 0 0 25 0 1 0 1789420668 10481664 1475 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31177/statm): 2559 1475 413 48 0 2511 0
[pid=31177] vsize: 10236
Current children cumulated CPU time (s) 265.18
Current children cumulated vsize (Kb) 12364

[startup+290.033 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 31177
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1789420659 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 242 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31177/stat): 31177 (vallst) T 31174 31174 6847 0 -1 0 1883 0 0 0 26690 790 0 0 25 0 1 0 1789420668 10616832 1806 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31177/statm): 2592 1806 413 48 0 2544 0
[pid=31177] vsize: 10368
Current children cumulated CPU time (s) 274.82
Current children cumulated vsize (Kb) 12496

[startup+300.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 31177
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1789420659 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 242 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31177/stat): 31177 (vallst) R 31174 31174 6847 0 -1 0 2270 0 0 0 27632 809 0 0 25 0 1 0 1789420668 10752000 2193 4294967295 134512640 134702520 3221223952 3221223352 134606953 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31177/statm): 2625 2193 413 48 0 2577 0
[pid=31177] vsize: 10500
Current children cumulated CPU time (s) 284.43
Current children cumulated vsize (Kb) 12628

[startup+310.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 31177
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1789420659 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 242 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31177/stat): 31177 (vallst) R 31174 31174 6847 0 -1 0 2332 0 0 0 28569 832 0 0 25 0 1 0 1789420668 10752000 2255 4294967295 134512640 134702520 3221223952 3221222976 134554270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31177/statm): 2625 2255 413 48 0 2577 0
[pid=31177] vsize: 10500
Current children cumulated CPU time (s) 294.03
Current children cumulated vsize (Kb) 12628

[startup+320.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 31177
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1789420659 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 242 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31177/stat): 31177 (vallst) R 31174 31174 6847 0 -1 0 2349 0 0 0 29518 851 0 0 25 0 1 0 1789420668 10887168 2272 4294967295 134512640 134702520 3221223952 3221163408 134612040 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31177/statm): 2658 2272 413 48 0 2610 0
[pid=31177] vsize: 10632
Current children cumulated CPU time (s) 303.71
Current children cumulated vsize (Kb) 12760

[startup+330.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 31177
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1789420659 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 242 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31177/stat): 31177 (vallst) R 31174 31174 6847 0 -1 0 2351 0 0 0 30450 874 0 0 25 0 1 0 1789420668 10887168 2274 4294967295 134512640 134702520 3221223952 3221222848 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31177/statm): 2658 2274 413 48 0 2610 0
[pid=31177] vsize: 10632
Current children cumulated CPU time (s) 313.26
Current children cumulated vsize (Kb) 12760
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=31177) exited with status: 2
New process pid=31178
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=31178) exited with status: 0
New process pid=31179
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+340.039 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 792 0 0 0 300 8 0 0 25 0 1 0 1789454343 4919296 762 4294967295 134512640 134702520 3221223712 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 1201 762 413 48 0 1153 0
[pid=31179] vsize: 4804
Current children cumulated CPU time (s) 322.75
Current children cumulated vsize (Kb) 6932

[startup+350.04 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 807 0 0 0 1235 33 0 0 25 0 1 0 1789454343 5054464 777 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 1234 777 413 48 0 1186 0
[pid=31179] vsize: 4936
Current children cumulated CPU time (s) 332.35
Current children cumulated vsize (Kb) 7064

[startup+360.041 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 906 0 0 0 2164 57 0 0 25 0 1 0 1789454343 8773632 876 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2142 876 413 48 0 2094 0
[pid=31179] vsize: 8568
Current children cumulated CPU time (s) 341.88
Current children cumulated vsize (Kb) 10696

[startup+370.042 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 1048 0 0 0 3086 83 0 0 25 0 1 0 1789454343 8912896 1018 4294967295 134512640 134702520 3221223712 3221137068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2176 1018 413 48 0 2128 0
[pid=31179] vsize: 8704
Current children cumulated CPU time (s) 351.36
Current children cumulated vsize (Kb) 10832

[startup+380.043 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 1064 0 0 0 4010 112 0 0 25 0 1 0 1789454343 8912896 1034 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2176 1034 413 48 0 2128 0
[pid=31179] vsize: 8704
Current children cumulated CPU time (s) 360.89
Current children cumulated vsize (Kb) 10832

[startup+390.043 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 1073 0 0 0 4947 134 0 0 25 0 1 0 1789454343 8912896 1043 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2176 1043 413 48 0 2128 0
[pid=31179] vsize: 8704
Current children cumulated CPU time (s) 370.48
Current children cumulated vsize (Kb) 10832

[startup+400.044 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 1076 0 0 0 5884 158 0 0 25 0 1 0 1789454343 9068544 1046 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2214 1046 413 48 0 2166 0
[pid=31179] vsize: 8856
Current children cumulated CPU time (s) 380.09
Current children cumulated vsize (Kb) 10984

[startup+410.046 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 1080 0 0 0 6811 183 0 0 18 0 1 0 1789454343 9019392 1050 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2202 1050 413 48 0 2154 0
[pid=31179] vsize: 8808
Current children cumulated CPU time (s) 389.61
Current children cumulated vsize (Kb) 10936

[startup+420.047 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 1119 0 0 0 7734 211 0 0 25 0 1 0 1789454343 9019392 1089 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2202 1089 413 48 0 2154 0
[pid=31179] vsize: 8808
Current children cumulated CPU time (s) 399.12
Current children cumulated vsize (Kb) 10936

[startup+430.048 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 1139 0 0 0 8671 234 0 0 25 0 1 0 1789454343 9019392 1109 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2202 1109 413 48 0 2154 0
[pid=31179] vsize: 8808
Current children cumulated CPU time (s) 408.72
Current children cumulated vsize (Kb) 10936

[startup+440.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 1570 0 0 0 9602 257 0 0 25 0 1 0 1789454343 9154560 1540 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2235 1540 413 48 0 2187 0
[pid=31179] vsize: 8940
Current children cumulated CPU time (s) 418.26
Current children cumulated vsize (Kb) 11068

[startup+450.05 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 1579 0 0 0 10533 282 0 0 25 0 1 0 1789454343 9154560 1549 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2235 1549 413 48 0 2187 0
[pid=31179] vsize: 8940
Current children cumulated CPU time (s) 427.82
Current children cumulated vsize (Kb) 11068

[startup+460.051 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 1581 0 0 0 11468 307 0 0 25 0 1 0 1789454343 9154560 1551 4294967295 134512640 134702520 3221223712 3221222608 134552562 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2235 1551 413 48 0 2187 0
[pid=31179] vsize: 8940
Current children cumulated CPU time (s) 437.42
Current children cumulated vsize (Kb) 11068

[startup+470.052 s]
Raw data (loadavg): 1.08 1.02 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 1587 0 0 0 12387 335 0 0 25 0 1 0 1789454343 9158656 1557 4294967295 134512640 134702520 3221223712 3221175468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2236 1557 413 48 0 2188 0
[pid=31179] vsize: 8944
Current children cumulated CPU time (s) 446.89
Current children cumulated vsize (Kb) 11072

[startup+480.052 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 1592 0 0 0 13314 359 0 0 25 0 1 0 1789454343 9158656 1562 4294967295 134512640 134702520 3221223712 3221222992 134553147 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2236 1562 413 48 0 2188 0
[pid=31179] vsize: 8944
Current children cumulated CPU time (s) 456.4
Current children cumulated vsize (Kb) 11072

[startup+490.054 s]
Raw data (loadavg): 1.06 1.01 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 1594 0 0 0 14247 382 0 0 25 0 1 0 1789454343 9158656 1564 4294967295 134512640 134702520 3221223712 3221222832 134573401 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2236 1564 413 48 0 2188 0
[pid=31179] vsize: 8944
Current children cumulated CPU time (s) 465.96
Current children cumulated vsize (Kb) 11072

[startup+500.055 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 1599 0 0 0 15176 409 0 0 25 0 1 0 1789454343 9158656 1569 4294967295 134512640 134702520 3221223712 3221222736 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2236 1569 413 48 0 2188 0
[pid=31179] vsize: 8944
Current children cumulated CPU time (s) 475.52
Current children cumulated vsize (Kb) 11072

[startup+510.056 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 1602 0 0 0 16115 430 0 0 25 0 1 0 1789454343 9314304 1572 4294967295 134512640 134702520 3221223712 3221222608 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2274 1572 413 48 0 2226 0
[pid=31179] vsize: 9096
Current children cumulated CPU time (s) 485.12
Current children cumulated vsize (Kb) 11224

[startup+520.057 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 1604 0 0 0 17042 455 0 0 25 0 1 0 1789454343 9265152 1574 4294967295 134512640 134702520 3221223712 3221164428 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2262 1574 413 48 0 2214 0
[pid=31179] vsize: 9048
Current children cumulated CPU time (s) 494.64
Current children cumulated vsize (Kb) 11176

[startup+530.058 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 1608 0 0 0 17965 483 0 0 25 0 1 0 1789454343 9265152 1578 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2262 1578 413 48 0 2214 0
[pid=31179] vsize: 9048
Current children cumulated CPU time (s) 504.15
Current children cumulated vsize (Kb) 11176

[startup+540.058 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 1611 0 0 0 18899 507 0 0 25 0 1 0 1789454343 9265152 1581 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2262 1581 413 48 0 2214 0
[pid=31179] vsize: 9048
Current children cumulated CPU time (s) 513.73
Current children cumulated vsize (Kb) 11176

[startup+550.059 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 1613 0 0 0 19823 532 0 0 25 0 1 0 1789454343 9265152 1583 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2262 1583 413 48 0 2214 0
[pid=31179] vsize: 9048
Current children cumulated CPU time (s) 523.22
Current children cumulated vsize (Kb) 11176

[startup+560.061 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 1617 0 0 0 20759 557 0 0 25 0 1 0 1789454343 9265152 1587 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2262 1587 413 48 0 2214 0
[pid=31179] vsize: 9048
Current children cumulated CPU time (s) 532.83
Current children cumulated vsize (Kb) 11176

[startup+570.062 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 1617 0 0 0 21683 582 0 0 25 0 1 0 1789454343 9265152 1587 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2262 1587 413 48 0 2214 0
[pid=31179] vsize: 9048
Current children cumulated CPU time (s) 542.32
Current children cumulated vsize (Kb) 11176

[startup+580.062 s]
Raw data (loadavg): 1.08 1.02 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 1619 0 0 0 22605 609 0 0 25 0 1 0 1789454343 9265152 1589 4294967295 134512640 134702520 3221223712 3221175468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2262 1589 413 48 0 2214 0
[pid=31179] vsize: 9048
Current children cumulated CPU time (s) 551.81
Current children cumulated vsize (Kb) 11176

[startup+590.063 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 1741 0 0 0 23535 633 0 0 25 0 1 0 1789454343 9265152 1711 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2262 1711 413 48 0 2214 0
[pid=31179] vsize: 9048
Current children cumulated CPU time (s) 561.35
Current children cumulated vsize (Kb) 11176

[startup+600.064 s]
Raw data (loadavg): 1.06 1.02 1.00 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 1745 0 0 0 24461 660 0 0 25 0 1 0 1789454343 9265152 1715 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2262 1715 413 48 0 2214 0
[pid=31179] vsize: 9048
Current children cumulated CPU time (s) 570.88
Current children cumulated vsize (Kb) 11176

[startup+610.064 s]
Raw data (loadavg): 1.05 1.02 1.00 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 1748 0 0 0 25391 683 0 0 25 0 1 0 1789454343 9265152 1718 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2262 1718 413 48 0 2214 0
[pid=31179] vsize: 9048
Current children cumulated CPU time (s) 580.41
Current children cumulated vsize (Kb) 11176

[startup+620.065 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 1751 0 0 0 26329 704 0 0 19 0 1 0 1789454343 9400320 1721 4294967295 134512640 134702520 3221223712 3221222608 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2295 1721 413 48 0 2247 0
[pid=31179] vsize: 9180
Current children cumulated CPU time (s) 590
Current children cumulated vsize (Kb) 11308

[startup+630.066 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 1751 0 0 0 27258 729 0 0 25 0 1 0 1789454343 9375744 1721 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2289 1721 413 48 0 2241 0
[pid=31179] vsize: 9156
Current children cumulated CPU time (s) 599.54
Current children cumulated vsize (Kb) 11284

[startup+640.067 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 1754 0 0 0 28184 754 0 0 25 0 1 0 1789454343 9375744 1724 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2289 1724 413 48 0 2241 0
[pid=31179] vsize: 9156
Current children cumulated CPU time (s) 609.05
Current children cumulated vsize (Kb) 11284

[startup+650.068 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 1755 0 0 0 29108 780 0 0 25 0 1 0 1789454343 9375744 1725 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2289 1725 413 48 0 2241 0
[pid=31179] vsize: 9156
Current children cumulated CPU time (s) 618.55
Current children cumulated vsize (Kb) 11284

[startup+660.069 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 1760 0 0 0 30044 803 0 0 25 0 1 0 1789454343 9375744 1730 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2289 1730 413 48 0 2241 0
[pid=31179] vsize: 9156
Current children cumulated CPU time (s) 628.14
Current children cumulated vsize (Kb) 11284

[startup+670.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 1761 0 0 0 30978 825 0 0 25 0 1 0 1789454343 9375744 1731 4294967295 134512640 134702520 3221223712 3221222736 134551065 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2289 1731 413 48 0 2241 0
[pid=31179] vsize: 9156
Current children cumulated CPU time (s) 637.7
Current children cumulated vsize (Kb) 11284

[startup+680.071 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 1763 0 0 0 31912 848 0 0 25 0 1 0 1789454343 9375744 1733 4294967295 134512640 134702520 3221223712 3221222608 134553175 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2289 1733 413 48 0 2241 0
[pid=31179] vsize: 9156
Current children cumulated CPU time (s) 647.27
Current children cumulated vsize (Kb) 11284

[startup+690.071 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 1763 0 0 0 32835 874 0 0 25 0 1 0 1789454343 9375744 1733 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2289 1733 413 48 0 2241 0
[pid=31179] vsize: 9156
Current children cumulated CPU time (s) 656.76
Current children cumulated vsize (Kb) 11284

[startup+700.072 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 1765 0 0 0 33755 902 0 0 25 0 1 0 1789454343 9375744 1735 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2289 1735 413 48 0 2241 0
[pid=31179] vsize: 9156
Current children cumulated CPU time (s) 666.24
Current children cumulated vsize (Kb) 11284

[startup+710.074 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 1769 0 0 0 34685 924 0 0 19 0 1 0 1789454343 9375744 1739 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2289 1739 413 48 0 2241 0
[pid=31179] vsize: 9156
Current children cumulated CPU time (s) 675.76
Current children cumulated vsize (Kb) 11284

[startup+720.075 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 1771 0 0 0 35612 950 0 0 25 0 1 0 1789454343 9375744 1741 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2289 1741 413 48 0 2241 0
[pid=31179] vsize: 9156
Current children cumulated CPU time (s) 685.29
Current children cumulated vsize (Kb) 11284

[startup+730.076 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 1773 0 0 0 36551 973 0 0 25 0 1 0 1789454343 9519104 1743 4294967295 134512640 134702520 3221223712 3221222608 134553111 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2324 1743 413 48 0 2276 0
[pid=31179] vsize: 9296
Current children cumulated CPU time (s) 694.91
Current children cumulated vsize (Kb) 11424

[startup+740.078 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 1774 0 0 0 37470 1000 0 0 18 0 1 0 1789454343 9469952 1744 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2312 1744 413 48 0 2264 0
[pid=31179] vsize: 9248
Current children cumulated CPU time (s) 704.37
Current children cumulated vsize (Kb) 11376

[startup+750.079 s]
Raw data (loadavg): 1.08 1.02 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 1777 0 0 0 38388 1030 0 0 25 0 1 0 1789454343 9469952 1747 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2312 1747 413 48 0 2264 0
[pid=31179] vsize: 9248
Current children cumulated CPU time (s) 713.85
Current children cumulated vsize (Kb) 11376

[startup+760.079 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 1779 0 0 0 39317 1054 0 0 25 0 1 0 1789454343 9469952 1749 4294967295 134512640 134702520 3221223712 3221222992 134557278 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2312 1749 413 48 0 2264 0
[pid=31179] vsize: 9248
Current children cumulated CPU time (s) 723.38
Current children cumulated vsize (Kb) 11376

[startup+770.081 s]
Raw data (loadavg): 1.05 1.02 1.00 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 1867 0 0 0 40244 1081 0 0 25 0 1 0 1789454343 9469952 1837 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2312 1837 413 48 0 2264 0
[pid=31179] vsize: 9248
Current children cumulated CPU time (s) 732.92
Current children cumulated vsize (Kb) 11376

[startup+780.081 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 1869 0 0 0 41176 1106 0 0 25 0 1 0 1789454343 9469952 1839 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2312 1839 413 48 0 2264 0
[pid=31179] vsize: 9248
Current children cumulated CPU time (s) 742.49
Current children cumulated vsize (Kb) 11376

[startup+790.082 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 1872 0 0 0 42113 1128 0 0 25 0 1 0 1789454343 9469952 1842 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2312 1842 413 48 0 2264 0
[pid=31179] vsize: 9248
Current children cumulated CPU time (s) 752.08
Current children cumulated vsize (Kb) 11376

[startup+800.083 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 1872 0 0 0 43042 1154 0 0 25 0 1 0 1789454343 9469952 1842 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2312 1842 413 48 0 2264 0
[pid=31179] vsize: 9248
Current children cumulated CPU time (s) 761.63
Current children cumulated vsize (Kb) 11376

[startup+810.085 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 1929 0 0 0 43966 1185 0 0 25 0 1 0 1789454343 9469952 1899 4294967295 134512640 134702520 3221223712 3221222992 134552541 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2312 1899 413 48 0 2264 0
[pid=31179] vsize: 9248
Current children cumulated CPU time (s) 771.18
Current children cumulated vsize (Kb) 11376

[startup+820.086 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 1970 0 0 0 44895 1208 0 0 25 0 1 0 1789454343 9605120 1940 4294967295 134512640 134702520 3221223712 3221222992 134552991 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2345 1940 413 48 0 2297 0
[pid=31179] vsize: 9380
Current children cumulated CPU time (s) 780.7
Current children cumulated vsize (Kb) 11508

[startup+830.087 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 2017 0 0 0 45830 1230 0 0 25 0 1 0 1789454343 9605120 1987 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2345 1987 413 48 0 2297 0
[pid=31179] vsize: 9380
Current children cumulated CPU time (s) 790.27
Current children cumulated vsize (Kb) 11508

[startup+840.088 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 2058 0 0 0 46764 1252 0 0 25 0 1 0 1789454343 10092544 2028 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2464 2028 413 48 0 2416 0
[pid=31179] vsize: 9856
Current children cumulated CPU time (s) 799.83
Current children cumulated vsize (Kb) 11984

[startup+850.089 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 2091 0 0 0 47700 1275 0 0 25 0 1 0 1789454343 10227712 2061 4294967295 134512640 134702520 3221223712 3221166688 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2497 2061 413 48 0 2449 0
[pid=31179] vsize: 9988
Current children cumulated CPU time (s) 809.42
Current children cumulated vsize (Kb) 12116

[startup+860.091 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 2094 0 0 0 48635 1297 0 0 19 0 1 0 1789454343 10227712 2064 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2497 2064 413 48 0 2449 0
[pid=31179] vsize: 9988
Current children cumulated CPU time (s) 818.99
Current children cumulated vsize (Kb) 12116

[startup+870.092 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 2095 0 0 0 49563 1322 0 0 25 0 1 0 1789454343 10227712 2065 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2497 2065 413 48 0 2449 0
[pid=31179] vsize: 9988
Current children cumulated CPU time (s) 828.52
Current children cumulated vsize (Kb) 12116

[startup+880.093 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 2096 0 0 0 50491 1348 0 0 25 0 1 0 1789454343 10227712 2066 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2497 2066 413 48 0 2449 0
[pid=31179] vsize: 9988
Current children cumulated CPU time (s) 838.06
Current children cumulated vsize (Kb) 12116

[startup+890.094 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 2099 0 0 0 51427 1369 0 0 25 0 1 0 1789454343 10227712 2069 4294967295 134512640 134702520 3221223712 3221222992 134552871 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2497 2069 413 48 0 2449 0
[pid=31179] vsize: 9988
Current children cumulated CPU time (s) 847.63
Current children cumulated vsize (Kb) 12116

[startup+900.095 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 2105 0 0 0 52362 1391 0 0 25 0 1 0 1789454343 10227712 2075 4294967295 134512640 134702520 3221223712 3221223104 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2497 2075 413 48 0 2449 0
[pid=31179] vsize: 9988
Current children cumulated CPU time (s) 857.2
Current children cumulated vsize (Kb) 12116

[startup+910.096 s]
Raw data (loadavg): 1.08 1.02 1.01 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 2110 0 0 0 53295 1412 0 0 25 0 1 0 1789454343 10227712 2080 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2497 2080 413 48 0 2449 0
[pid=31179] vsize: 9988
Current children cumulated CPU time (s) 866.74
Current children cumulated vsize (Kb) 12116

[startup+920.097 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 2114 0 0 0 54233 1432 0 0 25 0 1 0 1789454343 10342400 2084 4294967295 134512640 134702520 3221223712 3221222992 134550645 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2525 2084 413 48 0 2477 0
[pid=31179] vsize: 10100
Current children cumulated CPU time (s) 876.32
Current children cumulated vsize (Kb) 12228

[startup+930.097 s]
Raw data (loadavg): 1.06 1.02 1.00 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 2117 0 0 0 55174 1454 0 0 25 0 1 0 1789454343 10342400 2087 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2525 2087 413 48 0 2477 0
[pid=31179] vsize: 10100
Current children cumulated CPU time (s) 885.95
Current children cumulated vsize (Kb) 12228

[startup+940.098 s]
Raw data (loadavg): 1.05 1.02 1.00 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 2117 0 0 0 56103 1477 0 0 25 0 1 0 1789454343 10342400 2087 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2525 2087 413 48 0 2477 0
[pid=31179] vsize: 10100
Current children cumulated CPU time (s) 895.47
Current children cumulated vsize (Kb) 12228

[startup+950.099 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 2120 0 0 0 57034 1502 0 0 25 0 1 0 1789454343 10342400 2090 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2525 2090 413 48 0 2477 0
[pid=31179] vsize: 10100
Current children cumulated CPU time (s) 905.03
Current children cumulated vsize (Kb) 12228

[startup+960.1 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 2123 0 0 0 57966 1525 0 0 25 0 1 0 1789454343 10342400 2093 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2525 2093 413 48 0 2477 0
[pid=31179] vsize: 10100
Current children cumulated CPU time (s) 914.58
Current children cumulated vsize (Kb) 12228

[startup+970.101 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 2124 0 0 0 58900 1551 0 0 25 0 1 0 1789454343 10342400 2094 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2525 2094 413 48 0 2477 0
[pid=31179] vsize: 10100
Current children cumulated CPU time (s) 924.18
Current children cumulated vsize (Kb) 12228

[startup+980.101 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 2126 0 0 0 59835 1572 0 0 25 0 1 0 1789454343 10342400 2096 4294967295 134512640 134702520 3221223712 3221222992 134552981 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2525 2096 413 48 0 2477 0
[pid=31179] vsize: 10100
Current children cumulated CPU time (s) 933.74
Current children cumulated vsize (Kb) 12228

[startup+990.102 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 2130 0 0 0 60775 1592 0 0 25 0 1 0 1789454343 10342400 2100 4294967295 134512640 134702520 3221223712 3221222992 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2525 2100 413 48 0 2477 0
[pid=31179] vsize: 10100
Current children cumulated CPU time (s) 943.34
Current children cumulated vsize (Kb) 12228

[startup+1000.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 2133 0 0 0 61711 1615 0 0 25 0 1 0 1789454343 10342400 2103 4294967295 134512640 134702520 3221223712 3221223040 134617883 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2525 2103 413 48 0 2477 0
[pid=31179] vsize: 10100
Current children cumulated CPU time (s) 952.93
Current children cumulated vsize (Kb) 12228

[startup+1010.1 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 2135 0 0 0 62647 1637 0 0 25 0 1 0 1789454343 10342400 2105 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2525 2105 413 48 0 2477 0
[pid=31179] vsize: 10100
Current children cumulated CPU time (s) 962.51
Current children cumulated vsize (Kb) 12228

[startup+1020.1 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 2136 0 0 0 63576 1662 0 0 25 0 1 0 1789454343 10342400 2106 4294967295 134512640 134702520 3221223712 3221222736 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2525 2106 413 48 0 2477 0
[pid=31179] vsize: 10100
Current children cumulated CPU time (s) 972.05
Current children cumulated vsize (Kb) 12228

[startup+1030.11 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 2137 0 0 0 64507 1686 0 0 25 0 1 0 1789454343 10342400 2107 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2525 2107 413 48 0 2477 0
[pid=31179] vsize: 10100
Current children cumulated CPU time (s) 981.6
Current children cumulated vsize (Kb) 12228

[startup+1040.11 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 2141 0 0 0 65437 1711 0 0 25 0 1 0 1789454343 10342400 2111 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2525 2111 413 48 0 2477 0
[pid=31179] vsize: 10100
Current children cumulated CPU time (s) 991.15
Current children cumulated vsize (Kb) 12228

[startup+1050.11 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 2146 0 0 0 66379 1734 0 0 25 0 1 0 1789454343 10452992 2116 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2552 2116 413 48 0 2504 0
[pid=31179] vsize: 10208
Current children cumulated CPU time (s) 1000.8
Current children cumulated vsize (Kb) 12336

[startup+1060.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 2148 0 0 0 67309 1760 0 0 25 0 1 0 1789454343 10452992 2118 4294967295 134512640 134702520 3221223712 3221222932 134550224 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2552 2118 413 48 0 2504 0
[pid=31179] vsize: 10208
Current children cumulated CPU time (s) 1010.36
Current children cumulated vsize (Kb) 12336

[startup+1070.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 2152 0 0 0 68245 1781 0 0 25 0 1 0 1789454343 10452992 2122 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2552 2122 413 48 0 2504 0
[pid=31179] vsize: 10208
Current children cumulated CPU time (s) 1019.93
Current children cumulated vsize (Kb) 12336

[startup+1080.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 2156 0 0 0 69186 1801 0 0 25 0 1 0 1789454343 10452992 2126 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2552 2126 413 48 0 2504 0
[pid=31179] vsize: 10208
Current children cumulated CPU time (s) 1029.54
Current children cumulated vsize (Kb) 12336

[startup+1090.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 2158 0 0 0 70126 1822 0 0 25 0 1 0 1789454343 10452992 2128 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2552 2128 413 48 0 2504 0
[pid=31179] vsize: 10208
Current children cumulated CPU time (s) 1039.15
Current children cumulated vsize (Kb) 12336

[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 2158 0 0 0 71052 1848 0 0 25 0 1 0 1789454343 10452992 2128 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2552 2128 413 48 0 2504 0
[pid=31179] vsize: 10208
Current children cumulated CPU time (s) 1048.67
Current children cumulated vsize (Kb) 12336

[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 2160 0 0 0 71990 1870 0 0 25 0 1 0 1789454343 10452992 2130 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2552 2130 413 48 0 2504 0
[pid=31179] vsize: 10208
Current children cumulated CPU time (s) 1058.27
Current children cumulated vsize (Kb) 12336

[startup+1120.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 2162 0 0 0 72917 1893 0 0 25 0 1 0 1789454343 10452992 2132 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2552 2132 413 48 0 2504 0
[pid=31179] vsize: 10208
Current children cumulated CPU time (s) 1067.77
Current children cumulated vsize (Kb) 12336

[startup+1130.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 2165 0 0 0 73845 1921 0 0 25 0 1 0 1789454343 10563584 2135 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2579 2135 413 48 0 2531 0
[pid=31179] vsize: 10316
Current children cumulated CPU time (s) 1077.33
Current children cumulated vsize (Kb) 12444

[startup+1140.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 2167 0 0 0 74780 1945 0 0 25 0 1 0 1789454343 10563584 2137 4294967295 134512640 134702520 3221223712 3221222992 134553458 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2579 2137 413 48 0 2531 0
[pid=31179] vsize: 10316
Current children cumulated CPU time (s) 1086.92
Current children cumulated vsize (Kb) 12444

[startup+1150.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 2168 0 0 0 75717 1967 0 0 25 0 1 0 1789454343 10563584 2138 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2579 2138 413 48 0 2531 0
[pid=31179] vsize: 10316
Current children cumulated CPU time (s) 1096.51
Current children cumulated vsize (Kb) 12444

[startup+1160.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 2171 0 0 0 76653 1987 0 0 25 0 1 0 1789454343 10563584 2141 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2579 2141 413 48 0 2531 0
[pid=31179] vsize: 10316
Current children cumulated CPU time (s) 1106.07
Current children cumulated vsize (Kb) 12444

[startup+1170.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 2174 0 0 0 77591 2008 0 0 25 0 1 0 1789454343 10563584 2144 4294967295 134512640 134702520 3221223712 3221222576 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2579 2144 413 48 0 2531 0
[pid=31179] vsize: 10316
Current children cumulated CPU time (s) 1115.66
Current children cumulated vsize (Kb) 12444

[startup+1180.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 2174 0 0 0 78516 2032 0 0 25 0 1 0 1789454343 10563584 2144 4294967295 134512640 134702520 3221223712 3221223112 134606953 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2579 2144 413 48 0 2531 0
[pid=31179] vsize: 10316
Current children cumulated CPU time (s) 1125.15
Current children cumulated vsize (Kb) 12444

[startup+1190.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 2176 0 0 0 79450 2056 0 0 22 0 1 0 1789454343 10563584 2146 4294967295 134512640 134702520 3221223712 3221222992 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2579 2146 413 48 0 2531 0
[pid=31179] vsize: 10316
Current children cumulated CPU time (s) 1134.73
Current children cumulated vsize (Kb) 12444

[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 2178 0 0 0 80379 2082 0 0 25 0 1 0 1789454343 10563584 2148 4294967295 134512640 134702520 3221223712 3221222736 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2579 2148 413 48 0 2531 0
[pid=31179] vsize: 10316
Current children cumulated CPU time (s) 1144.28
Current children cumulated vsize (Kb) 12444

[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 2178 0 0 0 81309 2106 0 0 25 0 1 0 1789454343 10563584 2148 4294967295 134512640 134702520 3221223712 3221222992 134553100 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2579 2148 413 48 0 2531 0
[pid=31179] vsize: 10316
Current children cumulated CPU time (s) 1153.82
Current children cumulated vsize (Kb) 12444

[startup+1220.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 2179 0 0 0 82243 2128 0 0 25 0 1 0 1789454343 10563584 2149 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2579 2149 413 48 0 2531 0
[pid=31179] vsize: 10316
Current children cumulated CPU time (s) 1163.38
Current children cumulated vsize (Kb) 12444

[startup+1230.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 2179 0 0 0 83161 2155 0 0 25 0 1 0 1789454343 10563584 2149 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2579 2149 413 48 0 2531 0
[pid=31179] vsize: 10316
Current children cumulated CPU time (s) 1172.83
Current children cumulated vsize (Kb) 12444

[startup+1240.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 2181 0 0 0 84100 2176 0 0 25 0 1 0 1789454343 10563584 2151 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2579 2151 413 48 0 2531 0
[pid=31179] vsize: 10316
Current children cumulated CPU time (s) 1182.43
Current children cumulated vsize (Kb) 12444

[startup+1250.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) R 31174 31174 6847 0 -1 0 2181 0 0 0 85028 2201 0 0 25 0 1 0 1789454343 10563584 2151 4294967295 134512640 134702520 3221223712 3221222992 134551079 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31179/statm): 2579 2151 413 48 0 2531 0
[pid=31179] vsize: 10316
Current children cumulated CPU time (s) 1191.96
Current children cumulated vsize (Kb) 12444

[startup+1260.13 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 2181 0 0 0 85949 2229 0 0 25 0 1 0 1789454343 10563584 2151 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2579 2151 413 48 0 2531 0
[pid=31179] vsize: 10316
Current children cumulated CPU time (s) 1201.45
Current children cumulated vsize (Kb) 12444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1260.13 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 31179
Raw data (/proc/31174/stat): 31174 (vallstSAT2005PB) S 31173 31174 6847 0 -1 0 378 2726 0 0 1 1 31068 897 19 0 1 0 1789420659 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31174/statm): 532 248 485 147 0 385 0
[pid=31174] vsize: 2128
Raw data (/proc/31179/stat): 31179 (vallst) T 31174 31174 6847 0 -1 0 2181 0 0 0 85949 2229 0 0 25 0 1 0 1789454343 10563584 2151 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31179/statm): 2579 2151 413 48 0 2531 0
[pid=31179] vsize: 10316
Current children cumulated CPU time (s) 1201.45
Current children cumulated vsize (Kb) 12444

Sending SIGTERM to -31174
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=31181
New process pid=31182
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1665/stat
open syscall for file /proc/1665/status
open syscall for file /proc/1665/cmdline
open syscall for file /proc/1665/environ
open syscall for file /proc/27815/stat
open syscall for file /proc/27815/status
open syscall for file /proc/27815/cmdline
open syscall for file /proc/27815/environ
open syscall for file /proc/9981/stat
open syscall for file /proc/9981/status
open syscall for file /proc/9981/cmdline
open syscall for file /proc/9981/environ
open syscall for file /proc/10008/stat
open syscall for file /proc/10008/status
open syscall for file /proc/10008/cmdline
open syscall for file /proc/10008/environ
open syscall for file /proc/10032/stat
open syscall for file /proc/10032/status
open syscall for file /proc/10032/cmdline
open syscall for file /proc/10032/environ
open syscall for file /proc/9140/stat
open syscall for file /proc/9140/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/9140/cmdline
open syscall for file /proc/9140/environ
open syscall for file /proc/9175/stat
open syscall for file /proc/9175/status
open syscall for file /proc/9175/cmdline
open syscall for file /proc/9175/environ
open syscall for file /proc/6847/stat
open syscall for file /proc/6847/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/6847/cmdline
open syscall for file /proc/6847/environ
open syscall for file /proc/6848/stat
open syscall for file /proc/6848/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/6848/cmdline
open syscall for file /proc/6848/environ
open syscall for file /proc/6857/stat
open syscall for file /proc/6857/status
open syscall for file /proc/6857/cmdline
open syscall for file /proc/6857/environ
open syscall for file /proc/31137/stat
open syscall for file /proc/31137/status
open syscall for file /proc/31137/cmdline
open syscall for file /proc/31137/environ
open syscall for file /proc/31173/stat
open syscall for file /proc/31173/status
open syscall for file /proc/31173/cmdline
open syscall for file /proc/31173/environ
open syscall for file /proc/31174/stat
open syscall for file /proc/31174/status
open syscall for file /proc/31174/cmdline
open syscall for file /proc/31174/environ
open syscall for file /proc/31179/stat
open syscall for file /proc/31179/status
open syscall for file /proc/31179/cmdline
open syscall for file /proc/31179/environ
open syscall for file /proc/31181/stat
open syscall for file /proc/31181/status
open syscall for file /proc/31181/cmdline
open syscall for file /proc/31181/environ
open syscall for file /proc/31182/stat
open syscall for file /proc/31182/status
open syscall for file /proc/31182/cmdline
open syscall for file /proc/31182/environ
One traced child (pid=31181) exited with status: 0
One traced child (pid=31182) exited with status: 0
New process pid=31183
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=31179) exited with status: 3
One traced child (pid=31183) exited with status: 0
New process pid=31184
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=31184) exited with status: 0
One traced child (pid=31174) 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): 1260.64
CPU time (s): 1201.85
CPU user time (s): 1170.46
CPU system time (s): 31.3892
CPU usage (%): 95.3371
Max. virtual memory (cumulated for all children) (Kb): 12760

Verifier Data

ERROR: no interpretation found !