Some explanations

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

General information on the benchmark

Namemps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-seymour1.opb
MD5SUM6ce78c8c12f3a600932e30ddb0640345
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 63701
Optimality of the best value was proved NO
Number of terms in the objective function 7819
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 292583
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 128
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 292583
Number of bits of the biggest sum of numbers19
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.36
Number of variables7819
Total number of constraints6316
Number of constraints which are clauses651
Number of constraints which are cardinality constraints (but not clauses)451
Number of constraints which are nor clauses,nor cardinality constraints5214
Minimum length of a constraint1
Maximum length of a constraint144

Trace number 9431

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        928248 kB
Buffers:         14292 kB
Cached:          72136 kB
SwapCached:          0 kB
Active:          48560 kB
Inactive:        40800 kB
HighTotal:      131008 kB
HighFree:        55300 kB
LowTotal:       903652 kB
LowFree:        872948 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:            11428 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 13:57:42 (client local time) WITH STATUS 3 IN 877.562 SECONDS
stats: 8155 7 877.562 3

Solver Data

1:
seed: 0
Nr of vars set: 117  (#equs: 0)
Nr of vars set: 383  (#equs: 0)
#decisions: 2744;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 5749, #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:  218818 (73764:>=*);
#decisions: 3520;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 5749, #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:  218824 (73758:>=*);
#decisions: 1667;  #end-nodes: 48;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 48 / 80 (80)
#axs: 5749, #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:  218825 (73757:>=*);
#decisions: 13102;  #end-nodes: 322;
#proof improvement attempts: 0;  #restarts: 4
Current batch, end-nodes: 0 / 81 (81)
#axs: 5749, #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:  219336 (73246:>=*);
#decisions: 2206;  #end-nodes: 32;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 32 / 80 (80)
#axs: 5749, #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:  219338 (73244:>=*);
#decisions: 68102;  #end-nodes: 3027;
#proof improvement attempts: 0;  #restarts: 36
Current batch, end-nodes: 0 / 89 (89)
#axs: 5749, #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:  219936 (72646:>=*);
#decisions: 4681;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 5749, #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:  219961 (72621:>=*);
#decisions: 5263;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 5749, #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:  220009 (72573:>=*);
#decisions: 3447;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 5749, #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:  220015 (72567:>=*);
#decisions: 2212;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 5749, #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:  220017 (72565:>=*);
#decisions: 2226;  #end-nodes: 21;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 21 / 80 (80)
#axs: 5749, #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:  220019 (72563:>=*);
#decisions: 1596;  #end-nodes: 22;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 22 / 80 (80)
#axs: 5749, #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:  220020 (72562:>=*);
#decisions: 1623;  #end-nodes: 39;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 39 / 80 (80)
#axs: 5749, #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:  220021 (72561:>=*);
#decisions: 185302;  #end-nodes: 9754;
#proof improvement attempts: 0;  #restarts: 105
Current batch, end-nodes: 0 / 106 (106)
#axs: 5749, #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:  220293 (72289:>=*);
#decisions: 4697;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 5749, #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:  220321 (72261:>=*);
#decisions: 36800;  #end-nodes: 1476;
#proof improvement attempts: 0;  #restarts: 18
Current batch, end-nodes: 0 / 84 (84)
#axs: 5749, #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:  221150 (71432:>=*);
#decisions: 4665;  #end-nodes: 56;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 56 / 80 (80)
#axs: 5749, #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:  221182 (71400:>=*);
#decisions: 3403;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 5749, #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:  221188 (71394:>=*);
#decisions: 492006;  #end-nodes: 33326;
#proof improvement attempts: 0;  #restarts: 288
Current batch, end-nodes: 0 / 151 (151)
#axs: 5749, #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:) 221188 (71394:>=*)

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

2:

Error: changing-setting file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options couldn't be opened.
No such file or directory

seed: 0
Nr of vars set: 383  (#equs: 0)
Nr of vars set: 383  (#equs: 0)
Interupt request received.
#decisions: 1935711;  #end-nodes: 255661;
#proof improvement attempts: 0;  #restarts: 1029
Current batch, end-nodes: 85 / 377 (377)
#axs: 5711, #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: 3077  (#equs: 0)
Time taken: 14 min, 36 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/6028/stat): 6028 (vallstSAT2005PB) R 6027 6028 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20588740 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6028/statm): 174 3 169 147 0 27 0
[pid=6028] 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=6029
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=6029) exited with status: 0
New process pid=6030
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=6030) exited with status: 0
New process pid=6031
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-seymour1.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0032 s]
Raw data (loadavg): 0.97 1.01 1.00 1/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) T 6028 6028 4060 0 -1 0 1150 0 0 0 440 182 0 0 16 0 1 0 20588746 6766592 1073 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6031/statm): 1652 1073 413 48 0 1604 0
[pid=6031] vsize: 6608
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (Kb) 8736

[startup+20.005 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 1746 0 0 0 951 346 0 0 23 0 1 0 20588746 15118336 1669 4294967295 134512640 134702520 3221223952 3221223352 134607284 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3691 1669 413 48 0 3643 0
[pid=6031] vsize: 14764
Current children cumulated CPU time (s) 12.98
Current children cumulated vsize (Kb) 16892

[startup+30.0058 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 1860 0 0 0 1807 396 0 0 25 0 1 0 20588746 15257600 1755 4294967295 134512640 134702520 3221223952 3221222976 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3725 1755 413 48 0 3677 0
[pid=6031] vsize: 14900
Current children cumulated CPU time (s) 22.04
Current children cumulated vsize (Kb) 17028

[startup+40.0066 s]
Raw data (loadavg): 1.10 1.04 1.01 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 1894 0 0 0 2624 455 0 0 23 0 1 0 20588746 15257600 1789 4294967295 134512640 134702520 3221223952 3221222976 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3725 1789 413 48 0 3677 0
[pid=6031] vsize: 14900
Current children cumulated CPU time (s) 30.8
Current children cumulated vsize (Kb) 17028

[startup+50.0084 s]
Raw data (loadavg): 1.09 1.04 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 1894 0 0 0 3495 502 0 0 24 0 1 0 20588746 15257600 1789 4294967295 134512640 134702520 3221223952 3221223536 134558690 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3725 1789 413 48 0 3677 0
[pid=6031] vsize: 14900
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 17028

[startup+60.0092 s]
Raw data (loadavg): 1.15 1.05 1.01 1/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) T 6028 6028 4060 0 -1 0 1894 0 0 0 4341 552 0 0 25 0 1 0 20588746 15257600 1789 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3725 1789 413 48 0 3677 0
[pid=6031] vsize: 14900
Current children cumulated CPU time (s) 48.94
Current children cumulated vsize (Kb) 17028

[startup+70.011 s]
Raw data (loadavg): 1.13 1.05 1.01 1/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) T 6028 6028 4060 0 -1 0 1894 0 0 0 5175 609 0 0 22 0 1 0 20588746 15257600 1789 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6031/statm): 3725 1789 413 48 0 3677 0
[pid=6031] vsize: 14900
Current children cumulated CPU time (s) 57.85
Current children cumulated vsize (Kb) 17028

