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-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos12.opb
MD5SUM4968ba84d5c370c0dd8f5e6c6068a443
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 11140072448
Optimality of the best value was proved NO
Number of terms in the objective function 13440
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 481036336704
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 481036336704
Number of bits of the biggest sum of numbers39
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1208.39
Number of variables22960
Total number of constraints11747
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)3136
Number of constraints which are nor clauses,nor cardinality constraints8611
Minimum length of a constraint1
Maximum length of a constraint840

Trace number 9045

Launcher Data

LAUNCH ON wulflinc32 THE 2005-09-23 10:36:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7751 boxname=wulflinc32 idbench=719 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4968ba84d5c370c0dd8f5e6c6068a443  /oldhome/oroussel/tmp/wulflinc32/normalized-mps-v2-20-10-neos12.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc32/normalized-mps-v2-20-10-neos12.opb 0
IDLAUNCH: 7751
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.145
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.145
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	: 901.12

/proc/meminfo:
MemTotal:      1034724 kB
MemFree:        947436 kB
Buffers:          9220 kB
Cached:          60752 kB
SwapCached:          0 kB
Active:          44940 kB
Inactive:        27980 kB
HighTotal:      131072 kB
HighFree:        65856 kB
LowTotal:       903652 kB
LowFree:        881580 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              60 kB
Writeback:           0 kB
Mapped:           6968 kB
Slab:             8736 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 11:01:34 (client local time) WITH STATUS 3 IN 529.678 SECONDS
stats: 7751 7 529.678 3

Solver Data

1:
seed: 0
Nr of vars set: 854  (#equs: 0)
Nr of vars set: 854  (#equs: 42)
#decisions: 3868366;  #end-nodes: 64964;
#proof improvement attempts: 0;  #restarts: 384
Current batch, end-nodes: 0 / 185 (175)
#axs: 9315, #non-axs: 13260
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: 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: 855  (#equs: 128)
Time taken: 6 min, 23 sec

2:
seed: 0
Nr of vars set: 864  (#equs: 0)
Nr of vars set: 864  (#equs: 17)
#decisions: 2609534;  #end-nodes: 51260;
#proof improvement attempts: 0;  #restarts: 288
Current batch, end-nodes: 0 / 210 (191)
#axs: 9239, #non-axs: 15525
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: 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: 868  (#equs: 54)
Time taken: 4 min, 46 sec

3:

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

seed: 0
Nr of vars set: 868  (#equs: 0)
Nr of vars set: 868  (#equs: 4)
Interupt request received.
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 874  (#equs: 50)
Time taken: 8 min, 48 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/4560/stat): 4560 (vallstSAT2005PB) R 4559 4560 4005 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19474328 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4560/statm): 174 3 169 147 0 27 0
[pid=4560] 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=4561
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=4561) exited with status: 0
New process pid=4562
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=4562) exited with status: 0
New process pid=4563
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/wulflinc32/normalized-mps-v2-20-10-neos12.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0033 s]
Raw data (loadavg): 0.94 0.98 0.91 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 1904 0 0 0 871 45 0 0 25 0 1 0 19474335 10211328 1808 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 2493 1808 413 48 0 2445 0
[pid=4563] vsize: 9972
Current children cumulated CPU time (s) 9.18
Current children cumulated vsize (Kb) 12100

[startup+20.005 s]
Raw data (loadavg): 0.95 0.98 0.91 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 1904 0 0 0 1806 66 0 0 25 0 1 0 19474335 10211328 1808 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 2493 1808 413 48 0 2445 0
[pid=4563] vsize: 9972
Current children cumulated CPU time (s) 18.74
Current children cumulated vsize (Kb) 12100

[startup+30.0058 s]
Raw data (loadavg): 1.03 1.00 0.91 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 1952 0 0 0 2365 210 0 0 16 0 1 0 19474335 20910080 1856 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5105 1856 413 48 0 5057 0
[pid=4563] vsize: 20420
Current children cumulated CPU time (s) 25.77
Current children cumulated vsize (Kb) 22548

[startup+40.0065 s]
Raw data (loadavg): 1.03 1.00 0.91 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 1960 0 0 0 2960 339 0 0 16 0 1 0 19474335 20910080 1864 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4563/statm): 5105 1864 413 48 0 5057 0
[pid=4563] vsize: 20420
Current children cumulated CPU time (s) 33.01
Current children cumulated vsize (Kb) 22548

[startup+50.0073 s]
Raw data (loadavg): 1.02 1.00 0.91 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 1964 0 0 0 3560 471 0 0 16 0 1 0 19474335 20910080 1868 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4563/statm): 5105 1868 413 48 0 5057 0
[pid=4563] vsize: 20420
Current children cumulated CPU time (s) 40.33
Current children cumulated vsize (Kb) 22548

[startup+60.008 s]
Raw data (loadavg): 1.02 1.00 0.91 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 1968 0 0 0 4141 611 0 0 16 0 1 0 19474335 20910080 1872 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5105 1872 413 48 0 5057 0
[pid=4563] vsize: 20420
Current children cumulated CPU time (s) 47.54
Current children cumulated vsize (Kb) 22548

[startup+70.0088 s]
Raw data (loadavg): 1.01 1.00 0.91 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 1978 0 0 0 4691 758 0 0 16 0 1 0 19474335 20910080 1882 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4563/statm): 5105 1882 413 48 0 5057 0
[pid=4563] vsize: 20420
Current children cumulated CPU time (s) 54.51
Current children cumulated vsize (Kb) 22548

[startup+80.0095 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) R 4560 4560 4005 0 -1 0 1983 0 0 0 5288 884 0 0 16 0 1 0 19474335 20910080 1887 4294967295 134512640 134702520 3221223952 3221223232 134553404 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5105 1887 413 48 0 5057 0
[pid=4563] vsize: 20420
Current children cumulated CPU time (s) 61.74
Current children cumulated vsize (Kb) 22548

[startup+90.0093 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) R 4560 4560 4005 0 -1 0 1994 0 0 0 5894 1012 0 0 16 0 1 0 19474335 20910080 1898 4294967295 134512640 134702520 3221223952 3221222976 134553147 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4563/statm): 5105 1898 413 48 0 5057 0
[pid=4563] vsize: 20420
Current children cumulated CPU time (s) 69.08
Current children cumulated vsize (Kb) 22548

[startup+100.01 s]
Raw data (loadavg): 1.01 1.00 0.91 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2003 0 0 0 6453 1158 0 0 16 0 1 0 19474335 20910080 1907 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5105 1907 413 48 0 5057 0
[pid=4563] vsize: 20420
Current children cumulated CPU time (s) 76.13
Current children cumulated vsize (Kb) 22548

[startup+110.011 s]
Raw data (loadavg): 1.01 1.00 0.91 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2012 0 0 0 7079 1282 0 0 15 0 1 0 19474335 20910080 1916 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4563/statm): 5105 1916 413 48 0 5057 0
[pid=4563] vsize: 20420
Current children cumulated CPU time (s) 83.63
Current children cumulated vsize (Kb) 22548

