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/logic-synthesis/normalized-apex4.a.opb
MD5SUM4a690348e685ba516d0f6942be0bf113
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 777
Optimality of the best value was proved NO
Number of terms in the objective function 4317
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 4317
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4317
Number of bits of the biggest sum of numbers13
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.25
Number of variables4316
Total number of constraints11912
Number of constraints which are clauses11912
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint160

Trace number 1257

Launcher Data

LAUNCH ON wulflinc24 THE 2005-09-18 14:18:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7092 boxname=wulflinc24 idbench=60 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4a690348e685ba516d0f6942be0bf113  /oldhome/oroussel/tmp/wulflinc24/normalized-apex4.a.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc24/normalized-apex4.a.opb 0
IDLAUNCH: 7092
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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:        921248 kB
Buffers:         34492 kB
Cached:          51124 kB
SwapCached:        744 kB
Active:          62768 kB
Inactive:        25532 kB
HighTotal:      131008 kB
HighFree:        76580 kB
LowTotal:       903652 kB
LowFree:        844668 kB
SwapTotal:     2097892 kB
SwapFree:      2096644 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5736 kB
Slab:            19464 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 14:41:01 (client local time) WITH STATUS 0 IN 1201.03 SECONDS
stats: 7092 7 1201.03 0

Solver Data

1:
seed: 0
Nr of vars set: 199  (#equs: 0)
Nr of vars set: 199  (#equs: 0)
#decisions: 722;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 8779, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  3438 (878:>=*);
#decisions: 26890;  #end-nodes: 2672;
#proof improvement attempts: 0;  #restarts: 32
Current batch, end-nodes: 0 / 88 (88)
#axs: 8779, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3439 (877:>=*);
#decisions: 35261;  #end-nodes: 3567;
#proof improvement attempts: 0;  #restarts: 42
Current batch, end-nodes: 0 / 90 (90)
#axs: 8779, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3440 (876:>=*);
#decisions: 303188;  #end-nodes: 42713;
#proof improvement attempts: 0;  #restarts: 347
Current batch, end-nodes: 0 / 166 (166)
#axs: 8779, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3441 (875:>=*);
#decisions: 79297;  #end-nodes: 8808;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 103 (103)
#axs: 8779, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 3441 (875:>=*)

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

2:
seed: 0
Nr of vars set: 199  (#equs: 0)
Nr of vars set: 199  (#equs: 0)
Interupt request received.
#decisions: 992130;  #end-nodes: 247271;
#proof improvement attempts: 0;  #restarts: 1006
Current batch, end-nodes: 304 / 371 (371)
#axs: 7373, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: 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: 947  (#equs: 0)
Time taken: 14 min, 45 sec

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) R 24094 24095 20728 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1841918140 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/24095/statm): 174 3 169 147 0 27 0
[pid=24095] 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=24096
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=24096) exited with status: 0
New process pid=24097
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=24097) exited with status: 0
New process pid=24098
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/wulflinc24/normalized-apex4.a.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0031 s]
Raw data (loadavg): 1.00 1.09 1.08 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 559 0 0 0 175 261 0 0 15 0 1 0 1841918148 3903488 529 4294967295 134512640 134702520 3221223968 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24098/statm): 953 529 413 48 0 905 0
[pid=24098] vsize: 3812
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (Kb) 5940

[startup+20.0049 s]
Raw data (loadavg): 1.00 1.09 1.08 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 867 0 0 0 932 339 0 0 16 0 1 0 1841918148 6955008 837 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1698 837 413 48 0 1650 0
[pid=24098] vsize: 6792
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (Kb) 8920

[startup+30.0055 s]
Raw data (loadavg): 1.00 1.08 1.08 2/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) R 24095 24095 20728 0 -1 0 881 0 0 0 1795 383 0 0 17 0 1 0 1841918148 6955008 851 4294967295 134512640 134702520 3221223968 3221223248 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1698 851 413 48 0 1650 0
[pid=24098] vsize: 6792
Current children cumulated CPU time (s) 21.8
Current children cumulated vsize (Kb) 8920

[startup+40.0052 s]
Raw data (loadavg): 1.00 1.08 1.08 2/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 881 0 0 0 2649 429 0 0 17 0 1 0 1841918148 6955008 851 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24098/statm): 1698 851 413 48 0 1650 0
[pid=24098] vsize: 6792
Current children cumulated CPU time (s) 30.8
Current children cumulated vsize (Kb) 8920

[startup+50.0069 s]
Raw data (loadavg): 1.00 1.08 1.08 2/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) R 24095 24095 20728 0 -1 0 890 0 0 0 3511 479 0 0 17 0 1 0 1841918148 6955008 860 4294967295 134512640 134702520 3221223968 3221223248 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1698 860 413 48 0 1650 0
[pid=24098] vsize: 6792
Current children cumulated CPU time (s) 39.92
Current children cumulated vsize (Kb) 8920

[startup+60.0076 s]
Raw data (loadavg): 1.00 1.08 1.08 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 891 0 0 0 4375 523 0 0 17 0 1 0 1841918148 6955008 861 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24098/statm): 1698 861 413 48 0 1650 0
[pid=24098] vsize: 6792
Current children cumulated CPU time (s) 49
Current children cumulated vsize (Kb) 8920

[startup+70.0093 s]
Raw data (loadavg): 1.00 1.07 1.08 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 897 0 0 0 5198 586 0 0 16 0 1 0 1841918148 6955008 867 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1698 867 413 48 0 1650 0
[pid=24098] vsize: 6792
Current children cumulated CPU time (s) 57.86
Current children cumulated vsize (Kb) 8920

