Some explanations

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

General information on the benchmark

Namemps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran8x32.opb
MD5SUMff0017de67077abd1f68238274b64e50
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1497190
Optimality of the best value was proved NO
Number of terms in the objective function 5376
Biggest coefficient in the objective function 5242880
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 1517603678
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 5242880
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 1517603678
Number of bits of the biggest sum of numbers31
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1226.03
Number of variables5376
Total number of constraints296
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints296
Minimum length of a constraint21
Maximum length of a constraint640

Trace number 9393

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        955232 kB
Buffers:          4632 kB
Cached:          55480 kB
SwapCached:          0 kB
Active:          17124 kB
Inactive:        45856 kB
HighTotal:      131008 kB
HighFree:        93492 kB
LowTotal:       903652 kB
LowFree:        861740 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:            10860 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 13:35:54 (client local time) WITH STATUS 0 IN 1208.65 SECONDS
stats: 8120 7 1208.65 0

Solver Data

1:
seed: 0
Nr of vars set: 2395  (#equs: 0)
Nr of vars set: 2395  (#equs: 0)
#decisions: 50347;  #end-nodes: 1729;
#proof improvement attempts: 0;  #restarts: 20
Current batch, end-nodes: 80 / 85 (85)
#axs: 337, #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:  1512298057 (5305620:>=*);
#decisions: 2473;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 337, #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:  1512298077 (5305600:>=*);
#decisions: 2508;  #end-nodes: 23;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 23 / 80 (80)
#axs: 337, #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:  1512298237 (5305440:>=*);
#decisions: 2508;  #end-nodes: 33;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 33 / 80 (80)
#axs: 337, #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:  1512298251 (5305426:>=*);
#decisions: 221922;  #end-nodes: 8498;
#proof improvement attempts: 0;  #restarts: 92
Current batch, end-nodes: 74 / 103 (103)
#axs: 337, #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:  1512365592 (5238085:>=*);
#decisions: 2458;  #end-nodes: 13;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 13 / 80 (80)
#axs: 337, #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:  1512365595 (5238082:>=*);
#decisions: 2440;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 337, #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:  1512365612 (5238065:>=*);
#decisions: 105749;  #end-nodes: 3829;
#proof improvement attempts: 0;  #restarts: 44
Current batch, end-nodes: 62 / 91 (91)
#axs: 337, #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:  1512489376 (5114301:>=*);
#decisions: 5043;  #end-nodes: 154;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 73 / 80 (80)
#axs: 337, #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:  1512489385 (5114292:>=*);
#decisions: 988874;  #end-nodes: 57267;
#proof improvement attempts: 0;  #restarts: 428
Current batch, end-nodes: 101 / 187 (187)
#axs: 337, #non-axs: 14
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:  1512560205 (5043472:>=*);
#decisions: 2580;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 337, #non-axs: 14
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:  1512560229 (5043448:>=*);
#decisions: 2548;  #end-nodes: 13;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 13 / 80 (80)
#axs: 337, #non-axs: 14
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:  1512560237 (5043440:>=*);
#decisions: 2551;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 337, #non-axs: 14
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:  1512560261 (5043416:>=*);
#decisions: 2610;  #end-nodes: 53;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 53 / 80 (80)
#axs: 337, #non-axs: 14
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:  1512560357 (5043320:>=*);
#decisions: 136755;  #end-nodes: 5527;
#proof improvement attempts: 0;  #restarts: 62
Current batch, end-nodes: 76 / 95 (95)
#axs: 337, #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:  1512576119 (5027558:>=*);
#decisions: 2310;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 337, #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:  1512576123 (5027554:>=*);
#decisions: 2343;  #end-nodes: 33;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 33 / 80 (80)
#axs: 337, #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:  1512576127 (5027550:>=*);
#decisions: 215057;  #end-nodes: 8839;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 103 (103)
#axs: 337, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 1512576127 (5027550:>=*)

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: 2395  (#equs: 0)
Time taken: 6 min, 28 sec

2:
seed: 0
Nr of vars set: 2395  (#equs: 0)
Nr of vars set: 2395  (#equs: 0)
#decisions: 1301925;  #end-nodes: 105456;
#proof improvement attempts: 0;  #restarts: 556
Current batch, end-nodes: 33 / 259 (259)
#axs: 337, #non-axs: 181
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:  4152087 (4754246:>=*);
#decisions: 2015;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 120 (120)
#axs: 337, #non-axs: 181
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:  4152123 (4754210:>=*);
#decisions: 2018;  #end-nodes: 17;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 17 / 120 (120)
#axs: 337, #non-axs: 181
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:  4152147 (4754186:>=*);
#decisions: 2043;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 120 (120)
#axs: 337, #non-axs: 181
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:  4152161 (4754172:>=*);
#decisions: 2057;  #end-nodes: 26;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 26 / 120 (120)
#axs: 337, #non-axs: 181
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:  4152229 (4754104:>=*);
#decisions: 2067;  #end-nodes: 35;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 35 / 120 (120)
#axs: 337, #non-axs: 181
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:  4152543 (4753790:>=*);
#decisions: 2006;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 120 (120)
#axs: 337, #non-axs: 181
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:  4152627 (4753706:>=*);
#decisions: 2041;  #end-nodes: 31;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 31 / 120 (120)
#axs: 337, #non-axs: 181
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:  4152639 (4753694:>=*);
Interupt request received.
#decisions: 2952662;  #end-nodes: 334994;
#proof improvement attempts: 0;  #restarts: 1225
Current batch, end-nodes: 382 / 426 (426)
#axs: 337, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 4152639 (4753694:>=*)

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: 4417  (#equs: 0)
Time taken: 13 min, 39 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/7237/stat): 7237 (vallstSAT2005PB) R 7236 7237 4060 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 20445206 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7237/statm): 174 3 169 147 0 27 0
[pid=7237] 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=7238
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=7238) exited with status: 0
New process pid=7239
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=7239) exited with status: 0
New process pid=7240
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/wulflinc12/normalized-mps-v2-13-7-ran8x32.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0036 s]
Raw data (loadavg): 0.93 0.98 0.99 1/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) T 7237 7237 4060 0 -1 0 577 0 0 0 730 87 0 0 18 0 1 0 20445213 3690496 547 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7240/statm): 901 547 413 48 0 853 0
[pid=7240] vsize: 3604
Current children cumulated CPU time (s) 8.19
Current children cumulated vsize (Kb) 5732

[startup+20.0045 s]
Raw data (loadavg): 0.94 0.98 0.99 1/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) T 7237 7237 4060 0 -1 0 577 0 0 0 1315 217 0 0 18 0 1 0 20445213 3690496 547 4294967295 134512640 134702520 3221223952 3221223192 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7240/statm): 901 547 413 48 0 853 0
[pid=7240] vsize: 3604
Current children cumulated CPU time (s) 15.34
Current children cumulated vsize (Kb) 5732

[startup+30.0053 s]
Raw data (loadavg): 0.95 0.98 0.99 2/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) R 7237 7237 4060 0 -1 0 772 0 0 0 1993 324 0 0 20 0 1 0 20445213 5193728 742 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1268 742 413 48 0 1220 0
[pid=7240] vsize: 5072
Current children cumulated CPU time (s) 23.19
Current children cumulated vsize (Kb) 7200

[startup+40.0061 s]
Raw data (loadavg): 0.96 0.98 0.99 1/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) T 7237 7237 4060 0 -1 0 855 0 0 0 2783 392 0 0 20 0 1 0 20445213 5193728 825 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1268 825 413 48 0 1220 0
[pid=7240] vsize: 5072
Current children cumulated CPU time (s) 31.77
Current children cumulated vsize (Kb) 7200

