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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc50a.opb
MD5SUMd1a63d8d6fb70cfa129ffc4588721d0f
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of terms in the objective function 20
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 1048575
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 8388608
Number of bits of the biggest number in a constraint 24
Biggest sum of numbers in a constraint 22020075
Number of bits of the biggest sum of numbers25
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark5.51416
Number of variables960
Total number of constraints49
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints49
Minimum length of a constraint40
Maximum length of a constraint80

Trace number 9191

Launcher Data

LAUNCH ON wulflinc26 THE 2005-09-23 11:14:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7871 boxname=wulflinc26 idbench=839 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  d1a63d8d6fb70cfa129ffc4588721d0f  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-sc50a.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-sc50a.opb 0
IDLAUNCH: 7871
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.055
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.055
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:        941736 kB
Buffers:          9440 kB
Cached:          66312 kB
SwapCached:          0 kB
Active:          43004 kB
Inactive:        35664 kB
HighTotal:      131008 kB
HighFree:        60284 kB
LowTotal:       903652 kB
LowFree:        881452 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           6968 kB
Slab:             8460 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 11:40:24 (client local time) WITH STATUS 0 IN 1201.42 SECONDS
stats: 7871 7 1201.42 0

Solver Data

1:
seed: 0
Nr of vars set: 167  (#equs: 0)
Nr of vars set: 231  (#equs: 12)
#decisions: 586790;  #end-nodes: 206360;
#proof improvement attempts: 0;  #restarts: 960
Current batch, end-nodes: 0 / 319 (319)
#axs: 84, #non-axs: 137
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 239  (#equs: 14)
Time taken: 5 min, 9 sec

2:
seed: 0
Nr of vars set: 239  (#equs: 0)
Nr of vars set: 240  (#equs: 8)
#decisions: 1779212;  #end-nodes: 529724;
#proof improvement attempts: 0;  #restarts: 1536
Current batch, end-nodes: 0 / 1163 (503)
#axs: 96, #non-axs: 5550
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 3
loose: meta-meta: start: 6, end: 9;  meta: start: 16, end (keep): 22
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 263  (#equs: 26)
Time taken: 9 min, 24 sec

3:
seed: 0
Nr of vars set: 263  (#equs: 0)
Nr of vars set: 265  (#equs: 4)
Interupt request received.
#decisions: 1855494;  #end-nodes: 482502;
#proof improvement attempts: 0;  #restarts: 1302
Current batch, end-nodes: 198 / 551 (485)
#axs: 78, #non-axs: 321
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 3
loose: meta-meta: start: 6, end: 9;  meta: start: 16, end (keep): 22
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 474  (#equs: 9)
Time taken: 5 min, 27 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/4933/stat): 4933 (vallstSAT2005PB) R 4932 4933 4005 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19711131 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4933/statm): 174 3 169 147 0 27 0
[pid=4933] 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=4934
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=4934) exited with status: 0
New process pid=4935
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=4935) exited with status: 0
New process pid=4936
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/wulflinc26/normalized-mps-v2-13-7-sc50a.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0031 s]
Raw data (loadavg): 0.80 0.94 0.93 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 239 0 0 0 627 113 0 0 22 0 1 0 19711138 2154496 209 4294967295 134512640 134702520 3221223952 3221223192 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4936/statm): 526 209 413 48 0 478 0
[pid=4936] vsize: 2104
Current children cumulated CPU time (s) 7.44
Current children cumulated vsize (Kb) 4232

[startup+20.0038 s]
Raw data (loadavg): 0.91 0.95 0.94 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 265 0 0 0 1423 184 0 0 22 0 1 0 19711138 2596864 235 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4936/statm): 634 235 413 48 0 586 0
[pid=4936] vsize: 2536
Current children cumulated CPU time (s) 16.11
Current children cumulated vsize (Kb) 4664

[startup+30.0045 s]
Raw data (loadavg): 1.00 0.97 0.94 2/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 292 0 0 0 2147 278 0 0 21 0 1 0 19711138 2596864 262 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4936/statm): 634 262 413 48 0 586 0
[pid=4936] vsize: 2536
Current children cumulated CPU time (s) 24.29
Current children cumulated vsize (Kb) 4664

[startup+40.0051 s]
Raw data (loadavg): 1.00 0.97 0.94 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 295 0 0 0 2878 368 0 0 20 0 1 0 19711138 2596864 265 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4936/statm): 634 265 413 48 0 586 0
[pid=4936] vsize: 2536
Current children cumulated CPU time (s) 32.5
Current children cumulated vsize (Kb) 4664

[startup+50.0058 s]
Raw data (loadavg): 1.00 0.97 0.94 2/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) R 4933 4933 4005 0 -1 0 296 0 0 0 3675 433 0 0 25 0 1 0 19711138 2596864 266 4294967295 134512640 134702520 3221223952 3221222720 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4936/statm): 634 266 413 48 0 586 0
[pid=4936] vsize: 2536
Current children cumulated CPU time (s) 41.12
Current children cumulated vsize (Kb) 4664

[startup+60.0065 s]
Raw data (loadavg): 1.00 0.97 0.94 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 306 0 0 0 4465 501 0 0 22 0 1 0 19711138 2596864 276 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4936/statm): 634 276 413 48 0 586 0
[pid=4936] vsize: 2536
Current children cumulated CPU time (s) 49.7
Current children cumulated vsize (Kb) 4664

[startup+70.0072 s]
Raw data (loadavg): 1.00 0.97 0.94 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 307 0 0 0 5221 586 0 0 20 0 1 0 19711138 2596864 277 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4936/statm): 634 277 413 48 0 586 0
[pid=4936] vsize: 2536
Current children cumulated CPU time (s) 58.11
Current children cumulated vsize (Kb) 4664

[startup+80.0089 s]
Raw data (loadavg): 1.00 0.97 0.94 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 308 0 0 0 5980 664 0 0 23 0 1 0 19711138 2596864 278 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4936/statm): 634 278 413 48 0 586 0
[pid=4936] vsize: 2536
Current children cumulated CPU time (s) 66.48
Current children cumulated vsize (Kb) 4664

[startup+90.0095 s]
Raw data (loadavg): 1.00 0.97 0.94 2/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) R 4933 4933 4005 0 -1 0 309 0 0 0 6770 735 0 0 21 0 1 0 19711138 2596864 279 4294967295 134512640 134702520 3221223952 3221222848 134552220 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4936/statm): 634 279 413 48 0 586 0
[pid=4936] vsize: 2536
Current children cumulated CPU time (s) 75.09
Current children cumulated vsize (Kb) 4664

[startup+100.009 s]
Raw data (loadavg): 1.00 0.97 0.94 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 321 0 0 0 7511 824 0 0 21 0 1 0 19711138 2596864 291 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4936/statm): 634 291 413 48 0 586 0
[pid=4936] vsize: 2536
Current children cumulated CPU time (s) 83.39
Current children cumulated vsize (Kb) 4664