[startup+80.011 s]
Raw data (loadavg): 1.00 1.07 1.08 2/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) R 24095 24095 20728 0 -1 0 915 0 0 0 6060 631 0 0 17 0 1 0 1841918148 6955008 885 4294967295 134512640 134702520 3221223968 3221223088 134572146 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24098/statm): 1698 885 413 48 0 1650 0
[pid=24098] vsize: 6792
Current children cumulated CPU time (s) 66.93
Current children cumulated vsize (Kb) 8920

[startup+90.0117 s]
Raw data (loadavg): 1.00 1.07 1.07 2/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) R 24095 24095 20728 0 -1 0 932 0 0 0 6931 675 0 0 17 0 1 0 1841918148 6955008 902 4294967295 134512640 134702520 3221223968 3221223248 134552868 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1698 902 413 48 0 1650 0
[pid=24098] vsize: 6792
Current children cumulated CPU time (s) 76.08
Current children cumulated vsize (Kb) 8920

[startup+100.012 s]
Raw data (loadavg): 1.00 1.06 1.07 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 943 0 0 0 7687 757 0 0 15 0 1 0 1841918148 6955008 913 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24098/statm): 1698 913 413 48 0 1650 0
[pid=24098] vsize: 6792
Current children cumulated CPU time (s) 84.46
Current children cumulated vsize (Kb) 8920

[startup+110.013 s]
Raw data (loadavg): 1.00 1.06 1.07 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 943 0 0 0 8397 855 0 0 15 0 1 0 1841918148 6955008 913 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1698 913 413 48 0 1650 0
[pid=24098] vsize: 6792
Current children cumulated CPU time (s) 92.54
Current children cumulated vsize (Kb) 8920

[startup+120.014 s]
Raw data (loadavg): 1.00 1.06 1.07 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 958 0 0 0 9236 913 0 0 15 0 1 0 1841918148 6955008 928 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24098/statm): 1698 928 413 48 0 1650 0
[pid=24098] vsize: 6792
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (Kb) 8920

[startup+130.014 s]
Raw data (loadavg): 1.00 1.06 1.07 2/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) R 24095 24095 20728 0 -1 0 1331 0 0 0 10087 964 0 0 16 0 1 0 1841918148 7057408 1301 4294967295 134512640 134702520 3221223968 3221223088 134578886 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1723 1301 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 110.53
Current children cumulated vsize (Kb) 9020

[startup+140.015 s]
Raw data (loadavg): 1.00 1.05 1.07 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 1331 0 0 0 10950 1010 0 0 17 0 1 0 1841918148 7057408 1301 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24098/statm): 1723 1301 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 119.62
Current children cumulated vsize (Kb) 9020

[startup+150.016 s]
Raw data (loadavg): 1.07 1.07 1.07 2/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) R 24095 24095 20728 0 -1 0 1332 0 0 0 11816 1053 0 0 17 0 1 0 1841918148 7057408 1302 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24098/statm): 1723 1302 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 128.71
Current children cumulated vsize (Kb) 9020

[startup+160.017 s]
Raw data (loadavg): 1.06 1.06 1.07 2/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) R 24095 24095 20728 0 -1 0 1332 0 0 0 12688 1096 0 0 17 0 1 0 1841918148 7057408 1302 4294967295 134512640 134702520 3221223968 3221223088 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1723 1302 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 137.86
Current children cumulated vsize (Kb) 9020

[startup+170.018 s]
Raw data (loadavg): 1.05 1.06 1.07 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 1333 0 0 0 13430 1183 0 0 15 0 1 0 1841918148 7057408 1303 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1723 1303 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 146.15
Current children cumulated vsize (Kb) 9020

[startup+180.019 s]
Raw data (loadavg): 1.04 1.06 1.07 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 1333 0 0 0 14145 1280 0 0 15 0 1 0 1841918148 7057408 1303 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24098/statm): 1723 1303 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 154.27
Current children cumulated vsize (Kb) 9020

[startup+190.02 s]
Raw data (loadavg): 1.04 1.06 1.07 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 1333 0 0 0 15046 1314 0 0 17 0 1 0 1841918148 7057408 1303 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1723 1303 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 163.62
Current children cumulated vsize (Kb) 9020

[startup+200.021 s]
Raw data (loadavg): 1.03 1.05 1.07 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 1334 0 0 0 15910 1361 0 0 16 0 1 0 1841918148 7057408 1304 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1723 1304 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 172.73
Current children cumulated vsize (Kb) 9020

[startup+210.022 s]
Raw data (loadavg): 1.02 1.05 1.07 2/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) R 24095 24095 20728 0 -1 0 1335 0 0 0 16768 1409 0 0 16 0 1 0 1841918148 7057408 1305 4294967295 134512640 134702520 3221223968 3221222864 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1723 1305 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 181.79
Current children cumulated vsize (Kb) 9020

[startup+220.023 s]
Raw data (loadavg): 1.02 1.05 1.07 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 1336 0 0 0 17631 1454 0 0 15 0 1 0 1841918148 7057408 1306 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24098/statm): 1723 1306 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 190.87
Current children cumulated vsize (Kb) 9020

[startup+230.023 s]
Raw data (loadavg): 1.10 1.07 1.07 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 1336 0 0 0 18514 1497 0 0 16 0 1 0 1841918148 7057408 1306 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1723 1306 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 200.13
Current children cumulated vsize (Kb) 9020

