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-ran6x43.opb
MD5SUM795a1eda830447df9b9714fdf1d66b4e
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2805232
Optimality of the best value was proved NO
Number of terms in the objective function 5418
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 1537450315
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 1537450315
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 benchmark1237.31
Number of variables5418
Total number of constraints307
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 constraints307
Minimum length of a constraint21
Maximum length of a constraint860

Trace number 9389

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        932496 kB
Buffers:         14120 kB
Cached:          68568 kB
SwapCached:          0 kB
Active:          45056 kB
Inactive:        40532 kB
HighTotal:      131008 kB
HighFree:        58940 kB
LowTotal:       903652 kB
LowFree:        873556 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:            11144 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 13:35:02 (client local time) WITH STATUS 0 IN 1202.11 SECONDS
stats: 8119 7 1202.11 0

Solver Data

1:
seed: 0
Nr of vars set: 2465  (#equs: 0)
Nr of vars set: 2465  (#equs: 0)
#decisions: 165886;  #end-nodes: 5668;
#proof improvement attempts: 0;  #restarts: 64
Current batch, end-nodes: 35 / 96 (96)
#axs: 357, #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:  1532098323 (5351991:>=*);
#decisions: 2329;  #end-nodes: 26;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 26 / 80 (80)
#axs: 357, #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:  1532098391 (5351923:>=*);
#decisions: 2587;  #end-nodes: 62;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 62 / 80 (80)
#axs: 357, #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:  1532098403 (5351911:>=*);
#decisions: 2829;  #end-nodes: 51;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 51 / 80 (80)
#axs: 357, #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:  1532098404 (5351910:>=*);
#decisions: 2635;  #end-nodes: 41;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 41 / 80 (80)
#axs: 357, #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:  1532098416 (5351898:>=*);
#decisions: 2742;  #end-nodes: 21;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 21 / 80 (80)
#axs: 357, #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:  1532098439 (5351875:>=*);
#decisions: 380527;  #end-nodes: 13917;
#proof improvement attempts: 0;  #restarts: 142
Current batch, end-nodes: 31 / 115 (115)
#axs: 357, #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:  1532139676 (5310638:>=*);
#decisions: 51662;  #end-nodes: 1763;
#proof improvement attempts: 0;  #restarts: 21
Current batch, end-nodes: 28 / 85 (85)
#axs: 357, #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:  1532244918 (5205396:>=*);
#decisions: 2191;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 357, #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:  1532244934 (5205380:>=*);
#decisions: 2222;  #end-nodes: 35;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 35 / 80 (80)
#axs: 357, #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:  1532244936 (5205378:>=*);
#decisions: 712990;  #end-nodes: 33430;
#proof improvement attempts: 0;  #restarts: 288
Current batch, end-nodes: 0 / 151 (151)
#axs: 357, #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:) 1532244936 (5205378:>=*)

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

2:
seed: 0
Nr of vars set: 2465  (#equs: 0)
Nr of vars set: 2465  (#equs: 0)
#decisions: 254790;  #end-nodes: 13232;
#proof improvement attempts: 0;  #restarts: 99
Current batch, end-nodes: 121 / 144 (144)
#axs: 357, #non-axs: 6
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  3939625 (4547617:>=*);
#decisions: 2037;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 120 (120)
#axs: 357, #non-axs: 6
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3939785 (4547457:>=*);
#decisions: 2067;  #end-nodes: 58;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 58 / 120 (120)
#axs: 357, #non-axs: 6
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3939800 (4547442:>=*);
#decisions: 1991;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 120 (120)
#axs: 357, #non-axs: 6
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3939808 (4547434:>=*);
#decisions: 2158;  #end-nodes: 54;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 54 / 120 (120)
#axs: 357, #non-axs: 6
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3939956 (4547286:>=*);
#decisions: 1453380;  #end-nodes: 98922;
#proof improvement attempts: 0;  #restarts: 530
Current batch, end-nodes: 170 / 252 (252)
#axs: 357, #non-axs: 813
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  4182757 (4304485:>=*);
#decisions: 1515;  #end-nodes: 36;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 36 / 120 (120)
#axs: 357, #non-axs: 813
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  4182925 (4304317:>=*);
#decisions: 1443;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 120 (120)
#axs: 357, #non-axs: 813
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  4182932 (4304310:>=*);
#decisions: 1519;  #end-nodes: 61;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 61 / 120 (120)
#axs: 357, #non-axs: 813
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  4182936 (4304306:>=*);
#decisions: 1515;  #end-nodes: 81;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 81 / 120 (120)
#axs: 357, #non-axs: 813
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  4182943 (4304299:>=*);
#decisions: 1529;  #end-nodes: 89;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 89 / 120 (120)
#axs: 357, #non-axs: 813
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  4182968 (4304274:>=*);
#decisions: 1446;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 120 (120)
#axs: 357, #non-axs: 813
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  4182984 (4304258:>=*);
#decisions: 2214104;  #end-nodes: 194860;
#proof improvement attempts: 0;  #restarts: 857
Current batch, end-nodes: 220 / 334 (334)
#axs: 357, #non-axs: 1763
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:  4451475 (4035767:>=*);
#decisions: 1117;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 120 (120)
#axs: 357, #non-axs: 1763
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:  4451539 (4035703:>=*);
#decisions: 1115;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 120 (120)
#axs: 357, #non-axs: 1763
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:  4451566 (4035676:>=*);
#decisions: 1123;  #end-nodes: 14;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 14 / 120 (120)
#axs: 357, #non-axs: 1763
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:  4451571 (4035671:>=*);
#decisions: 1163;  #end-nodes: 50;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 50 / 120 (120)
#axs: 357, #non-axs: 1763
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:  4451583 (4035659:>=*);
#decisions: 1116;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 120 (120)
#axs: 357, #non-axs: 1763
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:  4451584 (4035658:>=*);
#decisions: 1212;  #end-nodes: 96;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 96 / 120 (120)
#axs: 357, #non-axs: 1763
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:  4451795 (4035447:>=*);
#decisions: 1147;  #end-nodes: 39;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 39 / 120 (120)
#axs: 357, #non-axs: 1763
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:  4451807 (4035435:>=*);
Interupt request received.
#decisions: 785992;  #end-nodes: 48059;
#proof improvement attempts: 0;  #restarts: 304
Current batch, end-nodes: 82 / 196 (196)
#axs: 357, #non-axs: 9
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:) 4451807 (4035435:>=*)

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: 4140  (#equs: 0)
Time taken: 14 min, 10 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/5907/stat): 5907 (vallstSAT2005PB) R 5906 5907 4060 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 20439803 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5907/statm): 174 3 169 147 0 27 0
[pid=5907] 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=5908
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=5908) exited with status: 0
New process pid=5909
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=5909) exited with status: 0
New process pid=5910
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/wulflinc19/normalized-mps-v2-13-7-ran6x43.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0034 s]
Raw data (loadavg): 1.07 1.03 1.05 1/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4060 0 -1 0 581 0 0 0 709 97 0 0 18 0 1 0 20439810 3715072 551 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 907 551 413 48 0 859 0
[pid=5910] vsize: 3628
Current children cumulated CPU time (s) 8.08
Current children cumulated vsize (Kb) 5756

[startup+20.0042 s]
Raw data (loadavg): 1.06 1.03 1.05 1/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4060 0 -1 0 581 0 0 0 1337 221 0 0 18 0 1 0 20439810 3715072 551 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 907 551 413 48 0 859 0
[pid=5910] vsize: 3628
Current children cumulated CPU time (s) 15.6
Current children cumulated vsize (Kb) 5756

[startup+30.0061 s]
Raw data (loadavg): 1.05 1.03 1.05 2/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) R 5907 5907 4060 0 -1 0 753 0 0 0 1984 336 0 0 19 0 1 0 20439810 5230592 723 4294967295 134512640 134702520 3221223952 3221195408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5910/statm): 1277 723 413 48 0 1229 0
[pid=5910] vsize: 5108
Current children cumulated CPU time (s) 23.22
Current children cumulated vsize (Kb) 7236