[startup+110.01 s]
Raw data (loadavg): 1.00 0.97 0.94 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 321 0 0 0 8247 917 0 0 21 0 1 0 19711138 2596864 291 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4936/statm): 634 291 413 48 0 586 0
[pid=4936] vsize: 2536
Current children cumulated CPU time (s) 91.68
Current children cumulated vsize (Kb) 4664

[startup+120.011 s]
Raw data (loadavg): 1.00 0.97 0.94 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 322 0 0 0 9047 983 0 0 19 0 1 0 19711138 2596864 292 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4936/statm): 634 292 413 48 0 586 0
[pid=4936] vsize: 2536
Current children cumulated CPU time (s) 100.34
Current children cumulated vsize (Kb) 4664

[startup+130.012 s]
Raw data (loadavg): 1.00 0.97 0.94 2/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) R 4933 4933 4005 0 -1 0 324 0 0 0 9789 1070 0 0 22 0 1 0 19711138 2596864 294 4294967295 134512640 134702520 3221223952 3221222848 134553489 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4936/statm): 634 294 413 48 0 586 0
[pid=4936] vsize: 2536
Current children cumulated CPU time (s) 108.63
Current children cumulated vsize (Kb) 4664

[startup+140.013 s]
Raw data (loadavg): 1.07 0.99 0.95 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 325 0 0 0 10513 1162 0 0 20 0 1 0 19711138 2596864 295 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4936/statm): 634 295 413 48 0 586 0
[pid=4936] vsize: 2536
Current children cumulated CPU time (s) 116.79
Current children cumulated vsize (Kb) 4664

[startup+150.014 s]
Raw data (loadavg): 1.06 0.99 0.95 2/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) R 4933 4933 4005 0 -1 0 326 0 0 0 11296 1237 0 0 24 0 1 0 19711138 2596864 296 4294967295 134512640 134702520 3221223952 3221222720 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4936/statm): 634 296 413 48 0 586 0
[pid=4936] vsize: 2536
Current children cumulated CPU time (s) 125.37
Current children cumulated vsize (Kb) 4664

[startup+160.014 s]
Raw data (loadavg): 1.12 1.00 0.95 2/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) R 4933 4933 4005 0 -1 0 326 0 0 0 12048 1319 0 0 19 0 1 0 19711138 2596864 296 4294967295 134512640 134702520 3221223952 3221222848 134553287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4936/statm): 634 296 413 48 0 586 0
[pid=4936] vsize: 2536
Current children cumulated CPU time (s) 133.71
Current children cumulated vsize (Kb) 4664

[startup+170.015 s]
Raw data (loadavg): 1.19 1.02 0.96 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 328 0 0 0 12772 1411 0 0 20 0 1 0 19711138 2727936 298 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4936/statm): 666 298 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 141.87
Current children cumulated vsize (Kb) 4792

[startup+180.016 s]
Raw data (loadavg): 1.16 1.02 0.96 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 329 0 0 0 13520 1492 0 0 21 0 1 0 19711138 2727936 299 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4936/statm): 666 299 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 150.16
Current children cumulated vsize (Kb) 4792

[startup+190.017 s]
Raw data (loadavg): 1.21 1.04 0.96 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 330 0 0 0 14317 1559 0 0 22 0 1 0 19711138 2727936 300 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4936/statm): 666 300 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 158.8
Current children cumulated vsize (Kb) 4792

[startup+200.017 s]
Raw data (loadavg): 1.18 1.03 0.96 2/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) R 4933 4933 4005 0 -1 0 331 0 0 0 15060 1644 0 0 19 0 1 0 19711138 2727936 301 4294967295 134512640 134702520 3221223952 3221223072 134584459 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4936/statm): 666 301 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 167.08
Current children cumulated vsize (Kb) 4792

[startup+210.018 s]
Raw data (loadavg): 1.22 1.05 0.97 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 345 0 0 0 15780 1739 0 0 20 0 1 0 19711138 2727936 315 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4936/statm): 666 315 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 175.23
Current children cumulated vsize (Kb) 4792

[startup+220.018 s]
Raw data (loadavg): 1.19 1.05 0.97 2/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 346 0 0 0 16568 1808 0 0 25 0 1 0 19711138 2727936 316 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4936/statm): 666 316 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 183.8
Current children cumulated vsize (Kb) 4792

[startup+230.019 s]
Raw data (loadavg): 1.23 1.06 0.97 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 346 0 0 0 17321 1892 0 0 19 0 1 0 19711138 2727936 316 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4936/statm): 666 316 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 192.17
Current children cumulated vsize (Kb) 4792

[startup+240.02 s]
Raw data (loadavg): 1.27 1.07 0.98 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 348 0 0 0 18062 1976 0 0 19 0 1 0 19711138 2727936 318 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4936/statm): 666 318 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 200.42
Current children cumulated vsize (Kb) 4792

[startup+250.02 s]
Raw data (loadavg): 1.23 1.07 0.98 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 348 0 0 0 18807 2060 0 0 19 0 1 0 19711138 2727936 318 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4936/statm): 666 318 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 208.71
Current children cumulated vsize (Kb) 4792

[startup+260.021 s]
Raw data (loadavg): 1.27 1.08 0.98 2/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 349 0 0 0 19598 2132 0 0 20 0 1 0 19711138 2727936 319 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4936/statm): 666 319 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 217.34
Current children cumulated vsize (Kb) 4792

[startup+270.022 s]
Raw data (loadavg): 1.23 1.08 0.98 2/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 350 0 0 0 20313 2226 0 0 19 0 1 0 19711138 2727936 320 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4936/statm): 666 320 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 225.43
Current children cumulated vsize (Kb) 4792

[startup+280.022 s]
Raw data (loadavg): 1.20 1.08 0.98 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 404 0 0 0 21042 2315 0 0 20 0 1 0 19711138 2727936 374 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4936/statm): 666 374 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 233.61
Current children cumulated vsize (Kb) 4792

[startup+290.023 s]
Raw data (loadavg): 1.16 1.08 0.98 2/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) R 4933 4933 4005 0 -1 0 404 0 0 0 21813 2395 0 0 24 0 1 0 19711138 2727936 374 4294967295 134512640 134702520 3221223952 3221222720 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4936/statm): 666 374 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 242.12
Current children cumulated vsize (Kb) 4792

[startup+300.023 s]
Raw data (loadavg): 1.14 1.07 0.98 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 407 0 0 0 22564 2480 0 0 19 0 1 0 19711138 2727936 377 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4936/statm): 666 377 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 250.48
Current children cumulated vsize (Kb) 4792

[startup+310.025 s]
Raw data (loadavg): 1.20 1.09 0.99 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 408 0 0 0 23268 2579 0 0 18 0 1 0 19711138 2727936 378 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4936/statm): 666 378 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 258.51
Current children cumulated vsize (Kb) 4792

[startup+320.025 s]
Raw data (loadavg): 1.17 1.08 0.99 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 410 0 0 0 23970 2675 0 0 19 0 1 0 19711138 2727936 380 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4936/statm): 666 380 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 266.49
Current children cumulated vsize (Kb) 4792