[startup+240.024 s]
Raw data (loadavg): 1.08 1.06 1.07 2/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) R 24095 24095 20728 0 -1 0 1337 0 0 0 19398 1538 0 0 16 0 1 0 1841918148 7057408 1307 4294967295 134512640 134702520 3221223968 3221222864 134552419 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1723 1307 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 209.38
Current children cumulated vsize (Kb) 9020

[startup+250.025 s]
Raw data (loadavg): 1.07 1.06 1.07 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 1337 0 0 0 20117 1634 0 0 15 0 1 0 1841918148 7057408 1307 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1723 1307 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 217.53
Current children cumulated vsize (Kb) 9020

[startup+260.025 s]
Raw data (loadavg): 1.06 1.06 1.07 2/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) R 24095 24095 20728 0 -1 0 1337 0 0 0 20881 1715 0 0 17 0 1 0 1841918148 7057408 1307 4294967295 134512640 134702520 3221223968 3221223088 134578750 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1723 1307 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 225.98
Current children cumulated vsize (Kb) 9020

[startup+270.027 s]
Raw data (loadavg): 1.05 1.06 1.07 2/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) R 24095 24095 20728 0 -1 0 1337 0 0 0 21768 1753 0 0 17 0 1 0 1841918148 7057408 1307 4294967295 134512640 134702520 3221223968 3221223088 134573085 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1723 1307 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 235.23
Current children cumulated vsize (Kb) 9020

[startup+280.028 s]
Raw data (loadavg): 1.04 1.05 1.07 2/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) R 24095 24095 20728 0 -1 0 1338 0 0 0 22654 1791 0 0 17 0 1 0 1841918148 7057408 1308 4294967295 134512640 134702520 3221223968 3221223088 134586075 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1723 1308 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 244.47
Current children cumulated vsize (Kb) 9020

[startup+290.029 s]
Raw data (loadavg): 1.03 1.05 1.07 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 1339 0 0 0 23548 1826 0 0 15 0 1 0 1841918148 7057408 1309 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1723 1309 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 253.76
Current children cumulated vsize (Kb) 9020

[startup+300.029 s]
Raw data (loadavg): 1.03 1.05 1.06 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 1339 0 0 0 24454 1859 0 0 17 0 1 0 1841918148 7057408 1309 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24098/statm): 1723 1309 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 263.15
Current children cumulated vsize (Kb) 9020

[startup+310.03 s]
Raw data (loadavg): 1.02 1.05 1.06 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 1340 0 0 0 25313 1908 0 0 16 0 1 0 1841918148 7057408 1310 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1723 1310 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 272.23
Current children cumulated vsize (Kb) 9020

[startup+320.032 s]
Raw data (loadavg): 1.02 1.05 1.06 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 1341 0 0 0 26142 1969 0 0 16 0 1 0 1841918148 7057408 1311 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24098/statm): 1723 1311 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 281.13
Current children cumulated vsize (Kb) 9020

[startup+330.032 s]
Raw data (loadavg): 1.10 1.06 1.07 2/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) R 24095 24095 20728 0 -1 0 1341 0 0 0 27016 2011 0 0 17 0 1 0 1841918148 7057408 1311 4294967295 134512640 134702520 3221223968 3221223248 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24098/statm): 1723 1311 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 290.29
Current children cumulated vsize (Kb) 9020

[startup+340.032 s]
Raw data (loadavg): 1.08 1.06 1.07 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 1341 0 0 0 27868 2061 0 0 16 0 1 0 1841918148 7057408 1311 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24098/statm): 1723 1311 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 299.31
Current children cumulated vsize (Kb) 9020

[startup+350.034 s]
Raw data (loadavg): 1.07 1.06 1.06 1/57 24098
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1841918140 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 242 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24098/stat): 24098 (vallst) T 24095 24095 20728 0 -1 0 1341 0 0 0 28581 2160 0 0 15 0 1 0 1841918148 7057408 1311 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24098/statm): 1723 1311 413 48 0 1675 0
[pid=24098] vsize: 6892
Current children cumulated CPU time (s) 307.43
Current children cumulated vsize (Kb) 9020
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=24098) exited with status: 2
New process pid=24099
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=24099) exited with status: 0
New process pid=24100
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+360.034 s]
Raw data (loadavg): 1.14 1.07 1.07 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 406 0 0 0 19 2 0 0 20 0 1 0 1841954125 3538944 378 4294967295 134512640 134702520 3221223712 3221223228 1074515616 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 864 378 413 48 0 816 0
[pid=24100] vsize: 3456
Current children cumulated CPU time (s) 315.58
Current children cumulated vsize (Kb) 5584

[startup+370.036 s]
Raw data (loadavg): 1.11 1.07 1.07 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 507 0 0 0 788 81 0 0 22 0 1 0 1841954125 3702784 478 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 904 478 413 48 0 856 0
[pid=24100] vsize: 3616
Current children cumulated CPU time (s) 324.06
Current children cumulated vsize (Kb) 5744

[startup+380.037 s]
Raw data (loadavg): 1.10 1.06 1.07 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 773 0 0 0 1582 145 0 0 25 0 1 0 1841954125 6356992 744 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1552 744 413 48 0 1504 0
[pid=24100] vsize: 6208
Current children cumulated CPU time (s) 332.64
Current children cumulated vsize (Kb) 8336