[startup+50.007 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) R 7237 7237 4060 0 -1 0 980 0 0 0 3596 453 0 0 25 0 1 0 20445213 5193728 950 4294967295 134512640 134702520 3221223952 3221094128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1268 950 413 48 0 1220 0
[pid=7240] vsize: 5072
Current children cumulated CPU time (s) 40.51
Current children cumulated vsize (Kb) 7200

[startup+60.0078 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) R 7237 7237 4060 0 -1 0 980 0 0 0 4403 514 0 0 20 0 1 0 20445213 5193728 950 4294967295 134512640 134702520 3221223952 3221223232 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1268 950 413 48 0 1220 0
[pid=7240] vsize: 5072
Current children cumulated CPU time (s) 49.19
Current children cumulated vsize (Kb) 7200

[startup+70.0086 s]
Raw data (loadavg): 0.97 0.98 0.99 1/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) T 7237 7237 4060 0 -1 0 1005 0 0 0 5178 588 0 0 20 0 1 0 20445213 5398528 975 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1318 975 413 48 0 1270 0
[pid=7240] vsize: 5272
Current children cumulated CPU time (s) 57.68
Current children cumulated vsize (Kb) 7400

[startup+80.0104 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) R 7237 7237 4060 0 -1 0 1005 0 0 0 5977 651 0 0 21 0 1 0 20445213 5398528 975 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7240/statm): 1318 975 413 48 0 1270 0
[pid=7240] vsize: 5272
Current children cumulated CPU time (s) 66.3
Current children cumulated vsize (Kb) 7400

[startup+90.0113 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) R 7237 7237 4060 0 -1 0 1005 0 0 0 6762 723 0 0 20 0 1 0 20445213 5398528 975 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1318 975 413 48 0 1270 0
[pid=7240] vsize: 5272
Current children cumulated CPU time (s) 74.87
Current children cumulated vsize (Kb) 7400

[startup+100.011 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) T 7237 7237 4060 0 -1 0 1005 0 0 0 7562 787 0 0 21 0 1 0 20445213 5398528 975 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1318 975 413 48 0 1270 0
[pid=7240] vsize: 5272
Current children cumulated CPU time (s) 83.51
Current children cumulated vsize (Kb) 7400

[startup+110.012 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) R 7237 7237 4060 0 -1 0 1005 0 0 0 8349 854 0 0 20 0 1 0 20445213 5398528 975 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1318 975 413 48 0 1270 0
[pid=7240] vsize: 5272
Current children cumulated CPU time (s) 92.05
Current children cumulated vsize (Kb) 7400

[startup+120.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) R 7237 7237 4060 0 -1 0 1005 0 0 0 9182 904 0 0 25 0 1 0 20445213 5398528 975 4294967295 134512640 134702520 3221223952 3220921968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1318 975 413 48 0 1270 0
[pid=7240] vsize: 5272
Current children cumulated CPU time (s) 100.88
Current children cumulated vsize (Kb) 7400

[startup+130.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) R 7237 7237 4060 0 -1 0 1007 0 0 0 9979 966 0 0 21 0 1 0 20445213 5398528 977 4294967295 134512640 134702520 3221223952 3221223232 134552310 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7240/statm): 1318 977 413 48 0 1270 0
[pid=7240] vsize: 5272
Current children cumulated CPU time (s) 109.47
Current children cumulated vsize (Kb) 7400

[startup+140.014 s]
Raw data (loadavg): 1.06 1.00 1.00 1/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) T 7237 7237 4060 0 -1 0 1010 0 0 0 10880 997 0 0 25 0 1 0 20445213 5398528 980 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1318 980 413 48 0 1270 0
[pid=7240] vsize: 5272
Current children cumulated CPU time (s) 118.79
Current children cumulated vsize (Kb) 7400

[startup+150.015 s]
Raw data (loadavg): 1.05 1.00 1.00 1/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) T 7237 7237 4060 0 -1 0 1010 0 0 0 11802 1023 0 0 21 0 1 0 20445213 5398528 980 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1318 980 413 48 0 1270 0
[pid=7240] vsize: 5272
Current children cumulated CPU time (s) 128.27
Current children cumulated vsize (Kb) 7400

[startup+160.016 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) T 7237 7237 4060 0 -1 0 1012 0 0 0 12598 1085 0 0 21 0 1 0 20445213 5398528 982 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1318 982 413 48 0 1270 0
[pid=7240] vsize: 5272
Current children cumulated CPU time (s) 136.85
Current children cumulated vsize (Kb) 7400

[startup+170.017 s]
Raw data (loadavg): 1.12 1.02 1.01 2/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) R 7237 7237 4060 0 -1 0 1014 0 0 0 13411 1149 0 0 22 0 1 0 20445213 5398528 984 4294967295 134512640 134702520 3221223952 3221190748 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1318 984 413 48 0 1270 0
[pid=7240] vsize: 5272
Current children cumulated CPU time (s) 145.62
Current children cumulated vsize (Kb) 7400

[startup+180.019 s]
Raw data (loadavg): 1.10 1.02 1.00 1/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) T 7237 7237 4060 0 -1 0 1017 0 0 0 14247 1204 0 0 21 0 1 0 20445213 5398528 987 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7240/statm): 1318 987 413 48 0 1270 0
[pid=7240] vsize: 5272
Current children cumulated CPU time (s) 154.53
Current children cumulated vsize (Kb) 7400

[startup+190.02 s]
Raw data (loadavg): 1.08 1.01 1.00 2/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) R 7237 7237 4060 0 -1 0 1020 0 0 0 15036 1275 0 0 21 0 1 0 20445213 5398528 990 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1318 990 413 48 0 1270 0
[pid=7240] vsize: 5272
Current children cumulated CPU time (s) 163.13
Current children cumulated vsize (Kb) 7400

[startup+200.019 s]
Raw data (loadavg): 1.07 1.01 1.00 2/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) R 7237 7237 4060 0 -1 0 1023 0 0 0 15954 1301 0 0 25 0 1 0 20445213 5398528 993 4294967295 134512640 134702520 3221223952 3221222848 134553492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1318 993 413 48 0 1270 0
[pid=7240] vsize: 5272
Current children cumulated CPU time (s) 172.57
Current children cumulated vsize (Kb) 7400

[startup+210.02 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) R 7237 7237 4060 0 -1 0 1024 0 0 0 16866 1330 0 0 21 0 1 0 20445213 5398528 994 4294967295 134512640 134702520 3221223952 3221223232 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1318 994 413 48 0 1270 0
[pid=7240] vsize: 5272
Current children cumulated CPU time (s) 181.98
Current children cumulated vsize (Kb) 7400

[startup+220.021 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) R 7237 7237 4060 0 -1 0 1027 0 0 0 17679 1390 0 0 21 0 1 0 20445213 5398528 997 4294967295 134512640 134702520 3221223952 3221223232 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1318 997 413 48 0 1270 0
[pid=7240] vsize: 5272
Current children cumulated CPU time (s) 190.71
Current children cumulated vsize (Kb) 7400

[startup+230.022 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) R 7237 7237 4060 0 -1 0 1030 0 0 0 18490 1451 0 0 21 0 1 0 20445213 5398528 1000 4294967295 134512640 134702520 3221223952 3221218108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1318 1000 413 48 0 1270 0
[pid=7240] vsize: 5272
Current children cumulated CPU time (s) 199.43
Current children cumulated vsize (Kb) 7400

[startup+240.023 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) R 7237 7237 4060 0 -1 0 1032 0 0 0 19346 1496 0 0 25 0 1 0 20445213 5398528 1002 4294967295 134512640 134702520 3221223952 3220845648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1318 1002 413 48 0 1270 0
[pid=7240] vsize: 5272
Current children cumulated CPU time (s) 208.44
Current children cumulated vsize (Kb) 7400