[startup+120.013 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2025 0 0 0 7702 1405 0 0 15 0 1 0 19474335 20910080 1929 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5105 1929 413 48 0 5057 0
[pid=4563] vsize: 20420
Current children cumulated CPU time (s) 91.09
Current children cumulated vsize (Kb) 22548

[startup+130.013 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) R 4560 4560 4005 0 -1 0 2027 0 0 0 8562 1450 0 0 20 0 1 0 19474335 20910080 1931 4294967295 134512640 134702520 3221223952 3221222848 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5105 1931 413 48 0 5057 0
[pid=4563] vsize: 20420
Current children cumulated CPU time (s) 100.14
Current children cumulated vsize (Kb) 22548

[startup+140.013 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2027 0 0 0 9417 1495 0 0 15 0 1 0 19474335 20910080 1931 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4563/statm): 5105 1931 413 48 0 5057 0
[pid=4563] vsize: 20420
Current children cumulated CPU time (s) 109.14
Current children cumulated vsize (Kb) 22548

[startup+150.014 s]
Raw data (loadavg): 1.08 1.02 0.92 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) R 4560 4560 4005 0 -1 0 2027 0 0 0 9931 1655 0 0 15 0 1 0 19474335 20910080 1931 4294967295 134512640 134702520 3221223952 3221223352 134607256 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5105 1931 413 48 0 5057 0
[pid=4563] vsize: 20420
Current children cumulated CPU time (s) 115.88
Current children cumulated vsize (Kb) 22548

[startup+160.016 s]
Raw data (loadavg): 1.07 1.02 0.92 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) R 4560 4560 4005 0 -1 0 2028 0 0 0 10504 1789 0 0 15 0 1 0 19474335 20914176 1932 4294967295 134512640 134702520 3221223952 3221223352 134606953 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4563/statm): 5106 1932 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 122.95
Current children cumulated vsize (Kb) 22552

[startup+170.016 s]
Raw data (loadavg): 1.06 1.01 0.92 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2028 0 0 0 11064 1933 0 0 16 0 1 0 19474335 20914176 1932 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4563/statm): 5106 1932 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 22552

[startup+180.017 s]
Raw data (loadavg): 1.05 1.01 0.92 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2028 0 0 0 11602 2086 0 0 16 0 1 0 19474335 20914176 1932 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4563/statm): 5106 1932 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 136.9
Current children cumulated vsize (Kb) 22552

[startup+190.018 s]
Raw data (loadavg): 1.04 1.01 0.92 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) R 4560 4560 4005 0 -1 0 2028 0 0 0 12177 2226 0 0 16 0 1 0 19474335 20914176 1932 4294967295 134512640 134702520 3221223952 3221222976 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5106 1932 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 144.05
Current children cumulated vsize (Kb) 22552

[startup+200.019 s]
Raw data (loadavg): 1.03 1.01 0.92 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) R 4560 4560 4005 0 -1 0 2028 0 0 0 12795 2352 0 0 16 0 1 0 19474335 20914176 1932 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5106 1932 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 151.49
Current children cumulated vsize (Kb) 22552

[startup+210.019 s]
Raw data (loadavg): 1.03 1.01 0.92 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2028 0 0 0 13437 2464 0 0 16 0 1 0 19474335 20914176 1932 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5106 1932 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 159.03
Current children cumulated vsize (Kb) 22552

[startup+220.021 s]
Raw data (loadavg): 1.02 1.01 0.92 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2032 0 0 0 14043 2589 0 0 15 0 1 0 19474335 20914176 1936 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4563/statm): 5106 1936 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 166.34
Current children cumulated vsize (Kb) 22552

[startup+230.022 s]
Raw data (loadavg): 1.02 1.01 0.92 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2039 0 0 0 14623 2726 0 0 16 0 1 0 19474335 20914176 1943 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5106 1943 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 173.51
Current children cumulated vsize (Kb) 22552

[startup+240.023 s]
Raw data (loadavg): 1.02 1.01 0.92 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) R 4560 4560 4005 0 -1 0 2051 0 0 0 15199 2858 0 0 16 0 1 0 19474335 20914176 1955 4294967295 134512640 134702520 3221223952 3221223232 134553816 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5106 1955 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 180.59
Current children cumulated vsize (Kb) 22552

[startup+250.023 s]
Raw data (loadavg): 1.01 1.01 0.92 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2053 0 0 0 16025 2917 0 0 20 0 1 0 19474335 20914176 1957 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5106 1957 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 189.44
Current children cumulated vsize (Kb) 22552

[startup+260.024 s]
Raw data (loadavg): 1.01 1.01 0.92 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2053 0 0 0 16919 2950 0 0 15 0 1 0 19474335 20914176 1957 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5106 1957 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 198.71
Current children cumulated vsize (Kb) 22552

[startup+270.025 s]
Raw data (loadavg): 1.01 1.00 0.92 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2053 0 0 0 17432 3108 0 0 15 0 1 0 19474335 20914176 1957 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4563/statm): 5106 1957 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 205.42
Current children cumulated vsize (Kb) 22552

[startup+280.026 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) R 4560 4560 4005 0 -1 0 2053 0 0 0 17994 3253 0 0 16 0 1 0 19474335 20914176 1957 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4563/statm): 5106 1957 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 212.49
Current children cumulated vsize (Kb) 22552

[startup+290.025 s]
Raw data (loadavg): 1.08 1.02 0.92 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2053 0 0 0 18520 3408 0 0 15 0 1 0 19474335 20914176 1957 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5106 1957 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 219.3
Current children cumulated vsize (Kb) 22552

[startup+300.026 s]
Raw data (loadavg): 1.15 1.03 0.93 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2053 0 0 0 19085 3548 0 0 16 0 1 0 19474335 20914176 1957 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4563/statm): 5106 1957 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 226.35
Current children cumulated vsize (Kb) 22552

[startup+310.027 s]
Raw data (loadavg): 1.12 1.03 0.93 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2053 0 0 0 19692 3680 0 0 16 0 1 0 19474335 20914176 1957 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4563/statm): 5106 1957 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 233.74
Current children cumulated vsize (Kb) 22552

[startup+320.028 s]
Raw data (loadavg): 1.10 1.03 0.93 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) R 4560 4560 4005 0 -1 0 2053 0 0 0 20287 3811 0 0 16 0 1 0 19474335 20914176 1957 4294967295 134512640 134702520 3221223952 3221222976 134553816 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5106 1957 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 241
Current children cumulated vsize (Kb) 22552

[startup+330.029 s]
Raw data (loadavg): 1.09 1.03 0.93 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2053 0 0 0 20876 3947 0 0 15 0 1 0 19474335 20914176 1957 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5106 1957 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 248.25
Current children cumulated vsize (Kb) 22552

[startup+340.029 s]
Raw data (loadavg): 1.07 1.03 0.93 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) R 4560 4560 4005 0 -1 0 2072 0 0 0 21513 4066 0 0 16 0 1 0 19474335 20914176 1976 4294967295 134512640 134702520 3221223952 3221223344 134604994 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5106 1976 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 255.81
Current children cumulated vsize (Kb) 22552

[startup+350.03 s]
Raw data (loadavg): 1.13 1.04 0.93 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) R 4560 4560 4005 0 -1 0 2104 0 0 0 22078 4211 0 0 16 0 1 0 19474335 20914176 2008 4294967295 134512640 134702520 3221223952 3221223232 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5106 2008 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 262.91
Current children cumulated vsize (Kb) 22552

[startup+360.031 s]
Raw data (loadavg): 1.11 1.04 0.93 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2125 0 0 0 22742 4322 0 0 15 0 1 0 19474335 20914176 2028 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5106 2028 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 270.66
Current children cumulated vsize (Kb) 22552

[startup+370.033 s]
Raw data (loadavg): 1.10 1.04 0.93 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2160 0 0 0 23409 4434 0 0 16 0 1 0 19474335 20914176 2063 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5106 2063 413 48 0 5058 0
[pid=4563] vsize: 20424
Current children cumulated CPU time (s) 278.45
Current children cumulated vsize (Kb) 22552

[startup+380.034 s]
Raw data (loadavg): 1.08 1.04 0.93 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2161 0 0 0 24297 4472 0 0 20 0 1 0 19474335 21102592 2064 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5152 2064 413 48 0 5104 0
[pid=4563] vsize: 20608
Current children cumulated CPU time (s) 287.71
Current children cumulated vsize (Kb) 22736