[startup+390.037 s]
Raw data (loadavg): 1.08 1.06 1.07 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1187 0 0 0 2424 201 0 0 25 0 1 0 1841954125 6356992 1158 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1552 1158 413 48 0 1504 0
[pid=24100] vsize: 6208
Current children cumulated CPU time (s) 341.62
Current children cumulated vsize (Kb) 8336

[startup+400.038 s]
Raw data (loadavg): 1.07 1.06 1.07 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1195 0 0 0 3288 243 0 0 25 0 1 0 1841954125 6356992 1166 4294967295 134512640 134702520 3221223712 3221222992 134554270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1552 1166 413 48 0 1504 0
[pid=24100] vsize: 6208
Current children cumulated CPU time (s) 350.68
Current children cumulated vsize (Kb) 8336

[startup+410.039 s]
Raw data (loadavg): 1.06 1.06 1.06 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1197 0 0 0 4124 297 0 0 20 0 1 0 1841954125 6356992 1168 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1552 1168 413 48 0 1504 0
[pid=24100] vsize: 6208
Current children cumulated CPU time (s) 359.58
Current children cumulated vsize (Kb) 8336

[startup+420.04 s]
Raw data (loadavg): 1.05 1.05 1.06 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1200 0 0 0 4971 349 0 0 18 0 1 0 1841954125 6356992 1171 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1552 1171 413 48 0 1504 0
[pid=24100] vsize: 6208
Current children cumulated CPU time (s) 368.57
Current children cumulated vsize (Kb) 8336

[startup+430.041 s]
Raw data (loadavg): 1.04 1.05 1.06 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1203 0 0 0 5788 412 0 0 19 0 1 0 1841954125 6356992 1174 4294967295 134512640 134702520 3221223712 3221222608 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1552 1174 413 48 0 1504 0
[pid=24100] vsize: 6208
Current children cumulated CPU time (s) 377.37
Current children cumulated vsize (Kb) 8336

[startup+440.042 s]
Raw data (loadavg): 1.03 1.05 1.06 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1203 0 0 0 6481 512 0 0 19 0 1 0 1841954125 6356992 1174 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1552 1174 413 48 0 1504 0
[pid=24100] vsize: 6208
Current children cumulated CPU time (s) 385.3
Current children cumulated vsize (Kb) 8336

[startup+450.043 s]
Raw data (loadavg): 1.03 1.05 1.06 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1203 0 0 0 7270 582 0 0 20 0 1 0 1841954125 6356992 1174 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1552 1174 413 48 0 1504 0
[pid=24100] vsize: 6208
Current children cumulated CPU time (s) 393.89
Current children cumulated vsize (Kb) 8336

[startup+460.043 s]
Raw data (loadavg): 1.02 1.05 1.06 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1204 0 0 0 8147 620 0 0 25 0 1 0 1841954125 6356992 1175 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1552 1175 413 48 0 1504 0
[pid=24100] vsize: 6208
Current children cumulated CPU time (s) 403.04
Current children cumulated vsize (Kb) 8336

[startup+470.045 s]
Raw data (loadavg): 1.02 1.04 1.06 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1207 0 0 0 9017 662 0 0 25 0 1 0 1841954125 6471680 1178 4294967295 134512640 134702520 3221223712 3221222832 134578859 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1178 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 412.16
Current children cumulated vsize (Kb) 8448

[startup+480.045 s]
Raw data (loadavg): 1.02 1.04 1.06 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1207 0 0 0 9889 704 0 0 20 0 1 0 1841954125 6471680 1178 4294967295 134512640 134702520 3221223712 3221222992 134553100 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1178 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 421.3
Current children cumulated vsize (Kb) 8448

[startup+490.046 s]
Raw data (loadavg): 1.01 1.04 1.06 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1207 0 0 0 10760 746 0 0 25 0 1 0 1841954125 6471680 1178 4294967295 134512640 134702520 3221223712 3221223104 134604468 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1178 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 430.43
Current children cumulated vsize (Kb) 8448

[startup+500.048 s]
Raw data (loadavg): 1.01 1.04 1.06 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1209 0 0 0 11607 795 0 0 23 0 1 0 1841954125 6471680 1180 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1180 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 439.39
Current children cumulated vsize (Kb) 8448

[startup+510.048 s]
Raw data (loadavg): 1.01 1.04 1.05 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1210 0 0 0 12325 888 0 0 18 0 1 0 1841954125 6471680 1181 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1181 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 447.5
Current children cumulated vsize (Kb) 8448

[startup+520.049 s]
Raw data (loadavg): 1.01 1.04 1.05 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1210 0 0 0 13031 987 0 0 23 0 1 0 1841954125 6471680 1181 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1181 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 455.55
Current children cumulated vsize (Kb) 8448

[startup+530.05 s]
Raw data (loadavg): 1.00 1.03 1.05 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1212 0 0 0 13906 1028 0 0 23 0 1 0 1841954125 6471680 1183 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1183 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 464.71
Current children cumulated vsize (Kb) 8448

[startup+540.05 s]
Raw data (loadavg): 1.00 1.03 1.05 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1215 0 0 0 14777 1074 0 0 21 0 1 0 1841954125 6471680 1186 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1186 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 473.88
Current children cumulated vsize (Kb) 8448

[startup+550.051 s]
Raw data (loadavg): 1.00 1.03 1.05 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1215 0 0 0 15630 1124 0 0 25 0 1 0 1841954125 6471680 1186 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1186 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 482.91
Current children cumulated vsize (Kb) 8448