[startup+250.024 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) R 7237 7237 4060 0 -1 0 1037 0 0 0 20147 1559 0 0 21 0 1 0 20445213 5521408 1007 4294967295 134512640 134702520 3221223952 3221223464 1074752208 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1348 1007 413 48 0 1300 0
[pid=7240] vsize: 5392
Current children cumulated CPU time (s) 217.08
Current children cumulated vsize (Kb) 7520

[startup+260.024 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) R 7237 7237 4060 0 -1 0 1041 0 0 0 21034 1597 0 0 25 0 1 0 20445213 5521408 1011 4294967295 134512640 134702520 3221223952 3221222848 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1348 1011 413 48 0 1300 0
[pid=7240] vsize: 5392
Current children cumulated CPU time (s) 226.33
Current children cumulated vsize (Kb) 7520

[startup+270.025 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) R 7237 7237 4060 0 -1 0 1041 0 0 0 21978 1616 0 0 25 0 1 0 20445213 5521408 1011 4294967295 134512640 134702520 3221223952 3221222848 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1348 1011 413 48 0 1300 0
[pid=7240] vsize: 5392
Current children cumulated CPU time (s) 235.96
Current children cumulated vsize (Kb) 7520

[startup+280.026 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) R 7237 7237 4060 0 -1 0 1046 0 0 0 22780 1677 0 0 21 0 1 0 20445213 5521408 1016 4294967295 134512640 134702520 3221223952 3221223232 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1348 1016 413 48 0 1300 0
[pid=7240] vsize: 5392
Current children cumulated CPU time (s) 244.59
Current children cumulated vsize (Kb) 7520

[startup+290.027 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) T 7237 7237 4060 0 -1 0 1049 0 0 0 23608 1729 0 0 21 0 1 0 20445213 5521408 1019 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1348 1019 413 48 0 1300 0
[pid=7240] vsize: 5392
Current children cumulated CPU time (s) 253.39
Current children cumulated vsize (Kb) 7520

[startup+300.027 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) R 7237 7237 4060 0 -1 0 1052 0 0 0 24421 1786 0 0 21 0 1 0 20445213 5521408 1022 4294967295 134512640 134702520 3221223952 3221223232 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1348 1022 413 48 0 1300 0
[pid=7240] vsize: 5392
Current children cumulated CPU time (s) 262.09
Current children cumulated vsize (Kb) 7520

[startup+310.027 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) R 7237 7237 4060 0 -1 0 1057 0 0 0 25248 1843 0 0 22 0 1 0 20445213 5521408 1027 4294967295 134512640 134702520 3221223952 3221221628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7240/statm): 1348 1027 413 48 0 1300 0
[pid=7240] vsize: 5392
Current children cumulated CPU time (s) 270.93
Current children cumulated vsize (Kb) 7520

[startup+320.028 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) R 7237 7237 4060 0 -1 0 1060 0 0 0 26101 1888 0 0 25 0 1 0 20445213 5521408 1030 4294967295 134512640 134702520 3221223952 3221120528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1348 1030 413 48 0 1300 0
[pid=7240] vsize: 5392
Current children cumulated CPU time (s) 279.91
Current children cumulated vsize (Kb) 7520

[startup+330.029 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) R 7237 7237 4060 0 -1 0 1062 0 0 0 27054 1902 0 0 25 0 1 0 20445213 5521408 1032 4294967295 134512640 134702520 3221223952 3221222848 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1348 1032 413 48 0 1300 0
[pid=7240] vsize: 5392
Current children cumulated CPU time (s) 289.58
Current children cumulated vsize (Kb) 7520

[startup+340.03 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) T 7237 7237 4060 0 -1 0 1064 0 0 0 27910 1947 0 0 21 0 1 0 20445213 5521408 1034 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1348 1034 413 48 0 1300 0
[pid=7240] vsize: 5392
Current children cumulated CPU time (s) 298.59
Current children cumulated vsize (Kb) 7520

[startup+350.03 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) R 7237 7237 4060 0 -1 0 1066 0 0 0 28727 2007 0 0 21 0 1 0 20445213 5521408 1036 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1348 1036 413 48 0 1300 0
[pid=7240] vsize: 5392
Current children cumulated CPU time (s) 307.36
Current children cumulated vsize (Kb) 7520

[startup+360.032 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) T 7237 7237 4060 0 -1 0 1069 0 0 0 29560 2058 0 0 22 0 1 0 20445213 5648384 1039 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1379 1039 413 48 0 1331 0
[pid=7240] vsize: 5516
Current children cumulated CPU time (s) 316.2
Current children cumulated vsize (Kb) 7644

[startup+370.032 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) R 7237 7237 4060 0 -1 0 1070 0 0 0 30347 2124 0 0 19 0 1 0 20445213 5648384 1040 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7240/statm): 1379 1040 413 48 0 1331 0
[pid=7240] vsize: 5516
Current children cumulated CPU time (s) 324.73
Current children cumulated vsize (Kb) 7644

[startup+380.033 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) R 7237 7237 4060 0 -1 0 1071 0 0 0 31160 2185 0 0 25 0 1 0 20445213 5648384 1041 4294967295 134512640 134702520 3221223952 3221078908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1379 1041 413 48 0 1331 0
[pid=7240] vsize: 5516
Current children cumulated CPU time (s) 333.47
Current children cumulated vsize (Kb) 7644

[startup+390.034 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) T 7237 7237 4060 0 -1 0 1071 0 0 0 31909 2265 0 0 20 0 1 0 20445213 5648384 1041 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1379 1041 413 48 0 1331 0
[pid=7240] vsize: 5516
Current children cumulated CPU time (s) 341.76
Current children cumulated vsize (Kb) 7644

[startup+400.034 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) R 7237 7237 4060 0 -1 0 1073 0 0 0 32741 2316 0 0 25 0 1 0 20445213 5648384 1043 4294967295 134512640 134702520 3221223952 3220943088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1379 1043 413 48 0 1331 0
[pid=7240] vsize: 5516
Current children cumulated CPU time (s) 350.59
Current children cumulated vsize (Kb) 7644

[startup+410.035 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) T 7237 7237 4060 0 -1 0 1073 0 0 0 33522 2383 0 0 19 0 1 0 20445213 5648384 1043 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1379 1043 413 48 0 1331 0
[pid=7240] vsize: 5516
Current children cumulated CPU time (s) 359.07
Current children cumulated vsize (Kb) 7644

[startup+420.036 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) R 7237 7237 4060 0 -1 0 1074 0 0 0 34331 2446 0 0 25 0 1 0 20445213 5648384 1044 4294967295 134512640 134702520 3221223952 3221121308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1379 1044 413 48 0 1331 0
[pid=7240] vsize: 5516
Current children cumulated CPU time (s) 367.79
Current children cumulated vsize (Kb) 7644

[startup+430.037 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) T 7237 7237 4060 0 -1 0 1074 0 0 0 35182 2493 0 0 25 0 1 0 20445213 5648384 1044 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1379 1044 413 48 0 1331 0
[pid=7240] vsize: 5516
Current children cumulated CPU time (s) 376.77
Current children cumulated vsize (Kb) 7644