[startup+390.033 s]
Raw data (loadavg): 1.07 1.04 0.93 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2161 0 0 0 25131 4526 0 0 15 0 1 0 19474335 20922368 2063 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5108 2063 413 48 0 5060 0
[pid=4563] vsize: 20432
Current children cumulated CPU time (s) 296.59
Current children cumulated vsize (Kb) 22560

[startup+400.034 s]
Raw data (loadavg): 1.06 1.03 0.93 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2161 0 0 0 25704 4666 0 0 16 0 1 0 19474335 20922368 2063 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5108 2063 413 48 0 5060 0
[pid=4563] vsize: 20432
Current children cumulated CPU time (s) 303.72
Current children cumulated vsize (Kb) 22560

[startup+410.035 s]
Raw data (loadavg): 1.12 1.05 0.94 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2162 0 0 0 26354 4782 0 0 16 0 1 0 19474335 20922368 2064 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5108 2064 413 48 0 5060 0
[pid=4563] vsize: 20432
Current children cumulated CPU time (s) 311.38
Current children cumulated vsize (Kb) 22560

[startup+420.037 s]
Raw data (loadavg): 1.10 1.05 0.94 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2163 0 0 0 27001 4899 0 0 15 0 1 0 19474335 21106688 2065 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5153 2065 413 48 0 5105 0
[pid=4563] vsize: 20612
Current children cumulated CPU time (s) 319.02
Current children cumulated vsize (Kb) 22740

[startup+430.037 s]
Raw data (loadavg): 1.17 1.06 0.95 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) R 4560 4560 4005 0 -1 0 2164 0 0 0 27614 5027 0 0 15 0 1 0 19474335 21016576 2065 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4563/statm): 5131 2065 413 48 0 5083 0
[pid=4563] vsize: 20524
Current children cumulated CPU time (s) 326.43
Current children cumulated vsize (Kb) 22652

[startup+440.037 s]
Raw data (loadavg): 1.14 1.06 0.95 2/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) R 4560 4560 4005 0 -1 0 2171 0 0 0 28332 5122 0 0 16 0 1 0 19474335 21016576 2072 4294967295 134512640 134702520 3221223952 3221223352 134606948 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4563/statm): 5131 2072 413 48 0 5083 0
[pid=4563] vsize: 20524
Current children cumulated CPU time (s) 334.56
Current children cumulated vsize (Kb) 22652

[startup+450.038 s]
Raw data (loadavg): 1.12 1.06 0.95 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2216 0 0 0 28980 5233 0 0 15 0 1 0 19474335 21016576 2117 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5131 2117 413 48 0 5083 0
[pid=4563] vsize: 20524
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (Kb) 22652

[startup+460.039 s]
Raw data (loadavg): 1.10 1.05 0.95 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2249 0 0 0 29724 5324 0 0 15 0 1 0 19474335 21016576 2150 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4563/statm): 5131 2150 413 48 0 5083 0
[pid=4563] vsize: 20524
Current children cumulated CPU time (s) 350.5
Current children cumulated vsize (Kb) 22652

[startup+470.041 s]
Raw data (loadavg): 1.08 1.05 0.95 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2281 0 0 0 30398 5425 0 0 16 0 1 0 19474335 21143552 2182 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5162 2182 413 48 0 5114 0
[pid=4563] vsize: 20648
Current children cumulated CPU time (s) 358.25
Current children cumulated vsize (Kb) 22776

[startup+480.042 s]
Raw data (loadavg): 1.07 1.05 0.95 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2324 0 0 0 31084 5526 0 0 16 0 1 0 19474335 21143552 2225 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5162 2225 413 48 0 5114 0
[pid=4563] vsize: 20648
Current children cumulated CPU time (s) 366.12
Current children cumulated vsize (Kb) 22776

[startup+490.041 s]
Raw data (loadavg): 1.06 1.05 0.95 1/56 4563
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 19474328 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 242 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4563/stat): 4563 (vallst) T 4560 4560 4005 0 -1 0 2334 0 0 0 31959 5571 0 0 21 0 1 0 19474335 21278720 2235 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4563/statm): 5195 2235 413 48 0 5147 0
[pid=4563] vsize: 20780
Current children cumulated CPU time (s) 375.32
Current children cumulated vsize (Kb) 22908
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=4563) exited with status: 2
New process pid=4564
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=4564) exited with status: 0
New process pid=4565
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+500.043 s]
Raw data (loadavg): 1.05 1.05 0.95 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 147 0 0 0 69 2 0 0 25 0 1 0 19524263 1859584 118 4294967295 134512640 134702520 3221223712 3221223188 1074898590 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4565/statm): 454 118 413 48 0 406 0
[pid=4565] vsize: 1816
Current children cumulated CPU time (s) 385
Current children cumulated vsize (Kb) 3944

[startup+510.043 s]
Raw data (loadavg): 1.04 1.04 0.95 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) R 4560 4560 4005 0 -1 0 1852 0 0 0 954 46 0 0 25 0 1 0 19524263 10620928 1822 4294967295 134512640 134702520 3221223712 3221222848 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4565/statm): 2593 1822 413 48 0 2545 0
[pid=4565] vsize: 10372
Current children cumulated CPU time (s) 394.29
Current children cumulated vsize (Kb) 12500

[startup+520.044 s]
Raw data (loadavg): 1.03 1.04 0.95 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) R 4560 4560 4005 0 -1 0 1908 0 0 0 1860 78 0 0 19 0 1 0 19524263 22163456 1878 4294967295 134512640 134702520 3221223712 3221222960 134564365 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5411 1878 413 48 0 5363 0
[pid=4565] vsize: 21644
Current children cumulated CPU time (s) 403.67
Current children cumulated vsize (Kb) 23772

[startup+530.045 s]
Raw data (loadavg): 1.03 1.04 0.95 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) R 4560 4560 4005 0 -1 0 1954 0 0 0 2545 179 0 0 22 0 1 0 19524263 22167552 1924 4294967295 134512640 134702520 3221223712 3221222736 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5412 1924 413 48 0 5364 0
[pid=4565] vsize: 21648
Current children cumulated CPU time (s) 411.53
Current children cumulated vsize (Kb) 23776

[startup+540.045 s]
Raw data (loadavg): 1.02 1.04 0.95 1/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 1982 0 0 0 3201 289 0 0 17 0 1 0 19524263 22167552 1952 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5412 1952 413 48 0 5364 0
[pid=4565] vsize: 21648
Current children cumulated CPU time (s) 419.19
Current children cumulated vsize (Kb) 23776

[startup+550.046 s]
Raw data (loadavg): 1.02 1.04 0.95 1/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 1998 0 0 0 3930 376 0 0 18 0 1 0 19524263 22167552 1968 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4565/statm): 5412 1968 413 48 0 5364 0
[pid=4565] vsize: 21648
Current children cumulated CPU time (s) 427.35
Current children cumulated vsize (Kb) 23776

[startup+560.047 s]
Raw data (loadavg): 1.02 1.03 0.95 1/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 2009 0 0 0 4592 481 0 0 19 0 1 0 19524263 22294528 1979 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4565/statm): 5443 1979 413 48 0 5395 0
[pid=4565] vsize: 21772
Current children cumulated CPU time (s) 435.02
Current children cumulated vsize (Kb) 23900

[startup+570.049 s]
Raw data (loadavg): 1.01 1.03 0.95 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) R 4560 4560 4005 0 -1 0 2030 0 0 0 5220 603 0 0 20 0 1 0 19524263 22294528 2000 4294967295 134512640 134702520 3221223712 3221222992 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5443 2000 413 48 0 5395 0
[pid=4565] vsize: 21772
Current children cumulated CPU time (s) 442.52
Current children cumulated vsize (Kb) 23900