[startup+40.0069 s]
Raw data (loadavg): 1.04 1.03 1.05 1/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4060 0 -1 0 773 0 0 0 2675 438 0 0 17 0 1 0 20439810 5230592 743 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 1277 743 413 48 0 1229 0
[pid=5910] vsize: 5108
Current children cumulated CPU time (s) 31.15
Current children cumulated vsize (Kb) 7236

[startup+50.0076 s]
Raw data (loadavg): 1.03 1.03 1.04 2/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) R 5907 5907 4060 0 -1 0 774 0 0 0 3511 494 0 0 20 0 1 0 20439810 5234688 744 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5910/statm): 1278 744 413 48 0 1230 0
[pid=5910] vsize: 5112
Current children cumulated CPU time (s) 40.07
Current children cumulated vsize (Kb) 7240

[startup+60.0084 s]
Raw data (loadavg): 1.03 1.03 1.04 1/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4060 0 -1 0 774 0 0 0 4320 554 0 0 20 0 1 0 20439810 5234688 744 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 1278 744 413 48 0 1230 0
[pid=5910] vsize: 5112
Current children cumulated CPU time (s) 48.76
Current children cumulated vsize (Kb) 7240

[startup+70.0092 s]
Raw data (loadavg): 1.02 1.03 1.04 1/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4060 0 -1 0 774 0 0 0 5156 607 0 0 23 0 1 0 20439810 5234688 744 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 1278 744 413 48 0 1230 0
[pid=5910] vsize: 5112
Current children cumulated CPU time (s) 57.65
Current children cumulated vsize (Kb) 7240

[startup+80.0111 s]
Raw data (loadavg): 1.02 1.02 1.04 2/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) R 5907 5907 4060 0 -1 0 781 0 0 0 6012 653 0 0 17 0 1 0 20439810 5234688 751 4294967295 134512640 134702520 3221223952 3221223232 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5910/statm): 1278 751 413 48 0 1230 0
[pid=5910] vsize: 5112
Current children cumulated CPU time (s) 66.67
Current children cumulated vsize (Kb) 7240

[startup+90.0119 s]
Raw data (loadavg): 1.02 1.02 1.04 2/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4060 0 -1 0 781 0 0 0 6862 702 0 0 23 0 1 0 20439810 5234688 751 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 1278 751 413 48 0 1230 0
[pid=5910] vsize: 5112
Current children cumulated CPU time (s) 75.66
Current children cumulated vsize (Kb) 7240

[startup+100.013 s]
Raw data (loadavg): 1.01 1.02 1.04 1/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4060 0 -1 0 781 0 0 0 7703 752 0 0 22 0 1 0 20439810 5234688 751 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 1278 751 413 48 0 1230 0
[pid=5910] vsize: 5112
Current children cumulated CPU time (s) 84.57
Current children cumulated vsize (Kb) 7240

[startup+110.014 s]
Raw data (loadavg): 1.01 1.02 1.04 2/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) R 5907 5907 4060 0 -1 0 793 0 0 0 8580 791 0 0 25 0 1 0 20439810 5234688 763 4294967295 134512640 134702520 3221223952 3221222848 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5910/statm): 1278 763 413 48 0 1230 0
[pid=5910] vsize: 5112
Current children cumulated CPU time (s) 93.73
Current children cumulated vsize (Kb) 7240

[startup+120.015 s]
Raw data (loadavg): 1.01 1.02 1.04 1/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4060 0 -1 0 793 0 0 0 9464 831 0 0 25 0 1 0 20439810 5234688 763 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 1278 763 413 48 0 1230 0
[pid=5910] vsize: 5112
Current children cumulated CPU time (s) 102.97
Current children cumulated vsize (Kb) 7240

[startup+130.017 s]
Raw data (loadavg): 1.01 1.02 1.04 2/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) R 5907 5907 4060 0 -1 0 909 0 0 0 10308 882 0 0 25 0 1 0 20439810 5234688 879 4294967295 134512640 134702520 3221223952 3221223232 134552705 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5910/statm): 1278 879 413 48 0 1230 0
[pid=5910] vsize: 5112
Current children cumulated CPU time (s) 111.92
Current children cumulated vsize (Kb) 7240

[startup+140.018 s]
Raw data (loadavg): 1.00 1.02 1.04 2/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) R 5907 5907 4060 0 -1 0 938 0 0 0 11150 934 0 0 21 0 1 0 20439810 5234688 908 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5910/statm): 1278 908 413 48 0 1230 0
[pid=5910] vsize: 5112
Current children cumulated CPU time (s) 120.86
Current children cumulated vsize (Kb) 7240

[startup+150.019 s]
Raw data (loadavg): 1.00 1.02 1.03 1/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4060 0 -1 0 941 0 0 0 12014 979 0 0 24 0 1 0 20439810 5234688 911 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 1278 911 413 48 0 1230 0
[pid=5910] vsize: 5112
Current children cumulated CPU time (s) 129.95
Current children cumulated vsize (Kb) 7240

[startup+160.019 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) R 5907 5907 4060 0 -1 0 942 0 0 0 12817 1043 0 0 23 0 1 0 20439810 5234688 912 4294967295 134512640 134702520 3221223952 3221223232 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5910/statm): 1278 912 413 48 0 1230 0
[pid=5910] vsize: 5112
Current children cumulated CPU time (s) 138.62
Current children cumulated vsize (Kb) 7240

[startup+170.02 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) R 5907 5907 4060 0 -1 0 997 0 0 0 13668 1092 0 0 22 0 1 0 20439810 5361664 967 4294967295 134512640 134702520 3221223952 3221223232 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5910/statm): 1309 967 413 48 0 1261 0
[pid=5910] vsize: 5236
Current children cumulated CPU time (s) 147.62
Current children cumulated vsize (Kb) 7364

[startup+180.021 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) R 5907 5907 4060 0 -1 0 999 0 0 0 14514 1141 0 0 25 0 1 0 20439810 5361664 969 4294967295 134512640 134702520 3221223952 3221223232 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5910/statm): 1309 969 413 48 0 1261 0
[pid=5910] vsize: 5236
Current children cumulated CPU time (s) 156.57
Current children cumulated vsize (Kb) 7364

[startup+190.022 s]
Raw data (loadavg): 1.00 1.01 1.03 2/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) R 5907 5907 4060 0 -1 0 1001 0 0 0 15353 1192 0 0 21 0 1 0 20439810 5361664 971 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5910/statm): 1309 971 413 48 0 1261 0
[pid=5910] vsize: 5236
Current children cumulated CPU time (s) 165.47
Current children cumulated vsize (Kb) 7364

[startup+200.023 s]
Raw data (loadavg): 1.08 1.03 1.04 1/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4060 0 -1 0 1003 0 0 0 16201 1241 0 0 21 0 1 0 20439810 5361664 973 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 1309 973 413 48 0 1261 0
[pid=5910] vsize: 5236
Current children cumulated CPU time (s) 174.44
Current children cumulated vsize (Kb) 7364

[startup+210.023 s]
Raw data (loadavg): 1.07 1.03 1.03 1/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4060 0 -1 0 1005 0 0 0 17020 1299 0 0 22 0 1 0 20439810 5361664 975 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 1309 975 413 48 0 1261 0
[pid=5910] vsize: 5236
Current children cumulated CPU time (s) 183.21
Current children cumulated vsize (Kb) 7364

[startup+220.024 s]
Raw data (loadavg): 1.06 1.03 1.03 2/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) R 5907 5907 4060 0 -1 0 1007 0 0 0 17842 1355 0 0 21 0 1 0 20439810 5361664 977 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5910/statm): 1309 977 413 48 0 1261 0
[pid=5910] vsize: 5236
Current children cumulated CPU time (s) 191.99
Current children cumulated vsize (Kb) 7364