[startup+440.038 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 7240
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20445206 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 242 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7240/stat): 7240 (vallst) T 7237 7237 4060 0 -1 0 1075 0 0 0 36126 2511 0 0 25 0 1 0 20445213 5648384 1045 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7240/statm): 1379 1045 413 48 0 1331 0
[pid=7240] vsize: 5516
Current children cumulated CPU time (s) 386.39
Current children cumulated vsize (Kb) 7644
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=7240) exited with status: 2
New process pid=7241
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=7241) exited with status: 0
New process pid=7242
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+450.038 s]
Raw data (loadavg): 1.09 1.02 1.01 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 517 0 0 0 431 99 0 0 17 0 1 0 20489468 3395584 487 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7242/statm): 829 487 413 48 0 781 0
[pid=7242] vsize: 3316
Current children cumulated CPU time (s) 394.12
Current children cumulated vsize (Kb) 5444

[startup+460.039 s]
Raw data (loadavg): 1.15 1.04 1.01 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 518 0 0 0 925 267 0 0 18 0 1 0 20489468 3395584 488 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7242/statm): 829 488 413 48 0 781 0
[pid=7242] vsize: 3316
Current children cumulated CPU time (s) 400.74
Current children cumulated vsize (Kb) 5444

[startup+470.039 s]
Raw data (loadavg): 1.13 1.04 1.01 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 857 0 0 0 1580 380 0 0 18 0 1 0 20489468 4591616 827 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1121 827 413 48 0 1073 0
[pid=7242] vsize: 4484
Current children cumulated CPU time (s) 408.42
Current children cumulated vsize (Kb) 6612

[startup+480.04 s]
Raw data (loadavg): 1.11 1.03 1.01 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 864 0 0 0 2362 453 0 0 21 0 1 0 20489468 4722688 834 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1153 834 413 48 0 1105 0
[pid=7242] vsize: 4612
Current children cumulated CPU time (s) 416.97
Current children cumulated vsize (Kb) 6740

[startup+490.041 s]
Raw data (loadavg): 1.09 1.03 1.01 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 873 0 0 0 3104 535 0 0 25 0 1 0 20489468 4722688 843 4294967295 134512640 134702520 3221223712 3221041088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1153 843 413 48 0 1105 0
[pid=7242] vsize: 4612
Current children cumulated CPU time (s) 425.21
Current children cumulated vsize (Kb) 6740

[startup+500.041 s]
Raw data (loadavg): 1.08 1.03 1.01 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 878 0 0 0 3724 658 0 0 16 0 1 0 20489468 4722688 848 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1153 848 413 48 0 1105 0
[pid=7242] vsize: 4612
Current children cumulated CPU time (s) 432.64
Current children cumulated vsize (Kb) 6740