[startup+560.052 s]
Raw data (loadavg): 1.00 1.03 1.05 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1216 0 0 0 16514 1162 0 0 25 0 1 0 1841954125 6471680 1187 4294967295 134512640 134702520 3221223712 3221222992 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1187 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 492.13
Current children cumulated vsize (Kb) 8448

[startup+570.052 s]
Raw data (loadavg): 1.00 1.03 1.05 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1217 0 0 0 17415 1198 0 0 20 0 1 0 1841954125 6471680 1188 4294967295 134512640 134702520 3221223712 3221222608 134552546 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1188 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 501.5
Current children cumulated vsize (Kb) 8448

[startup+580.053 s]
Raw data (loadavg): 1.00 1.03 1.05 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1218 0 0 0 18258 1253 0 0 20 0 1 0 1841954125 6471680 1189 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1189 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 510.48
Current children cumulated vsize (Kb) 8448

[startup+590.053 s]
Raw data (loadavg): 1.00 1.03 1.05 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1218 0 0 0 18961 1353 0 0 19 0 1 0 1841954125 6471680 1189 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1189 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 518.51
Current children cumulated vsize (Kb) 8448

[startup+600.054 s]
Raw data (loadavg): 1.00 1.02 1.05 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1218 0 0 0 19690 1447 0 0 25 0 1 0 1841954125 6471680 1189 4294967295 134512640 134702520 3221223712 3221222992 134553364 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1189 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 526.74
Current children cumulated vsize (Kb) 8448

[startup+610.055 s]
Raw data (loadavg): 1.00 1.02 1.04 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1218 0 0 0 20573 1483 0 0 24 0 1 0 1841954125 6471680 1189 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1189 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 535.93
Current children cumulated vsize (Kb) 8448

[startup+620.057 s]
Raw data (loadavg): 1.00 1.02 1.04 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1218 0 0 0 21446 1527 0 0 25 0 1 0 1841954125 6471680 1189 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1189 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 545.1
Current children cumulated vsize (Kb) 8448

[startup+630.057 s]
Raw data (loadavg): 1.00 1.02 1.04 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1218 0 0 0 22335 1561 0 0 18 0 1 0 1841954125 6471680 1189 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1189 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 554.33
Current children cumulated vsize (Kb) 8448

[startup+640.057 s]
Raw data (loadavg): 1.00 1.02 1.04 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1218 0 0 0 23256 1588 0 0 23 0 1 0 1841954125 6471680 1189 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1189 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 563.81
Current children cumulated vsize (Kb) 8448

[startup+650.057 s]
Raw data (loadavg): 1.00 1.02 1.04 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1219 0 0 0 24130 1628 0 0 25 0 1 0 1841954125 6471680 1190 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1190 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 572.95
Current children cumulated vsize (Kb) 8448

[startup+660.058 s]
Raw data (loadavg): 1.00 1.02 1.04 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1219 0 0 0 25016 1665 0 0 25 0 1 0 1841954125 6471680 1190 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1190 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (Kb) 8448

[startup+670.059 s]
Raw data (loadavg): 1.00 1.02 1.04 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1219 0 0 0 25769 1749 0 0 19 0 1 0 1841954125 6471680 1190 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1190 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 590.55
Current children cumulated vsize (Kb) 8448

[startup+680.059 s]
Raw data (loadavg): 1.00 1.02 1.04 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1219 0 0 0 26454 1852 0 0 19 0 1 0 1841954125 6471680 1190 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1190 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 598.43
Current children cumulated vsize (Kb) 8448

[startup+690.06 s]
Raw data (loadavg): 1.00 1.02 1.04 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1219 0 0 0 27314 1895 0 0 25 0 1 0 1841954125 6471680 1190 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1190 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 607.46
Current children cumulated vsize (Kb) 8448

[startup+700.061 s]
Raw data (loadavg): 1.00 1.01 1.04 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1219 0 0 0 28192 1939 0 0 25 0 1 0 1841954125 6471680 1190 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1190 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 616.68
Current children cumulated vsize (Kb) 8448

[startup+710.061 s]
Raw data (loadavg): 1.00 1.01 1.04 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1219 0 0 0 29081 1976 0 0 25 0 1 0 1841954125 6471680 1190 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1190 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 625.94
Current children cumulated vsize (Kb) 8448

[startup+720.063 s]
Raw data (loadavg): 1.00 1.01 1.03 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1219 0 0 0 29943 2023 0 0 25 0 1 0 1841954125 6471680 1190 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1190 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 635.03
Current children cumulated vsize (Kb) 8448

[startup+730.064 s]
Raw data (loadavg): 1.00 1.01 1.03 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1219 0 0 0 30835 2062 0 0 18 0 1 0 1841954125 6471680 1190 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1190 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 644.34
Current children cumulated vsize (Kb) 8448

[startup+740.064 s]
Raw data (loadavg): 1.00 1.01 1.03 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1219 0 0 0 31741 2091 0 0 25 0 1 0 1841954125 6471680 1190 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1190 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 653.69
Current children cumulated vsize (Kb) 8448

[startup+750.065 s]
Raw data (loadavg): 1.00 1.01 1.03 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1219 0 0 0 32630 2131 0 0 25 0 1 0 1841954125 6471680 1190 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1190 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 662.98
Current children cumulated vsize (Kb) 8448