[startup+330.027 s]
Raw data (loadavg): 1.14 1.08 0.99 2/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 410 0 0 0 24731 2756 0 0 22 0 1 0 19711138 2727936 380 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4936/statm): 666 380 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 274.91
Current children cumulated vsize (Kb) 4792

[startup+340.028 s]
Raw data (loadavg): 1.12 1.08 0.99 2/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) R 4933 4933 4005 0 -1 0 410 0 0 0 25461 2845 0 0 21 0 1 0 19711138 2727936 380 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4936/statm): 666 380 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 283.1
Current children cumulated vsize (Kb) 4792

[startup+350.028 s]
Raw data (loadavg): 1.10 1.07 0.99 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 411 0 0 0 26146 2949 0 0 20 0 1 0 19711138 2727936 381 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4936/statm): 666 381 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 290.99
Current children cumulated vsize (Kb) 4792

[startup+360.03 s]
Raw data (loadavg): 1.08 1.07 0.99 1/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) T 4933 4933 4005 0 -1 0 412 0 0 0 26841 3048 0 0 20 0 1 0 19711138 2727936 382 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4936/statm): 666 382 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 298.93
Current children cumulated vsize (Kb) 4792

[startup+370.031 s]
Raw data (loadavg): 1.07 1.07 0.99 2/56 4936
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 330 232 0 0 1 2 0 1 23 0 1 0 19711131 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 242 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4936/stat): 4936 (vallst) R 4933 4933 4005 0 -1 0 413 0 0 0 27621 3122 0 0 22 0 1 0 19711138 2727936 383 4294967295 134512640 134702520 3221223952 3221222720 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4936/statm): 666 383 413 48 0 618 0
[pid=4936] vsize: 2664
Current children cumulated CPU time (s) 307.47
Current children cumulated vsize (Kb) 4792
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=4936) exited with status: 2
New process pid=4937
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=4937) exited with status: 0
New process pid=4938
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.031 s]
Raw data (loadavg): 1.14 1.08 1.00 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 231 0 0 0 453 107 0 0 20 0 1 0 19748347 2027520 201 4294967295 134512640 134702520 3221223712 3221222720 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4938/statm): 495 201 413 48 0 447 0
[pid=4938] vsize: 1980
Current children cumulated CPU time (s) 314.83
Current children cumulated vsize (Kb) 4108

[startup+390.032 s]
Raw data (loadavg): 1.12 1.08 1.00 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 264 0 0 0 1134 208 0 0 19 0 1 0 19748347 2580480 234 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 630 234 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 322.65
Current children cumulated vsize (Kb) 4648

[startup+400.033 s]
Raw data (loadavg): 1.10 1.08 1.00 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 270 0 0 0 1748 334 0 0 19 0 1 0 19748347 2580480 240 4294967295 134512640 134702520 3221223712 3221222480 134554260 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4938/statm): 630 240 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 330.05
Current children cumulated vsize (Kb) 4648

[startup+410.033 s]
Raw data (loadavg): 1.08 1.07 1.00 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 272 0 0 0 2352 468 0 0 20 0 1 0 19748347 2580480 242 4294967295 134512640 134702520 3221223712 3221222784 134617472 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4938/statm): 630 242 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 337.43
Current children cumulated vsize (Kb) 4648

[startup+420.034 s]
Raw data (loadavg): 1.07 1.07 1.00 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 278 0 0 0 3029 574 0 0 18 0 1 0 19748347 2580480 248 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 630 248 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 345.26
Current children cumulated vsize (Kb) 4648

[startup+430.036 s]
Raw data (loadavg): 1.06 1.07 1.00 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 281 0 0 0 3650 697 0 0 20 0 1 0 19748347 2580480 251 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 630 251 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 352.7
Current children cumulated vsize (Kb) 4648

[startup+440.036 s]
Raw data (loadavg): 1.05 1.06 1.00 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 282 0 0 0 4243 826 0 0 20 0 1 0 19748347 2580480 252 4294967295 134512640 134702520 3221223712 3221222480 134553492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4938/statm): 630 252 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 359.92
Current children cumulated vsize (Kb) 4648

[startup+450.036 s]
Raw data (loadavg): 1.04 1.06 1.00 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 283 0 0 0 4934 928 0 0 19 0 1 0 19748347 2580480 253 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 630 253 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 367.85
Current children cumulated vsize (Kb) 4648

[startup+460.037 s]
Raw data (loadavg): 1.03 1.06 1.00 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 286 0 0 0 5546 1057 0 0 18 0 1 0 19748347 2580480 256 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 630 256 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 375.26
Current children cumulated vsize (Kb) 4648

[startup+470.037 s]
Raw data (loadavg): 1.03 1.06 1.00 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 287 0 0 0 6144 1189 0 0 20 0 1 0 19748347 2580480 257 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4938/statm): 630 257 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 382.56
Current children cumulated vsize (Kb) 4648

[startup+480.038 s]
Raw data (loadavg): 1.02 1.05 1.00 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 288 0 0 0 6845 1289 0 0 18 0 1 0 19748347 2580480 258 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 630 258 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 390.57
Current children cumulated vsize (Kb) 4648

[startup+490.039 s]
Raw data (loadavg): 1.02 1.05 1.00 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 290 0 0 0 7467 1416 0 0 19 0 1 0 19748347 2580480 260 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 630 260 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 398.06
Current children cumulated vsize (Kb) 4648

[startup+500.039 s]
Raw data (loadavg): 1.02 1.05 1.00 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 300 0 0 0 8036 1562 0 0 17 0 1 0 19748347 2580480 270 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 630 270 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 405.21
Current children cumulated vsize (Kb) 4648

[startup+510.04 s]
Raw data (loadavg): 1.09 1.07 1.00 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 301 0 0 0 8747 1659 0 0 20 0 1 0 19748347 2580480 271 4294967295 134512640 134702520 3221223712 3221222480 134552541 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4938/statm): 630 271 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 413.29
Current children cumulated vsize (Kb) 4648

[startup+520.041 s]
Raw data (loadavg): 1.16 1.08 1.01 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 302 0 0 0 9367 1786 0 0 17 0 1 0 19748347 2580480 272 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 630 272 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 420.76
Current children cumulated vsize (Kb) 4648

[startup+530.042 s]
Raw data (loadavg): 1.13 1.08 1.00 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 303 0 0 0 9968 1911 0 0 17 0 1 0 19748347 2580480 273 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 630 273 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 428.02
Current children cumulated vsize (Kb) 4648

[startup+540.042 s]
Raw data (loadavg): 1.11 1.07 1.00 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 303 0 0 0 10615 2021 0 0 20 0 1 0 19748347 2580480 273 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 630 273 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 435.59
Current children cumulated vsize (Kb) 4648