[startup+230.024 s]
Raw data (loadavg): 1.05 1.03 1.03 2/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) R 5907 5907 4060 0 -1 0 1009 0 0 0 18800 1369 0 0 25 0 1 0 20439810 5361664 979 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5910/statm): 1309 979 413 48 0 1261 0
[pid=5910] vsize: 5236
Current children cumulated CPU time (s) 201.71
Current children cumulated vsize (Kb) 7364

[startup+240.025 s]
Raw data (loadavg): 1.04 1.03 1.03 2/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) R 5907 5907 4060 0 -1 0 1009 0 0 0 19692 1405 0 0 21 0 1 0 20439810 5361664 979 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5910/statm): 1309 979 413 48 0 1261 0
[pid=5910] vsize: 5236
Current children cumulated CPU time (s) 210.99
Current children cumulated vsize (Kb) 7364

[startup+250.026 s]
Raw data (loadavg): 1.03 1.02 1.03 2/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) R 5907 5907 4060 0 -1 0 1011 0 0 0 20541 1457 0 0 24 0 1 0 20439810 5361664 981 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5910/statm): 1309 981 413 48 0 1261 0
[pid=5910] vsize: 5236
Current children cumulated CPU time (s) 220
Current children cumulated vsize (Kb) 7364

[startup+260.026 s]
Raw data (loadavg): 1.03 1.02 1.03 2/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) R 5907 5907 4060 0 -1 0 1013 0 0 0 21388 1505 0 0 23 0 1 0 20439810 5361664 983 4294967295 134512640 134702520 3221223952 3221223232 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5910/statm): 1309 983 413 48 0 1261 0
[pid=5910] vsize: 5236
Current children cumulated CPU time (s) 228.95
Current children cumulated vsize (Kb) 7364

[startup+270.027 s]
Raw data (loadavg): 1.02 1.02 1.03 2/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) R 5907 5907 4060 0 -1 0 1014 0 0 0 22272 1544 0 0 22 0 1 0 20439810 5361664 984 4294967295 134512640 134702520 3221223952 3221223072 134578758 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5910/statm): 1309 984 413 48 0 1261 0
[pid=5910] vsize: 5236
Current children cumulated CPU time (s) 238.18
Current children cumulated vsize (Kb) 7364

[startup+280.027 s]
Raw data (loadavg): 1.02 1.02 1.03 2/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) R 5907 5907 4060 0 -1 0 1016 0 0 0 23117 1592 0 0 21 0 1 0 20439810 5361664 986 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5910/statm): 1309 986 413 48 0 1261 0
[pid=5910] vsize: 5236
Current children cumulated CPU time (s) 247.11
Current children cumulated vsize (Kb) 7364

[startup+290.028 s]
Raw data (loadavg): 1.02 1.02 1.03 1/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4060 0 -1 0 1018 0 0 0 23969 1638 0 0 22 0 1 0 20439810 5361664 988 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 1309 988 413 48 0 1261 0
[pid=5910] vsize: 5236
Current children cumulated CPU time (s) 256.09
Current children cumulated vsize (Kb) 7364

[startup+300.029 s]
Raw data (loadavg): 1.01 1.02 1.03 2/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) R 5907 5907 4060 0 -1 0 1020 0 0 0 24842 1681 0 0 25 0 1 0 20439810 5361664 990 4294967295 134512640 134702520 3221223952 3220935408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5910/statm): 1309 990 413 48 0 1261 0
[pid=5910] vsize: 5236
Current children cumulated CPU time (s) 265.25
Current children cumulated vsize (Kb) 7364

[startup+310.029 s]
Raw data (loadavg): 1.01 1.02 1.02 2/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) R 5907 5907 4060 0 -1 0 1022 0 0 0 25787 1701 0 0 25 0 1 0 20439810 5361664 992 4294967295 134512640 134702520 3221223952 3221222848 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5910/statm): 1309 992 413 48 0 1261 0
[pid=5910] vsize: 5236
Current children cumulated CPU time (s) 274.9
Current children cumulated vsize (Kb) 7364

[startup+320.03 s]
Raw data (loadavg): 1.01 1.02 1.02 2/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) R 5907 5907 4060 0 -1 0 1022 0 0 0 26663 1741 0 0 24 0 1 0 20439810 5361664 992 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5910/statm): 1309 992 413 48 0 1261 0
[pid=5910] vsize: 5236
Current children cumulated CPU time (s) 284.06
Current children cumulated vsize (Kb) 7364

[startup+330.03 s]
Raw data (loadavg): 1.01 1.02 1.02 2/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) R 5907 5907 4060 0 -1 0 1025 0 0 0 27526 1786 0 0 24 0 1 0 20439810 5361664 995 4294967295 134512640 134702520 3221223952 3221223232 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5910/statm): 1309 995 413 48 0 1261 0
[pid=5910] vsize: 5236
Current children cumulated CPU time (s) 293.14
Current children cumulated vsize (Kb) 7364

[startup+340.031 s]
Raw data (loadavg): 1.00 1.02 1.02 2/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) R 5907 5907 4060 0 -1 0 1027 0 0 0 28372 1833 0 0 19 0 1 0 20439810 5484544 997 4294967295 134512640 134702520 3221223952 3221223232 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5910/statm): 1339 997 413 48 0 1291 0
[pid=5910] vsize: 5356
Current children cumulated CPU time (s) 302.07
Current children cumulated vsize (Kb) 7484

[startup+350.032 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) R 5907 5907 4060 0 -1 0 1028 0 0 0 29246 1876 0 0 24 0 1 0 20439810 5484544 998 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5910/statm): 1339 998 413 48 0 1291 0
[pid=5910] vsize: 5356
Current children cumulated CPU time (s) 311.24
Current children cumulated vsize (Kb) 7484

[startup+360.033 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) R 5907 5907 4060 0 -1 0 1031 0 0 0 30108 1920 0 0 23 0 1 0 20439810 5484544 1001 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5910/statm): 1339 1001 413 48 0 1291 0
[pid=5910] vsize: 5356
Current children cumulated CPU time (s) 320.3
Current children cumulated vsize (Kb) 7484

[startup+370.034 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) R 5907 5907 4060 0 -1 0 1033 0 0 0 30985 1960 0 0 25 0 1 0 20439810 5484544 1003 4294967295 134512640 134702520 3221223952 3221223232 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5910/statm): 1339 1003 413 48 0 1291 0
[pid=5910] vsize: 5356
Current children cumulated CPU time (s) 329.47
Current children cumulated vsize (Kb) 7484

[startup+380.034 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) R 5907 5907 4060 0 -1 0 1036 0 0 0 31832 2011 0 0 25 0 1 0 20439810 5484544 1006 4294967295 134512640 134702520 3221223952 3221222976 134552345 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5910/statm): 1339 1006 413 48 0 1291 0
[pid=5910] vsize: 5356
Current children cumulated CPU time (s) 338.45
Current children cumulated vsize (Kb) 7484

[startup+390.035 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20439803 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) R 5907 5907 4060 0 -1 0 1037 0 0 0 32777 2030 0 0 25 0 1 0 20439810 5484544 1007 4294967295 134512640 134702520 3221223952 3221222848 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5910/statm): 1339 1007 413 48 0 1291 0
[pid=5910] vsize: 5356
Current children cumulated CPU time (s) 348.09
Current children cumulated vsize (Kb) 7484
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=5910) exited with status: 2
New process pid=5911
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=5911) exited with status: 0
New process pid=5912
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+400.035 s]
Raw data (loadavg): 1.00 1.01 1.02 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 522 0 0 0 397 77 0 0 16 0 1 0 20479168 3407872 492 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5912/statm): 832 492 413 48 0 784 0
[pid=5912] vsize: 3328
Current children cumulated CPU time (s) 356.23
Current children cumulated vsize (Kb) 5456

[startup+410.035 s]
Raw data (loadavg): 1.00 1.01 1.01 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 523 0 0 0 831 265 0 0 17 0 1 0 20479168 3407872 493 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5912/statm): 832 493 413 48 0 784 0
[pid=5912] vsize: 3328
Current children cumulated CPU time (s) 362.45
Current children cumulated vsize (Kb) 5456