[startup+80.0118 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 1916 0 0 0 6006 663 0 0 23 0 1 0 20588746 15351808 1811 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3748 1811 413 48 0 3700 0
[pid=6031] vsize: 14992
Current children cumulated CPU time (s) 66.7
Current children cumulated vsize (Kb) 17120

[startup+90.0126 s]
Raw data (loadavg): 1.09 1.05 1.01 1/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) T 6028 6028 4060 0 -1 0 1932 0 0 0 6838 721 0 0 23 0 1 0 20588746 15351808 1827 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3748 1827 413 48 0 3700 0
[pid=6031] vsize: 14992
Current children cumulated CPU time (s) 75.6
Current children cumulated vsize (Kb) 17120

[startup+100.013 s]
Raw data (loadavg): 1.08 1.04 1.01 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 1972 0 0 0 7674 776 0 0 23 0 1 0 20588746 15351808 1867 4294967295 134512640 134702520 3221223952 3221223232 134553458 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3748 1867 413 48 0 3700 0
[pid=6031] vsize: 14992
Current children cumulated CPU time (s) 84.51
Current children cumulated vsize (Kb) 17120

[startup+110.014 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 1996 0 0 0 8507 833 0 0 24 0 1 0 20588746 15351808 1891 4294967295 134512640 134702520 3221223952 3221222848 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3748 1891 413 48 0 3700 0
[pid=6031] vsize: 14992
Current children cumulated CPU time (s) 93.41
Current children cumulated vsize (Kb) 17120

[startup+120.015 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) T 6028 6028 4060 0 -1 0 1996 0 0 0 9338 891 0 0 23 0 1 0 20588746 15351808 1891 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6031/statm): 3748 1891 413 48 0 3700 0
[pid=6031] vsize: 14992
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (Kb) 17120

[startup+130.017 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) T 6028 6028 4060 0 -1 0 2016 0 0 0 10157 952 0 0 24 0 1 0 20588746 15351808 1911 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6031/statm): 3748 1911 413 48 0 3700 0
[pid=6031] vsize: 14992
Current children cumulated CPU time (s) 111.1
Current children cumulated vsize (Kb) 17120

[startup+140.018 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 2020 0 0 0 11028 996 0 0 25 0 1 0 20588746 15351808 1915 4294967295 134512640 134702520 3221223952 3221223232 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3748 1915 413 48 0 3700 0
[pid=6031] vsize: 14992
Current children cumulated CPU time (s) 120.25
Current children cumulated vsize (Kb) 17120

[startup+150.019 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 2028 0 0 0 11895 1042 0 0 25 0 1 0 20588746 15429632 1923 4294967295 134512640 134702520 3221223952 3221223352 134607266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3767 1923 413 48 0 3719 0
[pid=6031] vsize: 15068
Current children cumulated CPU time (s) 129.38
Current children cumulated vsize (Kb) 17196

[startup+160.02 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 2032 0 0 0 12731 1098 0 0 24 0 1 0 20588746 15429632 1927 4294967295 134512640 134702520 3221223952 3221223232 134553142 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3767 1927 413 48 0 3719 0
[pid=6031] vsize: 15068
Current children cumulated CPU time (s) 138.3
Current children cumulated vsize (Kb) 17196

[startup+170.021 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) T 6028 6028 4060 0 -1 0 2036 0 0 0 13562 1156 0 0 24 0 1 0 20588746 15429632 1931 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6031/statm): 3767 1931 413 48 0 3719 0
[pid=6031] vsize: 15068
Current children cumulated CPU time (s) 147.19
Current children cumulated vsize (Kb) 17196

[startup+180.022 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) T 6028 6028 4060 0 -1 0 2039 0 0 0 14404 1209 0 0 25 0 1 0 20588746 15429632 1934 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6031/statm): 3767 1934 413 48 0 3719 0
[pid=6031] vsize: 15068
Current children cumulated CPU time (s) 156.14
Current children cumulated vsize (Kb) 17196

[startup+190.023 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 2043 0 0 0 15244 1264 0 0 25 0 1 0 20588746 15429632 1938 4294967295 134512640 134702520 3221223952 3221223232 134552263 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6031/statm): 3767 1938 413 48 0 3719 0
[pid=6031] vsize: 15068
Current children cumulated CPU time (s) 165.09
Current children cumulated vsize (Kb) 17196

[startup+200.023 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) T 6028 6028 4060 0 -1 0 2044 0 0 0 16077 1320 0 0 25 0 1 0 20588746 15511552 1939 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6031/statm): 3787 1939 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 173.98
Current children cumulated vsize (Kb) 17276