[startup+550.043 s]
Raw data (loadavg): 1.10 1.07 1.00 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 308 0 0 0 11271 2135 0 0 18 0 1 0 19748347 2580480 278 4294967295 134512640 134702520 3221223712 3221222608 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4938/statm): 630 278 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 443.29
Current children cumulated vsize (Kb) 4648

[startup+560.044 s]
Raw data (loadavg): 1.08 1.07 1.00 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 309 0 0 0 11880 2270 0 0 18 0 1 0 19748347 2580480 279 4294967295 134512640 134702520 3221223712 3221222608 134553354 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4938/statm): 630 279 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 450.73
Current children cumulated vsize (Kb) 4648

[startup+570.044 s]
Raw data (loadavg): 1.07 1.06 1.00 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 310 0 0 0 12464 2406 0 0 19 0 1 0 19748347 2580480 280 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 630 280 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 457.93
Current children cumulated vsize (Kb) 4648

[startup+580.045 s]
Raw data (loadavg): 1.06 1.06 1.00 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 311 0 0 0 13189 2494 0 0 21 0 1 0 19748347 2580480 281 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 630 281 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 466.06
Current children cumulated vsize (Kb) 4648

[startup+590.046 s]
Raw data (loadavg): 1.05 1.06 1.00 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 314 0 0 0 13797 2625 0 0 19 0 1 0 19748347 2580480 284 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 630 284 413 48 0 582 0
[pid=4938] vsize: 2520
Current children cumulated CPU time (s) 473.45
Current children cumulated vsize (Kb) 4648

[startup+600.045 s]
Raw data (loadavg): 1.04 1.06 1.00 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 317 0 0 0 14411 2751 0 0 18 0 1 0 19748347 2707456 287 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 661 287 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 480.85
Current children cumulated vsize (Kb) 4772

[startup+610.047 s]
Raw data (loadavg): 1.03 1.05 1.00 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 318 0 0 0 15061 2865 0 0 20 0 1 0 19748347 2707456 288 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 661 288 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 488.49
Current children cumulated vsize (Kb) 4772

[startup+620.048 s]
Raw data (loadavg): 1.03 1.05 1.00 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 318 0 0 0 15747 2966 0 0 19 0 1 0 19748347 2707456 288 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4938/statm): 661 288 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 496.36
Current children cumulated vsize (Kb) 4772

[startup+630.048 s]
Raw data (loadavg): 1.10 1.07 1.01 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 372 0 0 0 16352 3102 0 0 18 0 1 0 19748347 2707456 342 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 661 342 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 503.77
Current children cumulated vsize (Kb) 4772

[startup+640.049 s]
Raw data (loadavg): 1.09 1.06 1.00 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 376 0 0 0 16954 3230 0 0 17 0 1 0 19748347 2707456 346 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 661 346 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 511.07
Current children cumulated vsize (Kb) 4772

[startup+650.049 s]
Raw data (loadavg): 1.07 1.06 1.00 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 377 0 0 0 17638 3337 0 0 20 0 1 0 19748347 2707456 347 4294967295 134512640 134702520 3221223712 3221222420 134549210 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4938/statm): 661 347 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 518.98
Current children cumulated vsize (Kb) 4772

[startup+660.049 s]
Raw data (loadavg): 1.06 1.06 1.00 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 390 0 0 0 18290 3454 0 0 18 0 1 0 19748347 2707456 360 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 661 360 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 526.67
Current children cumulated vsize (Kb) 4772

[startup+670.05 s]
Raw data (loadavg): 1.05 1.06 1.00 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 391 0 0 0 18925 3573 0 0 17 0 1 0 19748347 2707456 361 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 661 361 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 534.21
Current children cumulated vsize (Kb) 4772

[startup+680.052 s]
Raw data (loadavg): 1.12 1.07 1.01 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 392 0 0 0 19506 3710 0 0 17 0 1 0 19748347 2707456 362 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4938/statm): 661 362 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 541.39
Current children cumulated vsize (Kb) 4772

[startup+690.052 s]
Raw data (loadavg): 1.10 1.07 1.00 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 392 0 0 0 20241 3801 0 0 19 0 1 0 19748347 2707456 362 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 661 362 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 549.65
Current children cumulated vsize (Kb) 4772

[startup+700.052 s]
Raw data (loadavg): 1.24 1.10 1.01 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 393 0 0 0 20873 3920 0 0 18 0 1 0 19748347 2707456 363 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 661 363 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 557.16
Current children cumulated vsize (Kb) 4772

[startup+710.053 s]
Raw data (loadavg): 1.20 1.09 1.01 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 395 0 0 0 21474 4054 0 0 17 0 1 0 19748347 2707456 365 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 661 365 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 564.51
Current children cumulated vsize (Kb) 4772

[startup+720.053 s]
Raw data (loadavg): 1.24 1.11 1.02 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 396 0 0 0 22070 4189 0 0 18 0 1 0 19748347 2707456 366 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 661 366 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 571.82
Current children cumulated vsize (Kb) 4772

[startup+730.055 s]
Raw data (loadavg): 1.20 1.10 1.02 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 396 0 0 0 22804 4279 0 0 21 0 1 0 19748347 2707456 366 4294967295 134512640 134702520 3221223712 3221222352 134553330 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4938/statm): 661 366 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 580.06
Current children cumulated vsize (Kb) 4772

[startup+740.056 s]
Raw data (loadavg): 1.17 1.10 1.02 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 398 0 0 0 23424 4399 0 0 18 0 1 0 19748347 2707456 368 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 661 368 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 587.46
Current children cumulated vsize (Kb) 4772

[startup+750.057 s]
Raw data (loadavg): 1.22 1.11 1.02 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 400 0 0 0 24027 4531 0 0 18 0 1 0 19748347 2707456 370 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 661 370 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 594.81
Current children cumulated vsize (Kb) 4772

[startup+760.057 s]
Raw data (loadavg): 1.18 1.11 1.02 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 400 0 0 0 24634 4659 0 0 18 0 1 0 19748347 2707456 370 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 661 370 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 602.16
Current children cumulated vsize (Kb) 4772

[startup+770.058 s]
Raw data (loadavg): 1.16 1.10 1.02 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 400 0 0 0 25367 4744 0 0 20 0 1 0 19748347 2707456 370 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 661 370 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 610.34
Current children cumulated vsize (Kb) 4772

[startup+780.059 s]
Raw data (loadavg): 1.21 1.12 1.02 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 401 0 0 0 26012 4860 0 0 19 0 1 0 19748347 2707456 371 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 661 371 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 617.95
Current children cumulated vsize (Kb) 4772

[startup+790.059 s]
Raw data (loadavg): 1.25 1.13 1.03 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 401 0 0 0 26649 4972 0 0 18 0 1 0 19748347 2707456 371 4294967295 134512640 134702520 3221223712 3221222992 134554343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4938/statm): 661 371 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 625.44
Current children cumulated vsize (Kb) 4772

[startup+800.059 s]
Raw data (loadavg): 1.21 1.12 1.03 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 402 0 0 0 27258 5099 0 0 18 0 1 0 19748347 2707456 372 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 661 372 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 632.8
Current children cumulated vsize (Kb) 4772