[startup+420.036 s]
Raw data (loadavg): 1.08 1.02 1.02 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 807 0 0 0 1494 375 0 0 21 0 1 0 20479168 4726784 777 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1154 777 413 48 0 1106 0
[pid=5912] vsize: 4616
Current children cumulated CPU time (s) 370.18
Current children cumulated vsize (Kb) 6744

[startup+430.037 s]
Raw data (loadavg): 1.07 1.02 1.02 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 851 0 0 0 2204 466 0 0 19 0 1 0 20479168 4726784 821 4294967295 134512640 134702520 3221223712 3221200588 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1154 821 413 48 0 1106 0
[pid=5912] vsize: 4616
Current children cumulated CPU time (s) 378.19
Current children cumulated vsize (Kb) 6744

[startup+440.038 s]
Raw data (loadavg): 1.06 1.02 1.02 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 871 0 0 0 2966 542 0 0 19 0 1 0 20479168 4726784 841 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1154 841 413 48 0 1106 0
[pid=5912] vsize: 4616
Current children cumulated CPU time (s) 386.57
Current children cumulated vsize (Kb) 6744

[startup+450.039 s]
Raw data (loadavg): 1.05 1.02 1.02 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 886 0 0 0 3739 617 0 0 25 0 1 0 20479168 4726784 856 4294967295 134512640 134702520 3221223712 3221043628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1154 856 413 48 0 1106 0
[pid=5912] vsize: 4616
Current children cumulated CPU time (s) 395.05
Current children cumulated vsize (Kb) 6744

[startup+460.039 s]
Raw data (loadavg): 1.04 1.02 1.02 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 888 0 0 0 4123 821 0 0 16 0 1 0 20479168 4726784 858 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1154 858 413 48 0 1106 0
[pid=5912] vsize: 4616
Current children cumulated CPU time (s) 400.93
Current children cumulated vsize (Kb) 6744

[startup+470.04 s]
Raw data (loadavg): 1.03 1.02 1.01 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 894 0 0 0 4644 980 0 0 18 0 1 0 20479168 4841472 864 4294967295 134512640 134702520 3221223712 3221222992 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1182 864 413 48 0 1134 0
[pid=5912] vsize: 4728
Current children cumulated CPU time (s) 407.73
Current children cumulated vsize (Kb) 6856

[startup+480.04 s]
Raw data (loadavg): 1.03 1.02 1.01 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 898 0 0 0 5414 1050 0 0 21 0 1 0 20479168 4841472 868 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1182 868 413 48 0 1134 0
[pid=5912] vsize: 4728
Current children cumulated CPU time (s) 416.13
Current children cumulated vsize (Kb) 6856

[startup+490.042 s]
Raw data (loadavg): 1.02 1.02 1.01 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 903 0 0 0 6086 1154 0 0 18 0 1 0 20479168 4841472 873 4294967295 134512640 134702520 3221223712 3221207628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1182 873 413 48 0 1134 0
[pid=5912] vsize: 4728
Current children cumulated CPU time (s) 423.89
Current children cumulated vsize (Kb) 6856

[startup+500.043 s]
Raw data (loadavg): 1.02 1.02 1.01 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 907 0 0 0 6824 1235 0 0 18 0 1 0 20479168 4841472 877 4294967295 134512640 134702520 3221223712 3221222992 134553175 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1182 877 413 48 0 1134 0
[pid=5912] vsize: 4728
Current children cumulated CPU time (s) 432.08
Current children cumulated vsize (Kb) 6856

[startup+510.043 s]
Raw data (loadavg): 1.02 1.02 1.01 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 910 0 0 0 7375 1377 0 0 17 0 1 0 20479168 4841472 880 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1182 880 413 48 0 1134 0
[pid=5912] vsize: 4728
Current children cumulated CPU time (s) 439.01
Current children cumulated vsize (Kb) 6856

[startup+520.044 s]
Raw data (loadavg): 1.01 1.01 1.01 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 912 0 0 0 7769 1574 0 0 19 0 1 0 20479168 4841472 882 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1182 882 413 48 0 1134 0
[pid=5912] vsize: 4728
Current children cumulated CPU time (s) 444.92
Current children cumulated vsize (Kb) 6856

[startup+530.044 s]
Raw data (loadavg): 1.01 1.01 1.01 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 914 0 0 0 8483 1662 0 0 23 0 1 0 20479168 4841472 884 4294967295 134512640 134702520 3221223712 3221168908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1182 884 413 48 0 1134 0
[pid=5912] vsize: 4728
Current children cumulated CPU time (s) 452.94
Current children cumulated vsize (Kb) 6856

[startup+540.045 s]
Raw data (loadavg): 1.01 1.01 1.01 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 918 0 0 0 9210 1748 0 0 18 0 1 0 20479168 4841472 888 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1182 888 413 48 0 1134 0
[pid=5912] vsize: 4728
Current children cumulated CPU time (s) 461.07
Current children cumulated vsize (Kb) 6856

[startup+550.046 s]
Raw data (loadavg): 1.01 1.01 1.01 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 919 0 0 0 9968 1827 0 0 25 0 1 0 20479168 4841472 889 4294967295 134512640 134702520 3221223712 3221026828 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1182 889 413 48 0 1134 0
[pid=5912] vsize: 4728
Current children cumulated CPU time (s) 469.44
Current children cumulated vsize (Kb) 6856

[startup+560.047 s]
Raw data (loadavg): 1.00 1.01 1.01 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 924 0 0 0 10691 1919 0 0 18 0 1 0 20479168 4968448 894 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1213 894 413 48 0 1165 0
[pid=5912] vsize: 4852
Current children cumulated CPU time (s) 477.59
Current children cumulated vsize (Kb) 6980