[startup+210.024 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 2044 0 0 0 16897 1382 0 0 23 0 1 0 20588746 15511552 1939 4294967295 134512640 134702520 3221223952 3221222848 134554260 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3787 1939 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 182.8
Current children cumulated vsize (Kb) 17276

[startup+220.026 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 2044 0 0 0 17678 1451 0 0 22 0 1 0 20588746 15511552 1939 4294967295 134512640 134702520 3221223952 3221222848 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3787 1939 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 191.3
Current children cumulated vsize (Kb) 17276

[startup+230.027 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 2045 0 0 0 18504 1508 0 0 23 0 1 0 20588746 15511552 1940 4294967295 134512640 134702520 3221223952 3221222976 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3787 1940 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 200.13
Current children cumulated vsize (Kb) 17276

[startup+240.028 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) T 6028 6028 4060 0 -1 0 2055 0 0 0 19336 1563 0 0 23 0 1 0 20588746 15511552 1950 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6031/statm): 3787 1950 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 209
Current children cumulated vsize (Kb) 17276

[startup+250.029 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) T 6028 6028 4060 0 -1 0 2089 0 0 0 20181 1611 0 0 23 0 1 0 20588746 15511552 1984 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6031/statm): 3787 1984 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 217.93
Current children cumulated vsize (Kb) 17276

[startup+260.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 2121 0 0 0 21017 1667 0 0 23 0 1 0 20588746 15511552 2016 4294967295 134512640 134702520 3221223952 3221223352 134606956 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3787 2016 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 226.85
Current children cumulated vsize (Kb) 17276

[startup+270.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 2142 0 0 0 21856 1722 0 0 19 0 1 0 20588746 15511552 2037 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6031/statm): 3787 2037 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 235.79
Current children cumulated vsize (Kb) 17276

[startup+280.032 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) T 6028 6028 4060 0 -1 0 2167 0 0 0 22695 1776 0 0 23 0 1 0 20588746 15511552 2062 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3787 2062 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 244.72
Current children cumulated vsize (Kb) 17276

[startup+290.033 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 2167 0 0 0 23502 1837 0 0 19 0 1 0 20588746 15511552 2062 4294967295 134512640 134702520 3221223952 3221222848 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3787 2062 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 253.4
Current children cumulated vsize (Kb) 17276

[startup+300.033 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 2203 0 0 0 24311 1901 0 0 25 0 1 0 20588746 15511552 2098 4294967295 134512640 134702520 3221223952 3221223232 134553168 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3787 2098 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 262.13
Current children cumulated vsize (Kb) 17276

[startup+310.035 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 2205 0 0 0 25154 1950 0 0 25 0 1 0 20588746 15511552 2100 4294967295 134512640 134702520 3221223952 3221223232 134553312 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3787 2100 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 271.05
Current children cumulated vsize (Kb) 17276

[startup+320.037 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 2250 0 0 0 25994 2001 0 0 25 0 1 0 20588746 15511552 2145 4294967295 134512640 134702520 3221223952 3221223232 134552270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3787 2145 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 279.96
Current children cumulated vsize (Kb) 17276

[startup+330.038 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) T 6028 6028 4060 0 -1 0 2278 0 0 0 26845 2052 0 0 25 0 1 0 20588746 15511552 2173 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3787 2173 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 288.98
Current children cumulated vsize (Kb) 17276

[startup+340.038 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) T 6028 6028 4060 0 -1 0 2296 0 0 0 27692 2101 0 0 25 0 1 0 20588746 15511552 2191 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6031/statm): 3787 2191 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 297.94
Current children cumulated vsize (Kb) 17276

[startup+350.038 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 2314 0 0 0 28534 2154 0 0 25 0 1 0 20588746 15511552 2209 4294967295 134512640 134702520 3221223952 3221223232 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3787 2209 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 306.89
Current children cumulated vsize (Kb) 17276

[startup+360.039 s]
Raw data (loadavg): 1.09 1.04 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 2376 0 0 0 29368 2210 0 0 23 0 1 0 20588746 15511552 2271 4294967295 134512640 134702520 3221223952 3221222848 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3787 2271 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 315.79
Current children cumulated vsize (Kb) 17276

[startup+370.041 s]
Raw data (loadavg): 1.08 1.04 1.00 2/56 6031
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20588740 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 242 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6031/stat): 6031 (vallst) R 6028 6028 4060 0 -1 0 2376 0 0 0 30167 2278 0 0 21 0 1 0 20588746 15511552 2271 4294967295 134512640 134702520 3221223952 3221222848 134552345 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6031/statm): 3787 2271 413 48 0 3739 0
[pid=6031] vsize: 15148
Current children cumulated CPU time (s) 324.46
Current children cumulated vsize (Kb) 17276
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=6031) exited with status: 2
New process pid=6032
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=6032) exited with status: 0
New process pid=6033
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+380.042 s]
Raw data (loadavg): 1.14 1.05 1.01 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 1018 0 0 0 418 45 0 0 20 0 1 0 20626193 6574080 989 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 1605 989 413 48 0 1557 0
[pid=6033] vsize: 6420
Current children cumulated CPU time (s) 333.05
Current children cumulated vsize (Kb) 8548

[startup+390.043 s]
Raw data (loadavg): 1.12 1.05 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 1018 0 0 0 1173 126 0 0 21 0 1 0 20626193 6574080 989 4294967295 134512640 134702520 3221223712 3221222848 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 1605 989 413 48 0 1557 0
[pid=6033] vsize: 6420
Current children cumulated CPU time (s) 341.41
Current children cumulated vsize (Kb) 8548

[startup+400.043 s]
Raw data (loadavg): 1.10 1.05 1.01 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 1805 0 0 0 1977 192 0 0 24 0 1 0 20626193 14692352 1776 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3587 1776 413 48 0 3539 0
[pid=6033] vsize: 14348
Current children cumulated CPU time (s) 350.11
Current children cumulated vsize (Kb) 16476

[startup+410.044 s]
Raw data (loadavg): 1.09 1.05 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 1854 0 0 0 2813 244 0 0 25 0 1 0 20626193 14856192 1825 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3627 1825 413 48 0 3579 0
[pid=6033] vsize: 14508
Current children cumulated CPU time (s) 358.99
Current children cumulated vsize (Kb) 16636

[startup+420.045 s]
Raw data (loadavg): 1.15 1.06 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 1901 0 0 0 3648 301 0 0 24 0 1 0 20626193 14856192 1872 4294967295 134512640 134702520 3221223712 3221222932 134550198 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3627 1872 413 48 0 3579 0
[pid=6033] vsize: 14508
Current children cumulated CPU time (s) 367.91
Current children cumulated vsize (Kb) 16636

[startup+430.047 s]
Raw data (loadavg): 1.28 1.09 1.02 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 1906 0 0 0 4480 358 0 0 24 0 1 0 20626193 14856192 1877 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3627 1877 413 48 0 3579 0
[pid=6033] vsize: 14508
Current children cumulated CPU time (s) 376.8
Current children cumulated vsize (Kb) 16636

[startup+440.047 s]
Raw data (loadavg): 1.24 1.09 1.02 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 1950 0 0 0 5319 411 0 0 25 0 1 0 20626193 14856192 1921 4294967295 134512640 134702520 3221223712 3221223112 134607338 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3627 1921 413 48 0 3579 0
[pid=6033] vsize: 14508
Current children cumulated CPU time (s) 385.72
Current children cumulated vsize (Kb) 16636

[startup+450.047 s]
Raw data (loadavg): 1.20 1.08 1.02 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 1963 0 0 0 6160 466 0 0 19 0 1 0 20626193 14856192 1934 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3627 1934 413 48 0 3579 0
[pid=6033] vsize: 14508
Current children cumulated CPU time (s) 394.68
Current children cumulated vsize (Kb) 16636

[startup+460.048 s]
Raw data (loadavg): 1.17 1.08 1.02 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 1991 0 0 0 6981 523 0 0 23 0 1 0 20626193 14856192 1962 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3627 1962 413 48 0 3579 0
[pid=6033] vsize: 14508
Current children cumulated CPU time (s) 403.46
Current children cumulated vsize (Kb) 16636

[startup+470.049 s]
Raw data (loadavg): 1.14 1.08 1.02 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 1991 0 0 0 7771 595 0 0 23 0 1 0 20626193 14856192 1962 4294967295 134512640 134702520 3221223712 3221222608 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3627 1962 413 48 0 3579 0
[pid=6033] vsize: 14508
Current children cumulated CPU time (s) 412.08
Current children cumulated vsize (Kb) 16636

[startup+480.05 s]
Raw data (loadavg): 1.12 1.08 1.01 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 2018 0 0 0 8617 643 0 0 23 0 1 0 20626193 14856192 1989 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3627 1989 413 48 0 3579 0
[pid=6033] vsize: 14508
Current children cumulated CPU time (s) 421.02
Current children cumulated vsize (Kb) 16636

[startup+490.051 s]
Raw data (loadavg): 1.10 1.07 1.01 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 2044 0 0 0 9459 695 0 0 23 0 1 0 20626193 14856192 2015 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3627 2015 413 48 0 3579 0
[pid=6033] vsize: 14508
Current children cumulated CPU time (s) 429.96
Current children cumulated vsize (Kb) 16636

[startup+500.052 s]
Raw data (loadavg): 1.09 1.07 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 2070 0 0 0 10304 748 0 0 23 0 1 0 20626193 14954496 2041 4294967295 134512640 134702520 3221223712 3221222736 134552345 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3651 2041 413 48 0 3603 0
[pid=6033] vsize: 14604
Current children cumulated CPU time (s) 438.94
Current children cumulated vsize (Kb) 16732

[startup+510.053 s]
Raw data (loadavg): 1.07 1.07 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 2113 0 0 0 11152 797 0 0 24 0 1 0 20626193 14954496 2084 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3651 2084 413 48 0 3603 0
[pid=6033] vsize: 14604
Current children cumulated CPU time (s) 447.91
Current children cumulated vsize (Kb) 16732

[startup+520.054 s]
Raw data (loadavg): 1.06 1.06 1.01 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 2118 0 0 0 12000 846 0 0 25 0 1 0 20626193 14954496 2089 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3651 2089 413 48 0 3603 0
[pid=6033] vsize: 14604
Current children cumulated CPU time (s) 456.88
Current children cumulated vsize (Kb) 16732

[startup+530.055 s]
Raw data (loadavg): 1.05 1.06 1.01 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3124 0 0 0 12838 903 0 0 25 0 1 0 20626193 14954496 3095 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3651 3095 413 48 0 3603 0
[pid=6033] vsize: 14604
Current children cumulated CPU time (s) 465.83
Current children cumulated vsize (Kb) 16732

[startup+540.056 s]
Raw data (loadavg): 1.04 1.06 1.01 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3126 0 0 0 13656 963 0 0 23 0 1 0 20626193 14954496 3097 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3651 3097 413 48 0 3603 0
[pid=6033] vsize: 14604
Current children cumulated CPU time (s) 474.61
Current children cumulated vsize (Kb) 16732

[startup+550.057 s]
Raw data (loadavg): 1.04 1.06 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3126 0 0 0 14457 1028 0 0 24 0 1 0 20626193 14954496 3097 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3651 3097 413 48 0 3603 0
[pid=6033] vsize: 14604
Current children cumulated CPU time (s) 483.27
Current children cumulated vsize (Kb) 16732

[startup+560.058 s]
Raw data (loadavg): 1.03 1.05 1.01 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3129 0 0 0 15312 1073 0 0 24 0 1 0 20626193 14954496 3100 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3651 3100 413 48 0 3603 0
[pid=6033] vsize: 14604
Current children cumulated CPU time (s) 492.27
Current children cumulated vsize (Kb) 16732

[startup+570.06 s]
Raw data (loadavg): 1.02 1.05 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3131 0 0 0 16156 1124 0 0 23 0 1 0 20626193 14954496 3102 4294967295 134512640 134702520 3221223712 3221222608 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3651 3102 413 48 0 3603 0
[pid=6033] vsize: 14604
Current children cumulated CPU time (s) 501.22
Current children cumulated vsize (Kb) 16732

[startup+580.061 s]
Raw data (loadavg): 1.02 1.05 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3132 0 0 0 17005 1175 0 0 23 0 1 0 20626193 14954496 3103 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3651 3103 413 48 0 3603 0
[pid=6033] vsize: 14604
Current children cumulated CPU time (s) 510.22
Current children cumulated vsize (Kb) 16732

[startup+590.062 s]
Raw data (loadavg): 1.02 1.05 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3136 0 0 0 17859 1220 0 0 24 0 1 0 20626193 14954496 3107 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3651 3107 413 48 0 3603 0
[pid=6033] vsize: 14604
Current children cumulated CPU time (s) 519.21
Current children cumulated vsize (Kb) 16732

[startup+600.063 s]
Raw data (loadavg): 1.09 1.06 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3140 0 0 0 18703 1274 0 0 25 0 1 0 20626193 15036416 3111 4294967295 134512640 134702520 3221223712 3221222832 134578859 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3671 3111 413 48 0 3623 0
[pid=6033] vsize: 14684
Current children cumulated CPU time (s) 528.19
Current children cumulated vsize (Kb) 16812

[startup+610.064 s]
Raw data (loadavg): 1.07 1.06 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3142 0 0 0 19550 1324 0 0 25 0 1 0 20626193 15036416 3113 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3671 3113 413 48 0 3623 0
[pid=6033] vsize: 14684
Current children cumulated CPU time (s) 537.16
Current children cumulated vsize (Kb) 16812

[startup+620.065 s]
Raw data (loadavg): 1.06 1.06 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3145 0 0 0 20357 1389 0 0 22 0 1 0 20626193 15036416 3116 4294967295 134512640 134702520 3221223712 3221222608 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3671 3116 413 48 0 3623 0
[pid=6033] vsize: 14684
Current children cumulated CPU time (s) 545.88
Current children cumulated vsize (Kb) 16812

[startup+630.066 s]
Raw data (loadavg): 1.05 1.06 1.01 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3145 0 0 0 21137 1463 0 0 21 0 1 0 20626193 15036416 3116 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3671 3116 413 48 0 3623 0
[pid=6033] vsize: 14684
Current children cumulated CPU time (s) 554.42
Current children cumulated vsize (Kb) 16812

[startup+640.067 s]
Raw data (loadavg): 1.04 1.05 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3147 0 0 0 21993 1512 0 0 24 0 1 0 20626193 15036416 3118 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3671 3118 413 48 0 3623 0
[pid=6033] vsize: 14684
Current children cumulated CPU time (s) 563.47
Current children cumulated vsize (Kb) 16812

[startup+650.067 s]
Raw data (loadavg): 1.04 1.05 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3149 0 0 0 22848 1560 0 0 25 0 1 0 20626193 15036416 3120 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3671 3120 413 48 0 3623 0
[pid=6033] vsize: 14684
Current children cumulated CPU time (s) 572.5
Current children cumulated vsize (Kb) 16812

[startup+660.068 s]
Raw data (loadavg): 1.10 1.07 1.01 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3150 0 0 0 23703 1606 0 0 25 0 1 0 20626193 15036416 3121 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3671 3121 413 48 0 3623 0
[pid=6033] vsize: 14684
Current children cumulated CPU time (s) 581.51
Current children cumulated vsize (Kb) 16812

[startup+670.07 s]
Raw data (loadavg): 1.09 1.06 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3153 0 0 0 24555 1655 0 0 25 0 1 0 20626193 15036416 3124 4294967295 134512640 134702520 3221223712 3221222832 134578849 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3671 3124 413 48 0 3623 0
[pid=6033] vsize: 14684
Current children cumulated CPU time (s) 590.52
Current children cumulated vsize (Kb) 16812

[startup+680.071 s]
Raw data (loadavg): 1.07 1.06 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3155 0 0 0 25414 1700 0 0 25 0 1 0 20626193 15036416 3126 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3671 3126 413 48 0 3623 0
[pid=6033] vsize: 14684
Current children cumulated CPU time (s) 599.56
Current children cumulated vsize (Kb) 16812

[startup+690.072 s]
Raw data (loadavg): 1.06 1.06 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3159 0 0 0 26267 1751 0 0 25 0 1 0 20626193 15036416 3130 4294967295 134512640 134702520 3221223712 3221222832 134578851 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3671 3130 413 48 0 3623 0
[pid=6033] vsize: 14684
Current children cumulated CPU time (s) 608.6
Current children cumulated vsize (Kb) 16812

[startup+700.072 s]
Raw data (loadavg): 1.05 1.06 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3161 0 0 0 27110 1804 0 0 24 0 1 0 20626193 15175680 3132 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3705 3132 413 48 0 3657 0
[pid=6033] vsize: 14820
Current children cumulated CPU time (s) 617.56
Current children cumulated vsize (Kb) 16948

[startup+710.073 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3161 0 0 0 27913 1870 0 0 21 0 1 0 20626193 15175680 3132 4294967295 134512640 134702520 3221223712 3221222736 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3705 3132 413 48 0 3657 0
[pid=6033] vsize: 14820
Current children cumulated CPU time (s) 626.25
Current children cumulated vsize (Kb) 16948

[startup+720.074 s]
Raw data (loadavg): 1.04 1.05 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3161 0 0 0 28742 1925 0 0 25 0 1 0 20626193 15118336 3132 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3691 3132 413 48 0 3643 0
[pid=6033] vsize: 14764
Current children cumulated CPU time (s) 635.09
Current children cumulated vsize (Kb) 16892

[startup+730.076 s]
Raw data (loadavg): 1.03 1.05 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3164 0 0 0 29608 1971 0 0 25 0 1 0 20626193 15118336 3135 4294967295 134512640 134702520 3221223712 3221222992 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3691 3135 413 48 0 3643 0
[pid=6033] vsize: 14764
Current children cumulated CPU time (s) 644.21
Current children cumulated vsize (Kb) 16892

[startup+740.077 s]
Raw data (loadavg): 1.02 1.05 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3165 0 0 0 30464 2017 0 0 25 0 1 0 20626193 15118336 3136 4294967295 134512640 134702520 3221223712 3221222992 134553142 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3691 3136 413 48 0 3643 0
[pid=6033] vsize: 14764
Current children cumulated CPU time (s) 653.23
Current children cumulated vsize (Kb) 16892

[startup+750.077 s]
Raw data (loadavg): 1.02 1.05 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3166 0 0 0 31320 2066 0 0 24 0 1 0 20626193 15118336 3137 4294967295 134512640 134702520 3221223712 3221222832 134572615 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3691 3137 413 48 0 3643 0
[pid=6033] vsize: 14764
Current children cumulated CPU time (s) 662.28
Current children cumulated vsize (Kb) 16892

[startup+760.078 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3167 0 0 0 32192 2109 0 0 23 0 1 0 20626193 15118336 3138 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3691 3138 413 48 0 3643 0
[pid=6033] vsize: 14764
Current children cumulated CPU time (s) 671.43
Current children cumulated vsize (Kb) 16892

[startup+770.079 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3168 0 0 0 33055 2154 0 0 17 0 1 0 20626193 15118336 3139 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3691 3139 413 48 0 3643 0
[pid=6033] vsize: 14764
Current children cumulated CPU time (s) 680.51
Current children cumulated vsize (Kb) 16892

[startup+780.08 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3172 0 0 0 33918 2198 0 0 25 0 1 0 20626193 15118336 3143 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3691 3143 413 48 0 3643 0
[pid=6033] vsize: 14764
Current children cumulated CPU time (s) 689.58
Current children cumulated vsize (Kb) 16892

[startup+790.081 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3174 0 0 0 34759 2248 0 0 24 0 1 0 20626193 15118336 3145 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3691 3145 413 48 0 3643 0
[pid=6033] vsize: 14764
Current children cumulated CPU time (s) 698.49
Current children cumulated vsize (Kb) 16892

[startup+800.081 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3174 0 0 0 35573 2309 0 0 22 0 1 0 20626193 15118336 3145 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3691 3145 413 48 0 3643 0
[pid=6033] vsize: 14764
Current children cumulated CPU time (s) 707.24
Current children cumulated vsize (Kb) 16892

[startup+810.082 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3174 0 0 0 36435 2355 0 0 25 0 1 0 20626193 15118336 3145 4294967295 134512640 134702520 3221223712 3221222832 134579059 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3691 3145 413 48 0 3643 0
[pid=6033] vsize: 14764
Current children cumulated CPU time (s) 716.32
Current children cumulated vsize (Kb) 16892

[startup+820.083 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3176 0 0 0 37293 2399 0 0 25 0 1 0 20626193 15200256 3147 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3711 3147 413 48 0 3663 0
[pid=6033] vsize: 14844
Current children cumulated CPU time (s) 725.34
Current children cumulated vsize (Kb) 16972

[startup+830.084 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3176 0 0 0 38149 2445 0 0 25 0 1 0 20626193 15200256 3147 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3711 3147 413 48 0 3663 0
[pid=6033] vsize: 14844
Current children cumulated CPU time (s) 734.36
Current children cumulated vsize (Kb) 16972

[startup+840.083 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3176 0 0 0 39006 2491 0 0 25 0 1 0 20626193 15200256 3147 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3711 3147 413 48 0 3663 0
[pid=6033] vsize: 14844
Current children cumulated CPU time (s) 743.39
Current children cumulated vsize (Kb) 16972

[startup+850.085 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3178 0 0 0 39865 2538 0 0 22 0 1 0 20626193 15200256 3149 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3711 3149 413 48 0 3663 0
[pid=6033] vsize: 14844
Current children cumulated CPU time (s) 752.45
Current children cumulated vsize (Kb) 16972

[startup+860.086 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3180 0 0 0 40737 2581 0 0 25 0 1 0 20626193 15200256 3151 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3711 3151 413 48 0 3663 0
[pid=6033] vsize: 14844
Current children cumulated CPU time (s) 761.6
Current children cumulated vsize (Kb) 16972

[startup+870.087 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3183 0 0 0 41600 2631 0 0 19 0 1 0 20626193 15200256 3154 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3711 3154 413 48 0 3663 0
[pid=6033] vsize: 14844
Current children cumulated CPU time (s) 770.73
Current children cumulated vsize (Kb) 16972

[startup+880.088 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3184 0 0 0 42429 2683 0 0 22 0 1 0 20626193 15200256 3155 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3711 3155 413 48 0 3663 0
[pid=6033] vsize: 14844
Current children cumulated CPU time (s) 779.54
Current children cumulated vsize (Kb) 16972

[startup+890.088 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3184 0 0 0 43211 2750 0 0 22 0 1 0 20626193 15200256 3155 4294967295 134512640 134702520 3221223712 3221222608 134552546 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3711 3155 413 48 0 3663 0
[pid=6033] vsize: 14844
Current children cumulated CPU time (s) 788.03
Current children cumulated vsize (Kb) 16972

[startup+900.089 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3185 0 0 0 44069 2797 0 0 25 0 1 0 20626193 15200256 3156 4294967295 134512640 134702520 3221223712 3221222992 134552889 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3711 3156 413 48 0 3663 0
[pid=6033] vsize: 14844
Current children cumulated CPU time (s) 797.08
Current children cumulated vsize (Kb) 16972

[startup+910.091 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3188 0 0 0 44930 2844 0 0 25 0 1 0 20626193 15200256 3159 4294967295 134512640 134702520 3221223712 3221222992 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3711 3159 413 48 0 3663 0
[pid=6033] vsize: 14844
Current children cumulated CPU time (s) 806.16
Current children cumulated vsize (Kb) 16972

[startup+920.093 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3191 0 0 0 45782 2892 0 0 25 0 1 0 20626193 15200256 3162 4294967295 134512640 134702520 3221223712 3221222832 134578896 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3711 3162 413 48 0 3663 0
[pid=6033] vsize: 14844
Current children cumulated CPU time (s) 815.16
Current children cumulated vsize (Kb) 16972

[startup+930.094 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3193 0 0 0 46657 2932 0 0 23 0 1 0 20626193 15200256 3164 4294967295 134512640 134702520 3221223712 3221222608 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3711 3164 413 48 0 3663 0
[pid=6033] vsize: 14844
Current children cumulated CPU time (s) 824.31
Current children cumulated vsize (Kb) 16972

[startup+940.095 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3195 0 0 0 47535 2972 0 0 25 0 1 0 20626193 15200256 3166 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3711 3166 413 48 0 3663 0
[pid=6033] vsize: 14844
Current children cumulated CPU time (s) 833.49
Current children cumulated vsize (Kb) 16972

[startup+950.096 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3197 0 0 0 48404 3016 0 0 25 0 1 0 20626193 15278080 3168 4294967295 134512640 134702520 3221223712 3221222992 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3730 3168 413 48 0 3682 0
[pid=6033] vsize: 14920
Current children cumulated CPU time (s) 842.62
Current children cumulated vsize (Kb) 17048

[startup+960.097 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3199 0 0 0 49264 3062 0 0 25 0 1 0 20626193 15278080 3170 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3730 3170 413 48 0 3682 0
[pid=6033] vsize: 14920
Current children cumulated CPU time (s) 851.68
Current children cumulated vsize (Kb) 17048

[startup+970.099 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3203 0 0 0 50129 3105 0 0 23 0 1 0 20626193 15278080 3174 4294967295 134512640 134702520 3221223712 3221222736 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3730 3174 413 48 0 3682 0
[pid=6033] vsize: 14920
Current children cumulated CPU time (s) 860.76
Current children cumulated vsize (Kb) 17048

[startup+980.1 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3203 0 0 0 50941 3170 0 0 22 0 1 0 20626193 15278080 3174 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3730 3174 413 48 0 3682 0
[pid=6033] vsize: 14920
Current children cumulated CPU time (s) 869.53
Current children cumulated vsize (Kb) 17048

[startup+990.101 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3204 0 0 0 51767 3230 0 0 25 0 1 0 20626193 15278080 3175 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3730 3175 413 48 0 3682 0
[pid=6033] vsize: 14920
Current children cumulated CPU time (s) 878.39
Current children cumulated vsize (Kb) 17048

[startup+1000.1 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3206 0 0 0 52633 3274 0 0 25 0 1 0 20626193 15278080 3177 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3730 3177 413 48 0 3682 0
[pid=6033] vsize: 14920
Current children cumulated CPU time (s) 887.49
Current children cumulated vsize (Kb) 17048

[startup+1010.1 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3208 0 0 0 53508 3317 0 0 25 0 1 0 20626193 15278080 3179 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3730 3179 413 48 0 3682 0
[pid=6033] vsize: 14920
Current children cumulated CPU time (s) 896.67
Current children cumulated vsize (Kb) 17048

[startup+1020.1 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3210 0 0 0 54372 3359 0 0 25 0 1 0 20626193 15278080 3181 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3730 3181 413 48 0 3682 0
[pid=6033] vsize: 14920
Current children cumulated CPU time (s) 905.73
Current children cumulated vsize (Kb) 17048

[startup+1030.11 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3214 0 0 0 55247 3397 0 0 25 0 1 0 20626193 15278080 3185 4294967295 134512640 134702520 3221223712 3221223104 134605875 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3730 3185 413 48 0 3682 0
[pid=6033] vsize: 14920
Current children cumulated CPU time (s) 914.86
Current children cumulated vsize (Kb) 17048

[startup+1040.11 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3218 0 0 0 56110 3443 0 0 25 0 1 0 20626193 15364096 3189 4294967295 134512640 134702520 3221223712 3221222992 134553426 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3751 3189 413 48 0 3703 0
[pid=6033] vsize: 15004
Current children cumulated CPU time (s) 923.95
Current children cumulated vsize (Kb) 17132

[startup+1050.11 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3219 0 0 0 56989 3482 0 0 25 0 1 0 20626193 15364096 3190 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3751 3190 413 48 0 3703 0
[pid=6033] vsize: 15004
Current children cumulated CPU time (s) 933.13
Current children cumulated vsize (Kb) 17132

[startup+1060.11 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3222 0 0 0 57858 3523 0 0 25 0 1 0 20626193 15364096 3193 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3751 3193 413 48 0 3703 0
[pid=6033] vsize: 15004
Current children cumulated CPU time (s) 942.23
Current children cumulated vsize (Kb) 17132

[startup+1070.11 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3224 0 0 0 58696 3576 0 0 23 0 1 0 20626193 15364096 3195 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3751 3195 413 48 0 3703 0
[pid=6033] vsize: 15004
Current children cumulated CPU time (s) 951.14
Current children cumulated vsize (Kb) 17132

[startup+1080.11 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3224 0 0 0 59471 3650 0 0 21 0 1 0 20626193 15364096 3195 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3751 3195 413 48 0 3703 0
[pid=6033] vsize: 15004
Current children cumulated CPU time (s) 959.63
Current children cumulated vsize (Kb) 17132

[startup+1090.11 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3225 0 0 0 60319 3701 0 0 25 0 1 0 20626193 15364096 3196 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3751 3196 413 48 0 3703 0
[pid=6033] vsize: 15004
Current children cumulated CPU time (s) 968.62
Current children cumulated vsize (Kb) 17132

[startup+1100.11 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3226 0 0 0 61183 3749 0 0 25 0 1 0 20626193 15364096 3197 4294967295 134512640 134702520 3221223712 3221222832 134578964 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3751 3197 413 48 0 3703 0
[pid=6033] vsize: 15004
Current children cumulated CPU time (s) 977.74
Current children cumulated vsize (Kb) 17132

[startup+1110.11 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3228 0 0 0 62052 3792 0 0 23 0 1 0 20626193 15364096 3199 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3751 3199 413 48 0 3703 0
[pid=6033] vsize: 15004
Current children cumulated CPU time (s) 986.86
Current children cumulated vsize (Kb) 17132

[startup+1120.11 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3228 0 0 0 62934 3831 0 0 25 0 1 0 20626193 15364096 3199 4294967295 134512640 134702520 3221223712 3221222992 134553160 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3751 3199 413 48 0 3703 0
[pid=6033] vsize: 15004
Current children cumulated CPU time (s) 996.07
Current children cumulated vsize (Kb) 17132

[startup+1130.11 s]
Raw data (loadavg): 1.09 1.03 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3230 0 0 0 63803 3876 0 0 25 0 1 0 20626193 15364096 3201 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3751 3201 413 48 0 3703 0
[pid=6033] vsize: 15004
Current children cumulated CPU time (s) 1005.21
Current children cumulated vsize (Kb) 17132

[startup+1140.11 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3234 0 0 0 64671 3919 0 0 25 0 1 0 20626193 15364096 3205 4294967295 134512640 134702520 3221223712 3221222832 134578849 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3751 3205 413 48 0 3703 0
[pid=6033] vsize: 15004
Current children cumulated CPU time (s) 1014.32
Current children cumulated vsize (Kb) 17132

[startup+1150.12 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3235 0 0 0 65562 3955 0 0 25 0 1 0 20626193 15364096 3206 4294967295 134512640 134702520 3221223712 3221209088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3751 3206 413 48 0 3703 0
[pid=6033] vsize: 15004
Current children cumulated CPU time (s) 1023.59
Current children cumulated vsize (Kb) 17132

[startup+1160.12 s]
Raw data (loadavg): 1.13 1.04 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3238 0 0 0 66430 3996 0 0 25 0 1 0 20626193 15364096 3209 4294967295 134512640 134702520 3221223712 3221223260 1074652272 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3751 3209 413 48 0 3703 0
[pid=6033] vsize: 15004
Current children cumulated CPU time (s) 1032.68
Current children cumulated vsize (Kb) 17132

[startup+1170.12 s]
Raw data (loadavg): 1.11 1.04 1.01 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3240 0 0 0 67281 4045 0 0 24 0 1 0 20626193 15515648 3211 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3788 3211 413 48 0 3740 0
[pid=6033] vsize: 15152
Current children cumulated CPU time (s) 1041.68
Current children cumulated vsize (Kb) 17280

[startup+1180.12 s]
Raw data (loadavg): 1.09 1.04 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3240 0 0 0 68077 4113 0 0 22 0 1 0 20626193 15515648 3211 4294967295 134512640 134702520 3221223712 3221222608 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3788 3211 413 48 0 3740 0
[pid=6033] vsize: 15152
Current children cumulated CPU time (s) 1050.32
Current children cumulated vsize (Kb) 17280

[startup+1190.12 s]
Raw data (loadavg): 1.08 1.04 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3241 0 0 0 68939 4161 0 0 25 0 1 0 20626193 15454208 3212 4294967295 134512640 134702520 3221223712 3221222992 134553333 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3773 3212 413 48 0 3725 0
[pid=6033] vsize: 15092
Current children cumulated CPU time (s) 1059.42
Current children cumulated vsize (Kb) 17220

[startup+1200.12 s]
Raw data (loadavg): 1.07 1.04 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3244 0 0 0 69800 4210 0 0 25 0 1 0 20626193 15454208 3215 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3773 3215 413 48 0 3725 0
[pid=6033] vsize: 15092
Current children cumulated CPU time (s) 1068.52
Current children cumulated vsize (Kb) 17220

[startup+1210.12 s]
Raw data (loadavg): 1.13 1.05 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3245 0 0 0 70683 4250 0 0 23 0 1 0 20626193 15454208 3216 4294967295 134512640 134702520 3221223712 3221222736 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3773 3216 413 48 0 3725 0
[pid=6033] vsize: 15092
Current children cumulated CPU time (s) 1077.75
Current children cumulated vsize (Kb) 17220

[startup+1220.12 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3247 0 0 0 71559 4293 0 0 25 0 1 0 20626193 15454208 3218 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3773 3218 413 48 0 3725 0
[pid=6033] vsize: 15092
Current children cumulated CPU time (s) 1086.94
Current children cumulated vsize (Kb) 17220

[startup+1230.12 s]
Raw data (loadavg): 1.09 1.05 1.01 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3249 0 0 0 72436 4334 0 0 25 0 1 0 20626193 15454208 3220 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3773 3220 413 48 0 3725 0
[pid=6033] vsize: 15092
Current children cumulated CPU time (s) 1096.12
Current children cumulated vsize (Kb) 17220

[startup+1240.12 s]
Raw data (loadavg): 1.08 1.05 1.01 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3251 0 0 0 73305 4378 0 0 22 0 1 0 20626193 15454208 3222 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3773 3222 413 48 0 3725 0
[pid=6033] vsize: 15092
Current children cumulated CPU time (s) 1105.25
Current children cumulated vsize (Kb) 17220

[startup+1250.12 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3253 0 0 0 74198 4413 0 0 25 0 1 0 20626193 15454208 3224 4294967295 134512640 134702520 3221223712 3221222832 134578851 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3773 3224 413 48 0 3725 0
[pid=6033] vsize: 15092
Current children cumulated CPU time (s) 1114.53
Current children cumulated vsize (Kb) 17220

[startup+1260.12 s]
Raw data (loadavg): 1.05 1.04 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3255 0 0 0 75070 4453 0 0 25 0 1 0 20626193 15454208 3226 4294967295 134512640 134702520 3221223712 3221223104 134605875 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3773 3226 413 48 0 3725 0
[pid=6033] vsize: 15092
Current children cumulated CPU time (s) 1123.65
Current children cumulated vsize (Kb) 17220

[startup+1270.12 s]
Raw data (loadavg): 1.05 1.04 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3258 0 0 0 75926 4500 0 0 23 0 1 0 20626193 15454208 3229 4294967295 134512640 134702520 3221223712 3221222608 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3773 3229 413 48 0 3725 0
[pid=6033] vsize: 15092
Current children cumulated CPU time (s) 1132.68
Current children cumulated vsize (Kb) 17220

[startup+1280.12 s]
Raw data (loadavg): 1.04 1.04 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3258 0 0 0 76714 4570 0 0 21 0 1 0 20626193 15454208 3229 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3773 3229 413 48 0 3725 0
[pid=6033] vsize: 15092
Current children cumulated CPU time (s) 1141.26
Current children cumulated vsize (Kb) 17220

[startup+1290.13 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3258 0 0 0 77534 4631 0 0 24 0 1 0 20626193 15454208 3229 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3773 3229 413 48 0 3725 0
[pid=6033] vsize: 15092
Current children cumulated CPU time (s) 1150.07
Current children cumulated vsize (Kb) 17220

[startup+1300.13 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3261 0 0 0 78407 4676 0 0 22 0 1 0 20626193 15593472 3232 4294967295 134512640 134702520 3221223712 3221222880 134658404 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3807 3232 413 48 0 3759 0
[pid=6033] vsize: 15228
Current children cumulated CPU time (s) 1159.25
Current children cumulated vsize (Kb) 17356

[startup+1310.13 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3262 0 0 0 79298 4710 0 0 25 0 1 0 20626193 15536128 3233 4294967295 134512640 134702520 3221223712 3221222832 134572641 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3793 3233 413 48 0 3745 0
[pid=6033] vsize: 15172
Current children cumulated CPU time (s) 1168.5
Current children cumulated vsize (Kb) 17300

[startup+1320.13 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3263 0 0 0 80175 4750 0 0 24 0 1 0 20626193 15536128 3234 4294967295 134512640 134702520 3221223712 3221222992 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3793 3234 413 48 0 3745 0
[pid=6033] vsize: 15172
Current children cumulated CPU time (s) 1177.67
Current children cumulated vsize (Kb) 17300

[startup+1330.13 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3266 0 0 0 81050 4793 0 0 23 0 1 0 20626193 15536128 3237 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3793 3237 413 48 0 3745 0
[pid=6033] vsize: 15172
Current children cumulated CPU time (s) 1186.85
Current children cumulated vsize (Kb) 17300

[startup+1340.13 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3268 0 0 0 81939 4830 0 0 25 0 1 0 20626193 15536128 3239 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3793 3239 413 48 0 3745 0
[pid=6033] vsize: 15172
Current children cumulated CPU time (s) 1196.11
Current children cumulated vsize (Kb) 17300

[startup+1350.13 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) R 6028 6028 4060 0 -1 0 3270 0 0 0 82812 4873 0 0 25 0 1 0 20626193 15536128 3241 4294967295 134512640 134702520 3221223712 3221222832 134572641 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6033/statm): 3793 3241 413 48 0 3745 0
[pid=6033] vsize: 15172
Current children cumulated CPU time (s) 1205.27
Current children cumulated vsize (Kb) 17300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1350.13 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6033
Raw data (/proc/6028/stat): 6028 (vallstSAT2005PB) S 6027 6028 4060 0 -1 0 378 2751 0 0 1 1 30531 2309 19 0 1 0 20588740 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6028/statm): 532 248 485 147 0 385 0
[pid=6028] vsize: 2128
Raw data (/proc/6033/stat): 6033 (vallst) T 6028 6028 4060 0 -1 0 3270 0 0 0 82812 4873 0 0 25 0 1 0 20626193 15536128 3241 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6033/statm): 3793 3241 413 48 0 3745 0
[pid=6033] vsize: 15172
Current children cumulated CPU time (s) 1205.27
Current children cumulated vsize (Kb) 17300

Sending SIGTERM to -6028
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=6035
New process pid=6036
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/1694/stat
open syscall for file /proc/1694/status
open syscall for file /proc/1694/cmdline
open syscall for file /proc/1694/environ
open syscall for file /proc/4043/stat
open syscall for file /proc/4043/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4043/cmdline
open syscall for file /proc/4043/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/5989/stat
open syscall for file /proc/5989/status
open syscall for file /proc/5989/cmdline
open syscall for file /proc/5989/environ
open syscall for file /proc/6027/stat
open syscall for file /proc/6027/status
open syscall for file /proc/6027/cmdline
open syscall for file /proc/6027/environ
open syscall for file /proc/6028/stat
open syscall for file /proc/6028/status
open syscall for file /proc/6028/cmdline
open syscall for file /proc/6028/environ
open syscall for file /proc/6033/stat
open syscall for file /proc/6033/status
open syscall for file /proc/6033/cmdline
open syscall for file /proc/6033/environ
open syscall for file /proc/6035/stat
open syscall for file /proc/6035/status
open syscall for file /proc/6035/cmdline
open syscall for file /proc/6035/environ
open syscall for file /proc/6036/stat
open syscall for file /proc/6036/status
open syscall for file /proc/6036/cmdline
open syscall for file /proc/6036/environ
One traced child (pid=6035) exited with status: 0
One traced child (pid=6036) exited with status: 0
New process pid=6037
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=6037) exited with status: 0
New process pid=6038
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=6038) exited with status: 0
One traced child (pid=6028) ended because it received signal 15 (SIGTERM)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=6033) exited with status: 3
All traced children have exited ! Game is over.

Child status: 3
Real time (s): 1350.87
CPU time (s): 877.562
CPU user time (s): 828.771
CPU system time (s): 48.7906
CPU usage (%): 64.9628
Max. virtual memory (cumulated for all children) (Kb): 17356

Verifier Data

ERROR: no interpretation found !