[startup+580.05 s]
Raw data (loadavg): 1.01 1.03 0.95 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) R 4560 4560 4005 0 -1 0 2052 0 0 0 5914 704 0 0 19 0 1 0 19524263 22294528 2022 4294967295 134512640 134702520 3221223712 3221223112 134606948 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4565/statm): 5443 2022 413 48 0 5395 0
[pid=4565] vsize: 21772
Current children cumulated CPU time (s) 450.47
Current children cumulated vsize (Kb) 23900

[startup+590.05 s]
Raw data (loadavg): 1.01 1.03 0.95 1/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 2071 0 0 0 6570 811 0 0 18 0 1 0 19524263 22294528 2041 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4565/statm): 5443 2041 413 48 0 5395 0
[pid=4565] vsize: 21772
Current children cumulated CPU time (s) 458.1
Current children cumulated vsize (Kb) 23900

[startup+600.052 s]
Raw data (loadavg): 1.01 1.03 0.95 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) R 4560 4560 4005 0 -1 0 2105 0 0 0 7251 914 0 0 25 0 1 0 19524263 22515712 2075 4294967295 134512640 134702520 3221223712 3221222736 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5497 2075 413 48 0 5449 0
[pid=4565] vsize: 21988
Current children cumulated CPU time (s) 465.94
Current children cumulated vsize (Kb) 24116

[startup+610.053 s]
Raw data (loadavg): 1.01 1.03 0.95 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) R 4560 4560 4005 0 -1 0 2106 0 0 0 8142 951 0 0 25 0 1 0 19524263 22515712 2076 4294967295 134512640 134702520 3221223712 3221222608 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5497 2076 413 48 0 5449 0
[pid=4565] vsize: 21988
Current children cumulated CPU time (s) 475.22
Current children cumulated vsize (Kb) 24116

[startup+620.054 s]
Raw data (loadavg): 1.08 1.04 0.95 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) R 4560 4560 4005 0 -1 0 2106 0 0 0 8938 1016 0 0 17 0 1 0 19524263 22425600 2075 4294967295 134512640 134702520 3221223712 3221222992 134552220 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4565/statm): 5475 2075 413 48 0 5427 0
[pid=4565] vsize: 21900
Current children cumulated CPU time (s) 483.83
Current children cumulated vsize (Kb) 24028

[startup+630.055 s]
Raw data (loadavg): 1.07 1.04 0.95 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) R 4560 4560 4005 0 -1 0 2106 0 0 0 9533 1152 0 0 19 0 1 0 19524263 22425600 2075 4294967295 134512640 134702520 3221223712 3221223112 134606953 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4565/statm): 5475 2075 413 48 0 5427 0
[pid=4565] vsize: 21900
Current children cumulated CPU time (s) 491.14
Current children cumulated vsize (Kb) 24028

[startup+640.056 s]
Raw data (loadavg): 1.06 1.04 0.95 1/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 2107 0 0 0 10186 1266 0 0 21 0 1 0 19524263 22425600 2076 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4565/statm): 5475 2076 413 48 0 5427 0
[pid=4565] vsize: 21900
Current children cumulated CPU time (s) 498.81
Current children cumulated vsize (Kb) 24028

[startup+650.056 s]
Raw data (loadavg): 1.05 1.04 0.95 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) R 4560 4560 4005 0 -1 0 2108 0 0 0 10857 1377 0 0 18 0 1 0 19524263 22425600 2077 4294967295 134512640 134702520 3221223712 3221223184 134657210 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4565/statm): 5475 2077 413 48 0 5427 0
[pid=4565] vsize: 21900
Current children cumulated CPU time (s) 506.63
Current children cumulated vsize (Kb) 24028

[startup+660.057 s]
Raw data (loadavg): 1.04 1.03 0.95 1/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 2110 0 0 0 11500 1491 0 0 16 0 1 0 19524263 22425600 2079 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5475 2079 413 48 0 5427 0
[pid=4565] vsize: 21900
Current children cumulated CPU time (s) 514.2
Current children cumulated vsize (Kb) 24028

[startup+670.059 s]
Raw data (loadavg): 1.04 1.03 0.95 1/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 2113 0 0 0 12161 1600 0 0 15 0 1 0 19524263 22425600 2082 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5475 2082 413 48 0 5427 0
[pid=4565] vsize: 21900
Current children cumulated CPU time (s) 521.9
Current children cumulated vsize (Kb) 24028

[startup+680.06 s]
Raw data (loadavg): 1.03 1.03 0.95 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) R 4560 4560 4005 0 -1 0 2114 0 0 0 12808 1713 0 0 16 0 1 0 19524263 22425600 2083 4294967295 134512640 134702520 3221223712 3221222992 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5475 2083 413 48 0 5427 0
[pid=4565] vsize: 21900
Current children cumulated CPU time (s) 529.5
Current children cumulated vsize (Kb) 24028

[startup+690.061 s]
Raw data (loadavg): 1.02 1.03 0.95 1/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 2117 0 0 0 13462 1828 0 0 15 0 1 0 19524263 22425600 2086 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5475 2086 413 48 0 5427 0
[pid=4565] vsize: 21900
Current children cumulated CPU time (s) 537.19
Current children cumulated vsize (Kb) 24028

[startup+700.062 s]
Raw data (loadavg): 1.02 1.03 0.95 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 2123 0 0 0 14107 1947 0 0 16 0 1 0 19524263 22515712 2092 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4565/statm): 5497 2092 413 48 0 5449 0
[pid=4565] vsize: 21988
Current children cumulated CPU time (s) 544.83
Current children cumulated vsize (Kb) 24116

[startup+710.063 s]
Raw data (loadavg): 1.02 1.03 0.95 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 2126 0 0 0 14683 2085 0 0 16 0 1 0 19524263 22515712 2095 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5497 2095 413 48 0 5449 0
[pid=4565] vsize: 21988
Current children cumulated CPU time (s) 551.97
Current children cumulated vsize (Kb) 24116

[startup+720.064 s]
Raw data (loadavg): 1.01 1.03 0.95 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) R 4560 4560 4005 0 -1 0 2130 0 0 0 15520 2138 0 0 19 0 1 0 19524263 22695936 2099 4294967295 134512640 134702520 3221223712 3221222608 134552329 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4565/statm): 5541 2099 413 48 0 5493 0
[pid=4565] vsize: 22164
Current children cumulated CPU time (s) 560.87
Current children cumulated vsize (Kb) 24292

[startup+730.065 s]
Raw data (loadavg): 1.01 1.02 0.95 1/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 2130 0 0 0 16464 2157 0 0 19 0 1 0 19524263 22515712 2098 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5497 2098 413 48 0 5449 0
[pid=4565] vsize: 21988
Current children cumulated CPU time (s) 570.5
Current children cumulated vsize (Kb) 24116

[startup+740.066 s]
Raw data (loadavg): 1.01 1.02 0.95 1/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 2132 0 0 0 17029 2298 0 0 16 0 1 0 19524263 22515712 2100 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5497 2100 413 48 0 5449 0
[pid=4565] vsize: 21988
Current children cumulated CPU time (s) 577.56
Current children cumulated vsize (Kb) 24116

[startup+750.067 s]
Raw data (loadavg): 1.09 1.04 0.96 1/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 2132 0 0 0 17595 2432 0 0 16 0 1 0 19524263 22515712 2100 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4565/statm): 5497 2100 413 48 0 5449 0
[pid=4565] vsize: 21988
Current children cumulated CPU time (s) 584.56
Current children cumulated vsize (Kb) 24116