[startup+510.042 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 879 0 0 0 4074 874 0 0 17 0 1 0 20489468 4722688 849 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1153 849 413 48 0 1105 0
[pid=7242] vsize: 4612
Current children cumulated CPU time (s) 438.3
Current children cumulated vsize (Kb) 6740

[startup+520.043 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 886 0 0 0 4749 979 0 0 18 0 1 0 20489468 4722688 856 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1153 856 413 48 0 1105 0
[pid=7242] vsize: 4612
Current children cumulated CPU time (s) 446.1
Current children cumulated vsize (Kb) 6740

[startup+530.044 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 889 0 0 0 5543 1040 0 0 20 0 1 0 20489468 4722688 859 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1153 859 413 48 0 1105 0
[pid=7242] vsize: 4612
Current children cumulated CPU time (s) 454.65
Current children cumulated vsize (Kb) 6740

[startup+540.045 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 892 0 0 0 6311 1116 0 0 25 0 1 0 20489468 4722688 862 4294967295 134512640 134702520 3221223712 3221025068 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1153 862 413 48 0 1105 0
[pid=7242] vsize: 4612
Current children cumulated CPU time (s) 463.09
Current children cumulated vsize (Kb) 6740

[startup+550.045 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 897 0 0 0 6954 1233 0 0 16 0 1 0 20489468 4853760 867 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1185 867 413 48 0 1137 0
[pid=7242] vsize: 4740
Current children cumulated CPU time (s) 470.69
Current children cumulated vsize (Kb) 6868

[startup+560.046 s]
Raw data (loadavg): 1.11 1.04 1.01 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 898 0 0 0 7314 1441 0 0 16 0 1 0 20489468 4853760 868 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1185 868 413 48 0 1137 0
[pid=7242] vsize: 4740
Current children cumulated CPU time (s) 476.37
Current children cumulated vsize (Kb) 6868

[startup+570.047 s]
Raw data (loadavg): 1.09 1.04 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 902 0 0 0 7981 1547 0 0 18 0 1 0 20489468 4853760 872 4294967295 134512640 134702520 3221223712 3221222992 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1185 872 413 48 0 1137 0
[pid=7242] vsize: 4740
Current children cumulated CPU time (s) 484.1
Current children cumulated vsize (Kb) 6868

[startup+580.048 s]
Raw data (loadavg): 1.08 1.04 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 904 0 0 0 8775 1617 0 0 19 0 1 0 20489468 4853760 874 4294967295 134512640 134702520 3221223712 3221222992 134557259 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1185 874 413 48 0 1137 0
[pid=7242] vsize: 4740
Current children cumulated CPU time (s) 492.74
Current children cumulated vsize (Kb) 6868

[startup+590.049 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 907 0 0 0 9521 1696 0 0 25 0 1 0 20489468 4853760 877 4294967295 134512640 134702520 3221223712 3221136928 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1185 877 413 48 0 1137 0
[pid=7242] vsize: 4740
Current children cumulated CPU time (s) 500.99
Current children cumulated vsize (Kb) 6868

[startup+600.049 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 912 0 0 0 10246 1780 0 0 16 0 1 0 20489468 4853760 882 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1185 882 413 48 0 1137 0
[pid=7242] vsize: 4740
Current children cumulated CPU time (s) 509.08
Current children cumulated vsize (Kb) 6868

[startup+610.049 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 913 0 0 0 10586 1993 0 0 16 0 1 0 20489468 4853760 883 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1185 883 413 48 0 1137 0
[pid=7242] vsize: 4740
Current children cumulated CPU time (s) 514.61
Current children cumulated vsize (Kb) 6868

[startup+620.05 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 916 0 0 0 11248 2101 0 0 19 0 1 0 20489468 4853760 886 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1185 886 413 48 0 1137 0
[pid=7242] vsize: 4740
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (Kb) 6868

[startup+630.051 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 921 0 0 0 11997 2179 0 0 19 0 1 0 20489468 4853760 891 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1185 891 413 48 0 1137 0
[pid=7242] vsize: 4740
Current children cumulated CPU time (s) 530.58
Current children cumulated vsize (Kb) 6868

[startup+640.052 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 924 0 0 0 12808 2243 0 0 17 0 1 0 20489468 4976640 894 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1215 894 413 48 0 1167 0
[pid=7242] vsize: 4860
Current children cumulated CPU time (s) 539.33
Current children cumulated vsize (Kb) 6988

[startup+650.052 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 930 0 0 0 13548 2325 0 0 20 0 1 0 20489468 4976640 900 4294967295 134512640 134702520 3221223712 3221211648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1215 900 413 48 0 1167 0
[pid=7242] vsize: 4860
Current children cumulated CPU time (s) 547.55
Current children cumulated vsize (Kb) 6988

[startup+660.053 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 932 0 0 0 14024 2489 0 0 17 0 1 0 20489468 4976640 902 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1215 902 413 48 0 1167 0
[pid=7242] vsize: 4860
Current children cumulated CPU time (s) 553.95
Current children cumulated vsize (Kb) 6988

[startup+670.054 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 936 0 0 0 14513 2659 0 0 20 0 1 0 20489468 4976640 906 4294967295 134512640 134702520 3221223712 3221222832 134573853 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1215 906 413 48 0 1167 0
[pid=7242] vsize: 4860
Current children cumulated CPU time (s) 560.54
Current children cumulated vsize (Kb) 6988

[startup+680.055 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 938 0 0 0 15319 2719 0 0 25 0 1 0 20489468 4976640 908 4294967295 134512640 134702520 3221223712 3221003168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1215 908 413 48 0 1167 0
[pid=7242] vsize: 4860
Current children cumulated CPU time (s) 569.2
Current children cumulated vsize (Kb) 6988

[startup+690.056 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 941 0 0 0 16063 2798 0 0 18 0 1 0 20489468 4976640 911 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1215 911 413 48 0 1167 0
[pid=7242] vsize: 4860
Current children cumulated CPU time (s) 577.43
Current children cumulated vsize (Kb) 6988

[startup+700.056 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 944 0 0 0 16867 2861 0 0 25 0 1 0 20489468 4976640 914 4294967295 134512640 134702520 3221223712 3220998368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1215 914 413 48 0 1167 0
[pid=7242] vsize: 4860
Current children cumulated CPU time (s) 586.1
Current children cumulated vsize (Kb) 6988

[startup+710.057 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 949 0 0 0 17529 2972 0 0 16 0 1 0 20489468 4976640 919 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1215 919 413 48 0 1167 0
[pid=7242] vsize: 4860
Current children cumulated CPU time (s) 593.83
Current children cumulated vsize (Kb) 6988

[startup+720.058 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 950 0 0 0 17870 3187 0 0 17 0 1 0 20489468 5115904 920 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1249 920 413 48 0 1201 0
[pid=7242] vsize: 4996
Current children cumulated CPU time (s) 599.39
Current children cumulated vsize (Kb) 7124

[startup+730.058 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 954 0 0 0 18575 3278 0 0 20 0 1 0 20489468 5079040 924 4294967295 134512640 134702520 3221223712 3221222992 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1240 924 413 48 0 1192 0
[pid=7242] vsize: 4960
Current children cumulated CPU time (s) 607.35
Current children cumulated vsize (Kb) 7088

[startup+740.059 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 957 0 0 0 19340 3349 0 0 19 0 1 0 20489468 5079040 927 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1240 927 413 48 0 1192 0
[pid=7242] vsize: 4960
Current children cumulated CPU time (s) 615.71
Current children cumulated vsize (Kb) 7088

[startup+750.06 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 962 0 0 0 20167 3404 0 0 24 0 1 0 20489468 5079040 932 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1240 932 413 48 0 1192 0
[pid=7242] vsize: 4960
Current children cumulated CPU time (s) 624.53
Current children cumulated vsize (Kb) 7088

[startup+760.062 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 967 0 0 0 20883 3498 0 0 25 0 1 0 20489468 5083136 937 4294967295 134512640 134702520 3221223712 3221077088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1241 937 413 48 0 1193 0
[pid=7242] vsize: 4964
Current children cumulated CPU time (s) 632.63
Current children cumulated vsize (Kb) 7092

[startup+770.063 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 968 0 0 0 21613 3586 0 0 24 0 1 0 20489468 5083136 938 4294967295 134512640 134702520 3221223712 3221142348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1241 938 413 48 0 1193 0
[pid=7242] vsize: 4964
Current children cumulated CPU time (s) 640.81
Current children cumulated vsize (Kb) 7092

[startup+780.063 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 969 0 0 0 22343 3668 0 0 18 0 1 0 20489468 5083136 939 4294967295 134512640 134702520 3221223712 3221210368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1241 939 413 48 0 1193 0
[pid=7242] vsize: 4964
Current children cumulated CPU time (s) 648.93
Current children cumulated vsize (Kb) 7092

[startup+790.065 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 971 0 0 0 23046 3763 0 0 16 0 1 0 20489468 5083136 941 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1241 941 413 48 0 1193 0
[pid=7242] vsize: 4964
Current children cumulated CPU time (s) 656.91
Current children cumulated vsize (Kb) 7092

[startup+800.065 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 972 0 0 0 23383 3975 0 0 16 0 1 0 20489468 5083136 942 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1241 942 413 48 0 1193 0
[pid=7242] vsize: 4964
Current children cumulated CPU time (s) 662.4
Current children cumulated vsize (Kb) 7092

[startup+810.066 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 974 0 0 0 24032 4086 0 0 17 0 1 0 20489468 5083136 944 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1241 944 413 48 0 1193 0
[pid=7242] vsize: 4964
Current children cumulated CPU time (s) 670
Current children cumulated vsize (Kb) 7092

[startup+820.067 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 975 0 0 0 24811 4155 0 0 17 0 1 0 20489468 5083136 945 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1241 945 413 48 0 1193 0
[pid=7242] vsize: 4964
Current children cumulated CPU time (s) 678.48
Current children cumulated vsize (Kb) 7092

[startup+830.068 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 975 0 0 0 25559 4236 0 0 25 0 1 0 20489468 5083136 945 4294967295 134512640 134702520 3221223712 3221078988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1241 945 413 48 0 1193 0
[pid=7242] vsize: 4964
Current children cumulated CPU time (s) 686.77
Current children cumulated vsize (Kb) 7092

[startup+840.068 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 977 0 0 0 26230 4340 0 0 16 0 1 0 20489468 5083136 947 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1241 947 413 48 0 1193 0
[pid=7242] vsize: 4964
Current children cumulated CPU time (s) 694.52
Current children cumulated vsize (Kb) 7092

[startup+850.069 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 978 0 0 0 26584 4551 0 0 16 0 1 0 20489468 5083136 948 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1241 948 413 48 0 1193 0
[pid=7242] vsize: 4964
Current children cumulated CPU time (s) 700.17
Current children cumulated vsize (Kb) 7092

[startup+860.07 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 979 0 0 0 27262 4653 0 0 19 0 1 0 20489468 5083136 949 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1241 949 413 48 0 1193 0
[pid=7242] vsize: 4964
Current children cumulated CPU time (s) 707.97
Current children cumulated vsize (Kb) 7092

[startup+870.071 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 979 0 0 0 28065 4711 0 0 25 0 1 0 20489468 5083136 949 4294967295 134512640 134702520 3221223712 3220896288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1241 949 413 48 0 1193 0
[pid=7242] vsize: 4964
Current children cumulated CPU time (s) 716.58
Current children cumulated vsize (Kb) 7092

[startup+880.072 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 980 0 0 0 28798 4796 0 0 20 0 1 0 20489468 5083136 950 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1241 950 413 48 0 1193 0
[pid=7242] vsize: 4964
Current children cumulated CPU time (s) 724.76
Current children cumulated vsize (Kb) 7092

[startup+890.073 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 980 0 0 0 29586 4863 0 0 17 0 1 0 20489468 5083136 950 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1241 950 413 48 0 1193 0
[pid=7242] vsize: 4964
Current children cumulated CPU time (s) 733.31
Current children cumulated vsize (Kb) 7092

[startup+900.072 s]
Raw data (loadavg): 1.19 1.06 1.01 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 980 0 0 0 29915 5084 0 0 16 0 1 0 20489468 5083136 950 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1241 950 413 48 0 1193 0
[pid=7242] vsize: 4964
Current children cumulated CPU time (s) 738.81
Current children cumulated vsize (Kb) 7092

[startup+910.073 s]
Raw data (loadavg): 1.16 1.06 1.01 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 981 0 0 0 30549 5201 0 0 25 0 1 0 20489468 5173248 951 4294967295 134512640 134702520 3221223712 3221026348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1263 951 413 48 0 1215 0
[pid=7242] vsize: 5052
Current children cumulated CPU time (s) 746.32
Current children cumulated vsize (Kb) 7180

[startup+920.074 s]
Raw data (loadavg): 1.13 1.06 1.01 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 981 0 0 0 31299 5280 0 0 19 0 1 0 20489468 5173248 951 4294967295 134512640 134702520 3221223712 3221222832 134588394 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1263 951 413 48 0 1215 0
[pid=7242] vsize: 5052
Current children cumulated CPU time (s) 754.61
Current children cumulated vsize (Kb) 7180

[startup+930.076 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 982 0 0 0 32107 5343 0 0 21 0 1 0 20489468 5173248 952 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1263 952 413 48 0 1215 0
[pid=7242] vsize: 5052
Current children cumulated CPU time (s) 763.32
Current children cumulated vsize (Kb) 7180

[startup+940.077 s]
Raw data (loadavg): 1.09 1.05 1.01 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 982 0 0 0 32853 5427 0 0 19 0 1 0 20489468 5173248 952 4294967295 134512640 134702520 3221223712 3221222992 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1263 952 413 48 0 1215 0
[pid=7242] vsize: 5052
Current children cumulated CPU time (s) 771.62
Current children cumulated vsize (Kb) 7180

[startup+950.077 s]
Raw data (loadavg): 1.08 1.05 1.01 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 983 0 0 0 33354 5590 0 0 16 0 1 0 20489468 5173248 953 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1263 953 413 48 0 1215 0
[pid=7242] vsize: 5052
Current children cumulated CPU time (s) 778.26
Current children cumulated vsize (Kb) 7180

[startup+960.077 s]
Raw data (loadavg): 1.07 1.05 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 986 0 0 0 33810 5763 0 0 18 0 1 0 20489468 5173248 956 4294967295 134512640 134702520 3221223712 3221222992 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1263 956 413 48 0 1215 0
[pid=7242] vsize: 5052
Current children cumulated CPU time (s) 784.55
Current children cumulated vsize (Kb) 7180

[startup+970.078 s]
Raw data (loadavg): 1.13 1.06 1.01 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 986 0 0 0 34605 5828 0 0 25 0 1 0 20489468 5173248 956 4294967295 134512640 134702520 3221223712 3221049888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1263 956 413 48 0 1215 0
[pid=7242] vsize: 5052
Current children cumulated CPU time (s) 793.15
Current children cumulated vsize (Kb) 7180

[startup+980.079 s]
Raw data (loadavg): 1.11 1.06 1.01 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 987 0 0 0 35373 5901 0 0 20 0 1 0 20489468 5173248 957 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1263 957 413 48 0 1215 0
[pid=7242] vsize: 5052
Current children cumulated CPU time (s) 801.56
Current children cumulated vsize (Kb) 7180

[startup+990.08 s]
Raw data (loadavg): 1.09 1.06 1.01 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 987 0 0 0 36160 5970 0 0 25 0 1 0 20489468 5173248 957 4294967295 134512640 134702520 3221223712 3221120608 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1263 957 413 48 0 1215 0
[pid=7242] vsize: 5052
Current children cumulated CPU time (s) 810.12
Current children cumulated vsize (Kb) 7180

[startup+1000.08 s]
Raw data (loadavg): 1.08 1.05 1.01 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 987 0 0 0 36905 6048 0 0 16 0 1 0 20489468 5173248 957 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1263 957 413 48 0 1215 0
[pid=7242] vsize: 5052
Current children cumulated CPU time (s) 818.35
Current children cumulated vsize (Kb) 7180

[startup+1010.08 s]
Raw data (loadavg): 1.07 1.05 1.01 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 988 0 0 0 37238 6266 0 0 17 0 1 0 20489468 5173248 958 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1263 958 413 48 0 1215 0
[pid=7242] vsize: 5052
Current children cumulated CPU time (s) 823.86
Current children cumulated vsize (Kb) 7180

[startup+1020.08 s]
Raw data (loadavg): 1.13 1.07 1.01 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 990 0 0 0 37902 6373 0 0 23 0 1 0 20489468 5173248 960 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1263 960 413 48 0 1215 0
[pid=7242] vsize: 5052
Current children cumulated CPU time (s) 831.57
Current children cumulated vsize (Kb) 7180

[startup+1030.08 s]
Raw data (loadavg): 1.11 1.06 1.01 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 991 0 0 0 38649 6458 0 0 19 0 1 0 20489468 5173248 961 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1263 961 413 48 0 1215 0
[pid=7242] vsize: 5052
Current children cumulated CPU time (s) 839.89
Current children cumulated vsize (Kb) 7180

[startup+1040.09 s]
Raw data (loadavg): 1.09 1.06 1.01 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 991 0 0 0 39466 6515 0 0 25 0 1 0 20489468 5173248 961 4294967295 134512640 134702520 3221223712 3220990988 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1263 961 413 48 0 1215 0
[pid=7242] vsize: 5052
Current children cumulated CPU time (s) 848.63
Current children cumulated vsize (Kb) 7180

[startup+1050.09 s]
Raw data (loadavg): 1.08 1.06 1.01 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 992 0 0 0 40252 6581 0 0 17 0 1 0 20489468 5173248 962 4294967295 134512640 134702520 3221223712 3221222832 134588158 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1263 962 413 48 0 1215 0
[pid=7242] vsize: 5052
Current children cumulated CPU time (s) 857.15
Current children cumulated vsize (Kb) 7180

[startup+1060.09 s]
Raw data (loadavg): 1.06 1.06 1.01 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 993 0 0 0 40854 6705 0 0 16 0 1 0 20489468 5173248 963 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1263 963 413 48 0 1215 0
[pid=7242] vsize: 5052
Current children cumulated CPU time (s) 864.41
Current children cumulated vsize (Kb) 7180

[startup+1070.09 s]
Raw data (loadavg): 1.13 1.07 1.01 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 995 0 0 0 41227 6906 0 0 16 0 1 0 20489468 5173248 965 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1263 965 413 48 0 1215 0
[pid=7242] vsize: 5052
Current children cumulated CPU time (s) 870.15
Current children cumulated vsize (Kb) 7180

[startup+1080.09 s]
Raw data (loadavg): 1.11 1.07 1.01 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 997 0 0 0 41997 6979 0 0 19 0 1 0 20489468 5173248 967 4294967295 134512640 134702520 3221223712 3221222992 134553492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1263 967 413 48 0 1215 0
[pid=7242] vsize: 5052
Current children cumulated CPU time (s) 878.58
Current children cumulated vsize (Kb) 7180

[startup+1090.09 s]
Raw data (loadavg): 1.09 1.06 1.01 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 997 0 0 0 42775 7050 0 0 23 0 1 0 20489468 5173248 967 4294967295 134512640 134702520 3221223712 3221222188 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1263 967 413 48 0 1215 0
[pid=7242] vsize: 5052
Current children cumulated CPU time (s) 887.07
Current children cumulated vsize (Kb) 7180

[startup+1100.09 s]
Raw data (loadavg): 1.08 1.06 1.01 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 998 0 0 0 43617 7099 0 0 22 0 1 0 20489468 5173248 968 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1263 968 413 48 0 1215 0
[pid=7242] vsize: 5052
Current children cumulated CPU time (s) 895.98
Current children cumulated vsize (Kb) 7180

[startup+1110.09 s]
Raw data (loadavg): 1.06 1.06 1.01 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 999 0 0 0 44406 7167 0 0 19 0 1 0 20489468 5173248 969 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1263 969 413 48 0 1215 0
[pid=7242] vsize: 5052
Current children cumulated CPU time (s) 904.55
Current children cumulated vsize (Kb) 7180

[startup+1120.09 s]
Raw data (loadavg): 1.05 1.06 1.01 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 1001 0 0 0 45005 7297 0 0 16 0 1 0 20489468 5173248 971 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1263 971 413 48 0 1215 0
[pid=7242] vsize: 5052
Current children cumulated CPU time (s) 911.84
Current children cumulated vsize (Kb) 7180

[startup+1130.09 s]
Raw data (loadavg): 1.05 1.05 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 1003 0 0 0 45390 7497 0 0 18 0 1 0 20489468 5267456 973 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1286 973 413 48 0 1238 0
[pid=7242] vsize: 5144
Current children cumulated CPU time (s) 917.69
Current children cumulated vsize (Kb) 7272

[startup+1140.09 s]
Raw data (loadavg): 1.04 1.05 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 1003 0 0 0 46168 7562 0 0 20 0 1 0 20489468 5267456 973 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1286 973 413 48 0 1238 0
[pid=7242] vsize: 5144
Current children cumulated CPU time (s) 926.12
Current children cumulated vsize (Kb) 7272

[startup+1150.09 s]
Raw data (loadavg): 1.03 1.05 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 1004 0 0 0 46958 7628 0 0 20 0 1 0 20489468 5267456 974 4294967295 134512640 134702520 3221223712 3221223112 134607256 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1286 974 413 48 0 1238 0
[pid=7242] vsize: 5144
Current children cumulated CPU time (s) 934.68
Current children cumulated vsize (Kb) 7272

[startup+1160.1 s]
Raw data (loadavg): 1.03 1.05 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 1005 0 0 0 47798 7677 0 0 25 0 1 0 20489468 5267456 975 4294967295 134512640 134702520 3221223712 3220920268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1286 975 413 48 0 1238 0
[pid=7242] vsize: 5144
Current children cumulated CPU time (s) 943.57
Current children cumulated vsize (Kb) 7272

[startup+1170.1 s]
Raw data (loadavg): 1.02 1.05 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 1007 0 0 0 48575 7745 0 0 20 0 1 0 20489468 5267456 977 4294967295 134512640 134702520 3221223712 3221222992 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1286 977 413 48 0 1238 0
[pid=7242] vsize: 5144
Current children cumulated CPU time (s) 952.02
Current children cumulated vsize (Kb) 7272

[startup+1180.1 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 1008 0 0 0 49181 7873 0 0 16 0 1 0 20489468 5267456 978 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1286 978 413 48 0 1238 0
[pid=7242] vsize: 5144
Current children cumulated CPU time (s) 959.36
Current children cumulated vsize (Kb) 7272

[startup+1190.1 s]
Raw data (loadavg): 1.10 1.06 1.01 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 1011 0 0 0 49553 8077 0 0 17 0 1 0 20489468 5267456 981 4294967295 134512640 134702520 3221223712 3221222992 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1286 981 413 48 0 1238 0
[pid=7242] vsize: 5144
Current children cumulated CPU time (s) 965.12
Current children cumulated vsize (Kb) 7272

[startup+1200.1 s]
Raw data (loadavg): 1.08 1.06 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 1012 0 0 0 50345 8141 0 0 20 0 1 0 20489468 5267456 982 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1286 982 413 48 0 1238 0
[pid=7242] vsize: 5144
Current children cumulated CPU time (s) 973.68
Current children cumulated vsize (Kb) 7272

[startup+1210.1 s]
Raw data (loadavg): 1.07 1.06 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 1013 0 0 0 51131 8210 0 0 20 0 1 0 20489468 5267456 983 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1286 983 413 48 0 1238 0
[pid=7242] vsize: 5144
Current children cumulated CPU time (s) 982.23
Current children cumulated vsize (Kb) 7272

[startup+1220.1 s]
Raw data (loadavg): 1.06 1.05 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 1014 0 0 0 51948 8273 0 0 25 0 1 0 20489468 5267456 984 4294967295 134512640 134702520 3221223712 3221150352 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1286 984 413 48 0 1238 0
[pid=7242] vsize: 5144
Current children cumulated CPU time (s) 991.03
Current children cumulated vsize (Kb) 7272

[startup+1230.1 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 1016 0 0 0 52769 8329 0 0 21 0 1 0 20489468 5267456 986 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1286 986 413 48 0 1238 0
[pid=7242] vsize: 5144
Current children cumulated CPU time (s) 999.8
Current children cumulated vsize (Kb) 7272

[startup+1240.1 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 1018 0 0 0 53497 8414 0 0 16 0 1 0 20489468 5267456 988 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1286 988 413 48 0 1238 0
[pid=7242] vsize: 5144
Current children cumulated CPU time (s) 1007.93
Current children cumulated vsize (Kb) 7272

[startup+1250.1 s]
Raw data (loadavg): 1.03 1.05 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 1019 0 0 0 53839 8626 0 0 17 0 1 0 20489468 5267456 989 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1286 989 413 48 0 1238 0
[pid=7242] vsize: 5144
Current children cumulated CPU time (s) 1013.47
Current children cumulated vsize (Kb) 7272

[startup+1260.1 s]
Raw data (loadavg): 1.03 1.05 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 1020 0 0 0 54529 8726 0 0 25 0 1 0 20489468 5267456 990 4294967295 134512640 134702520 3221223712 3221118668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1286 990 413 48 0 1238 0
[pid=7242] vsize: 5144
Current children cumulated CPU time (s) 1021.37
Current children cumulated vsize (Kb) 7272

[startup+1270.1 s]
Raw data (loadavg): 1.10 1.06 1.01 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 1022 0 0 0 55352 8783 0 0 18 0 1 0 20489468 5267456 992 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1286 992 413 48 0 1238 0
[pid=7242] vsize: 5144
Current children cumulated CPU time (s) 1030.17
Current children cumulated vsize (Kb) 7272

[startup+1280.11 s]
Raw data (loadavg): 1.09 1.06 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 1022 0 0 0 56137 8855 0 0 19 0 1 0 20489468 5267456 992 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1286 992 413 48 0 1238 0
[pid=7242] vsize: 5144
Current children cumulated CPU time (s) 1038.74
Current children cumulated vsize (Kb) 7272

[startup+1290.11 s]
Raw data (loadavg): 1.07 1.06 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 1024 0 0 0 56926 8921 0 0 21 0 1 0 20489468 5267456 994 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1286 994 413 48 0 1238 0
[pid=7242] vsize: 5144
Current children cumulated CPU time (s) 1047.29
Current children cumulated vsize (Kb) 7272

[startup+1300.11 s]
Raw data (loadavg): 1.06 1.05 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 1024 0 0 0 57742 8978 0 0 25 0 1 0 20489468 5267456 994 4294967295 134512640 134702520 3221223712 3221131148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1286 994 413 48 0 1238 0
[pid=7242] vsize: 5144
Current children cumulated CPU time (s) 1056.02
Current children cumulated vsize (Kb) 7272

[startup+1310.11 s]
Raw data (loadavg): 1.05 1.05 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 1026 0 0 0 58163 9159 0 0 16 0 1 0 20489468 5267456 996 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1286 996 413 48 0 1238 0
[pid=7242] vsize: 5144
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (Kb) 7272

[startup+1320.11 s]
Raw data (loadavg): 1.04 1.05 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 1028 0 0 0 58685 9317 0 0 20 0 1 0 20489468 5373952 998 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1312 998 413 48 0 1264 0
[pid=7242] vsize: 5248
Current children cumulated CPU time (s) 1068.84
Current children cumulated vsize (Kb) 7376

[startup+1330.11 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 1029 0 0 0 59497 9375 0 0 20 0 1 0 20489468 5373952 999 4294967295 134512640 134702520 3221223712 3221222992 134552698 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1312 999 413 48 0 1264 0
[pid=7242] vsize: 5248
Current children cumulated CPU time (s) 1077.54
Current children cumulated vsize (Kb) 7376

[startup+1340.11 s]
Raw data (loadavg): 1.03 1.05 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 1035 0 0 0 60310 9437 0 0 25 0 1 0 20489468 5373952 1005 4294967295 134512640 134702520 3221223712 3221127168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1312 1005 413 48 0 1264 0
[pid=7242] vsize: 5248
Current children cumulated CPU time (s) 1086.29
Current children cumulated vsize (Kb) 7376

[startup+1350.11 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 1038 0 0 0 61143 9492 0 0 22 0 1 0 20489468 5373952 1008 4294967295 134512640 134702520 3221223712 3221222992 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1312 1008 413 48 0 1264 0
[pid=7242] vsize: 5248
Current children cumulated CPU time (s) 1095.17
Current children cumulated vsize (Kb) 7376

[startup+1360.11 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 1039 0 0 0 61971 9540 0 0 21 0 1 0 20489468 5373952 1009 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1312 1009 413 48 0 1264 0
[pid=7242] vsize: 5248
Current children cumulated CPU time (s) 1103.93
Current children cumulated vsize (Kb) 7376

[startup+1370.11 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 1041 0 0 0 62696 9626 0 0 16 0 1 0 20489468 5373952 1011 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1312 1011 413 48 0 1264 0
[pid=7242] vsize: 5248
Current children cumulated CPU time (s) 1112.04
Current children cumulated vsize (Kb) 7376

[startup+1380.12 s]
Raw data (loadavg): 1.09 1.05 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 1042 0 0 0 63052 9836 0 0 17 0 1 0 20489468 5373952 1012 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1312 1012 413 48 0 1264 0
[pid=7242] vsize: 5248
Current children cumulated CPU time (s) 1117.7
Current children cumulated vsize (Kb) 7376

[startup+1390.12 s]
Raw data (loadavg): 1.07 1.05 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 1043 0 0 0 63756 9929 0 0 25 0 1 0 20489468 5373952 1013 4294967295 134512640 134702520 3221223712 3221157088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1312 1013 413 48 0 1264 0
[pid=7242] vsize: 5248
Current children cumulated CPU time (s) 1125.67
Current children cumulated vsize (Kb) 7376

[startup+1400.12 s]
Raw data (loadavg): 1.06 1.05 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 1044 0 0 0 64587 9982 0 0 25 0 1 0 20489468 5373952 1014 4294967295 134512640 134702520 3221223712 3220963648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1312 1014 413 48 0 1264 0
[pid=7242] vsize: 5248
Current children cumulated CPU time (s) 1134.51
Current children cumulated vsize (Kb) 7376

[startup+1410.12 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 1046 0 0 0 65395 10043 0 0 20 0 1 0 20489468 5373952 1016 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1312 1016 413 48 0 1264 0
[pid=7242] vsize: 5248
Current children cumulated CPU time (s) 1143.2
Current children cumulated vsize (Kb) 7376

[startup+1420.12 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 1048 0 0 0 66204 10102 0 0 22 0 1 0 20489468 5373952 1018 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1312 1018 413 48 0 1264 0
[pid=7242] vsize: 5248
Current children cumulated CPU time (s) 1151.88
Current children cumulated vsize (Kb) 7376

[startup+1430.12 s]
Raw data (loadavg): 1.04 1.04 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 1050 0 0 0 67014 10160 0 0 21 0 1 0 20489468 5373952 1020 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1312 1020 413 48 0 1264 0
[pid=7242] vsize: 5248
Current children cumulated CPU time (s) 1160.56
Current children cumulated vsize (Kb) 7376

[startup+1440.12 s]
Raw data (loadavg): 1.03 1.04 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 1052 0 0 0 67660 10273 0 0 16 0 1 0 20489468 5373952 1022 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1312 1022 413 48 0 1264 0
[pid=7242] vsize: 5248
Current children cumulated CPU time (s) 1168.15
Current children cumulated vsize (Kb) 7376

[startup+1450.12 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 1053 0 0 0 68034 10470 0 0 17 0 1 0 20489468 5373952 1023 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1312 1023 413 48 0 1264 0
[pid=7242] vsize: 5248
Current children cumulated CPU time (s) 1173.86
Current children cumulated vsize (Kb) 7376

[startup+1460.12 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 1055 0 0 0 68806 10540 0 0 17 0 1 0 20489468 5468160 1025 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1335 1025 413 48 0 1287 0
[pid=7242] vsize: 5340
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (Kb) 7468

[startup+1470.12 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) R 7237 7237 4060 0 -1 0 1057 0 0 0 69611 10603 0 0 20 0 1 0 20489468 5468160 1027 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1335 1027 413 48 0 1287 0
[pid=7242] vsize: 5340
Current children cumulated CPU time (s) 1190.96
Current children cumulated vsize (Kb) 7468

[startup+1480.13 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 1058 0 0 0 70427 10665 0 0 22 0 1 0 20489468 5468160 1028 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7242/statm): 1335 1028 413 48 0 1287 0
[pid=7242] vsize: 5340
Current children cumulated CPU time (s) 1199.74
Current children cumulated vsize (Kb) 7468

[startup+1490.13 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 1059 0 0 0 71242 10724 0 0 25 0 1 0 20489468 5468160 1029 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1335 1029 413 48 0 1287 0
[pid=7242] vsize: 5340
Current children cumulated CPU time (s) 1208.48
Current children cumulated vsize (Kb) 7468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1490.13 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 7242
Raw data (/proc/7237/stat): 7237 (vallstSAT2005PB) S 7236 7237 4060 0 -1 0 378 1450 0 0 1 1 36361 2519 19 0 1 0 20445206 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7237/statm): 532 248 485 147 0 385 0
[pid=7237] vsize: 2128
Raw data (/proc/7242/stat): 7242 (vallst) T 7237 7237 4060 0 -1 0 1059 0 0 0 71242 10724 0 0 25 0 1 0 20489468 5468160 1029 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7242/statm): 1335 1029 413 48 0 1287 0
[pid=7242] vsize: 5340
Current children cumulated CPU time (s) 1208.48
Current children cumulated vsize (Kb) 7468

Sending SIGTERM to -7237
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=7244
New process pid=7245
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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
One traced child (pid=7242) exited with status: 3
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/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4043/stat
open syscall for file /proc/4043/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/4043/cmdline
open syscall for file /proc/4043/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/7198/stat
open syscall for file /proc/7198/status
open syscall for file /proc/7198/cmdline
open syscall for file /proc/7198/environ
open syscall for file /proc/7236/stat
open syscall for file /proc/7236/status
open syscall for file /proc/7236/cmdline
open syscall for file /proc/7236/environ
open syscall for file /proc/7237/stat
open syscall for file /proc/7237/status
open syscall for file /proc/7237/cmdline
open syscall for file /proc/7237/environ
open syscall for file /proc/7244/stat
open syscall for file /proc/7244/status
open syscall for file /proc/7244/cmdline
open syscall for file /proc/7244/environ
open syscall for file /proc/7245/stat
open syscall for file /proc/7245/status
open syscall for file /proc/7245/cmdline
open syscall for file /proc/7245/environ
One traced child (pid=7244) exited with status: 0
One traced child (pid=7245) exited with status: 0
New process pid=7246
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=7246) exited with status: 0
New process pid=7247
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=7247) exited with status: 0
One traced child (pid=7237) 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): 1490.61
CPU time (s): 1208.65
CPU user time (s): 1076.13
CPU system time (s): 132.516
CPU usage (%): 81.0843
Max. virtual memory (cumulated for all children) (Kb): 7644

Verifier Data

ERROR: no interpretation found !