[startup+570.048 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 924 0 0 0 11254 2064 0 0 18 0 1 0 20479168 4968448 894 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1213 894 413 48 0 1165 0
[pid=5912] vsize: 4852
Current children cumulated CPU time (s) 484.67
Current children cumulated vsize (Kb) 6980

[startup+580.048 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 925 0 0 0 11819 2204 0 0 18 0 1 0 20479168 4968448 895 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1213 895 413 48 0 1165 0
[pid=5912] vsize: 4852
Current children cumulated CPU time (s) 491.72
Current children cumulated vsize (Kb) 6980

[startup+590.049 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 928 0 0 0 12600 2272 0 0 19 0 1 0 20479168 4968448 898 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1213 898 413 48 0 1165 0
[pid=5912] vsize: 4852
Current children cumulated CPU time (s) 500.21
Current children cumulated vsize (Kb) 6980

[startup+600.05 s]
Raw data (loadavg): 1.07 1.02 1.01 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 929 0 0 0 13297 2369 0 0 18 0 1 0 20479168 4968448 899 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1213 899 413 48 0 1165 0
[pid=5912] vsize: 4852
Current children cumulated CPU time (s) 508.15
Current children cumulated vsize (Kb) 6980

[startup+610.051 s]
Raw data (loadavg): 1.06 1.02 1.01 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 932 0 0 0 14077 2442 0 0 18 0 1 0 20479168 4968448 902 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1213 902 413 48 0 1165 0
[pid=5912] vsize: 4852
Current children cumulated CPU time (s) 516.68
Current children cumulated vsize (Kb) 6980

[startup+620.052 s]
Raw data (loadavg): 1.05 1.02 1.00 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 935 0 0 0 14699 2569 0 0 16 0 1 0 20479168 4968448 905 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1213 905 413 48 0 1165 0
[pid=5912] vsize: 4852
Current children cumulated CPU time (s) 524.17
Current children cumulated vsize (Kb) 6980

[startup+630.053 s]
Raw data (loadavg): 1.04 1.02 1.00 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 936 0 0 0 15073 2765 0 0 17 0 1 0 20479168 4968448 906 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1213 906 413 48 0 1165 0
[pid=5912] vsize: 4852
Current children cumulated CPU time (s) 529.87
Current children cumulated vsize (Kb) 6980

[startup+640.054 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 939 0 0 0 15743 2872 0 0 17 0 1 0 20479168 4968448 909 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1213 909 413 48 0 1165 0
[pid=5912] vsize: 4852
Current children cumulated CPU time (s) 537.64
Current children cumulated vsize (Kb) 6980

[startup+650.055 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 941 0 0 0 16466 2961 0 0 20 0 1 0 20479168 4968448 911 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1213 911 413 48 0 1165 0
[pid=5912] vsize: 4852
Current children cumulated CPU time (s) 545.76
Current children cumulated vsize (Kb) 6980

[startup+660.056 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 943 0 0 0 17273 3022 0 0 20 0 1 0 20479168 4968448 913 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1213 913 413 48 0 1165 0
[pid=5912] vsize: 4852
Current children cumulated CPU time (s) 554.44
Current children cumulated vsize (Kb) 6980

[startup+670.057 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 945 0 0 0 18006 3110 0 0 19 0 1 0 20479168 4968448 915 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1213 915 413 48 0 1165 0
[pid=5912] vsize: 4852
Current children cumulated CPU time (s) 562.65
Current children cumulated vsize (Kb) 6980

[startup+680.057 s]
Raw data (loadavg): 1.10 1.03 1.01 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 947 0 0 0 18555 3258 0 0 16 0 1 0 20479168 4968448 917 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1213 917 413 48 0 1165 0
[pid=5912] vsize: 4852
Current children cumulated CPU time (s) 569.62
Current children cumulated vsize (Kb) 6980

[startup+690.058 s]
Raw data (loadavg): 1.16 1.05 1.01 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 949 0 0 0 18960 3455 0 0 18 0 1 0 20479168 5070848 919 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1238 919 413 48 0 1190 0
[pid=5912] vsize: 4952
Current children cumulated CPU time (s) 575.64
Current children cumulated vsize (Kb) 7080

[startup+700.059 s]
Raw data (loadavg): 1.14 1.04 1.01 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 951 0 0 0 19686 3544 0 0 17 0 1 0 20479168 5070848 921 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1238 921 413 48 0 1190 0
[pid=5912] vsize: 4952
Current children cumulated CPU time (s) 583.79
Current children cumulated vsize (Kb) 7080

[startup+710.059 s]
Raw data (loadavg): 1.11 1.04 1.01 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 952 0 0 0 20482 3611 0 0 23 0 1 0 20479168 5070848 922 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1238 922 413 48 0 1190 0
[pid=5912] vsize: 4952
Current children cumulated CPU time (s) 592.42
Current children cumulated vsize (Kb) 7080

[startup+720.06 s]
Raw data (loadavg): 1.18 1.06 1.01 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 954 0 0 0 21233 3688 0 0 19 0 1 0 20479168 5070848 924 4294967295 134512640 134702520 3221223712 3221222992 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1238 924 413 48 0 1190 0
[pid=5912] vsize: 4952
Current children cumulated CPU time (s) 600.7
Current children cumulated vsize (Kb) 7080

[startup+730.061 s]
Raw data (loadavg): 1.23 1.07 1.02 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 956 0 0 0 21947 3780 0 0 20 0 1 0 20479168 5070848 926 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1238 926 413 48 0 1190 0
[pid=5912] vsize: 4952
Current children cumulated CPU time (s) 608.76
Current children cumulated vsize (Kb) 7080

[startup+740.062 s]
Raw data (loadavg): 1.19 1.07 1.02 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 958 0 0 0 22481 3930 0 0 16 0 1 0 20479168 5070848 928 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1238 928 413 48 0 1190 0
[pid=5912] vsize: 4952
Current children cumulated CPU time (s) 615.6
Current children cumulated vsize (Kb) 7080

[startup+750.063 s]
Raw data (loadavg): 1.16 1.07 1.01 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 960 0 0 0 22924 4103 0 0 19 0 1 0 20479168 5070848 930 4294967295 134512640 134702520 3221223712 3221222992 134553333 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1238 930 413 48 0 1190 0
[pid=5912] vsize: 4952
Current children cumulated CPU time (s) 621.76
Current children cumulated vsize (Kb) 7080

[startup+760.063 s]
Raw data (loadavg): 1.14 1.06 1.01 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 963 0 0 0 23709 4175 0 0 20 0 1 0 20479168 5070848 933 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1238 933 413 48 0 1190 0
[pid=5912] vsize: 4952
Current children cumulated CPU time (s) 630.33
Current children cumulated vsize (Kb) 7080

[startup+770.064 s]
Raw data (loadavg): 1.12 1.06 1.01 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 988 0 0 0 24520 4235 0 0 25 0 1 0 20479168 5271552 958 4294967295 134512640 134702520 3221223712 3221089388 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1287 958 413 48 0 1239 0
[pid=5912] vsize: 5148
Current children cumulated CPU time (s) 639.04
Current children cumulated vsize (Kb) 7276

[startup+780.064 s]
Raw data (loadavg): 1.10 1.06 1.01 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 992 0 0 0 25301 4306 0 0 18 0 1 0 20479168 5271552 962 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1287 962 413 48 0 1239 0
[pid=5912] vsize: 5148
Current children cumulated CPU time (s) 647.56
Current children cumulated vsize (Kb) 7276

[startup+790.065 s]
Raw data (loadavg): 1.08 1.06 1.01 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 993 0 0 0 26030 4390 0 0 25 0 1 0 20479168 5271552 963 4294967295 134512640 134702520 3221223712 3221072448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1287 963 413 48 0 1239 0
[pid=5912] vsize: 5148
Current children cumulated CPU time (s) 655.69
Current children cumulated vsize (Kb) 7276

[startup+800.066 s]
Raw data (loadavg): 1.07 1.05 1.01 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 995 0 0 0 26747 4483 0 0 18 0 1 0 20479168 5271552 965 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1287 965 413 48 0 1239 0
[pid=5912] vsize: 5148
Current children cumulated CPU time (s) 663.79
Current children cumulated vsize (Kb) 7276

[startup+810.066 s]
Raw data (loadavg): 1.06 1.05 1.01 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 997 0 0 0 27527 4554 0 0 19 0 1 0 20479168 5271552 967 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1287 967 413 48 0 1239 0
[pid=5912] vsize: 5148
Current children cumulated CPU time (s) 672.3
Current children cumulated vsize (Kb) 7276

[startup+820.067 s]
Raw data (loadavg): 1.05 1.05 1.01 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 997 0 0 0 28115 4690 0 0 18 0 1 0 20479168 5271552 967 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1287 967 413 48 0 1239 0
[pid=5912] vsize: 5148
Current children cumulated CPU time (s) 679.54
Current children cumulated vsize (Kb) 7276

[startup+830.068 s]
Raw data (loadavg): 1.04 1.05 1.01 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 998 0 0 0 28691 4828 0 0 19 0 1 0 20479168 5271552 968 4294967295 134512640 134702520 3221223712 3221222832 134578853 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1287 968 413 48 0 1239 0
[pid=5912] vsize: 5148
Current children cumulated CPU time (s) 686.68
Current children cumulated vsize (Kb) 7276

[startup+840.069 s]
Raw data (loadavg): 1.03 1.05 1.01 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 999 0 0 0 29446 4905 0 0 25 0 1 0 20479168 5271552 969 4294967295 134512640 134702520 3221223712 3221067788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1287 969 413 48 0 1239 0
[pid=5912] vsize: 5148
Current children cumulated CPU time (s) 695
Current children cumulated vsize (Kb) 7276

[startup+850.07 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1000 0 0 0 30142 5002 0 0 18 0 1 0 20479168 5271552 970 4294967295 134512640 134702520 3221223712 3221222992 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1287 970 413 48 0 1239 0
[pid=5912] vsize: 5148
Current children cumulated CPU time (s) 702.93
Current children cumulated vsize (Kb) 7276

[startup+860.07 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 1001 0 0 0 30901 5076 0 0 20 0 1 0 20479168 5271552 971 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1287 971 413 48 0 1239 0
[pid=5912] vsize: 5148
Current children cumulated CPU time (s) 711.26
Current children cumulated vsize (Kb) 7276

[startup+870.071 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1002 0 0 0 31613 5167 0 0 19 0 1 0 20479168 5271552 972 4294967295 134512640 134702520 3221223712 3221222608 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1287 972 413 48 0 1239 0
[pid=5912] vsize: 5148
Current children cumulated CPU time (s) 719.29
Current children cumulated vsize (Kb) 7276

[startup+880.071 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1002 0 0 0 32159 5315 0 0 17 0 1 0 20479168 5271552 972 4294967295 134512640 134702520 3221223712 3221222608 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1287 972 413 48 0 1239 0
[pid=5912] vsize: 5148
Current children cumulated CPU time (s) 726.23
Current children cumulated vsize (Kb) 7276

[startup+890.072 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1004 0 0 0 32722 5458 0 0 20 0 1 0 20479168 5271552 974 4294967295 134512640 134702520 3221223712 3221222832 134578847 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1287 974 413 48 0 1239 0
[pid=5912] vsize: 5148
Current children cumulated CPU time (s) 733.29
Current children cumulated vsize (Kb) 7276

[startup+900.073 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1004 0 0 0 33486 5533 0 0 19 0 1 0 20479168 5271552 974 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1287 974 413 48 0 1239 0
[pid=5912] vsize: 5148
Current children cumulated CPU time (s) 741.68
Current children cumulated vsize (Kb) 7276

[startup+910.074 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1005 0 0 0 34220 5620 0 0 21 0 1 0 20479168 5271552 975 4294967295 134512640 134702520 3221223712 3221185888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1287 975 413 48 0 1239 0
[pid=5912] vsize: 5148
Current children cumulated CPU time (s) 749.89
Current children cumulated vsize (Kb) 7276

[startup+920.075 s]
Raw data (loadavg): 1.09 1.05 1.01 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 1006 0 0 0 34993 5689 0 0 18 0 1 0 20479168 5271552 976 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1287 976 413 48 0 1239 0
[pid=5912] vsize: 5148
Current children cumulated CPU time (s) 758.31
Current children cumulated vsize (Kb) 7276

[startup+930.076 s]
Raw data (loadavg): 1.07 1.04 1.00 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 1008 0 0 0 35688 5788 0 0 18 0 1 0 20479168 5271552 978 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1287 978 413 48 0 1239 0
[pid=5912] vsize: 5148
Current children cumulated CPU time (s) 766.25
Current children cumulated vsize (Kb) 7276

[startup+940.077 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 1008 0 0 0 36242 5936 0 0 18 0 1 0 20479168 5271552 978 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1287 978 413 48 0 1239 0
[pid=5912] vsize: 5148
Current children cumulated CPU time (s) 773.27
Current children cumulated vsize (Kb) 7276

[startup+950.077 s]
Raw data (loadavg): 1.05 1.04 1.00 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1009 0 0 0 36825 6072 0 0 21 0 1 0 20479168 5271552 979 4294967295 134512640 134702520 3221223712 3221177408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1287 979 413 48 0 1239 0
[pid=5912] vsize: 5148
Current children cumulated CPU time (s) 780.46
Current children cumulated vsize (Kb) 7276

[startup+960.078 s]
Raw data (loadavg): 1.04 1.04 1.00 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 1010 0 0 0 37597 6146 0 0 18 0 1 0 20479168 5271552 980 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1287 980 413 48 0 1239 0
[pid=5912] vsize: 5148
Current children cumulated CPU time (s) 788.92
Current children cumulated vsize (Kb) 7276

[startup+970.079 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1011 0 0 0 38304 6234 0 0 18 0 1 0 20479168 5271552 981 4294967295 134512640 134702520 3221223712 3221222992 134553333 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1287 981 413 48 0 1239 0
[pid=5912] vsize: 5148
Current children cumulated CPU time (s) 796.87
Current children cumulated vsize (Kb) 7276

[startup+980.079 s]
Raw data (loadavg): 1.09 1.05 1.00 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1011 0 0 0 39091 6303 0 0 20 0 1 0 20479168 5271552 981 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1287 981 413 48 0 1239 0
[pid=5912] vsize: 5148
Current children cumulated CPU time (s) 805.43
Current children cumulated vsize (Kb) 7276

[startup+990.08 s]
Raw data (loadavg): 1.08 1.05 1.00 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 1013 0 0 0 39812 6395 0 0 19 0 1 0 20479168 5271552 983 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1287 983 413 48 0 1239 0
[pid=5912] vsize: 5148
Current children cumulated CPU time (s) 813.56
Current children cumulated vsize (Kb) 7276

[startup+1000.08 s]
Raw data (loadavg): 1.07 1.05 1.00 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 1013 0 0 0 40305 6560 0 0 17 0 1 0 20479168 5271552 983 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1287 983 413 48 0 1239 0
[pid=5912] vsize: 5148
Current children cumulated CPU time (s) 820.14
Current children cumulated vsize (Kb) 7276

[startup+1010.08 s]
Raw data (loadavg): 1.13 1.06 1.01 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1016 0 0 0 40829 6709 0 0 19 0 1 0 20479168 5361664 986 4294967295 134512640 134702520 3221223712 3221222992 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1309 986 413 48 0 1261 0
[pid=5912] vsize: 5236
Current children cumulated CPU time (s) 826.87
Current children cumulated vsize (Kb) 7364

[startup+1020.08 s]
Raw data (loadavg): 1.18 1.08 1.01 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1017 0 0 0 41579 6785 0 0 25 0 1 0 20479168 5361664 987 4294967295 134512640 134702520 3221223712 3221076608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1309 987 413 48 0 1261 0
[pid=5912] vsize: 5236
Current children cumulated CPU time (s) 835.13
Current children cumulated vsize (Kb) 7364

[startup+1030.08 s]
Raw data (loadavg): 1.15 1.07 1.01 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 1019 0 0 0 42317 6868 0 0 18 0 1 0 20479168 5361664 989 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1309 989 413 48 0 1261 0
[pid=5912] vsize: 5236
Current children cumulated CPU time (s) 843.34
Current children cumulated vsize (Kb) 7364

[startup+1040.08 s]
Raw data (loadavg): 1.13 1.07 1.01 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1019 0 0 0 43035 6960 0 0 19 0 1 0 20479168 5361664 989 4294967295 134512640 134702520 3221223712 3221222992 134552738 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1309 989 413 48 0 1261 0
[pid=5912] vsize: 5236
Current children cumulated CPU time (s) 851.44
Current children cumulated vsize (Kb) 7364

[startup+1050.08 s]
Raw data (loadavg): 1.11 1.07 1.01 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 1022 0 0 0 43866 7014 0 0 21 0 1 0 20479168 5361664 992 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1309 992 413 48 0 1261 0
[pid=5912] vsize: 5236
Current children cumulated CPU time (s) 860.29
Current children cumulated vsize (Kb) 7364

[startup+1060.09 s]
Raw data (loadavg): 1.09 1.06 1.01 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1023 0 0 0 44214 7229 0 0 17 0 1 0 20479168 5361664 993 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1309 993 413 48 0 1261 0
[pid=5912] vsize: 5236
Current children cumulated CPU time (s) 865.92
Current children cumulated vsize (Kb) 7364

[startup+1070.09 s]
Raw data (loadavg): 1.08 1.06 1.01 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1025 0 0 0 44751 7375 0 0 21 0 1 0 20479168 5361664 995 4294967295 134512640 134702520 3221223712 3221194048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1309 995 413 48 0 1261 0
[pid=5912] vsize: 5236
Current children cumulated CPU time (s) 872.75
Current children cumulated vsize (Kb) 7364

[startup+1080.09 s]
Raw data (loadavg): 1.06 1.06 1.01 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1028 0 0 0 45572 7437 0 0 19 0 1 0 20479168 5361664 998 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1309 998 413 48 0 1261 0
[pid=5912] vsize: 5236
Current children cumulated CPU time (s) 881.58
Current children cumulated vsize (Kb) 7364

[startup+1090.09 s]
Raw data (loadavg): 1.05 1.06 1.00 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1030 0 0 0 46407 7492 0 0 23 0 1 0 20479168 5361664 1000 4294967295 134512640 134702520 3221223712 3221222992 134552467 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1309 1000 413 48 0 1261 0
[pid=5912] vsize: 5236
Current children cumulated CPU time (s) 890.48
Current children cumulated vsize (Kb) 7364

[startup+1100.09 s]
Raw data (loadavg): 1.05 1.05 1.00 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1034 0 0 0 47232 7547 0 0 22 0 1 0 20479168 5361664 1004 4294967295 134512640 134702520 3221223712 3221222992 134552467 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1309 1004 413 48 0 1261 0
[pid=5912] vsize: 5236
Current children cumulated CPU time (s) 899.28
Current children cumulated vsize (Kb) 7364

[startup+1110.09 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1041 0 0 0 48079 7596 0 0 25 0 1 0 20479168 5361664 1011 4294967295 134512640 134702520 3221223712 3221037088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1309 1011 413 48 0 1261 0
[pid=5912] vsize: 5236
Current children cumulated CPU time (s) 908.24
Current children cumulated vsize (Kb) 7364

[startup+1120.09 s]
Raw data (loadavg): 1.03 1.05 1.00 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 1043 0 0 0 48660 7738 0 0 17 0 1 0 20479168 5361664 1013 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1309 1013 413 48 0 1261 0
[pid=5912] vsize: 5236
Current children cumulated CPU time (s) 915.47
Current children cumulated vsize (Kb) 7364

[startup+1130.09 s]
Raw data (loadavg): 1.03 1.05 1.00 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 1044 0 0 0 49180 7891 0 0 18 0 1 0 20479168 5496832 1014 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1342 1014 413 48 0 1294 0
[pid=5912] vsize: 5368
Current children cumulated CPU time (s) 922.2
Current children cumulated vsize (Kb) 7496

[startup+1140.09 s]
Raw data (loadavg): 1.02 1.05 1.00 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 1047 0 0 0 49932 7972 0 0 20 0 1 0 20479168 5459968 1017 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1333 1017 413 48 0 1285 0
[pid=5912] vsize: 5332
Current children cumulated CPU time (s) 930.53
Current children cumulated vsize (Kb) 7460

[startup+1150.09 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 1049 0 0 0 50741 8032 0 0 22 0 1 0 20479168 5459968 1019 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1333 1019 413 48 0 1285 0
[pid=5912] vsize: 5332
Current children cumulated CPU time (s) 939.22
Current children cumulated vsize (Kb) 7460

[startup+1160.09 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1066 0 0 0 51572 8085 0 0 25 0 1 0 20479168 5459968 1036 4294967295 134512640 134702520 3221223712 3221152128 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1333 1036 413 48 0 1285 0
[pid=5912] vsize: 5332
Current children cumulated CPU time (s) 948.06
Current children cumulated vsize (Kb) 7460

[startup+1170.09 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 1074 0 0 0 52425 8133 0 0 22 0 1 0 20479168 5619712 1044 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1372 1044 413 48 0 1324 0
[pid=5912] vsize: 5488
Current children cumulated CPU time (s) 957.07
Current children cumulated vsize (Kb) 7616

[startup+1180.1 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1084 0 0 0 53146 8227 0 0 17 0 1 0 20479168 5619712 1054 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1372 1054 413 48 0 1324 0
[pid=5912] vsize: 5488
Current children cumulated CPU time (s) 965.22
Current children cumulated vsize (Kb) 7616

[startup+1190.1 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1085 0 0 0 53519 8435 0 0 17 0 1 0 20479168 5619712 1055 4294967295 134512640 134702520 3221223712 3221222480 134552338 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1372 1055 413 48 0 1324 0
[pid=5912] vsize: 5488
Current children cumulated CPU time (s) 971.03
Current children cumulated vsize (Kb) 7616

[startup+1200.1 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1087 0 0 0 54194 8538 0 0 25 0 1 0 20479168 5619712 1057 4294967295 134512640 134702520 3221223712 3221132928 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1372 1057 413 48 0 1324 0
[pid=5912] vsize: 5488
Current children cumulated CPU time (s) 978.81
Current children cumulated vsize (Kb) 7616

[startup+1210.1 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1090 0 0 0 55025 8591 0 0 23 0 1 0 20479168 5619712 1060 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1372 1060 413 48 0 1324 0
[pid=5912] vsize: 5488
Current children cumulated CPU time (s) 987.65
Current children cumulated vsize (Kb) 7616

[startup+1220.1 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1091 0 0 0 55859 8642 0 0 22 0 1 0 20479168 5619712 1061 4294967295 134512640 134702520 3221223712 3221222992 134553489 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1372 1061 413 48 0 1324 0
[pid=5912] vsize: 5488
Current children cumulated CPU time (s) 996.5
Current children cumulated vsize (Kb) 7616

[startup+1230.1 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1093 0 0 0 56672 8703 0 0 24 0 1 0 20479168 5619712 1063 4294967295 134512640 134702520 3221223712 3221222992 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1372 1063 413 48 0 1324 0
[pid=5912] vsize: 5488
Current children cumulated CPU time (s) 1005.24
Current children cumulated vsize (Kb) 7616

[startup+1240.1 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 1094 0 0 0 57490 8764 0 0 23 0 1 0 20479168 5619712 1064 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1372 1064 413 48 0 1324 0
[pid=5912] vsize: 5488
Current children cumulated CPU time (s) 1014.03
Current children cumulated vsize (Kb) 7616

[startup+1250.1 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 1096 0 0 0 57999 8926 0 0 16 0 1 0 20479168 5619712 1066 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1372 1066 413 48 0 1324 0
[pid=5912] vsize: 5488
Current children cumulated CPU time (s) 1020.74
Current children cumulated vsize (Kb) 7616

[startup+1260.1 s]
Raw data (loadavg): 1.08 1.04 1.01 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1098 0 0 0 58446 9105 0 0 19 0 1 0 20479168 5619712 1068 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1372 1068 413 48 0 1324 0
[pid=5912] vsize: 5488
Current children cumulated CPU time (s) 1027
Current children cumulated vsize (Kb) 7616

[startup+1270.1 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1100 0 0 0 59224 9177 0 0 19 0 1 0 20479168 5619712 1070 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1372 1070 413 48 0 1324 0
[pid=5912] vsize: 5488
Current children cumulated CPU time (s) 1035.5
Current children cumulated vsize (Kb) 7616

[startup+1280.1 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 1102 0 0 0 60037 9237 0 0 21 0 1 0 20479168 5619712 1072 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1372 1072 413 48 0 1324 0
[pid=5912] vsize: 5488
Current children cumulated CPU time (s) 1044.23
Current children cumulated vsize (Kb) 7616

[startup+1290.11 s]
Raw data (loadavg): 1.05 1.04 1.00 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 1103 0 0 0 60890 9287 0 0 21 0 1 0 20479168 5619712 1073 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1372 1073 413 48 0 1324 0
[pid=5912] vsize: 5488
Current children cumulated CPU time (s) 1053.26
Current children cumulated vsize (Kb) 7616

[startup+1300.11 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1105 0 0 0 61755 9330 0 0 25 0 1 0 20479168 5619712 1075 4294967295 134512640 134702520 3221223712 3221074368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1372 1075 413 48 0 1324 0
[pid=5912] vsize: 5488
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (Kb) 7616

[startup+1310.11 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 1108 0 0 0 62544 9401 0 0 19 0 1 0 20479168 5619712 1078 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1372 1078 413 48 0 1324 0
[pid=5912] vsize: 5488
Current children cumulated CPU time (s) 1070.94
Current children cumulated vsize (Kb) 7616

[startup+1320.11 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1109 0 0 0 63311 9475 0 0 18 0 1 0 20479168 5619712 1079 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1372 1079 413 48 0 1324 0
[pid=5912] vsize: 5488
Current children cumulated CPU time (s) 1079.35
Current children cumulated vsize (Kb) 7616

[startup+1330.11 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 1109 0 0 0 64081 9547 0 0 20 0 1 0 20479168 5619712 1079 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1372 1079 413 48 0 1324 0
[pid=5912] vsize: 5488
Current children cumulated CPU time (s) 1087.77
Current children cumulated vsize (Kb) 7616

[startup+1340.11 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1111 0 0 0 64783 9641 0 0 22 0 1 0 20479168 5619712 1081 4294967295 134512640 134702520 3221223712 3221184588 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1372 1081 413 48 0 1324 0
[pid=5912] vsize: 5488
Current children cumulated CPU time (s) 1095.73
Current children cumulated vsize (Kb) 7616

[startup+1350.11 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 1112 0 0 0 65294 9804 0 0 17 0 1 0 20479168 5763072 1082 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1407 1082 413 48 0 1359 0
[pid=5912] vsize: 5628
Current children cumulated CPU time (s) 1102.47
Current children cumulated vsize (Kb) 7756

[startup+1360.11 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 1114 0 0 0 65747 9979 0 0 19 0 1 0 20479168 5738496 1084 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1401 1084 413 48 0 1353 0
[pid=5912] vsize: 5604
Current children cumulated CPU time (s) 1108.75
Current children cumulated vsize (Kb) 7732

[startup+1370.11 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1114 0 0 0 66526 10047 0 0 25 0 1 0 20479168 5738496 1084 4294967295 134512640 134702520 3221223712 3220941548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1401 1084 413 48 0 1353 0
[pid=5912] vsize: 5604
Current children cumulated CPU time (s) 1117.22
Current children cumulated vsize (Kb) 7732

[startup+1380.11 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 1114 0 0 0 67226 10139 0 0 19 0 1 0 20479168 5738496 1084 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1401 1084 413 48 0 1353 0
[pid=5912] vsize: 5604
Current children cumulated CPU time (s) 1125.14
Current children cumulated vsize (Kb) 7732

[startup+1390.11 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1116 0 0 0 67997 10213 0 0 19 0 1 0 20479168 5738496 1086 4294967295 134512640 134702520 3221223712 3221223184 134657210 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5912/statm): 1401 1086 413 48 0 1353 0
[pid=5912] vsize: 5604
Current children cumulated CPU time (s) 1133.59
Current children cumulated vsize (Kb) 7732

[startup+1400.11 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1117 0 0 0 68656 10320 0 0 17 0 1 0 20479168 5738496 1087 4294967295 134512640 134702520 3221223712 3221222608 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1401 1087 413 48 0 1353 0
[pid=5912] vsize: 5604
Current children cumulated CPU time (s) 1141.25
Current children cumulated vsize (Kb) 7732

[startup+1410.11 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 1118 0 0 0 69053 10517 0 0 16 0 1 0 20479168 5738496 1088 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1401 1088 413 48 0 1353 0
[pid=5912] vsize: 5604
Current children cumulated CPU time (s) 1147.19
Current children cumulated vsize (Kb) 7732

[startup+1420.12 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 1119 0 0 0 69721 10620 0 0 19 0 1 0 20479168 5738496 1089 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1401 1089 413 48 0 1353 0
[pid=5912] vsize: 5604
Current children cumulated CPU time (s) 1154.9
Current children cumulated vsize (Kb) 7732

[startup+1430.12 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 1120 0 0 0 70432 10710 0 0 18 0 1 0 20479168 5738496 1090 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1401 1090 413 48 0 1353 0
[pid=5912] vsize: 5604
Current children cumulated CPU time (s) 1162.91
Current children cumulated vsize (Kb) 7732

[startup+1440.12 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 1120 0 0 0 71241 10770 0 0 20 0 1 0 20479168 5738496 1090 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1401 1090 413 48 0 1353 0
[pid=5912] vsize: 5604
Current children cumulated CPU time (s) 1171.6
Current children cumulated vsize (Kb) 7732

[startup+1450.12 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1120 0 0 0 71943 10865 0 0 19 0 1 0 20479168 5738496 1090 4294967295 134512640 134702520 3221223712 3221222992 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1401 1090 413 48 0 1353 0
[pid=5912] vsize: 5604
Current children cumulated CPU time (s) 1179.57
Current children cumulated vsize (Kb) 7732

[startup+1460.12 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) T 5907 5907 4060 0 -1 0 1120 0 0 0 72589 10992 0 0 18 0 1 0 20479168 5738496 1090 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1401 1090 413 48 0 1353 0
[pid=5912] vsize: 5604
Current children cumulated CPU time (s) 1187.3
Current children cumulated vsize (Kb) 7732

[startup+1470.12 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1120 0 0 0 73121 11143 0 0 17 0 1 0 20479168 5738496 1090 4294967295 134512640 134702520 3221223712 3221222480 134553342 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1401 1090 413 48 0 1353 0
[pid=5912] vsize: 5604
Current children cumulated CPU time (s) 1194.13
Current children cumulated vsize (Kb) 7732

[startup+1480.12 s]
Raw data (loadavg): 1.13 1.05 1.01 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1121 0 0 0 73795 11248 0 0 21 0 1 0 20479168 5738496 1091 4294967295 134512640 134702520 3221223712 3221222992 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1401 1091 413 48 0 1353 0
[pid=5912] vsize: 5604
Current children cumulated CPU time (s) 1201.92
Current children cumulated vsize (Kb) 7732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1480.12 s]
Raw data (loadavg): 1.13 1.05 1.01 2/56 5912
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4060 0 -1 0 378 1412 0 0 1 1 33109 2038 19 0 1 0 20439803 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5912/stat): 5912 (vallst) R 5907 5907 4060 0 -1 0 1121 0 0 0 73795 11248 0 0 21 0 1 0 20479168 5738496 1091 4294967295 134512640 134702520 3221223712 3221222992 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5912/statm): 1401 1091 413 48 0 1353 0
[pid=5912] vsize: 5604
Current children cumulated CPU time (s) 1201.92
Current children cumulated vsize (Kb) 7732

Sending SIGTERM to -5907
Sleeping 2 seconds
New process pid=5914
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5915
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/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)One traced child (pid=5912) exited with status: 3
=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/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/1694/stat
open syscall for file /proc/1694/status
open syscall for file /proc/1694/cmdline
open syscall for file /proc/1694/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/5868/stat
open syscall for file /proc/5868/status
open syscall for file /proc/5868/cmdline
open syscall for file /proc/5868/environ
open syscall for file /proc/5906/stat
open syscall for file /proc/5906/status
open syscall for file /proc/5906/cmdline
open syscall for file /proc/5906/environ
open syscall for file /proc/5907/stat
open syscall for file /proc/5907/status
open syscall for file /proc/5907/cmdline
open syscall for file /proc/5907/environ
open syscall for file /proc/5914/stat
open syscall for file /proc/5914/status
open syscall for file /proc/5914/cmdline
open syscall for file /proc/5914/environ
open syscall for file /proc/5915/stat
open syscall for file /proc/5915/status
open syscall for file /proc/5915/cmdline
open syscall for file /proc/5915/environ
One traced child (pid=5914) exited with status: 0
One traced child (pid=5915) exited with status: 0
New process pid=5916
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=5916) exited with status: 0
New process pid=5917
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=5917) exited with status: 0
One traced child (pid=5907) 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): 1480.62
CPU time (s): 1202.11
CPU user time (s): 1069.14
CPU system time (s): 132.968
CPU usage (%): 81.1896
Max. virtual memory (cumulated for all children) (Kb): 7756

Verifier Data

ERROR: no interpretation found !