[startup+760.068 s]
Raw data (loadavg): 1.07 1.04 0.96 1/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 2133 0 0 0 18121 2584 0 0 15 0 1 0 19524263 22515712 2101 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4565/statm): 5497 2101 413 48 0 5449 0
[pid=4565] vsize: 21988
Current children cumulated CPU time (s) 591.34
Current children cumulated vsize (Kb) 24116

[startup+770.07 s]
Raw data (loadavg): 1.06 1.04 0.96 1/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 2134 0 0 0 18645 2740 0 0 16 0 1 0 19524263 22515712 2102 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4565/statm): 5497 2102 413 48 0 5449 0
[pid=4565] vsize: 21988
Current children cumulated CPU time (s) 598.14
Current children cumulated vsize (Kb) 24116

[startup+780.07 s]
Raw data (loadavg): 1.05 1.03 0.96 1/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 2136 0 0 0 19254 2864 0 0 15 0 1 0 19524263 22515712 2104 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5497 2104 413 48 0 5449 0
[pid=4565] vsize: 21988
Current children cumulated CPU time (s) 605.47
Current children cumulated vsize (Kb) 24116

[startup+790.07 s]
Raw data (loadavg): 1.04 1.03 0.96 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) R 4560 4560 4005 0 -1 0 2138 0 0 0 19844 2997 0 0 16 0 1 0 19524263 22515712 2106 4294967295 134512640 134702520 3221223712 3221164112 134612230 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4565/statm): 5497 2106 413 48 0 5449 0
[pid=4565] vsize: 21988
Current children cumulated CPU time (s) 612.7
Current children cumulated vsize (Kb) 24116

[startup+800.071 s]
Raw data (loadavg): 1.04 1.03 0.96 1/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 2139 0 0 0 20420 3136 0 0 15 0 1 0 19524263 22515712 2107 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4565/statm): 5497 2107 413 48 0 5449 0
[pid=4565] vsize: 21988
Current children cumulated CPU time (s) 619.85
Current children cumulated vsize (Kb) 24116

[startup+810.072 s]
Raw data (loadavg): 1.03 1.03 0.96 1/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 2148 0 0 0 21092 3247 0 0 16 0 1 0 19524263 22515712 2116 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4565/statm): 5497 2116 413 48 0 5449 0
[pid=4565] vsize: 21988
Current children cumulated CPU time (s) 627.68
Current children cumulated vsize (Kb) 24116

[startup+820.073 s]
Raw data (loadavg): 1.02 1.03 0.96 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) R 4560 4560 4005 0 -1 0 2151 0 0 0 21722 3363 0 0 15 0 1 0 19524263 22515712 2119 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5497 2119 413 48 0 5449 0
[pid=4565] vsize: 21988
Current children cumulated CPU time (s) 635.14
Current children cumulated vsize (Kb) 24116

[startup+830.073 s]
Raw data (loadavg): 1.02 1.03 0.96 1/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) T 4560 4560 4005 0 -1 0 2183 0 0 0 22392 3473 0 0 16 0 1 0 19524263 22716416 2151 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4565/statm): 5546 2151 413 48 0 5498 0
[pid=4565] vsize: 22184
Current children cumulated CPU time (s) 642.94
Current children cumulated vsize (Kb) 24312

[startup+840.074 s]
Raw data (loadavg): 1.02 1.03 0.96 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) R 4560 4560 4005 0 -1 0 2213 0 0 0 22995 3602 0 0 16 0 1 0 19524263 22626304 2181 4294967295 134512640 134702520 3221223712 3221223224 1074744847 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5524 2181 413 48 0 5476 0
[pid=4565] vsize: 22096
Current children cumulated CPU time (s) 650.26
Current children cumulated vsize (Kb) 24224

[startup+850.075 s]
Raw data (loadavg): 1.01 1.02 0.96 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) R 4560 4560 4005 0 -1 0 2243 0 0 0 23722 3692 0 0 17 0 1 0 19524263 22806528 2211 4294967295 134512640 134702520 3221223712 3221222608 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5568 2211 413 48 0 5520 0
[pid=4565] vsize: 22272
Current children cumulated CPU time (s) 658.43
Current children cumulated vsize (Kb) 24400

[startup+860.076 s]
Raw data (loadavg): 1.01 1.02 0.96 2/56 4565
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 378 2709 0 0 1 1 32834 5593 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4565/stat): 4565 (vallst) R 4560 4560 4005 0 -1 0 2243 0 0 0 24688 3705 0 0 25 0 1 0 19524263 22806528 2211 4294967295 134512640 134702520 3221223712 3221222548 134550182 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4565/statm): 5568 2211 413 48 0 5520 0
[pid=4565] vsize: 22272
Current children cumulated CPU time (s) 668.22
Current children cumulated vsize (Kb) 24400
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=4565) exited with status: 2
New process pid=4566
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=4566) exited with status: 0
New process pid=4567
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+870.077 s]
Raw data (loadavg): 1.01 1.02 0.96 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 1875 0 0 0 490 39 0 0 23 0 1 0 19560755 10727424 1846 4294967295 134512640 134702520 3221223712 3221222848 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4567/statm): 2619 1846 413 48 0 2571 0
[pid=4567] vsize: 10476
Current children cumulated CPU time (s) 677.5
Current children cumulated vsize (Kb) 12604

[startup+880.078 s]
Raw data (loadavg): 1.01 1.02 0.96 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 1879 0 0 0 1454 54 0 0 25 0 1 0 19560755 10727424 1850 4294967295 134512640 134702520 3221223712 3221222848 134552385 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 2619 1850 413 48 0 2571 0
[pid=4567] vsize: 10476
Current children cumulated CPU time (s) 687.29
Current children cumulated vsize (Kb) 12604

[startup+890.078 s]
Raw data (loadavg): 1.01 1.02 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 1978 0 0 0 2250 119 0 0 22 0 1 0 19560755 22343680 1949 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5455 1949 413 48 0 5407 0
[pid=4567] vsize: 21820
Current children cumulated CPU time (s) 695.9
Current children cumulated vsize (Kb) 23948

[startup+900.08 s]
Raw data (loadavg): 1.00 1.02 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2014 0 0 0 2976 208 0 0 19 0 1 0 19560755 22343680 1985 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5455 1985 413 48 0 5407 0
[pid=4567] vsize: 21820
Current children cumulated CPU time (s) 704.05
Current children cumulated vsize (Kb) 23948

[startup+910.081 s]
Raw data (loadavg): 1.00 1.02 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2047 0 0 0 3690 303 0 0 19 0 1 0 19560755 22519808 2018 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4567/statm): 5498 2018 413 48 0 5450 0
[pid=4567] vsize: 21992
Current children cumulated CPU time (s) 712.14
Current children cumulated vsize (Kb) 24120

[startup+920.082 s]
Raw data (loadavg): 1.00 1.02 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2087 0 0 0 4398 401 0 0 21 0 1 0 19560755 22519808 2058 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5498 2058 413 48 0 5450 0
[pid=4567] vsize: 21992
Current children cumulated CPU time (s) 720.2
Current children cumulated vsize (Kb) 24120

[startup+930.083 s]
Raw data (loadavg): 1.00 1.02 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2121 0 0 0 5110 499 0 0 17 0 1 0 19560755 22519808 2092 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4567/statm): 5498 2092 413 48 0 5450 0
[pid=4567] vsize: 21992
Current children cumulated CPU time (s) 728.3
Current children cumulated vsize (Kb) 24120

[startup+940.082 s]
Raw data (loadavg): 1.00 1.02 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2154 0 0 0 5774 604 0 0 18 0 1 0 19560755 22519808 2125 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5498 2125 413 48 0 5450 0
[pid=4567] vsize: 21992
Current children cumulated CPU time (s) 735.99
Current children cumulated vsize (Kb) 24120