[startup+810.06 s]
Raw data (loadavg): 1.18 1.12 1.03 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 403 0 0 0 27970 5197 0 0 20 0 1 0 19748347 2707456 373 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 661 373 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 640.9
Current children cumulated vsize (Kb) 4772

[startup+820.06 s]
Raw data (loadavg): 1.15 1.11 1.02 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 404 0 0 0 28620 5307 0 0 18 0 1 0 19748347 2707456 374 4294967295 134512640 134702520 3221223712 3221222992 134552698 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4938/statm): 661 374 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 648.5
Current children cumulated vsize (Kb) 4772

[startup+830.061 s]
Raw data (loadavg): 1.13 1.11 1.02 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 405 0 0 0 29255 5430 0 0 16 0 1 0 19748347 2707456 375 4294967295 134512640 134702520 3221223712 3221222608 134551042 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4938/statm): 661 375 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 656.08
Current children cumulated vsize (Kb) 4772

[startup+840.062 s]
Raw data (loadavg): 1.11 1.11 1.02 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 407 0 0 0 29862 5555 0 0 15 0 1 0 19748347 2707456 377 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 661 377 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 663.4
Current children cumulated vsize (Kb) 4772

[startup+850.062 s]
Raw data (loadavg): 1.09 1.10 1.02 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 408 0 0 0 30540 5665 0 0 16 0 1 0 19748347 2707456 378 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4938/statm): 661 378 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 671.28
Current children cumulated vsize (Kb) 4772

[startup+860.063 s]
Raw data (loadavg): 1.08 1.10 1.02 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 409 0 0 0 31239 5769 0 0 15 0 1 0 19748347 2707456 379 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 661 379 413 48 0 613 0
[pid=4938] vsize: 2644
Current children cumulated CPU time (s) 679.31
Current children cumulated vsize (Kb) 4772

[startup+870.064 s]
Raw data (loadavg): 1.06 1.10 1.02 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 667 0 0 0 31931 5874 0 0 15 0 1 0 19748347 3854336 637 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 941 637 413 48 0 893 0
[pid=4938] vsize: 3764
Current children cumulated CPU time (s) 687.28
Current children cumulated vsize (Kb) 5892

[startup+880.065 s]
Raw data (loadavg): 1.05 1.09 1.02 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 948 0 0 0 32725 5945 0 0 16 0 1 0 19748347 4894720 918 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 1195 918 413 48 0 1147 0
[pid=4938] vsize: 4780
Current children cumulated CPU time (s) 695.93
Current children cumulated vsize (Kb) 6908

[startup+890.066 s]
Raw data (loadavg): 1.05 1.09 1.02 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 1158 0 0 0 33563 6002 0 0 17 0 1 0 19748347 5767168 1128 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 1408 1128 413 48 0 1360 0
[pid=4938] vsize: 5632
Current children cumulated CPU time (s) 704.88
Current children cumulated vsize (Kb) 7760

[startup+900.066 s]
Raw data (loadavg): 1.04 1.08 1.02 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 1270 0 0 0 34418 6048 0 0 16 0 1 0 19748347 6320128 1240 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 1543 1240 413 48 0 1495 0
[pid=4938] vsize: 6172
Current children cumulated CPU time (s) 713.89
Current children cumulated vsize (Kb) 8300

[startup+910.067 s]
Raw data (loadavg): 1.03 1.08 1.02 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 1363 0 0 0 35198 6123 0 0 15 0 1 0 19748347 6701056 1333 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 1636 1333 413 48 0 1588 0
[pid=4938] vsize: 6544
Current children cumulated CPU time (s) 722.44
Current children cumulated vsize (Kb) 8672

[startup+920.068 s]
Raw data (loadavg): 1.03 1.08 1.01 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 1363 0 0 0 35966 6197 0 0 16 0 1 0 19748347 6701056 1333 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 1636 1333 413 48 0 1588 0
[pid=4938] vsize: 6544
Current children cumulated CPU time (s) 730.86
Current children cumulated vsize (Kb) 8672

[startup+930.069 s]
Raw data (loadavg): 1.02 1.08 1.01 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 1363 0 0 0 36743 6268 0 0 16 0 1 0 19748347 6701056 1333 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 1636 1333 413 48 0 1588 0
[pid=4938] vsize: 6544
Current children cumulated CPU time (s) 739.34
Current children cumulated vsize (Kb) 8672

[startup+940.071 s]
Raw data (loadavg): 1.10 1.09 1.02 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 1363 0 0 0 37543 6337 0 0 16 0 1 0 19748347 6701056 1333 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 1636 1333 413 48 0 1588 0
[pid=4938] vsize: 6544
Current children cumulated CPU time (s) 748.03
Current children cumulated vsize (Kb) 8672

[startup+950.071 s]
Raw data (loadavg): 1.08 1.09 1.02 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 1363 0 0 0 38379 6394 0 0 16 0 1 0 19748347 6701056 1333 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 1636 1333 413 48 0 1588 0
[pid=4938] vsize: 6544
Current children cumulated CPU time (s) 756.96
Current children cumulated vsize (Kb) 8672

[startup+960.073 s]
Raw data (loadavg): 1.07 1.08 1.02 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 1363 0 0 0 39244 6439 0 0 16 0 1 0 19748347 6701056 1333 4294967295 134512640 134702520 3221223712 3221222608 134557201 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4938/statm): 1636 1333 413 48 0 1588 0
[pid=4938] vsize: 6544
Current children cumulated CPU time (s) 766.06
Current children cumulated vsize (Kb) 8672

[startup+970.074 s]
Raw data (loadavg): 1.06 1.08 1.02 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 1363 0 0 0 40107 6488 0 0 17 0 1 0 19748347 6701056 1333 4294967295 134512640 134702520 3221223712 3221222992 134557470 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4938/statm): 1636 1333 413 48 0 1588 0
[pid=4938] vsize: 6544
Current children cumulated CPU time (s) 775.18
Current children cumulated vsize (Kb) 8672

[startup+980.074 s]
Raw data (loadavg): 1.05 1.08 1.01 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 1363 0 0 0 40977 6534 0 0 17 0 1 0 19748347 6701056 1333 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4938/statm): 1636 1333 413 48 0 1588 0
[pid=4938] vsize: 6544
Current children cumulated CPU time (s) 784.34
Current children cumulated vsize (Kb) 8672

[startup+990.075 s]
Raw data (loadavg): 1.12 1.09 1.02 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 1396 0 0 0 41803 6596 0 0 15 0 1 0 19748347 6811648 1366 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 1663 1366 413 48 0 1615 0
[pid=4938] vsize: 6652
Current children cumulated CPU time (s) 793.22
Current children cumulated vsize (Kb) 8780

[startup+1000.08 s]
Raw data (loadavg): 1.10 1.09 1.02 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 1396 0 0 0 42546 6683 0 0 15 0 1 0 19748347 6811648 1366 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4938/statm): 1663 1366 413 48 0 1615 0
[pid=4938] vsize: 6652
Current children cumulated CPU time (s) 801.52
Current children cumulated vsize (Kb) 8780

