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

Namesubmitted/manquinho/routing/normalized-s4-4-3-4pb.opb
MD5SUMc1a86b94297136b91215b2ae8a8f5643
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 60
Optimality of the best value was proved YES
Number of terms in the objective function 696
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 696
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 696
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark157.286
Number of variables696
Total number of constraints2096
Number of constraints which are clauses2072
Number of constraints which are cardinality constraints (but not clauses)24
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint29

Trace number 3487

Launcher Data

LAUNCH ON wulflinc28 THE 2005-09-19 01:07:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7271 boxname=wulflinc28 idbench=239 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  c1a86b94297136b91215b2ae8a8f5643  /oldhome/oroussel/tmp/wulflinc28/normalized-s4-4-3-4pb.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc28/normalized-s4-4-3-4pb.opb 0
IDLAUNCH: 7271
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
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:        897020 kB
Buffers:         34464 kB
Cached:          75272 kB
SwapCached:        696 kB
Active:          72036 kB
Inactive:        40220 kB
HighTotal:      131008 kB
HighFree:        52192 kB
LowTotal:       903652 kB
LowFree:        844828 kB
SwapTotal:     2097640 kB
SwapFree:      2096372 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5812 kB
Slab:            19812 kB
Committed_AS:    64128 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 01:32:19 (client local time) WITH STATUS 0 IN 1200.35 SECONDS
stats: 7271 7 1200.35 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 46  (#equs: 153)
#decisions: 13451;  #end-nodes: 3385;
#proof improvement attempts: 0;  #restarts: 29
Current batch, end-nodes: 17 / 91 (87)
#axs: 2259, #non-axs: 3208
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:  623 (72:>=*);
#decisions: 102;  #end-nodes: 20;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 20 / 80 (80)
#axs: 2259, #non-axs: 3218
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:  625 (70:>=*);
#decisions: 16866;  #end-nodes: 4616;
#proof improvement attempts: 0;  #restarts: 35
Current batch, end-nodes: 84 / 96 (88)
#axs: 2259, #non-axs: 7356
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:  629 (66:>=*);
#decisions: 175778;  #end-nodes: 57546;
#proof improvement attempts: 0;  #restarts: 333
Current batch, end-nodes: 180 / 187 (163)
#axs: 2259, #non-axs: 3753
tight: meta-meta: start: 4, end: 5;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  631 (64:>=*);
#decisions: 252779;  #end-nodes: 89066;
#proof improvement attempts: 0;  #restarts: 452
Current batch, end-nodes: 64 / 194 (193)
#axs: 2259, #non-axs: 3453
tight: meta-meta: start: 3, end: 4;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  633 (62:>=*);
#decisions: 133143;  #end-nodes: 44875;
#proof improvement attempts: 0;  #restarts: 288
Current batch, end-nodes: 0 / 646 (151)
#axs: 2259, #non-axs: 1438
tight: meta-meta: start: 3, end: 4;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 633 (62:>=*)

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: 46  (#equs: 162)
Time taken: 5 min, 2 sec

2:
seed: 0
Nr of vars set: 46  (#equs: 0)
Nr of vars set: 46  (#equs: 0)
#decisions: 1030951;  #end-nodes: 489106;
#proof improvement attempts: 0;  #restarts: 1086
Current batch, end-nodes: 217 / 894 (391)
#axs: 1685, #non-axs: 4020
tight: meta-meta: start: 3, end: 3;  meta: start: 4, end (keep): 5
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  569 (40:>=*);
#decisions: 1220951;  #end-nodes: 676343;
#proof improvement attempts: 0;  #restarts: 1248
Current batch, end-nodes: 0 / 481 (431)
#axs: 1696, #non-axs: 18822
tight: meta-meta: start: 3, end: 3;  meta: start: 4, end (keep): 5
loose: meta-meta: start: 7, end: 10;  meta: start: 23, end (keep): 37
Model found with constant:
  (pushed:) 569 (40:>=*)

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: 60  (#equs: 15)
Time taken: 14 min, 16 sec

3:
seed: 0
Nr of vars set: 60  (#equs: 0)
Nr of vars set: 60  (#equs: 0)
Interupt request received.
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 60  (#equs: 0)
Time taken in seconds: 41

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/6759/stat): 6759 (vallstSAT2005PB) R 6758 6759 20115 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1845821514 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 174 3 169 147 0 27 0
[pid=6759] 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=6760
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=6760) exited with status: 0
New process pid=6761
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=6761) exited with status: 0
New process pid=6762
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/wulflinc28/normalized-s4-4-3-4pb.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.003 s]
Raw data (loadavg): 1.05 1.01 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 354 0 0 0 356 198 0 0 17 0 1 0 1845821522 3043328 324 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 743 324 413 48 0 695 0
[pid=6762] vsize: 2972
Current children cumulated CPU time (s) 5.55
Current children cumulated vsize (Kb) 5100

[startup+20.0047 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 472 0 0 0 997 320 0 0 16 0 1 0 1845821522 3612672 442 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 882 442 413 48 0 834 0
[pid=6762] vsize: 3528
Current children cumulated CPU time (s) 13.18
Current children cumulated vsize (Kb) 5656

[startup+30.0054 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 526 0 0 0 1702 418 0 0 16 0 1 0 1845821522 3756032 496 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 496 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 21.21
Current children cumulated vsize (Kb) 5796

[startup+40.005 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 526 0 0 0 2367 533 0 0 16 0 1 0 1845821522 3756032 496 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6762/statm): 917 496 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 29.01
Current children cumulated vsize (Kb) 5796

[startup+50.0067 s]
Raw data (loadavg): 1.10 1.03 1.01 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 527 0 0 0 3051 643 0 0 15 0 1 0 1845821522 3756032 497 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 497 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 36.95
Current children cumulated vsize (Kb) 5796

[startup+60.0074 s]
Raw data (loadavg): 1.09 1.03 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 527 0 0 0 3756 749 0 0 16 0 1 0 1845821522 3756032 497 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 497 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 45.06
Current children cumulated vsize (Kb) 5796

[startup+70.0081 s]
Raw data (loadavg): 1.07 1.02 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 527 0 0 0 4426 863 0 0 15 0 1 0 1845821522 3756032 497 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 497 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 52.9
Current children cumulated vsize (Kb) 5796

[startup+80.0108 s]
Raw data (loadavg): 1.06 1.02 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 527 0 0 0 5092 976 0 0 16 0 1 0 1845821522 3756032 497 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 497 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 60.69
Current children cumulated vsize (Kb) 5796

[startup+90.0115 s]
Raw data (loadavg): 1.05 1.02 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 535 0 0 0 5803 1073 0 0 16 0 1 0 1845821522 3756032 505 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 505 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 68.77
Current children cumulated vsize (Kb) 5796

[startup+100.012 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 535 0 0 0 6509 1170 0 0 15 0 1 0 1845821522 3756032 505 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 505 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 76.8
Current children cumulated vsize (Kb) 5796

[startup+110.013 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 535 0 0 0 7159 1292 0 0 16 0 1 0 1845821522 3756032 505 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 505 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 84.52
Current children cumulated vsize (Kb) 5796

[startup+120.015 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 561 0 0 0 7847 1398 0 0 16 0 1 0 1845821522 3756032 531 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 531 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 92.46
Current children cumulated vsize (Kb) 5796

[startup+130.015 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 561 0 0 0 8559 1495 0 0 16 0 1 0 1845821522 3756032 531 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 531 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 100.55
Current children cumulated vsize (Kb) 5796

[startup+140.016 s]
Raw data (loadavg): 1.10 1.03 1.01 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 561 0 0 0 9254 1599 0 0 15 0 1 0 1845821522 3756032 531 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6762/statm): 917 531 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 108.54
Current children cumulated vsize (Kb) 5796

[startup+150.018 s]
Raw data (loadavg): 1.08 1.03 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 561 0 0 0 9930 1715 0 0 16 0 1 0 1845821522 3756032 531 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 531 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 116.46
Current children cumulated vsize (Kb) 5796

[startup+160.018 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 561 0 0 0 10633 1817 0 0 15 0 1 0 1845821522 3756032 531 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 531 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 124.51
Current children cumulated vsize (Kb) 5796

[startup+170.02 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 561 0 0 0 11343 1918 0 0 16 0 1 0 1845821522 3756032 531 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 531 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 132.62
Current children cumulated vsize (Kb) 5796

[startup+180.021 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 561 0 0 0 12008 2032 0 0 16 0 1 0 1845821522 3756032 531 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 531 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 140.41
Current children cumulated vsize (Kb) 5796

[startup+190.02 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 561 0 0 0 12694 2143 0 0 16 0 1 0 1845821522 3756032 531 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6762/statm): 917 531 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 148.38
Current children cumulated vsize (Kb) 5796

[startup+200.021 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) R 6759 6759 20115 0 -1 0 561 0 0 0 13407 2245 0 0 15 0 1 0 1845821522 3756032 531 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 531 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 156.53
Current children cumulated vsize (Kb) 5796

[startup+210.022 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 561 0 0 0 14112 2348 0 0 16 0 1 0 1845821522 3756032 531 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6762/statm): 917 531 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 164.61
Current children cumulated vsize (Kb) 5796

[startup+220.023 s]
Raw data (loadavg): 1.10 1.04 1.01 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 561 0 0 0 14800 2451 0 0 15 0 1 0 1845821522 3756032 531 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6762/statm): 917 531 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 172.52
Current children cumulated vsize (Kb) 5796

[startup+230.024 s]
Raw data (loadavg): 1.09 1.04 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 561 0 0 0 15519 2546 0 0 15 0 1 0 1845821522 3756032 531 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 531 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 180.66
Current children cumulated vsize (Kb) 5796

[startup+240.025 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 561 0 0 0 16252 2640 0 0 15 0 1 0 1845821522 3756032 531 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 531 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 188.93
Current children cumulated vsize (Kb) 5796

[startup+250.025 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 561 0 0 0 16935 2750 0 0 15 0 1 0 1845821522 3756032 531 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 531 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 196.86
Current children cumulated vsize (Kb) 5796

[startup+260.026 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 561 0 0 0 17614 2855 0 0 15 0 1 0 1845821522 3756032 531 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 531 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 204.7
Current children cumulated vsize (Kb) 5796

[startup+270.027 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 561 0 0 0 18336 2959 0 0 16 0 1 0 1845821522 3756032 531 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 531 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 212.96
Current children cumulated vsize (Kb) 5796

[startup+280.027 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 604 0 0 0 19063 3056 0 0 16 0 1 0 1845821522 3756032 574 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6762/statm): 917 574 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 221.2
Current children cumulated vsize (Kb) 5796

[startup+290.028 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 604 0 0 0 19777 3156 0 0 16 0 1 0 1845821522 3756032 574 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 574 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 229.34
Current children cumulated vsize (Kb) 5796

[startup+300.028 s]
Raw data (loadavg): 1.10 1.04 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 604 0 0 0 20456 3269 0 0 15 0 1 0 1845821522 3756032 574 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 574 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 237.26
Current children cumulated vsize (Kb) 5796

[startup+310.029 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 604 0 0 0 21165 3371 0 0 15 0 1 0 1845821522 3756032 574 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 574 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 245.37
Current children cumulated vsize (Kb) 5796

[startup+320.03 s]
Raw data (loadavg): 1.15 1.06 1.01 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 613 0 0 0 21876 3475 0 0 16 0 1 0 1845821522 3756032 583 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 583 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 253.52
Current children cumulated vsize (Kb) 5796

[startup+330.031 s]
Raw data (loadavg): 1.13 1.05 1.01 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 641 0 0 0 22601 3566 0 0 16 0 1 0 1845821522 3756032 611 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 611 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 261.68
Current children cumulated vsize (Kb) 5796

[startup+340.031 s]
Raw data (loadavg): 1.11 1.05 1.01 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 641 0 0 0 23280 3674 0 0 15 0 1 0 1845821522 3756032 611 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 611 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 269.55
Current children cumulated vsize (Kb) 5796

[startup+350.031 s]
Raw data (loadavg): 1.09 1.05 1.01 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 641 0 0 0 23981 3777 0 0 16 0 1 0 1845821522 3756032 611 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 611 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 277.59
Current children cumulated vsize (Kb) 5796

[startup+360.033 s]
Raw data (loadavg): 1.08 1.05 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 641 0 0 0 24709 3868 0 0 15 0 1 0 1845821522 3756032 611 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6762/statm): 917 611 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 285.78
Current children cumulated vsize (Kb) 5796

[startup+370.034 s]
Raw data (loadavg): 1.06 1.05 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 641 0 0 0 25396 3973 0 0 15 0 1 0 1845821522 3756032 611 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 611 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 293.7
Current children cumulated vsize (Kb) 5796

[startup+380.034 s]
Raw data (loadavg): 1.05 1.04 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 641 0 0 0 26113 4072 0 0 16 0 1 0 1845821522 3756032 611 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 611 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 301.86
Current children cumulated vsize (Kb) 5796
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=6762) exited with status: 2
New process pid=6763
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=6763) exited with status: 0
New process pid=6764
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+390.035 s]
Raw data (loadavg): 1.12 1.06 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 256 0 0 0 483 143 0 0 17 0 1 0 1845859604 2265088 227 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 553 227 413 48 0 505 0
[pid=6764] vsize: 2212
Current children cumulated CPU time (s) 308.75
Current children cumulated vsize (Kb) 4340

[startup+400.036 s]
Raw data (loadavg): 1.18 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 333 0 0 0 1070 282 0 0 18 0 1 0 1845859604 3178496 304 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 776 304 413 48 0 728 0
[pid=6764] vsize: 3104
Current children cumulated CPU time (s) 316.01
Current children cumulated vsize (Kb) 5232

[startup+410.036 s]
Raw data (loadavg): 1.15 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 338 0 0 0 1639 428 0 0 16 0 1 0 1845859604 3178496 309 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 776 309 413 48 0 728 0
[pid=6764] vsize: 3104
Current children cumulated CPU time (s) 323.16
Current children cumulated vsize (Kb) 5232

[startup+420.038 s]
Raw data (loadavg): 1.13 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 339 0 0 0 2191 575 0 0 15 0 1 0 1845859604 3178496 310 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 776 310 413 48 0 728 0
[pid=6764] vsize: 3104
Current children cumulated CPU time (s) 330.15
Current children cumulated vsize (Kb) 5232

[startup+430.039 s]
Raw data (loadavg): 1.11 1.06 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 359 0 0 0 2822 704 0 0 16 0 1 0 1845859604 3178496 330 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 776 330 413 48 0 728 0
[pid=6764] vsize: 3104
Current children cumulated CPU time (s) 337.75
Current children cumulated vsize (Kb) 5232

[startup+440.039 s]
Raw data (loadavg): 1.09 1.06 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 365 0 0 0 3375 854 0 0 16 0 1 0 1845859604 3178496 336 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 776 336 413 48 0 728 0
[pid=6764] vsize: 3104
Current children cumulated CPU time (s) 344.78
Current children cumulated vsize (Kb) 5232

[startup+450.04 s]
Raw data (loadavg): 1.08 1.06 1.01 2/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) R 6759 6759 20115 0 -1 0 368 0 0 0 3985 990 0 0 16 0 1 0 1845859604 3178496 339 4294967295 134512640 134702520 3221223712 3221222992 134552263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6764/statm): 776 339 413 48 0 728 0
[pid=6764] vsize: 3104
Current children cumulated CPU time (s) 352.24
Current children cumulated vsize (Kb) 5232

[startup+460.041 s]
Raw data (loadavg): 1.06 1.06 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 451 0 0 0 4626 1114 0 0 16 0 1 0 1845859604 3313664 422 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 809 422 413 48 0 761 0
[pid=6764] vsize: 3236
Current children cumulated CPU time (s) 359.89
Current children cumulated vsize (Kb) 5364

[startup+470.043 s]
Raw data (loadavg): 1.05 1.05 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 467 0 0 0 5190 1256 0 0 16 0 1 0 1845859604 3313664 438 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 809 438 413 48 0 761 0
[pid=6764] vsize: 3236
Current children cumulated CPU time (s) 366.95
Current children cumulated vsize (Kb) 5364

[startup+480.043 s]
Raw data (loadavg): 1.05 1.05 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 475 0 0 0 5837 1374 0 0 16 0 1 0 1845859604 3313664 446 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 809 446 413 48 0 761 0
[pid=6764] vsize: 3236
Current children cumulated CPU time (s) 374.6
Current children cumulated vsize (Kb) 5364

[startup+490.044 s]
Raw data (loadavg): 1.04 1.05 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 549 0 0 0 6496 1491 0 0 15 0 1 0 1845859604 3477504 520 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 849 520 413 48 0 801 0
[pid=6764] vsize: 3396
Current children cumulated CPU time (s) 382.36
Current children cumulated vsize (Kb) 5524

[startup+500.045 s]
Raw data (loadavg): 1.03 1.05 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 549 0 0 0 7045 1639 0 0 15 0 1 0 1845859604 3477504 520 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 849 520 413 48 0 801 0
[pid=6764] vsize: 3396
Current children cumulated CPU time (s) 389.33
Current children cumulated vsize (Kb) 5524

[startup+510.045 s]
Raw data (loadavg): 1.03 1.05 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 549 0 0 0 7675 1768 0 0 16 0 1 0 1845859604 3477504 520 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 849 520 413 48 0 801 0
[pid=6764] vsize: 3396
Current children cumulated CPU time (s) 396.92
Current children cumulated vsize (Kb) 5524

[startup+520.046 s]
Raw data (loadavg): 1.02 1.04 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 560 0 0 0 8353 1875 0 0 15 0 1 0 1845859604 3477504 531 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 849 531 413 48 0 801 0
[pid=6764] vsize: 3396
Current children cumulated CPU time (s) 404.77
Current children cumulated vsize (Kb) 5524

[startup+530.048 s]
Raw data (loadavg): 1.02 1.04 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 560 0 0 0 8922 2016 0 0 15 0 1 0 1845859604 3477504 531 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 849 531 413 48 0 801 0
[pid=6764] vsize: 3396
Current children cumulated CPU time (s) 411.87
Current children cumulated vsize (Kb) 5524

[startup+540.048 s]
Raw data (loadavg): 1.09 1.06 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 562 0 0 0 9581 2136 0 0 16 0 1 0 1845859604 3477504 533 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 849 533 413 48 0 801 0
[pid=6764] vsize: 3396
Current children cumulated CPU time (s) 419.66
Current children cumulated vsize (Kb) 5524

[startup+550.049 s]
Raw data (loadavg): 1.15 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 563 0 0 0 10245 2252 0 0 15 0 1 0 1845859604 3477504 534 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 849 534 413 48 0 801 0
[pid=6764] vsize: 3396
Current children cumulated CPU time (s) 427.46
Current children cumulated vsize (Kb) 5524

[startup+560.05 s]
Raw data (loadavg): 1.13 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 569 0 0 0 10864 2380 0 0 15 0 1 0 1845859604 3477504 540 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 849 540 413 48 0 801 0
[pid=6764] vsize: 3396
Current children cumulated CPU time (s) 434.93
Current children cumulated vsize (Kb) 5524

[startup+570.05 s]
Raw data (loadavg): 1.11 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 570 0 0 0 11492 2505 0 0 16 0 1 0 1845859604 3477504 541 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 849 541 413 48 0 801 0
[pid=6764] vsize: 3396
Current children cumulated CPU time (s) 442.46
Current children cumulated vsize (Kb) 5524

[startup+580.051 s]
Raw data (loadavg): 1.09 1.06 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 582 0 0 0 12197 2602 0 0 16 0 1 0 1845859604 3477504 553 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 849 553 413 48 0 801 0
[pid=6764] vsize: 3396
Current children cumulated CPU time (s) 450.48
Current children cumulated vsize (Kb) 5524

[startup+590.052 s]
Raw data (loadavg): 1.16 1.08 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 598 0 0 0 12926 2697 0 0 15 0 1 0 1845859604 3612672 569 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 882 569 413 48 0 834 0
[pid=6764] vsize: 3528
Current children cumulated CPU time (s) 458.72
Current children cumulated vsize (Kb) 5656

[startup+600.053 s]
Raw data (loadavg): 1.13 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 604 0 0 0 13577 2817 0 0 15 0 1 0 1845859604 3612672 575 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 882 575 413 48 0 834 0
[pid=6764] vsize: 3528
Current children cumulated CPU time (s) 466.43
Current children cumulated vsize (Kb) 5656

[startup+610.054 s]
Raw data (loadavg): 1.11 1.07 1.01 2/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 607 0 0 0 14226 2933 0 0 16 0 1 0 1845859604 3612672 578 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 882 578 413 48 0 834 0
[pid=6764] vsize: 3528
Current children cumulated CPU time (s) 474.08
Current children cumulated vsize (Kb) 5656

[startup+620.056 s]
Raw data (loadavg): 1.17 1.08 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 613 0 0 0 14915 3040 0 0 16 0 1 0 1845859604 3612672 584 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 882 584 413 48 0 834 0
[pid=6764] vsize: 3528
Current children cumulated CPU time (s) 482.04
Current children cumulated vsize (Kb) 5656

[startup+630.056 s]
Raw data (loadavg): 1.15 1.08 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 615 0 0 0 15605 3145 0 0 15 0 1 0 1845859604 3612672 586 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 882 586 413 48 0 834 0
[pid=6764] vsize: 3528
Current children cumulated CPU time (s) 489.99
Current children cumulated vsize (Kb) 5656

[startup+640.056 s]
Raw data (loadavg): 1.12 1.08 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 616 0 0 0 16218 3275 0 0 15 0 1 0 1845859604 3612672 587 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 882 587 413 48 0 834 0
[pid=6764] vsize: 3528
Current children cumulated CPU time (s) 497.42
Current children cumulated vsize (Kb) 5656

[startup+650.058 s]
Raw data (loadavg): 1.18 1.09 1.02 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 617 0 0 0 16850 3400 0 0 16 0 1 0 1845859604 3612672 588 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 882 588 413 48 0 834 0
[pid=6764] vsize: 3528
Current children cumulated CPU time (s) 504.99
Current children cumulated vsize (Kb) 5656

[startup+660.058 s]
Raw data (loadavg): 1.16 1.09 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 623 0 0 0 17542 3510 0 0 15 0 1 0 1845859604 3747840 594 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 915 594 413 48 0 867 0
[pid=6764] vsize: 3660
Current children cumulated CPU time (s) 513.01
Current children cumulated vsize (Kb) 5788

[startup+670.059 s]
Raw data (loadavg): 1.13 1.08 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 625 0 0 0 18237 3618 0 0 16 0 1 0 1845859604 3747840 596 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 915 596 413 48 0 867 0
[pid=6764] vsize: 3660
Current children cumulated CPU time (s) 521.04
Current children cumulated vsize (Kb) 5788

[startup+680.06 s]
Raw data (loadavg): 1.11 1.08 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 629 0 0 0 18897 3736 0 0 15 0 1 0 1845859604 3747840 600 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 915 600 413 48 0 867 0
[pid=6764] vsize: 3660
Current children cumulated CPU time (s) 528.82
Current children cumulated vsize (Kb) 5788

[startup+690.061 s]
Raw data (loadavg): 1.09 1.08 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 630 0 0 0 19523 3860 0 0 15 0 1 0 1845859604 3747840 601 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 915 601 413 48 0 867 0
[pid=6764] vsize: 3660
Current children cumulated CPU time (s) 536.32
Current children cumulated vsize (Kb) 5788

[startup+700.062 s]
Raw data (loadavg): 1.08 1.08 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 631 0 0 0 20224 3962 0 0 16 0 1 0 1845859604 3747840 602 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 915 602 413 48 0 867 0
[pid=6764] vsize: 3660
Current children cumulated CPU time (s) 544.35
Current children cumulated vsize (Kb) 5788

[startup+710.063 s]
Raw data (loadavg): 1.07 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 634 0 0 0 20921 4067 0 0 16 0 1 0 1845859604 3747840 605 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 915 605 413 48 0 867 0
[pid=6764] vsize: 3660
Current children cumulated CPU time (s) 552.37
Current children cumulated vsize (Kb) 5788

[startup+720.065 s]
Raw data (loadavg): 1.06 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 637 0 0 0 21646 4161 0 0 15 0 1 0 1845859604 3747840 608 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 915 608 413 48 0 867 0
[pid=6764] vsize: 3660
Current children cumulated CPU time (s) 560.56
Current children cumulated vsize (Kb) 5788

[startup+730.065 s]
Raw data (loadavg): 1.05 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 638 0 0 0 22251 4296 0 0 16 0 1 0 1845859604 3747840 609 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 915 609 413 48 0 867 0
[pid=6764] vsize: 3660
Current children cumulated CPU time (s) 567.96
Current children cumulated vsize (Kb) 5788

[startup+740.066 s]
Raw data (loadavg): 1.04 1.06 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 644 0 0 0 22944 4399 0 0 16 0 1 0 1845859604 3747840 615 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 915 615 413 48 0 867 0
[pid=6764] vsize: 3660
Current children cumulated CPU time (s) 575.92
Current children cumulated vsize (Kb) 5788

[startup+750.067 s]
Raw data (loadavg): 1.03 1.06 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 647 0 0 0 23660 4497 0 0 16 0 1 0 1845859604 3747840 618 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 915 618 413 48 0 867 0
[pid=6764] vsize: 3660
Current children cumulated CPU time (s) 584.06
Current children cumulated vsize (Kb) 5788

[startup+760.067 s]
Raw data (loadavg): 1.03 1.06 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 652 0 0 0 24373 4595 0 0 15 0 1 0 1845859604 3878912 623 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 947 623 413 48 0 899 0
[pid=6764] vsize: 3788
Current children cumulated CPU time (s) 592.17
Current children cumulated vsize (Kb) 5916

[startup+770.069 s]
Raw data (loadavg): 1.02 1.06 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 652 0 0 0 25021 4710 0 0 15 0 1 0 1845859604 3878912 623 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 947 623 413 48 0 899 0
[pid=6764] vsize: 3788
Current children cumulated CPU time (s) 599.8
Current children cumulated vsize (Kb) 5916

[startup+780.07 s]
Raw data (loadavg): 1.09 1.07 1.01 2/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) R 6759 6759 20115 0 -1 0 654 0 0 0 25706 4816 0 0 16 0 1 0 1845859604 3878912 625 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6764/statm): 947 625 413 48 0 899 0
[pid=6764] vsize: 3788
Current children cumulated CPU time (s) 607.71
Current children cumulated vsize (Kb) 5916

[startup+790.069 s]
Raw data (loadavg): 1.08 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 657 0 0 0 26370 4931 0 0 16 0 1 0 1845859604 3883008 628 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 628 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 615.5
Current children cumulated vsize (Kb) 5920

[startup+800.071 s]
Raw data (loadavg): 1.07 1.06 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 657 0 0 0 27029 5045 0 0 16 0 1 0 1845859604 3883008 628 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 628 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 623.23
Current children cumulated vsize (Kb) 5920

[startup+810.072 s]
Raw data (loadavg): 1.06 1.06 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 657 0 0 0 27645 5178 0 0 16 0 1 0 1845859604 3883008 628 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 628 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 630.72
Current children cumulated vsize (Kb) 5920

[startup+820.072 s]
Raw data (loadavg): 1.05 1.06 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 658 0 0 0 28295 5295 0 0 15 0 1 0 1845859604 3883008 629 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 629 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 638.39
Current children cumulated vsize (Kb) 5920

[startup+830.074 s]
Raw data (loadavg): 1.04 1.06 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 658 0 0 0 28952 5408 0 0 15 0 1 0 1845859604 3883008 629 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 629 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 646.09
Current children cumulated vsize (Kb) 5920

[startup+840.075 s]
Raw data (loadavg): 1.11 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 658 0 0 0 29567 5539 0 0 15 0 1 0 1845859604 3883008 629 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 629 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 653.55
Current children cumulated vsize (Kb) 5920

[startup+850.076 s]
Raw data (loadavg): 1.16 1.08 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 658 0 0 0 30227 5655 0 0 16 0 1 0 1845859604 3883008 629 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 629 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 661.31
Current children cumulated vsize (Kb) 5920

[startup+860.076 s]
Raw data (loadavg): 1.14 1.08 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 658 0 0 0 30907 5768 0 0 15 0 1 0 1845859604 3883008 629 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 629 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 669.24
Current children cumulated vsize (Kb) 5920

[startup+870.078 s]
Raw data (loadavg): 1.12 1.08 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 658 0 0 0 31522 5898 0 0 16 0 1 0 1845859604 3883008 629 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 629 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 676.69
Current children cumulated vsize (Kb) 5920

[startup+880.079 s]
Raw data (loadavg): 1.10 1.08 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 658 0 0 0 32187 6014 0 0 16 0 1 0 1845859604 3883008 629 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 629 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 684.5
Current children cumulated vsize (Kb) 5920

[startup+890.079 s]
Raw data (loadavg): 1.08 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 658 0 0 0 32855 6123 0 0 15 0 1 0 1845859604 3883008 629 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 629 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 692.27
Current children cumulated vsize (Kb) 5920

[startup+900.081 s]
Raw data (loadavg): 1.07 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 661 0 0 0 33522 6240 0 0 16 0 1 0 1845859604 3883008 632 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 632 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 700.11
Current children cumulated vsize (Kb) 5920

[startup+910.082 s]
Raw data (loadavg): 1.06 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 662 0 0 0 34151 6364 0 0 15 0 1 0 1845859604 3883008 633 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 633 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 707.64
Current children cumulated vsize (Kb) 5920

[startup+920.083 s]
Raw data (loadavg): 1.05 1.06 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 662 0 0 0 34849 6467 0 0 15 0 1 0 1845859604 3883008 633 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 948 633 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 715.65
Current children cumulated vsize (Kb) 5920

[startup+930.084 s]
Raw data (loadavg): 1.04 1.06 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 668 0 0 0 35562 6562 0 0 16 0 1 0 1845859604 3883008 639 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 639 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 723.73
Current children cumulated vsize (Kb) 5920

[startup+940.085 s]
Raw data (loadavg): 1.11 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 668 0 0 0 36190 6688 0 0 15 0 1 0 1845859604 3883008 639 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 639 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 731.27
Current children cumulated vsize (Kb) 5920

[startup+950.086 s]
Raw data (loadavg): 1.10 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 669 0 0 0 36850 6805 0 0 15 0 1 0 1845859604 3883008 640 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 948 640 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 739.04
Current children cumulated vsize (Kb) 5920

[startup+960.087 s]
Raw data (loadavg): 1.08 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 669 0 0 0 37544 6913 0 0 15 0 1 0 1845859604 3883008 640 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 640 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 747.06
Current children cumulated vsize (Kb) 5920

[startup+970.088 s]
Raw data (loadavg): 1.07 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 669 0 0 0 38213 7023 0 0 15 0 1 0 1845859604 3883008 640 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 948 640 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 754.85
Current children cumulated vsize (Kb) 5920

[startup+980.088 s]
Raw data (loadavg): 1.06 1.06 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 669 0 0 0 38851 7146 0 0 16 0 1 0 1845859604 3883008 640 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 948 640 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 762.46
Current children cumulated vsize (Kb) 5920

[startup+990.089 s]
Raw data (loadavg): 1.05 1.06 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 669 0 0 0 39545 7257 0 0 16 0 1 0 1845859604 3883008 640 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 640 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 770.51
Current children cumulated vsize (Kb) 5920

[startup+1000.09 s]
Raw data (loadavg): 1.04 1.06 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 669 0 0 0 40238 7365 0 0 16 0 1 0 1845859604 3883008 640 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 948 640 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 778.52
Current children cumulated vsize (Kb) 5920

[startup+1010.09 s]
Raw data (loadavg): 1.03 1.06 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 669 0 0 0 40904 7477 0 0 15 0 1 0 1845859604 3883008 640 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 640 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 786.3
Current children cumulated vsize (Kb) 5920

[startup+1020.09 s]
Raw data (loadavg): 1.03 1.05 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 669 0 0 0 41571 7590 0 0 15 0 1 0 1845859604 3883008 640 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 948 640 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 794.1
Current children cumulated vsize (Kb) 5920

[startup+1030.09 s]
Raw data (loadavg): 1.02 1.05 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 669 0 0 0 42270 7692 0 0 15 0 1 0 1845859604 3883008 640 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 948 640 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 802.11
Current children cumulated vsize (Kb) 5920

[startup+1040.09 s]
Raw data (loadavg): 1.02 1.05 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 672 0 0 0 43028 7775 0 0 16 0 1 0 1845859604 3883008 643 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 643 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 810.52
Current children cumulated vsize (Kb) 5920

[startup+1050.1 s]
Raw data (loadavg): 1.02 1.05 1.00 2/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) R 6759 6759 20115 0 -1 0 674 0 0 0 43722 7886 0 0 16 0 1 0 1845859604 3883008 645 4294967295 134512640 134702520 3221223712 3221222736 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6764/statm): 948 645 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 818.57
Current children cumulated vsize (Kb) 5920

[startup+1060.1 s]
Raw data (loadavg): 1.01 1.05 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 675 0 0 0 44357 8016 0 0 15 0 1 0 1845859604 3883008 646 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 646 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 826.22
Current children cumulated vsize (Kb) 5920

[startup+1070.1 s]
Raw data (loadavg): 1.01 1.04 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 676 0 0 0 45091 8111 0 0 16 0 1 0 1845859604 3883008 647 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 647 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 834.51
Current children cumulated vsize (Kb) 5920

[startup+1080.1 s]
Raw data (loadavg): 1.01 1.04 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 678 0 0 0 45825 8202 0 0 16 0 1 0 1845859604 3883008 649 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 649 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 842.76
Current children cumulated vsize (Kb) 5920

[startup+1090.1 s]
Raw data (loadavg): 1.01 1.04 1.00 2/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 679 0 0 0 46549 8299 0 0 16 0 1 0 1845859604 3883008 650 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 650 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 850.97
Current children cumulated vsize (Kb) 5920

[startup+1100.1 s]
Raw data (loadavg): 1.00 1.04 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 684 0 0 0 47232 8405 0 0 16 0 1 0 1845859604 3883008 655 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 655 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 858.86
Current children cumulated vsize (Kb) 5920

[startup+1110.1 s]
Raw data (loadavg): 1.00 1.04 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 685 0 0 0 47903 8519 0 0 16 0 1 0 1845859604 4009984 656 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 979 656 413 48 0 931 0
[pid=6764] vsize: 3916
Current children cumulated CPU time (s) 866.71
Current children cumulated vsize (Kb) 6044

[startup+1120.1 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 688 0 0 0 48648 8607 0 0 16 0 1 0 1845859604 4009984 659 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 979 659 413 48 0 931 0
[pid=6764] vsize: 3916
Current children cumulated CPU time (s) 875.04
Current children cumulated vsize (Kb) 6044

[startup+1130.1 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 691 0 0 0 49407 8689 0 0 16 0 1 0 1845859604 4009984 662 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 979 662 413 48 0 931 0
[pid=6764] vsize: 3916
Current children cumulated CPU time (s) 883.45
Current children cumulated vsize (Kb) 6044

[startup+1140.1 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) R 6759 6759 20115 0 -1 0 696 0 0 0 50175 8769 0 0 16 0 1 0 1845859604 4009984 667 4294967295 134512640 134702520 3221223712 3221222608 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6764/statm): 979 667 413 48 0 931 0
[pid=6764] vsize: 3916
Current children cumulated CPU time (s) 891.93
Current children cumulated vsize (Kb) 6044

[startup+1150.1 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 696 0 0 0 50873 8878 0 0 15 0 1 0 1845859604 4009984 667 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 979 667 413 48 0 931 0
[pid=6764] vsize: 3916
Current children cumulated CPU time (s) 900
Current children cumulated vsize (Kb) 6044

[startup+1160.1 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 696 0 0 0 51546 8992 0 0 16 0 1 0 1845859604 4009984 667 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 979 667 413 48 0 931 0
[pid=6764] vsize: 3916
Current children cumulated CPU time (s) 907.87
Current children cumulated vsize (Kb) 6044

[startup+1170.11 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 701 0 0 0 52313 9074 0 0 16 0 1 0 1845859604 4009984 672 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 979 672 413 48 0 931 0
[pid=6764] vsize: 3916
Current children cumulated CPU time (s) 916.36
Current children cumulated vsize (Kb) 6044

[startup+1180.11 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 701 0 0 0 53036 9172 0 0 15 0 1 0 1845859604 4009984 672 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 979 672 413 48 0 931 0
[pid=6764] vsize: 3916
Current children cumulated CPU time (s) 924.57
Current children cumulated vsize (Kb) 6044

[startup+1190.11 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 702 0 0 0 53825 9246 0 0 16 0 1 0 1845859604 4009984 673 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 979 673 413 48 0 931 0
[pid=6764] vsize: 3916
Current children cumulated CPU time (s) 933.2
Current children cumulated vsize (Kb) 6044

[startup+1200.11 s]
Raw data (loadavg): 1.05 1.04 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 704 0 0 0 54544 9346 0 0 16 0 1 0 1845859604 4009984 675 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 979 675 413 48 0 931 0
[pid=6764] vsize: 3916
Current children cumulated CPU time (s) 941.39
Current children cumulated vsize (Kb) 6044

[startup+1210.11 s]
Raw data (loadavg): 1.04 1.04 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 704 0 0 0 55210 9457 0 0 16 0 1 0 1845859604 4009984 675 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 979 675 413 48 0 931 0
[pid=6764] vsize: 3916
Current children cumulated CPU time (s) 949.16
Current children cumulated vsize (Kb) 6044

[startup+1220.11 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 705 0 0 0 55949 9547 0 0 16 0 1 0 1845859604 4009984 676 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 979 676 413 48 0 931 0
[pid=6764] vsize: 3916
Current children cumulated CPU time (s) 957.45
Current children cumulated vsize (Kb) 6044

[startup+1230.11 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 708 0 0 0 56722 9623 0 0 16 0 1 0 1845859604 4009984 679 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 979 679 413 48 0 931 0
[pid=6764] vsize: 3916
Current children cumulated CPU time (s) 965.94
Current children cumulated vsize (Kb) 6044

[startup+1240.11 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 993 0 0 0 57532 9694 0 0 17 0 1 0 1845859604 5279744 964 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 1289 964 413 48 0 1241 0
[pid=6764] vsize: 5156
Current children cumulated CPU time (s) 974.75
Current children cumulated vsize (Kb) 7284

[startup+1250.11 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 1238 0 0 0 58383 9746 0 0 17 0 1 0 1845859604 6303744 1209 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 1539 1209 413 48 0 1491 0
[pid=6764] vsize: 6156
Current children cumulated CPU time (s) 983.78
Current children cumulated vsize (Kb) 8284

[startup+1260.11 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 1450 0 0 0 59255 9792 0 0 17 0 1 0 1845859604 7045120 1421 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 1720 1421 413 48 0 1672 0
[pid=6764] vsize: 6880
Current children cumulated CPU time (s) 992.96
Current children cumulated vsize (Kb) 9008

[startup+1270.12 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 1547 0 0 0 60104 9849 0 0 16 0 1 0 1845859604 7458816 1518 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 1821 1518 413 48 0 1773 0
[pid=6764] vsize: 7284
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (Kb) 9412

[startup+1280.12 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 1547 0 0 0 60813 9950 0 0 16 0 1 0 1845859604 7458816 1518 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 1821 1518 413 48 0 1773 0
[pid=6764] vsize: 7284
Current children cumulated CPU time (s) 1010.12
Current children cumulated vsize (Kb) 9412

[startup+1290.12 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) R 6759 6759 20115 0 -1 0 1547 0 0 0 61626 10016 0 0 17 0 1 0 1845859604 7458816 1518 4294967295 134512640 134702520 3221223712 3221223184 134657210 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6764/statm): 1821 1518 413 48 0 1773 0
[pid=6764] vsize: 7284
Current children cumulated CPU time (s) 1018.91
Current children cumulated vsize (Kb) 9412

[startup+1300.12 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 1547 0 0 0 62537 10047 0 0 18 0 1 0 1845859604 7458816 1518 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 1821 1518 413 48 0 1773 0
[pid=6764] vsize: 7284
Current children cumulated CPU time (s) 1028.33
Current children cumulated vsize (Kb) 9412

[startup+1310.12 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 1547 0 0 0 63423 10087 0 0 17 0 1 0 1845859604 7458816 1518 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 1821 1518 413 48 0 1773 0
[pid=6764] vsize: 7284
Current children cumulated CPU time (s) 1037.59
Current children cumulated vsize (Kb) 9412

[startup+1320.12 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) R 6759 6759 20115 0 -1 0 1568 0 0 0 64316 10126 0 0 17 0 1 0 1845859604 7626752 1539 4294967295 134512640 134702520 3221223712 3221222992 134557557 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6764/statm): 1862 1539 413 48 0 1814 0
[pid=6764] vsize: 7448
Current children cumulated CPU time (s) 1046.91
Current children cumulated vsize (Kb) 9576

[startup+1330.12 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) R 6759 6759 20115 0 -1 0 1726 0 0 0 65249 10149 0 0 18 0 1 0 1845859604 8245248 1697 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6764/statm): 2013 1697 413 48 0 1965 0
[pid=6764] vsize: 8052
Current children cumulated CPU time (s) 1056.47
Current children cumulated vsize (Kb) 10180

[startup+1340.12 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 1914 0 0 0 66154 10183 0 0 16 0 1 0 1845859604 8949760 1885 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 2185 1885 413 48 0 2137 0
[pid=6764] vsize: 8740
Current children cumulated CPU time (s) 1065.86
Current children cumulated vsize (Kb) 10868

[startup+1350.12 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 1914 0 0 0 67083 10208 0 0 19 0 1 0 1845859604 8949760 1885 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 2185 1885 413 48 0 2137 0
[pid=6764] vsize: 8740
Current children cumulated CPU time (s) 1075.4
Current children cumulated vsize (Kb) 10868

[startup+1360.12 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 2065 0 0 0 68004 10236 0 0 17 0 1 0 1845859604 9576448 2036 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 2338 2036 413 48 0 2290 0
[pid=6764] vsize: 9352
Current children cumulated CPU time (s) 1084.89
Current children cumulated vsize (Kb) 11480

[startup+1370.13 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 2065 0 0 0 68936 10260 0 0 18 0 1 0 1845859604 9576448 2036 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 2338 2036 413 48 0 2290 0
[pid=6764] vsize: 9352
Current children cumulated CPU time (s) 1094.45
Current children cumulated vsize (Kb) 11480

[startup+1380.13 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 2065 0 0 0 69892 10277 0 0 17 0 1 0 1845859604 9576448 2036 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 2338 2036 413 48 0 2290 0
[pid=6764] vsize: 9352
Current children cumulated CPU time (s) 1104.18
Current children cumulated vsize (Kb) 11480

[startup+1390.13 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) R 6759 6759 20115 0 -1 0 2119 0 0 0 70845 10293 0 0 25 0 1 0 1845859604 9912320 2090 4294967295 134512640 134702520 3221223712 3221223104 134604364 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6764/statm): 2420 2090 413 48 0 2372 0
[pid=6764] vsize: 9680
Current children cumulated CPU time (s) 1113.87
Current children cumulated vsize (Kb) 11808

[startup+1400.13 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) R 6759 6759 20115 0 -1 0 2256 0 0 0 71791 10312 0 0 25 0 1 0 1845859604 10416128 2227 4294967295 134512640 134702520 3221223712 3221222608 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6764/statm): 2543 2227 413 48 0 2495 0
[pid=6764] vsize: 10172
Current children cumulated CPU time (s) 1123.52
Current children cumulated vsize (Kb) 12300

[startup+1410.13 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 2256 0 0 0 72702 10343 0 0 17 0 1 0 1845859604 10416128 2227 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 2543 2227 413 48 0 2495 0
[pid=6764] vsize: 10172
Current children cumulated CPU time (s) 1132.94
Current children cumulated vsize (Kb) 12300

[startup+1420.13 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 2257 0 0 0 73646 10365 0 0 21 0 1 0 1845859604 10416128 2228 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 2543 2228 413 48 0 2495 0
[pid=6764] vsize: 10172
Current children cumulated CPU time (s) 1142.6
Current children cumulated vsize (Kb) 12300

[startup+1430.13 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 2257 0 0 0 74405 10449 0 0 16 0 1 0 1845859604 10416128 2228 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 2543 2228 413 48 0 2495 0
[pid=6764] vsize: 10172
Current children cumulated CPU time (s) 1151.03
Current children cumulated vsize (Kb) 12300
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=6764) exited with status: 2
New process pid=6765
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=6765) exited with status: 0
New process pid=6766
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+1440.13 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 6766
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 417 3416 0 0 2 1 101289 14616 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6766/stat): 6766 (vallst) R 6759 6759 20115 0 -1 0 459 0 0 0 34 2 0 0 21 0 1 0 1845965509 3723264 431 4294967295 134512640 134702520 3221223712 3221223376 134636015 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6766/statm): 909 431 413 48 0 861 0
[pid=6766] vsize: 3636
Current children cumulated CPU time (s) 1159.44
Current children cumulated vsize (Kb) 5764

[startup+1450.13 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 6766
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 417 3416 0 0 2 1 101289 14616 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6766/stat): 6766 (vallst) T 6759 6759 20115 0 -1 0 515 0 0 0 790 85 0 0 19 0 1 0 1845965509 3874816 486 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6766/statm): 946 486 413 48 0 898 0
[pid=6766] vsize: 3784
Current children cumulated CPU time (s) 1167.83
Current children cumulated vsize (Kb) 5912

[startup+1460.13 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 6766
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 417 3416 0 0 2 1 101289 14616 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6766/stat): 6766 (vallst) T 6759 6759 20115 0 -1 0 557 0 0 0 1517 178 0 0 21 0 1 0 1845965509 6512640 528 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6766/statm): 1590 528 413 48 0 1542 0
[pid=6766] vsize: 6360
Current children cumulated CPU time (s) 1176.03
Current children cumulated vsize (Kb) 8488

[startup+1470.14 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 6766
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 417 3416 0 0 2 1 101289 14616 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6766/stat): 6766 (vallst) R 6759 6759 20115 0 -1 0 577 0 0 0 2236 275 0 0 18 0 1 0 1845965509 6516736 548 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6766/statm): 1591 548 413 48 0 1543 0
[pid=6766] vsize: 6364
Current children cumulated CPU time (s) 1184.19
Current children cumulated vsize (Kb) 8492

[startup+1480.14 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 6766
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 417 3416 0 0 2 1 101289 14616 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6766/stat): 6766 (vallst) T 6759 6759 20115 0 -1 0 638 0 0 0 2949 375 0 0 19 0 1 0 1845965509 6516736 609 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6766/statm): 1591 609 413 48 0 1543 0
[pid=6766] vsize: 6364
Current children cumulated CPU time (s) 1192.32
Current children cumulated vsize (Kb) 8492

[startup+1490.14 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 6766
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 417 3416 0 0 2 1 101289 14616 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6766/stat): 6766 (vallst) T 6759 6759 20115 0 -1 0 639 0 0 0 3627 484 0 0 15 0 1 0 1845965509 6651904 610 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6766/statm): 1624 610 413 48 0 1576 0
[pid=6766] vsize: 6496
Current children cumulated CPU time (s) 1200.19
Current children cumulated vsize (Kb) 8624



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1490.14 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 6766
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 417 3416 0 0 2 1 101289 14616 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6766/stat): 6766 (vallst) T 6759 6759 20115 0 -1 0 639 0 0 0 3627 484 0 0 15 0 1 0 1845965509 6651904 610 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6766/statm): 1624 610 413 48 0 1576 0
[pid=6766] vsize: 6496
Current children cumulated CPU time (s) 1200.19
Current children cumulated vsize (Kb) 8624

Sending SIGTERM to -6759
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=6768
New process pid=6769
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
One traced child (pid=6766) exited with status: 3
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/31324/stat
open syscall for file /proc/31324/status
open syscall for file /proc/31324/cmdline
open syscall for file /proc/31324/environ
open syscall for file /proc/2146/stat
open syscall for file /proc/2146/status
open syscall for file /proc/2146/cmdline
open syscall for file /proc/2146/environ
open syscall for file /proc/2173/stat
open syscall for file /proc/2173/status
open syscall for file /proc/2173/cmdline
open syscall for file /proc/2173/environ
open syscall for file /proc/2197/stat
open syscall for file /proc/2197/status
open syscall for file /proc/2197/cmdline
open syscall for file /proc/2197/environ
open syscall for file /proc/2649/stat
open syscall for file /proc/2649/status
open syscall for file /proc/2649/cmdline
open syscall for file /proc/2649/environ
open syscall for file /proc/4357/stat
open syscall for file /proc/4357/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/4357/cmdline
open syscall for file /proc/4357/environ
open syscall for file /proc/4392/stat
open syscall for file /proc/4392/status
open syscall for file /proc/4392/cmdline
open syscall for file /proc/4392/environ
open syscall for file /proc/20115/stat
open syscall for file /proc/20115/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/20115/cmdline
open syscall for file /proc/20115/environ
open syscall for file /proc/20116/stat
open syscall for file /proc/20116/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/20116/cmdline
open syscall for file /proc/20116/environ
open syscall for file /proc/20125/stat
open syscall for file /proc/20125/status
open syscall for file /proc/20125/cmdline
open syscall for file /proc/20125/environ
open syscall for file /proc/6722/stat
open syscall for file /proc/6722/status
open syscall for file /proc/6722/cmdline
open syscall for file /proc/6722/environ
open syscall for file /proc/6758/stat
open syscall for file /proc/6758/status
open syscall for file /proc/6758/cmdline
open syscall for file /proc/6758/environ
open syscall for file /proc/6759/stat
open syscall for file /proc/6759/status
open syscall for file /proc/6759/cmdline
open syscall for file /proc/6759/environ
open syscall for file /proc/6768/stat
open syscall for file /proc/6768/status
open syscall for file /proc/6768/cmdline
open syscall for file /proc/6768/environ
open syscall for file /proc/6769/stat
open syscall for file /proc/6769/status
open syscall for file /proc/6769/cmdline
open syscall for file /proc/6769/environ
One traced child (pid=6768) exited with status: 0
One traced child (pid=6769) exited with status: 0
New process pid=6770
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=6770) exited with status: 0
New process pid=6771
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=6771) exited with status: 0
One traced child (pid=6759) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1490.64
CPU time (s): 1200.35
CPU user time (s): 1049.26
CPU system time (s): 151.095
CPU usage (%): 80.5261
Max. virtual memory (cumulated for all children) (Kb): 12300

Verifier Data

ERROR: no interpretation found !