[startup+950.084 s]
Raw data (loadavg): 1.00 1.01 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2188 0 0 0 6465 707 0 0 23 0 1 0 19560755 22519808 2159 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5498 2159 413 48 0 5450 0
[pid=4567] vsize: 21992
Current children cumulated CPU time (s) 743.93
Current children cumulated vsize (Kb) 24120

[startup+960.085 s]
Raw data (loadavg): 1.07 1.03 0.96 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2218 0 0 0 7211 793 0 0 22 0 1 0 19560755 22736896 2189 4294967295 134512640 134702520 3221223712 3221222992 134553489 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4567/statm): 5551 2189 413 48 0 5503 0
[pid=4567] vsize: 22204
Current children cumulated CPU time (s) 752.25
Current children cumulated vsize (Kb) 24332

[startup+970.086 s]
Raw data (loadavg): 1.06 1.03 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2246 0 0 0 7985 871 0 0 25 0 1 0 19560755 22917120 2217 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5595 2217 413 48 0 5547 0
[pid=4567] vsize: 22380
Current children cumulated CPU time (s) 760.77
Current children cumulated vsize (Kb) 24508

[startup+980.087 s]
Raw data (loadavg): 1.05 1.03 0.96 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2246 0 0 0 8944 885 0 0 25 0 1 0 19560755 22917120 2217 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5595 2217 413 48 0 5547 0
[pid=4567] vsize: 22380
Current children cumulated CPU time (s) 770.5
Current children cumulated vsize (Kb) 24508

[startup+990.086 s]
Raw data (loadavg): 1.04 1.03 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2247 0 0 0 9614 995 0 0 16 0 1 0 19560755 22740992 2217 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5552 2217 413 48 0 5504 0
[pid=4567] vsize: 22208
Current children cumulated CPU time (s) 778.3
Current children cumulated vsize (Kb) 24336

[startup+1000.09 s]
Raw data (loadavg): 1.04 1.03 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2247 0 0 0 10267 1104 0 0 19 0 1 0 19560755 22740992 2217 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5552 2217 413 48 0 5504 0
[pid=4567] vsize: 22208
Current children cumulated CPU time (s) 785.92
Current children cumulated vsize (Kb) 24336

[startup+1010.09 s]
Raw data (loadavg): 1.03 1.02 0.96 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2248 0 0 0 10909 1218 0 0 17 0 1 0 19560755 22740992 2218 4294967295 134512640 134702520 3221223712 3221223112 134607344 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5552 2218 413 48 0 5504 0
[pid=4567] vsize: 22208
Current children cumulated CPU time (s) 793.48
Current children cumulated vsize (Kb) 24336

[startup+1020.09 s]
Raw data (loadavg): 1.02 1.02 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2250 0 0 0 11543 1333 0 0 18 0 1 0 19560755 22740992 2220 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5552 2220 413 48 0 5504 0
[pid=4567] vsize: 22208
Current children cumulated CPU time (s) 800.97
Current children cumulated vsize (Kb) 24336

[startup+1030.09 s]
Raw data (loadavg): 1.02 1.02 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2251 0 0 0 12153 1461 0 0 18 0 1 0 19560755 22740992 2221 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5552 2221 413 48 0 5504 0
[pid=4567] vsize: 22208
Current children cumulated CPU time (s) 808.35
Current children cumulated vsize (Kb) 24336

[startup+1040.09 s]
Raw data (loadavg): 1.02 1.02 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2252 0 0 0 12780 1582 0 0 17 0 1 0 19560755 22740992 2222 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5552 2222 413 48 0 5504 0
[pid=4567] vsize: 22208
Current children cumulated CPU time (s) 815.83
Current children cumulated vsize (Kb) 24336

[startup+1050.09 s]
Raw data (loadavg): 1.01 1.02 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2253 0 0 0 13427 1699 0 0 16 0 1 0 19560755 22740992 2223 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5552 2223 413 48 0 5504 0
[pid=4567] vsize: 22208
Current children cumulated CPU time (s) 823.47
Current children cumulated vsize (Kb) 24336

[startup+1060.09 s]
Raw data (loadavg): 1.01 1.02 0.96 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2255 0 0 0 14014 1834 0 0 16 0 1 0 19560755 22740992 2225 4294967295 134512640 134702520 3221223712 3221222992 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4567/statm): 5552 2225 413 48 0 5504 0
[pid=4567] vsize: 22208
Current children cumulated CPU time (s) 830.69
Current children cumulated vsize (Kb) 24336

[startup+1070.09 s]
Raw data (loadavg): 1.01 1.02 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2259 0 0 0 14688 1941 0 0 16 0 1 0 19560755 22740992 2229 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5552 2229 413 48 0 5504 0
[pid=4567] vsize: 22208
Current children cumulated CPU time (s) 838.5
Current children cumulated vsize (Kb) 24336

[startup+1080.09 s]
Raw data (loadavg): 1.01 1.02 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2264 0 0 0 15300 2060 0 0 15 0 1 0 19560755 22839296 2233 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5576 2233 413 48 0 5528 0
[pid=4567] vsize: 22304
Current children cumulated CPU time (s) 845.81
Current children cumulated vsize (Kb) 24432

[startup+1090.1 s]
Raw data (loadavg): 1.01 1.02 0.96 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2267 0 0 0 15908 2189 0 0 16 0 1 0 19560755 22839296 2236 4294967295 134512640 134702520 3221223712 3221222992 134553830 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5576 2236 413 48 0 5528 0
[pid=4567] vsize: 22304
Current children cumulated CPU time (s) 853.18
Current children cumulated vsize (Kb) 24432

[startup+1100.1 s]
Raw data (loadavg): 1.00 1.02 0.96 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2273 0 0 0 16575 2293 0 0 17 0 1 0 19560755 23015424 2242 4294967295 134512640 134702520 3221223712 3221222608 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5619 2242 413 48 0 5571 0
[pid=4567] vsize: 22476
Current children cumulated CPU time (s) 860.89
Current children cumulated vsize (Kb) 24604

[startup+1110.1 s]
Raw data (loadavg): 1.00 1.01 0.96 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2273 0 0 0 17538 2306 0 0 25 0 1 0 19560755 23015424 2242 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5619 2242 413 48 0 5571 0
[pid=4567] vsize: 22476
Current children cumulated CPU time (s) 870.65
Current children cumulated vsize (Kb) 24604

[startup+1120.1 s]
Raw data (loadavg): 1.00 1.01 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2275 0 0 0 18250 2403 0 0 15 0 1 0 19560755 22839296 2243 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4567/statm): 5576 2243 413 48 0 5528 0
[pid=4567] vsize: 22304
Current children cumulated CPU time (s) 878.74
Current children cumulated vsize (Kb) 24432

[startup+1130.1 s]
Raw data (loadavg): 1.00 1.01 0.96 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2276 0 0 0 18775 2564 0 0 15 0 1 0 19560755 22839296 2244 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4567/statm): 5576 2244 413 48 0 5528 0
[pid=4567] vsize: 22304
Current children cumulated CPU time (s) 885.6
Current children cumulated vsize (Kb) 24432

[startup+1140.1 s]
Raw data (loadavg): 1.07 1.03 0.97 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2279 0 0 0 19368 2693 0 0 16 0 1 0 19560755 22839296 2247 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4567/statm): 5576 2247 413 48 0 5528 0
[pid=4567] vsize: 22304
Current children cumulated CPU time (s) 892.82
Current children cumulated vsize (Kb) 24432

[startup+1150.1 s]
Raw data (loadavg): 1.06 1.03 0.97 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2280 0 0 0 19941 2833 0 0 15 0 1 0 19560755 22839296 2248 4294967295 134512640 134702520 3221223712 3221223112 134606948 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5576 2248 413 48 0 5528 0
[pid=4567] vsize: 22304
Current children cumulated CPU time (s) 899.95
Current children cumulated vsize (Kb) 24432