[startup+1010.08 s]
Raw data (loadavg): 1.09 1.08 1.02 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 1396 0 0 0 43346 6754 0 0 15 0 1 0 19748347 6811648 1366 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 1663 1366 413 48 0 1615 0
[pid=4938] vsize: 6652
Current children cumulated CPU time (s) 810.23
Current children cumulated vsize (Kb) 8780

[startup+1020.08 s]
Raw data (loadavg): 1.07 1.08 1.02 2/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) R 4933 4933 4005 0 -1 0 1396 0 0 0 44135 6828 0 0 16 0 1 0 19748347 6811648 1366 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4938/statm): 1663 1366 413 48 0 1615 0
[pid=4938] vsize: 6652
Current children cumulated CPU time (s) 818.86
Current children cumulated vsize (Kb) 8780

[startup+1030.08 s]
Raw data (loadavg): 1.06 1.08 1.01 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 1396 0 0 0 44959 6889 0 0 16 0 1 0 19748347 6811648 1366 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 1663 1366 413 48 0 1615 0
[pid=4938] vsize: 6652
Current children cumulated CPU time (s) 827.71
Current children cumulated vsize (Kb) 8780

[startup+1040.08 s]
Raw data (loadavg): 1.05 1.08 1.01 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 1396 0 0 0 45808 6941 0 0 16 0 1 0 19748347 6811648 1366 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 1663 1366 413 48 0 1615 0
[pid=4938] vsize: 6652
Current children cumulated CPU time (s) 836.72
Current children cumulated vsize (Kb) 8780

[startup+1050.08 s]
Raw data (loadavg): 1.04 1.07 1.01 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 1396 0 0 0 46655 6995 0 0 16 0 1 0 19748347 6811648 1366 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 1663 1366 413 48 0 1615 0
[pid=4938] vsize: 6652
Current children cumulated CPU time (s) 845.73
Current children cumulated vsize (Kb) 8780

[startup+1060.08 s]
Raw data (loadavg): 1.04 1.07 1.01 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 1396 0 0 0 47505 7042 0 0 17 0 1 0 19748347 6811648 1366 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4938/statm): 1663 1366 413 48 0 1615 0
[pid=4938] vsize: 6652
Current children cumulated CPU time (s) 854.7
Current children cumulated vsize (Kb) 8780

[startup+1070.08 s]
Raw data (loadavg): 1.03 1.07 1.01 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 1396 0 0 0 48280 7119 0 0 16 0 1 0 19748347 6811648 1366 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 1663 1366 413 48 0 1615 0
[pid=4938] vsize: 6652
Current children cumulated CPU time (s) 863.22
Current children cumulated vsize (Kb) 8780

[startup+1080.08 s]
Raw data (loadavg): 1.02 1.06 1.01 1/56 4938
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 378 788 0 0 1 2 27779 3141 18 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4938/stat): 4938 (vallst) T 4933 4933 4005 0 -1 0 1396 0 0 0 49091 7184 0 0 16 0 1 0 19748347 6811648 1366 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4938/statm): 1663 1366 413 48 0 1615 0
[pid=4938] vsize: 6652
Current children cumulated CPU time (s) 871.98
Current children cumulated vsize (Kb) 8780
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=4938) exited with status: 2
New process pid=4939
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=4939) exited with status: 0
New process pid=4940
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+1090.08 s]
Raw data (loadavg): 1.02 1.06 1.01 2/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) R 4933 4933 4005 0 -1 0 306 0 0 0 552 87 0 0 19 0 1 0 19819342 2568192 276 4294967295 134512640 134702520 3221223712 3221222828 134564368 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4940/statm): 627 276 413 48 0 579 0
[pid=4940] vsize: 2508
Current children cumulated CPU time (s) 880.06
Current children cumulated vsize (Kb) 4636

[startup+1100.08 s]
Raw data (loadavg): 1.02 1.06 1.01 2/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) R 4933 4933 4005 0 -1 0 308 0 0 0 1307 173 0 0 20 0 1 0 19819342 2568192 278 4294967295 134512640 134702520 3221223712 3221222720 134557211 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4940/statm): 627 278 413 48 0 579 0
[pid=4940] vsize: 2508
Current children cumulated CPU time (s) 888.47
Current children cumulated vsize (Kb) 4636

[startup+1110.09 s]
Raw data (loadavg): 1.09 1.07 1.01 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 353 0 0 0 1925 300 0 0 18 0 1 0 19819342 3600384 323 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4940/statm): 879 323 413 48 0 831 0
[pid=4940] vsize: 3516
Current children cumulated CPU time (s) 895.92
Current children cumulated vsize (Kb) 5644

[startup+1120.09 s]
Raw data (loadavg): 1.16 1.09 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 371 0 0 0 2463 449 0 0 17 0 1 0 19819342 3731456 341 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 911 341 413 48 0 863 0
[pid=4940] vsize: 3644
Current children cumulated CPU time (s) 902.79
Current children cumulated vsize (Kb) 5772

[startup+1130.09 s]
Raw data (loadavg): 1.13 1.08 1.02 2/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) R 4933 4933 4005 0 -1 0 372 0 0 0 3057 579 0 0 17 0 1 0 19819342 3731456 342 4294967295 134512640 134702520 3221223712 3221222608 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4940/statm): 911 342 413 48 0 863 0
[pid=4940] vsize: 3644
Current children cumulated CPU time (s) 910.03
Current children cumulated vsize (Kb) 5772

[startup+1140.09 s]
Raw data (loadavg): 1.11 1.08 1.01 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 373 0 0 0 3639 714 0 0 18 0 1 0 19819342 3731456 343 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4940/statm): 911 343 413 48 0 863 0
[pid=4940] vsize: 3644
Current children cumulated CPU time (s) 917.2
Current children cumulated vsize (Kb) 5772

[startup+1150.09 s]
Raw data (loadavg): 1.10 1.08 1.01 2/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) R 4933 4933 4005 0 -1 0 374 0 0 0 4186 863 0 0 18 0 1 0 19819342 3731456 344 4294967295 134512640 134702520 3221223712 3221222480 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4940/statm): 911 344 413 48 0 863 0
[pid=4940] vsize: 3644
Current children cumulated CPU time (s) 924.16
Current children cumulated vsize (Kb) 5772

[startup+1160.09 s]
Raw data (loadavg): 1.08 1.07 1.01 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 386 0 0 0 4776 997 0 0 18 0 1 0 19819342 3735552 356 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 912 356 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 931.4
Current children cumulated vsize (Kb) 5776

[startup+1170.09 s]
Raw data (loadavg): 1.07 1.07 1.01 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 389 0 0 0 5324 1144 0 0 18 0 1 0 19819342 3735552 359 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4940/statm): 912 359 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 938.35
Current children cumulated vsize (Kb) 5776