[startup+760.066 s]
Raw data (loadavg): 1.00 1.01 1.03 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1220 0 0 0 33414 2203 0 0 19 0 1 0 1841954125 6471680 1191 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1191 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 671.54
Current children cumulated vsize (Kb) 8448

[startup+770.067 s]
Raw data (loadavg): 1.00 1.01 1.03 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1220 0 0 0 34106 2306 0 0 19 0 1 0 1841954125 6471680 1191 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1191 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 679.49
Current children cumulated vsize (Kb) 8448

[startup+780.068 s]
Raw data (loadavg): 1.00 1.01 1.03 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1220 0 0 0 34927 2367 0 0 21 0 1 0 1841954125 6471680 1191 4294967295 134512640 134702520 3221223712 3221222832 134578758 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1191 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 688.31
Current children cumulated vsize (Kb) 8448

[startup+790.069 s]
Raw data (loadavg): 1.00 1.01 1.03 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1220 0 0 0 35817 2403 0 0 25 0 1 0 1841954125 6471680 1191 4294967295 134512640 134702520 3221223712 3221222992 134553093 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1191 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 697.57
Current children cumulated vsize (Kb) 8448

[startup+800.071 s]
Raw data (loadavg): 1.00 1.00 1.03 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1222 0 0 0 36687 2450 0 0 25 0 1 0 1841954125 6471680 1193 4294967295 134512640 134702520 3221223712 3221222992 134552981 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1193 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 706.74
Current children cumulated vsize (Kb) 8448

[startup+810.071 s]
Raw data (loadavg): 1.00 1.00 1.03 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1222 0 0 0 37589 2482 0 0 20 0 1 0 1841954125 6471680 1193 4294967295 134512640 134702520 3221223712 3221222608 134552208 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1193 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 716.08
Current children cumulated vsize (Kb) 8448

[startup+820.072 s]
Raw data (loadavg): 1.00 1.00 1.02 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1222 0 0 0 38511 2508 0 0 25 0 1 0 1841954125 6471680 1193 4294967295 134512640 134702520 3221223712 3221222832 134578986 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1193 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 725.56
Current children cumulated vsize (Kb) 8448

[startup+830.073 s]
Raw data (loadavg): 1.00 1.00 1.02 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1222 0 0 0 39386 2550 0 0 25 0 1 0 1841954125 6471680 1193 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1193 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 734.73
Current children cumulated vsize (Kb) 8448

[startup+840.073 s]
Raw data (loadavg): 1.00 1.00 1.02 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1222 0 0 0 40246 2596 0 0 25 0 1 0 1841954125 6471680 1193 4294967295 134512640 134702520 3221223712 3221222832 134572638 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1193 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 743.79
Current children cumulated vsize (Kb) 8448

[startup+850.074 s]
Raw data (loadavg): 1.00 1.00 1.02 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1222 0 0 0 41114 2641 0 0 19 0 1 0 1841954125 6471680 1193 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1193 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 752.92
Current children cumulated vsize (Kb) 8448

[startup+860.075 s]
Raw data (loadavg): 1.00 1.00 1.02 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1222 0 0 0 41825 2734 0 0 20 0 1 0 1841954125 6471680 1193 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1193 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 760.96
Current children cumulated vsize (Kb) 8448

[startup+870.076 s]
Raw data (loadavg): 1.00 1.00 1.02 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1222 0 0 0 42592 2808 0 0 25 0 1 0 1841954125 6471680 1193 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1193 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 769.37
Current children cumulated vsize (Kb) 8448

[startup+880.077 s]
Raw data (loadavg): 1.00 1.00 1.02 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1225 0 0 0 43483 2844 0 0 20 0 1 0 1841954125 6471680 1196 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1196 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 778.64
Current children cumulated vsize (Kb) 8448

[startup+890.078 s]
Raw data (loadavg): 1.00 1.00 1.02 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1225 0 0 0 44421 2864 0 0 25 0 1 0 1841954125 6471680 1196 4294967295 134512640 134702520 3221223712 3221222832 134578768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1196 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 788.22
Current children cumulated vsize (Kb) 8448

[startup+900.079 s]
Raw data (loadavg): 1.00 1.00 1.02 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1226 0 0 0 45309 2901 0 0 25 0 1 0 1841954125 6471680 1197 4294967295 134512640 134702520 3221223712 3221222832 134578611 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1197 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 797.47
Current children cumulated vsize (Kb) 8448

[startup+910.08 s]
Raw data (loadavg): 1.00 1.00 1.02 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1229 0 0 0 46187 2943 0 0 25 0 1 0 1841954125 6471680 1200 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1200 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 806.67
Current children cumulated vsize (Kb) 8448

[startup+920.082 s]
Raw data (loadavg): 1.08 1.02 1.02 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1229 0 0 0 47080 2977 0 0 20 0 1 0 1841954125 6471680 1200 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1200 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 815.94
Current children cumulated vsize (Kb) 8448

[startup+930.082 s]
Raw data (loadavg): 1.07 1.02 1.02 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1229 0 0 0 48010 3003 0 0 25 0 1 0 1841954125 6471680 1200 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1200 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 825.5
Current children cumulated vsize (Kb) 8448

[startup+940.083 s]
Raw data (loadavg): 1.06 1.01 1.02 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1229 0 0 0 48888 3044 0 0 25 0 1 0 1841954125 6471680 1200 4294967295 134512640 134702520 3221223712 3221222992 134553430 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1200 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 834.69
Current children cumulated vsize (Kb) 8448