[startup+1160.1 s]
Raw data (loadavg): 1.05 1.03 0.97 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2281 0 0 0 20511 2971 0 0 15 0 1 0 19560755 22839296 2249 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5576 2249 413 48 0 5528 0
[pid=4567] vsize: 22304
Current children cumulated CPU time (s) 907.03
Current children cumulated vsize (Kb) 24432

[startup+1170.1 s]
Raw data (loadavg): 1.04 1.03 0.97 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2281 0 0 0 21098 3111 0 0 16 0 1 0 19560755 22839296 2249 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5576 2249 413 48 0 5528 0
[pid=4567] vsize: 22304
Current children cumulated CPU time (s) 914.3
Current children cumulated vsize (Kb) 24432

[startup+1180.1 s]
Raw data (loadavg): 1.04 1.02 0.97 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2283 0 0 0 21676 3247 0 0 16 0 1 0 19560755 22839296 2251 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5576 2251 413 48 0 5528 0
[pid=4567] vsize: 22304
Current children cumulated CPU time (s) 921.44
Current children cumulated vsize (Kb) 24432

[startup+1190.1 s]
Raw data (loadavg): 1.03 1.02 0.97 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2286 0 0 0 22317 3363 0 0 16 0 1 0 19560755 22839296 2254 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5576 2254 413 48 0 5528 0
[pid=4567] vsize: 22304
Current children cumulated CPU time (s) 929.01
Current children cumulated vsize (Kb) 24432

[startup+1200.11 s]
Raw data (loadavg): 1.03 1.02 0.97 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2290 0 0 0 22977 3474 0 0 16 0 1 0 19560755 22839296 2258 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5576 2258 413 48 0 5528 0
[pid=4567] vsize: 22304
Current children cumulated CPU time (s) 936.72
Current children cumulated vsize (Kb) 24432

[startup+1210.11 s]
Raw data (loadavg): 1.10 1.04 0.97 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2297 0 0 0 23635 3587 0 0 15 0 1 0 19560755 22933504 2265 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4567/statm): 5599 2265 413 48 0 5551 0
[pid=4567] vsize: 22396
Current children cumulated CPU time (s) 944.43
Current children cumulated vsize (Kb) 24524

[startup+1220.11 s]
Raw data (loadavg): 1.16 1.05 0.98 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2303 0 0 0 24319 3688 0 0 16 0 1 0 19560755 22933504 2271 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5599 2271 413 48 0 5551 0
[pid=4567] vsize: 22396
Current children cumulated CPU time (s) 952.28
Current children cumulated vsize (Kb) 24524

[startup+1230.11 s]
Raw data (loadavg): 1.14 1.05 0.98 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2328 0 0 0 25040 3780 0 0 15 0 1 0 19560755 22933504 2296 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4567/statm): 5599 2296 413 48 0 5551 0
[pid=4567] vsize: 22396
Current children cumulated CPU time (s) 960.41
Current children cumulated vsize (Kb) 24524

[startup+1240.11 s]
Raw data (loadavg): 1.20 1.07 0.98 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2371 0 0 0 25707 3883 0 0 15 0 1 0 19560755 22933504 2339 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5599 2339 413 48 0 5551 0
[pid=4567] vsize: 22396
Current children cumulated CPU time (s) 968.11
Current children cumulated vsize (Kb) 24524

[startup+1250.11 s]
Raw data (loadavg): 1.17 1.06 0.98 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2383 0 0 0 26561 3930 0 0 20 0 1 0 19560755 23146496 2351 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4567/statm): 5651 2351 413 48 0 5603 0
[pid=4567] vsize: 22604
Current children cumulated CPU time (s) 977.12
Current children cumulated vsize (Kb) 24732

[startup+1260.11 s]
Raw data (loadavg): 1.14 1.06 0.98 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2383 0 0 0 27499 3949 0 0 16 0 1 0 19560755 22970368 2350 4294967295 134512640 134702520 3221223712 3221222992 134554306 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5608 2350 413 48 0 5560 0
[pid=4567] vsize: 22432
Current children cumulated CPU time (s) 986.69
Current children cumulated vsize (Kb) 24560

[startup+1270.11 s]
Raw data (loadavg): 1.12 1.06 0.98 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2383 0 0 0 28129 4074 0 0 16 0 1 0 19560755 22970368 2350 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5608 2350 413 48 0 5560 0
[pid=4567] vsize: 22432
Current children cumulated CPU time (s) 994.24
Current children cumulated vsize (Kb) 24560

[startup+1280.11 s]
Raw data (loadavg): 1.10 1.06 0.98 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2385 0 0 0 28855 4165 0 0 16 0 1 0 19560755 22970368 2352 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5608 2352 413 48 0 5560 0
[pid=4567] vsize: 22432
Current children cumulated CPU time (s) 1002.41
Current children cumulated vsize (Kb) 24560

[startup+1290.11 s]
Raw data (loadavg): 1.16 1.07 0.99 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2387 0 0 0 29548 4271 0 0 15 0 1 0 19560755 22970368 2354 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5608 2354 413 48 0 5560 0
[pid=4567] vsize: 22432
Current children cumulated CPU time (s) 1010.4
Current children cumulated vsize (Kb) 24560

[startup+1300.11 s]
Raw data (loadavg): 1.13 1.07 0.99 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2390 0 0 0 30229 4371 0 0 16 0 1 0 19560755 23064576 2357 4294967295 134512640 134702520 3221223712 3221222992 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5631 2357 413 48 0 5583 0
[pid=4567] vsize: 22524
Current children cumulated CPU time (s) 1018.21
Current children cumulated vsize (Kb) 24652

[startup+1310.11 s]
Raw data (loadavg): 1.11 1.06 0.99 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2393 0 0 0 30908 4477 0 0 15 0 1 0 19560755 23064576 2360 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4567/statm): 5631 2360 413 48 0 5583 0
[pid=4567] vsize: 22524
Current children cumulated CPU time (s) 1026.06
Current children cumulated vsize (Kb) 24652

[startup+1320.12 s]
Raw data (loadavg): 1.09 1.06 0.99 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2399 0 0 0 31655 4563 0 0 16 0 1 0 19560755 23064576 2366 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 5631 2366 413 48 0 5583 0
[pid=4567] vsize: 22524
Current children cumulated CPU time (s) 1034.39
Current children cumulated vsize (Kb) 24652

[startup+1330.12 s]
Raw data (loadavg): 1.08 1.06 0.99 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2443 0 0 0 32383 4652 0 0 15 0 1 0 19560755 24641536 2410 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6016 2410 413 48 0 5968 0
[pid=4567] vsize: 24064
Current children cumulated CPU time (s) 1042.56
Current children cumulated vsize (Kb) 26192

[startup+1340.12 s]
Raw data (loadavg): 1.07 1.06 0.99 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2467 0 0 0 33077 4758 0 0 15 0 1 0 19560755 24641536 2434 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4567/statm): 6016 2434 413 48 0 5968 0
[pid=4567] vsize: 24064
Current children cumulated CPU time (s) 1050.56
Current children cumulated vsize (Kb) 26192

[startup+1350.12 s]
Raw data (loadavg): 1.21 1.09 1.00 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2502 0 0 0 33718 4874 0 0 15 0 1 0 19560755 24641536 2469 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6016 2469 413 48 0 5968 0
[pid=4567] vsize: 24064
Current children cumulated CPU time (s) 1058.13
Current children cumulated vsize (Kb) 26192