[startup+1180.09 s]
Raw data (loadavg): 1.06 1.07 1.01 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 389 0 0 0 5833 1301 0 0 17 0 1 0 19819342 3735552 359 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4940/statm): 912 359 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 945.01
Current children cumulated vsize (Kb) 5776

[startup+1190.09 s]
Raw data (loadavg): 1.05 1.07 1.01 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 391 0 0 0 6389 1441 0 0 17 0 1 0 19819342 3735552 361 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4940/statm): 912 361 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 951.97
Current children cumulated vsize (Kb) 5776

[startup+1200.09 s]
Raw data (loadavg): 1.04 1.06 1.01 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 448 0 0 0 6954 1581 0 0 18 0 1 0 19819342 3735552 418 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 912 418 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 959.02
Current children cumulated vsize (Kb) 5776

[startup+1210.09 s]
Raw data (loadavg): 1.11 1.08 1.01 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 449 0 0 0 7481 1733 0 0 18 0 1 0 19819342 3735552 419 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 912 419 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 965.81
Current children cumulated vsize (Kb) 5776

[startup+1220.09 s]
Raw data (loadavg): 1.09 1.07 1.01 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 451 0 0 0 8038 1878 0 0 17 0 1 0 19819342 3735552 421 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 912 421 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 972.83
Current children cumulated vsize (Kb) 5776

[startup+1230.09 s]
Raw data (loadavg): 1.08 1.07 1.01 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 452 0 0 0 8572 2031 0 0 17 0 1 0 19819342 3735552 422 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4940/statm): 912 422 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 979.7
Current children cumulated vsize (Kb) 5776

[startup+1240.1 s]
Raw data (loadavg): 1.14 1.08 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 454 0 0 0 9121 2183 0 0 18 0 1 0 19819342 3735552 424 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4940/statm): 912 424 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 986.71
Current children cumulated vsize (Kb) 5776

[startup+1250.09 s]
Raw data (loadavg): 1.12 1.08 1.01 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 454 0 0 0 9683 2324 0 0 18 0 1 0 19819342 3735552 424 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4940/statm): 912 424 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 993.74
Current children cumulated vsize (Kb) 5776

[startup+1260.1 s]
Raw data (loadavg): 1.10 1.08 1.01 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 455 0 0 0 10218 2481 0 0 17 0 1 0 19819342 3735552 425 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 912 425 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 1000.66
Current children cumulated vsize (Kb) 5776

[startup+1270.1 s]
Raw data (loadavg): 1.08 1.08 1.01 2/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) R 4933 4933 4005 0 -1 0 457 0 0 0 10772 2626 0 0 18 0 1 0 19819342 3735552 427 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4940/statm): 912 427 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 1007.65
Current children cumulated vsize (Kb) 5776

[startup+1280.1 s]
Raw data (loadavg): 1.15 1.09 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 457 0 0 0 11334 2772 0 0 17 0 1 0 19819342 3735552 427 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 912 427 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 1014.73
Current children cumulated vsize (Kb) 5776

[startup+1290.1 s]
Raw data (loadavg): 1.20 1.10 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 459 0 0 0 11890 2918 0 0 17 0 1 0 19819342 3735552 429 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 912 429 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 1021.75
Current children cumulated vsize (Kb) 5776

[startup+1300.1 s]
Raw data (loadavg): 1.17 1.10 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 459 0 0 0 12451 3058 0 0 18 0 1 0 19819342 3735552 429 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 912 429 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 1028.76
Current children cumulated vsize (Kb) 5776

[startup+1310.1 s]
Raw data (loadavg): 1.14 1.09 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 460 0 0 0 13038 3198 0 0 18 0 1 0 19819342 3735552 430 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4940/statm): 912 430 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 1036.03
Current children cumulated vsize (Kb) 5776

[startup+1320.1 s]
Raw data (loadavg): 1.12 1.09 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 461 0 0 0 13604 3341 0 0 18 0 1 0 19819342 3735552 431 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4940/statm): 912 431 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 1043.12
Current children cumulated vsize (Kb) 5776

[startup+1330.1 s]
Raw data (loadavg): 1.10 1.09 1.02 2/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) R 4933 4933 4005 0 -1 0 461 0 0 0 14155 3495 0 0 17 0 1 0 19819342 3735552 431 4294967295 134512640 134702520 3221223712 3221222480 134553342 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4940/statm): 912 431 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 1050.17
Current children cumulated vsize (Kb) 5776

[startup+1340.1 s]
Raw data (loadavg): 1.08 1.08 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 462 0 0 0 14770 3620 0 0 17 0 1 0 19819342 3735552 432 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 912 432 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 1057.57
Current children cumulated vsize (Kb) 5776

[startup+1350.1 s]
Raw data (loadavg): 1.07 1.08 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 462 0 0 0 15337 3764 0 0 18 0 1 0 19819342 3735552 432 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 912 432 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 1064.68
Current children cumulated vsize (Kb) 5776

[startup+1360.11 s]
Raw data (loadavg): 1.13 1.09 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 464 0 0 0 15901 3911 0 0 17 0 1 0 19819342 3735552 434 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4940/statm): 912 434 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 1071.79
Current children cumulated vsize (Kb) 5776

[startup+1370.11 s]
Raw data (loadavg): 1.11 1.09 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 465 0 0 0 16483 4052 0 0 18 0 1 0 19819342 3735552 435 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 912 435 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 1079.02
Current children cumulated vsize (Kb) 5776

[startup+1380.11 s]
Raw data (loadavg): 1.10 1.09 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 481 0 0 0 17076 4187 0 0 17 0 1 0 19819342 3735552 451 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 912 451 413 48 0 864 0
[pid=4940] vsize: 3648
Current children cumulated CPU time (s) 1086.3
Current children cumulated vsize (Kb) 5776

[startup+1390.11 s]
Raw data (loadavg): 1.08 1.08 1.02 2/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) R 4933 4933 4005 0 -1 0 542 0 0 0 17662 4323 0 0 18 0 1 0 19819342 3862528 512 4294967295 134512640 134702520 3221223712 3221222992 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4940/statm): 943 512 413 48 0 895 0
[pid=4940] vsize: 3772
Current children cumulated CPU time (s) 1093.52
Current children cumulated vsize (Kb) 5900

[startup+1400.11 s]
Raw data (loadavg): 1.07 1.08 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 545 0 0 0 18211 4471 0 0 17 0 1 0 19819342 3862528 515 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 943 515 413 48 0 895 0
[pid=4940] vsize: 3772
Current children cumulated CPU time (s) 1100.49
Current children cumulated vsize (Kb) 5900

[startup+1410.11 s]
Raw data (loadavg): 1.06 1.08 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 545 0 0 0 18832 4594 0 0 18 0 1 0 19819342 3862528 515 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 943 515 413 48 0 895 0
[pid=4940] vsize: 3772
Current children cumulated CPU time (s) 1107.93
Current children cumulated vsize (Kb) 5900