[startup+950.085 s]
Raw data (loadavg): 1.05 1.01 1.02 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1229 0 0 0 49706 3104 0 0 18 0 1 0 1841954125 6471680 1200 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1200 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 843.47
Current children cumulated vsize (Kb) 8448

[startup+960.085 s]
Raw data (loadavg): 1.04 1.01 1.02 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1229 0 0 0 50402 3203 0 0 19 0 1 0 1841954125 6471680 1200 4294967295 134512640 134702520 3221223712 3221222912 134617859 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1200 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 851.42
Current children cumulated vsize (Kb) 8448

[startup+970.086 s]
Raw data (loadavg): 1.03 1.01 1.02 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1229 0 0 0 51214 3264 0 0 25 0 1 0 1841954125 6471680 1200 4294967295 134512640 134702520 3221223712 3221222992 134557206 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1200 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 860.15
Current children cumulated vsize (Kb) 8448

[startup+980.088 s]
Raw data (loadavg): 1.03 1.01 1.01 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1230 0 0 0 52106 3301 0 0 25 0 1 0 1841954125 6471680 1201 4294967295 134512640 134702520 3221223712 3221222832 134578964 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1201 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 869.44
Current children cumulated vsize (Kb) 8448

[startup+990.088 s]
Raw data (loadavg): 1.02 1.01 1.01 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1230 0 0 0 53056 3318 0 0 25 0 1 0 1841954125 6471680 1201 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1201 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 879.11
Current children cumulated vsize (Kb) 8448

[startup+1000.09 s]
Raw data (loadavg): 1.02 1.01 1.01 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1230 0 0 0 53929 3360 0 0 25 0 1 0 1841954125 6471680 1201 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1201 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 888.26
Current children cumulated vsize (Kb) 8448

[startup+1010.09 s]
Raw data (loadavg): 1.02 1.01 1.01 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1230 0 0 0 54820 3399 0 0 25 0 1 0 1841954125 6471680 1201 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1201 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 897.56
Current children cumulated vsize (Kb) 8448

[startup+1020.09 s]
Raw data (loadavg): 1.01 1.01 1.01 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1230 0 0 0 55723 3432 0 0 18 0 1 0 1841954125 6471680 1201 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1201 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 906.92
Current children cumulated vsize (Kb) 8448

[startup+1030.09 s]
Raw data (loadavg): 1.01 1.01 1.01 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1230 0 0 0 56655 3453 0 0 25 0 1 0 1841954125 6471680 1201 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1201 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 916.45
Current children cumulated vsize (Kb) 8448

[startup+1040.09 s]
Raw data (loadavg): 1.01 1.00 1.01 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1230 0 0 0 57543 3493 0 0 25 0 1 0 1841954125 6471680 1201 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1201 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 925.73
Current children cumulated vsize (Kb) 8448

[startup+1050.09 s]
Raw data (loadavg): 1.01 1.00 1.01 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1231 0 0 0 58386 3549 0 0 19 0 1 0 1841954125 6471680 1202 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1202 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 934.72
Current children cumulated vsize (Kb) 8448