[startup+1360.12 s]
Raw data (loadavg): 1.18 1.08 1.00 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2534 0 0 0 34455 4968 0 0 16 0 1 0 19560755 24748032 2501 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6042 2501 413 48 0 5994 0
[pid=4567] vsize: 24168
Current children cumulated CPU time (s) 1066.44
Current children cumulated vsize (Kb) 26296

[startup+1370.12 s]
Raw data (loadavg): 1.15 1.08 1.00 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2574 0 0 0 35175 5064 0 0 16 0 1 0 19560755 24748032 2541 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6042 2541 413 48 0 5994 0
[pid=4567] vsize: 24168
Current children cumulated CPU time (s) 1074.6
Current children cumulated vsize (Kb) 26296

[startup+1380.12 s]
Raw data (loadavg): 1.13 1.08 1.00 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2606 0 0 0 35912 5149 0 0 17 0 1 0 19560755 24965120 2573 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6095 2573 413 48 0 6047 0
[pid=4567] vsize: 24380
Current children cumulated CPU time (s) 1082.82
Current children cumulated vsize (Kb) 26508

[startup+1390.12 s]
Raw data (loadavg): 1.11 1.07 1.00 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2606 0 0 0 36873 5165 0 0 25 0 1 0 19560755 24965120 2573 4294967295 134512640 134702520 3221223712 3221222608 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6095 2573 413 48 0 6047 0
[pid=4567] vsize: 24380
Current children cumulated CPU time (s) 1092.59
Current children cumulated vsize (Kb) 26508

[startup+1400.12 s]
Raw data (loadavg): 1.09 1.07 1.00 1/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2606 0 0 0 37685 5229 0 0 16 0 1 0 19560755 24784896 2572 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6051 2572 413 48 0 6003 0
[pid=4567] vsize: 24204
Current children cumulated CPU time (s) 1101.35
Current children cumulated vsize (Kb) 26332

[startup+1410.12 s]
Raw data (loadavg): 1.08 1.07 1.00 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2609 0 0 0 38394 5329 0 0 16 0 1 0 19560755 24784896 2575 4294967295 134512640 134702520 3221223712 3221222736 134552319 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6051 2575 413 48 0 6003 0
[pid=4567] vsize: 24204
Current children cumulated CPU time (s) 1109.44
Current children cumulated vsize (Kb) 26332

[startup+1420.12 s]
Raw data (loadavg): 1.06 1.07 1.00 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2610 0 0 0 39098 5429 0 0 16 0 1 0 19560755 24784896 2576 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6051 2576 413 48 0 6003 0
[pid=4567] vsize: 24204
Current children cumulated CPU time (s) 1117.48
Current children cumulated vsize (Kb) 26332

[startup+1430.13 s]
Raw data (loadavg): 1.05 1.06 1.00 2/56 4567
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2617 0 0 0 39805 5527 0 0 16 0 1 0 19560755 24784896 2583 4294967295 134512640 134702520 3221223712 3221221708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6051 2583 413 48 0 6003 0
[pid=4567] vsize: 24204
Current children cumulated CPU time (s) 1125.53
Current children cumulated vsize (Kb) 26332

[startup+1440.14 s]
Raw data (loadavg): 1.20 1.09 1.01 1/60 4610
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2625 0 0 0 40445 5643 0 0 15 0 1 0 19560755 24887296 2591 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4567/statm): 6076 2591 413 48 0 6028 0
[pid=4567] vsize: 24304
Current children cumulated CPU time (s) 1133.09
Current children cumulated vsize (Kb) 26432

[startup+1450.14 s]
Raw data (loadavg): 1.24 1.11 1.01 1/56 4622
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2628 0 0 0 41169 5731 0 0 16 0 1 0 19560755 24887296 2594 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6076 2594 413 48 0 6028 0
[pid=4567] vsize: 24304
Current children cumulated CPU time (s) 1141.21
Current children cumulated vsize (Kb) 26432

[startup+1460.14 s]
Raw data (loadavg): 1.28 1.12 1.02 1/56 4622
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2632 0 0 0 41976 5799 0 0 16 0 1 0 19560755 24887296 2598 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6076 2598 413 48 0 6028 0
[pid=4567] vsize: 24304
Current children cumulated CPU time (s) 1149.96
Current children cumulated vsize (Kb) 26432

[startup+1470.14 s]
Raw data (loadavg): 1.23 1.11 1.02 2/56 4622
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2638 0 0 0 42771 5867 0 0 16 0 1 0 19560755 24887296 2604 4294967295 134512640 134702520 3221223712 3221214036 134611987 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6076 2604 413 48 0 6028 0
[pid=4567] vsize: 24304
Current children cumulated CPU time (s) 1158.59
Current children cumulated vsize (Kb) 26432

[startup+1480.14 s]
Raw data (loadavg): 1.20 1.11 1.02 2/56 4622
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2648 0 0 0 43574 5930 0 0 16 0 1 0 19560755 24887296 2614 4294967295 134512640 134702520 3221223712 3221223104 134604336 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6076 2614 413 48 0 6028 0
[pid=4567] vsize: 24304
Current children cumulated CPU time (s) 1167.25
Current children cumulated vsize (Kb) 26432

[startup+1490.14 s]
Raw data (loadavg): 1.17 1.11 1.02 2/56 4624
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2701 0 0 0 44311 6016 0 0 17 0 1 0 19560755 25079808 2667 4294967295 134512640 134702520 3221223712 3221222736 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6123 2667 413 48 0 6075 0
[pid=4567] vsize: 24492
Current children cumulated CPU time (s) 1175.48
Current children cumulated vsize (Kb) 26620

[startup+1500.14 s]
Raw data (loadavg): 1.14 1.10 1.01 2/56 4624
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) R 4560 4560 4005 0 -1 0 2705 0 0 0 45054 6105 0 0 16 0 1 0 19560755 24989696 2671 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6101 2671 413 48 0 6053 0
[pid=4567] vsize: 24404
Current children cumulated CPU time (s) 1183.8
Current children cumulated vsize (Kb) 26532

[startup+1510.14 s]
Raw data (loadavg): 1.12 1.10 1.01 2/56 4626
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2722 0 0 0 45795 6190 0 0 16 0 1 0 19560755 24989696 2688 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6101 2688 413 48 0 6053 0
[pid=4567] vsize: 24404
Current children cumulated CPU time (s) 1192.06
Current children cumulated vsize (Kb) 26532

[startup+1520.14 s]
Raw data (loadavg): 1.10 1.09 1.01 2/56 4628
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2725 0 0 0 46608 6248 0 0 20 0 1 0 19560755 25169920 2691 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6145 2691 413 48 0 6097 0
[pid=4567] vsize: 24580
Current children cumulated CPU time (s) 1200.77
Current children cumulated vsize (Kb) 26708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1520.14 s]
Raw data (loadavg): 1.10 1.09 1.01 1/56 4628
Raw data (/proc/4560/stat): 4560 (vallstSAT2005PB) S 4559 4560 4005 0 -1 0 417 5096 0 0 1 2 57905 9313 19 0 1 0 19474328 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4560/statm): 532 248 485 147 0 385 0
[pid=4560] vsize: 2128
Raw data (/proc/4567/stat): 4567 (vallst) T 4560 4560 4005 0 -1 0 2725 0 0 0 46608 6248 0 0 20 0 1 0 19560755 25169920 2691 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4567/statm): 6145 2691 413 48 0 6097 0
[pid=4567] vsize: 24580
Current children cumulated CPU time (s) 1200.77
Current children cumulated vsize (Kb) 26708

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

Child status: 3
Real time (s): 1521.31
CPU time (s): 529.678
CPU user time (s): 467.064
CPU system time (s): 62.6135
CPU usage (%): 34.8173
Max. virtual memory (cumulated for all children) (Kb): 26708

Verifier Data

ERROR: no interpretation found !