[startup+1420.11 s]
Raw data (loadavg): 1.05 1.07 1.01 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 551 0 0 0 19402 4732 0 0 18 0 1 0 19819342 3862528 521 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 943 521 413 48 0 895 0
[pid=4940] vsize: 3772
Current children cumulated CPU time (s) 1115.01
Current children cumulated vsize (Kb) 5900

[startup+1430.11 s]
Raw data (loadavg): 1.04 1.07 1.01 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 552 0 0 0 19971 4878 0 0 18 0 1 0 19819342 3862528 522 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 943 522 413 48 0 895 0
[pid=4940] vsize: 3772
Current children cumulated CPU time (s) 1122.16
Current children cumulated vsize (Kb) 5900

[startup+1440.11 s]
Raw data (loadavg): 1.11 1.09 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 552 0 0 0 20518 5027 0 0 15 0 1 0 19819342 3862528 522 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4940/statm): 943 522 413 48 0 895 0
[pid=4940] vsize: 3772
Current children cumulated CPU time (s) 1129.12
Current children cumulated vsize (Kb) 5900

[startup+1450.11 s]
Raw data (loadavg): 1.09 1.08 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 558 0 0 0 21126 5163 0 0 15 0 1 0 19819342 3862528 528 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 943 528 413 48 0 895 0
[pid=4940] vsize: 3772
Current children cumulated CPU time (s) 1136.56
Current children cumulated vsize (Kb) 5900

[startup+1460.11 s]
Raw data (loadavg): 1.08 1.08 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 559 0 0 0 21701 5299 0 0 15 0 1 0 19819342 3862528 529 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 943 529 413 48 0 895 0
[pid=4940] vsize: 3772
Current children cumulated CPU time (s) 1143.67
Current children cumulated vsize (Kb) 5900

[startup+1470.11 s]
Raw data (loadavg): 1.06 1.08 1.01 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 582 0 0 0 22282 5429 0 0 15 0 1 0 19819342 3862528 552 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 943 552 413 48 0 895 0
[pid=4940] vsize: 3772
Current children cumulated CPU time (s) 1150.78
Current children cumulated vsize (Kb) 5900

[startup+1480.11 s]
Raw data (loadavg): 1.05 1.07 1.01 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 636 0 0 0 22844 5570 0 0 15 0 1 0 19819342 3862528 606 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 943 606 413 48 0 895 0
[pid=4940] vsize: 3772
Current children cumulated CPU time (s) 1157.81
Current children cumulated vsize (Kb) 5900

[startup+1490.12 s]
Raw data (loadavg): 1.12 1.09 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 637 0 0 0 23452 5703 0 0 16 0 1 0 19819342 3862528 607 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 943 607 413 48 0 895 0
[pid=4940] vsize: 3772
Current children cumulated CPU time (s) 1165.22
Current children cumulated vsize (Kb) 5900

[startup+1500.11 s]
Raw data (loadavg): 1.10 1.08 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 638 0 0 0 24019 5846 0 0 15 0 1 0 19819342 3862528 608 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4940/statm): 943 608 413 48 0 895 0
[pid=4940] vsize: 3772
Current children cumulated CPU time (s) 1172.32
Current children cumulated vsize (Kb) 5900

[startup+1510.12 s]
Raw data (loadavg): 1.08 1.08 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 638 0 0 0 24591 5990 0 0 15 0 1 0 19819342 3862528 608 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 943 608 413 48 0 895 0
[pid=4940] vsize: 3772
Current children cumulated CPU time (s) 1179.48
Current children cumulated vsize (Kb) 5900

[startup+1520.12 s]
Raw data (loadavg): 1.15 1.09 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 639 0 0 0 25160 6133 0 0 15 0 1 0 19819342 3862528 609 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4940/statm): 943 609 413 48 0 895 0
[pid=4940] vsize: 3772
Current children cumulated CPU time (s) 1186.6
Current children cumulated vsize (Kb) 5900

[startup+1530.12 s]
Raw data (loadavg): 1.13 1.09 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 640 0 0 0 25767 6267 0 0 16 0 1 0 19819342 3862528 610 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4940/statm): 943 610 413 48 0 895 0
[pid=4940] vsize: 3772
Current children cumulated CPU time (s) 1194.01
Current children cumulated vsize (Kb) 5900

[startup+1540.12 s]
Raw data (loadavg): 1.18 1.10 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 641 0 0 0 26362 6400 0 0 16 0 1 0 19819342 3862528 611 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4940/statm): 943 611 413 48 0 895 0
[pid=4940] vsize: 3772
Current children cumulated CPU time (s) 1201.29
Current children cumulated vsize (Kb) 5900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1540.12 s]
Raw data (loadavg): 1.18 1.10 1.02 1/56 4940
Raw data (/proc/4933/stat): 4933 (vallstSAT2005PB) S 4932 4933 4005 0 -1 0 417 2328 0 0 1 2 77029 10335 17 0 1 0 19711131 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4933/statm): 532 248 485 147 0 385 0
[pid=4933] vsize: 2128
Raw data (/proc/4940/stat): 4940 (vallst) T 4933 4933 4005 0 -1 0 641 0 0 0 26362 6400 0 0 16 0 1 0 19819342 3862528 611 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4940/statm): 943 611 413 48 0 895 0
[pid=4940] vsize: 3772
Current children cumulated CPU time (s) 1201.29
Current children cumulated vsize (Kb) 5900

Sending SIGTERM to -4933
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=4942
New process pid=4943
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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
One traced child (pid=4940) exited with status: 3
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/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/3987/stat
open syscall for file /proc/3987/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/3987/cmdline
open syscall for file /proc/3987/environ
open syscall for file /proc/4013/stat
open syscall for file /proc/4013/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/4013/cmdline
open syscall for file /proc/4013/environ
open syscall for file /proc/4894/stat
open syscall for file /proc/4894/status
open syscall for file /proc/4894/cmdline
open syscall for file /proc/4894/environ
open syscall for file /proc/4932/stat
open syscall for file /proc/4932/status
open syscall for file /proc/4932/cmdline
open syscall for file /proc/4932/environ
open syscall for file /proc/4933/stat
open syscall for file /proc/4933/status
open syscall for file /proc/4933/cmdline
open syscall for file /proc/4933/environ
open syscall for file /proc/4942/stat
open syscall for file /proc/4942/status
open syscall for file /proc/4942/cmdline
open syscall for file /proc/4942/environ
open syscall for file /proc/4943/stat
open syscall for file /proc/4943/status
open syscall for file /proc/4943/cmdline
open syscall for file /proc/4943/environ
One traced child (pid=4942) exited with status: 0
One traced child (pid=4943) exited with status: 0
New process pid=4944
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=4944) exited with status: 0
New process pid=4945
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=4945) exited with status: 0
One traced child (pid=4933) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1540.6
CPU time (s): 1201.42
CPU user time (s): 1033.96
CPU system time (s): 167.458
CPU usage (%): 77.9838
Max. virtual memory (cumulated for all children) (Kb): 8780

Verifier Data

ERROR: no interpretation found !