[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 1.01 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1231 0 0 0 59072 3650 0 0 19 0 1 0 1841954125 6471680 1202 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1202 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 942.59
Current children cumulated vsize (Kb) 8448

[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1231 0 0 0 59826 3731 0 0 25 0 1 0 1841954125 6471680 1202 4294967295 134512640 134702520 3221223712 3221222832 134588417 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1580 1202 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 950.94
Current children cumulated vsize (Kb) 8448

[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1231 0 0 0 60714 3771 0 0 19 0 1 0 1841954125 6471680 1202 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1580 1202 413 48 0 1532 0
[pid=24100] vsize: 6320
Current children cumulated CPU time (s) 960.22
Current children cumulated vsize (Kb) 8448

[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1232 0 0 0 61649 3794 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222992 134553375 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 969.8
Current children cumulated vsize (Kb) 8532

[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1232 0 0 0 62528 3836 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222832 134572157 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 979.01
Current children cumulated vsize (Kb) 8532

[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1232 0 0 0 63422 3870 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222832 134578907 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 988.29
Current children cumulated vsize (Kb) 8532

[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1232 0 0 0 64353 3894 0 0 23 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 997.84
Current children cumulated vsize (Kb) 8532

[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1232 0 0 0 65257 3928 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1007.22
Current children cumulated vsize (Kb) 8532

[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1232 0 0 0 66156 3962 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1016.55
Current children cumulated vsize (Kb) 8532

[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1232 0 0 0 67103 3980 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1026.2
Current children cumulated vsize (Kb) 8532

[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1232 0 0 0 67881 4056 0 0 20 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1034.74
Current children cumulated vsize (Kb) 8532

[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1232 0 0 0 68584 4154 0 0 19 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1042.75
Current children cumulated vsize (Kb) 8532

[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1232 0 0 0 69473 4190 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222832 134578971 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1052
Current children cumulated vsize (Kb) 8532

[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1232 0 0 0 70385 4219 0 0 20 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1061.41
Current children cumulated vsize (Kb) 8532

[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1232 0 0 0 71306 4246 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1070.89
Current children cumulated vsize (Kb) 8532

[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1232 0 0 0 72202 4282 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1080.21
Current children cumulated vsize (Kb) 8532

[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1232 0 0 0 73096 4319 0 0 20 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1089.52
Current children cumulated vsize (Kb) 8532

[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1232 0 0 0 74050 4333 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1099.2
Current children cumulated vsize (Kb) 8532

[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1232 0 0 0 74948 4366 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1108.51
Current children cumulated vsize (Kb) 8532

[startup+1250.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1232 0 0 0 75892 4383 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1118.12
Current children cumulated vsize (Kb) 8532

[startup+1260.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1232 0 0 0 76797 4415 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1127.49
Current children cumulated vsize (Kb) 8532

[startup+1270.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1232 0 0 0 77744 4434 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1137.15
Current children cumulated vsize (Kb) 8532

[startup+1280.12 s]
Raw data (loadavg): 1.08 1.02 1.01 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1232 0 0 0 78440 4536 0 0 17 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1145.13
Current children cumulated vsize (Kb) 8532

[startup+1290.12 s]
Raw data (loadavg): 1.07 1.02 1.00 1/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) T 24095 24095 20728 0 -1 0 1232 0 0 0 79125 4638 0 0 19 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1153
Current children cumulated vsize (Kb) 8532

[startup+1300.12 s]
Raw data (loadavg): 1.06 1.01 1.00 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1232 0 0 0 80081 4654 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1162.72
Current children cumulated vsize (Kb) 8532

[startup+1310.12 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1232 0 0 0 80979 4689 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222832 134578758 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1172.05
Current children cumulated vsize (Kb) 8532

[startup+1320.12 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1232 0 0 0 81930 4704 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1181.71
Current children cumulated vsize (Kb) 8532

[startup+1330.12 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1232 0 0 0 82825 4744 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222832 134578853 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1191.06
Current children cumulated vsize (Kb) 8532

[startup+1340.12 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1232 0 0 0 83775 4762 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1200.74
Current children cumulated vsize (Kb) 8532



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1340.12 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 24100
Raw data (/proc/24095/stat): 24095 (vallstSAT2005PB) S 24094 24095 20728 0 -1 0 378 1716 0 0 1 1 29273 2262 17 0 1 0 1841918140 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/24095/statm): 532 248 485 147 0 385 0
[pid=24095] vsize: 2128
Raw data (/proc/24100/stat): 24100 (vallst) R 24095 24095 20728 0 -1 0 1232 0 0 0 83775 4762 0 0 25 0 1 0 1841954125 6557696 1203 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24100/statm): 1601 1203 413 48 0 1553 0
[pid=24100] vsize: 6404
Current children cumulated CPU time (s) 1200.74
Current children cumulated vsize (Kb) 8532

Sending SIGTERM to -24095
Sleeping 2 seconds
New process pid=24102
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=24103
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/21148/stat
open syscall for file /proc/21148/status
open syscall for file /proc/21148/cmdline
open syscall for file /proc/21148/environ
open syscall for file /proc/557/stat
open syscall for file /proc/557/status
open syscall for file /proc/557/cmdline
open syscall for file /proc/557/environ
open syscall for file /proc/584/stat
open syscall for file /proc/584/status
open syscall for file /proc/584/cmdline
open syscall for file /proc/584/environ
open syscall for file /proc/608/stat
open syscall for file /proc/608/status
open syscall for file /proc/608/cmdline
open syscall for file /proc/608/environ
open syscall for file /proc/3751/stat
open syscall for file /proc/3751/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/3751/cmdline
open syscall for file /proc/3751/environ
open syscall for file /proc/3786/stat
open syscall for file /proc/3786/status
open syscall for file /proc/3786/cmdline
open syscall for file /proc/3786/environ
open syscall for file /proc/20728/stat
open syscall for file /proc/20728/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/20728/cmdline
open syscall for file /proc/20728/environ
open syscall for file /proc/20729/stat
open syscall for file /proc/20729/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/20729/cmdline
open syscall for file /proc/20729/environ
open syscall for file /proc/20738/stat
open syscall for file /proc/20738/status
open syscall for file /proc/20738/cmdline
open syscall for file /proc/20738/environ
open syscall for file /proc/24058/stat
open syscall for file /proc/24058/status
open syscall for file /proc/24058/cmdline
open syscall for file /proc/24058/environ
open syscall for file /proc/24094/stat
open syscall for file /proc/24094/status
open syscall for file /proc/24094/cmdline
open syscall for file /proc/24094/environ
open syscall for file /proc/24095/stat
open syscall for file /proc/24095/status
open syscall for file /proc/24095/cmdline
open syscall for file /proc/24095/environ
open syscall for file /proc/24100/stat
open syscall for file /proc/24100/status
open syscall for file /proc/24100/cmdline
open syscall for file /proc/24100/environ
open syscall for file /proc/24102/stat
open syscall for file /proc/24102/status
open syscall for file /proc/24102/cmdline
open syscall for file /proc/24102/environ
open syscall for file /proc/24103/stat
open syscall for file /proc/24103/status
open syscall for file /proc/24103/cmdline
open syscall for file /proc/24103/environ
One traced child (pid=24102) exited with status: 0
One traced child (pid=24103) exited with status: 0
New process pid=24104
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=24100) exited with status: 3
One traced child (pid=24104) exited with status: 0
New process pid=24105
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=24105) exited with status: 0
One traced child (pid=24095) 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): 1340.63
CPU time (s): 1201.03
CPU user time (s): 1130.68
CPU system time (s): 70.3513
CPU usage (%): 89.5875
Max. virtual memory (cumulated for all children) (Kb): 9020

Verifier Data

ERROR: no interpretation found !