Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-msc98-ip.opb
MD5SUM7d35d9573399ce415b4927ac319735bc
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3092799001216805888
Optimality of the best value was proved NO
Number of terms in the objective function 7440
Biggest coefficient in the objective function 233453000000000000
Number of bits for the biggest coefficient in the objective function 58
Sum of the numbers in the objective function 7418790514839784695
Number of bits of the sum of numbers in the objective function 63
Biggest number in a constraint 233453000000000000
Number of bits of the biggest number in a constraint 58
Biggest sum of numbers in a constraint 7418790514839784695
Number of bits of the biggest sum of numbers63
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1279.9
Number of variables33385
Total number of constraints36969
Number of constraints which are clauses5133
Number of constraints which are cardinality constraints (but not clauses)20819
Number of constraints which are nor clauses,nor cardinality constraints11017
Minimum length of a constraint1
Maximum length of a constraint1209

Trace number 9265

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        930312 kB
Buffers:         10036 kB
Cached:          76936 kB
SwapCached:          0 kB
Active:          49124 kB
Inactive:        40744 kB
HighTotal:      131008 kB
HighFree:        50260 kB
LowTotal:       903652 kB
LowFree:        880052 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8912 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 12:23:21 (client local time) WITH STATUS 3 IN 877.966 SECONDS
stats: 7998 7 877.966 3

Solver Data

1:
seed: 0
Nr of vars set: 211  (#equs: 0)
Nr of vars set: 480  (#equs: 343)
#decisions: 1226132;  #end-nodes: 131041;
#proof improvement attempts: 0;  #restarts: 672
Current batch, end-nodes: 0 / 282 (247)
#axs: 21234, #non-axs: 34690
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: 502  (#equs: 370)
Time taken: 5 min, 24 sec

2:

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

seed: 0
Nr of vars set: 510  (#equs: 0)
Nr of vars set: 510  (#equs: 7)
Interupt request received.
#decisions: 2979337;  #end-nodes: 444030;
#proof improvement attempts: 0;  #restarts: 1397
Current batch, end-nodes: 460 / 515 (469)
#axs: 20214, #non-axs: 50946
tight: meta-meta: start: 5, end: 7;  meta: start: 9, end (keep): 16
loose: meta-meta: start: 8, end: 12;  meta: start: 30, end (keep): 50
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 2803  (#equs: 7)
Time taken: 14 min, 36 sec

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) R 5571 5572 4059 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 20037618 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5572/statm): 174 3 169 147 0 27 0
[pid=5572] 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=5573
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=5573) exited with status: 0
New process pid=5574
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=5574) exited with status: 0
New process pid=5575
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/wulflinc7/normalized-mps-v2-13-7-msc98-ip.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0035 s]
Raw data (loadavg): 0.92 1.02 0.99 2/56 5575
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) R 5572 5572 4059 0 -1 0 2606 0 0 0 883 45 0 0 25 0 1 0 20037625 13074432 2347 4294967295 134512640 134702520 3221223952 3221223216 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5575/statm): 3192 2347 413 48 0 3144 0
[pid=5575] vsize: 12768
Current children cumulated CPU time (s) 9.3
Current children cumulated vsize (Kb) 14896

[startup+20.0051 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5577
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) R 5572 5572 4059 0 -1 0 2606 0 0 0 1806 69 0 0 25 0 1 0 20037625 13074432 2347 4294967295 134512640 134702520 3221223952 3221223088 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5575/statm): 3192 2347 413 48 0 3144 0
[pid=5575] vsize: 12768
Current children cumulated CPU time (s) 18.77
Current children cumulated vsize (Kb) 14896

[startup+30.0057 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 5577
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) T 5572 5572 4059 0 -1 0 2660 0 0 0 2446 187 0 0 17 0 1 0 20037625 25337856 2401 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5575/statm): 6186 2401 413 48 0 6138 0
[pid=5575] vsize: 24744
Current children cumulated CPU time (s) 26.35
Current children cumulated vsize (Kb) 26872

[startup+40.0064 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 5577
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) T 5572 5572 4059 0 -1 0 2848 0 0 0 3126 293 0 0 19 0 1 0 20037625 25919488 2589 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5575/statm): 6328 2589 413 48 0 6280 0
[pid=5575] vsize: 25312
Current children cumulated CPU time (s) 34.21
Current children cumulated vsize (Kb) 27440

[startup+50.008 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5577
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) R 5572 5572 4059 0 -1 0 2900 0 0 0 3944 353 0 0 23 0 1 0 20037625 25919488 2641 4294967295 134512640 134702520 3221223952 3221069628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5575/statm): 6328 2641 413 48 0 6280 0
[pid=5575] vsize: 25312
Current children cumulated CPU time (s) 42.99
Current children cumulated vsize (Kb) 27440

[startup+60.0086 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5577
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) T 5572 5572 4059 0 -1 0 2925 0 0 0 4801 400 0 0 25 0 1 0 20037625 25919488 2666 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5575/statm): 6328 2666 413 48 0 6280 0
[pid=5575] vsize: 25312
Current children cumulated CPU time (s) 52.03
Current children cumulated vsize (Kb) 27440

[startup+70.0103 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5577
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) R 5572 5572 4059 0 -1 0 2926 0 0 0 5714 429 0 0 25 0 1 0 20037625 26054656 2667 4294967295 134512640 134702520 3221223952 3221222848 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5575/statm): 6361 2667 413 48 0 6313 0
[pid=5575] vsize: 25444
Current children cumulated CPU time (s) 61.45
Current children cumulated vsize (Kb) 27572

[startup+80.0109 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 5577
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) R 5572 5572 4059 0 -1 0 2927 0 0 0 6535 485 0 0 25 0 1 0 20037625 25919488 2666 4294967295 134512640 134702520 3221223952 3221223232 134557211 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5575/statm): 6328 2666 413 48 0 6280 0
[pid=5575] vsize: 25312
Current children cumulated CPU time (s) 70.22
Current children cumulated vsize (Kb) 27440

[startup+90.0115 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 5577
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) R 5572 5572 4059 0 -1 0 2963 0 0 0 7362 543 0 0 19 0 1 0 20037625 25919488 2700 4294967295 134512640 134702520 3221223952 3221223200 134564351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5575/statm): 6328 2700 413 48 0 6280 0
[pid=5575] vsize: 25312
Current children cumulated CPU time (s) 79.07
Current children cumulated vsize (Kb) 27440

[startup+100.013 s]
Raw data (loadavg): 1.13 1.05 1.01 2/56 5632
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) R 5572 5572 4059 0 -1 0 3014 0 0 0 8200 598 0 0 25 0 1 0 20037625 26054656 2750 4294967295 134512640 134702520 3221223952 3221222976 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5575/statm): 6361 2750 413 48 0 6313 0
[pid=5575] vsize: 25444
Current children cumulated CPU time (s) 88
Current children cumulated vsize (Kb) 27572

[startup+110.014 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 5632
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) R 5572 5572 4059 0 -1 0 3015 0 0 0 9101 630 0 0 25 0 1 0 20037625 26189824 2751 4294967295 134512640 134702520 3221223952 3221222848 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5575/statm): 6394 2751 413 48 0 6346 0
[pid=5575] vsize: 25576
Current children cumulated CPU time (s) 97.33
Current children cumulated vsize (Kb) 27704

[startup+120.014 s]
Raw data (loadavg): 1.09 1.05 1.00 1/56 5632
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) T 5572 5572 4059 0 -1 0 3019 0 0 0 9929 687 0 0 19 0 1 0 20037625 25919488 2752 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5575/statm): 6328 2752 413 48 0 6280 0
[pid=5575] vsize: 25312
Current children cumulated CPU time (s) 106.18
Current children cumulated vsize (Kb) 27440

[startup+130.015 s]
Raw data (loadavg): 1.08 1.05 1.00 1/56 5632
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) T 5572 5572 4059 0 -1 0 3035 0 0 0 10704 764 0 0 19 0 1 0 20037625 26054656 2766 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5575/statm): 6361 2766 413 48 0 6313 0
[pid=5575] vsize: 25444
Current children cumulated CPU time (s) 114.7
Current children cumulated vsize (Kb) 27572

[startup+140.016 s]
Raw data (loadavg): 1.07 1.05 1.00 1/56 5632
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) T 5572 5572 4059 0 -1 0 3090 0 0 0 11510 827 0 0 18 0 1 0 20037625 26054656 2819 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5575/statm): 6361 2819 413 48 0 6313 0
[pid=5575] vsize: 25444
Current children cumulated CPU time (s) 123.39
Current children cumulated vsize (Kb) 27572

[startup+150.017 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 5632
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) R 5572 5572 4059 0 -1 0 3123 0 0 0 12358 876 0 0 25 0 1 0 20037625 26189824 2852 4294967295 134512640 134702520 3221223952 3221222976 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5575/statm): 6394 2852 413 48 0 6346 0
[pid=5575] vsize: 25576
Current children cumulated CPU time (s) 132.36
Current children cumulated vsize (Kb) 27704

[startup+160.018 s]
Raw data (loadavg): 1.05 1.04 1.00 2/56 5632
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) R 5572 5572 4059 0 -1 0 3124 0 0 0 13264 907 0 0 20 0 1 0 20037625 26054656 2851 4294967295 134512640 134702520 3221223952 3221223344 134603380 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5575/statm): 6361 2851 413 48 0 6313 0
[pid=5575] vsize: 25444
Current children cumulated CPU time (s) 141.73
Current children cumulated vsize (Kb) 27572

[startup+170.019 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 5634
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) R 5572 5572 4059 0 -1 0 3128 0 0 0 13986 994 0 0 25 0 1 0 20037625 26054656 2854 4294967295 134512640 134702520 3221223952 3220552032 134611991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5575/statm): 6361 2854 413 48 0 6313 0
[pid=5575] vsize: 25444
Current children cumulated CPU time (s) 149.82
Current children cumulated vsize (Kb) 27572

[startup+180.02 s]
Raw data (loadavg): 1.11 1.05 1.00 1/56 5636
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) T 5572 5572 4059 0 -1 0 3137 0 0 0 14717 1083 0 0 20 0 1 0 20037625 26189824 2861 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5575/statm): 6394 2861 413 48 0 6346 0
[pid=5575] vsize: 25576
Current children cumulated CPU time (s) 158.02
Current children cumulated vsize (Kb) 27704

[startup+190.021 s]
Raw data (loadavg): 1.09 1.05 1.00 1/56 5636
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) T 5572 5572 4059 0 -1 0 3193 0 0 0 15544 1140 0 0 18 0 1 0 20037625 26189824 2915 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5575/statm): 6394 2915 413 48 0 6346 0
[pid=5575] vsize: 25576
Current children cumulated CPU time (s) 166.86
Current children cumulated vsize (Kb) 27704

[startup+200.022 s]
Raw data (loadavg): 1.08 1.05 1.00 2/56 5636
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) R 5572 5572 4059 0 -1 0 3227 0 0 0 16388 1191 0 0 25 0 1 0 20037625 26324992 2949 4294967295 134512640 134702520 3221223952 3221222976 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5575/statm): 6427 2949 413 48 0 6379 0
[pid=5575] vsize: 25708
Current children cumulated CPU time (s) 175.81
Current children cumulated vsize (Kb) 27836

[startup+210.022 s]
Raw data (loadavg): 1.06 1.05 1.00 2/56 5636
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) R 5572 5572 4059 0 -1 0 3229 0 0 0 17297 1221 0 0 22 0 1 0 20037625 26189824 2948 4294967295 134512640 134702520 3221223952 3221223232 134557238 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5575/statm): 6394 2948 413 48 0 6346 0
[pid=5575] vsize: 25576
Current children cumulated CPU time (s) 185.2
Current children cumulated vsize (Kb) 27704

[startup+220.024 s]
Raw data (loadavg): 1.05 1.05 1.00 2/56 5636
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) R 5572 5572 4059 0 -1 0 3233 0 0 0 17999 1321 0 0 23 0 1 0 20037625 26189824 2951 4294967295 134512640 134702520 3221223952 3220784688 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5575/statm): 6394 2951 413 48 0 6346 0
[pid=5575] vsize: 25576
Current children cumulated CPU time (s) 193.22
Current children cumulated vsize (Kb) 27704

[startup+230.024 s]
Raw data (loadavg): 1.04 1.04 1.00 1/56 5636
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) T 5572 5572 4059 0 -1 0 3242 0 0 0 18728 1411 0 0 19 0 1 0 20037625 26324992 2958 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5575/statm): 6427 2958 413 48 0 6379 0
[pid=5575] vsize: 25708
Current children cumulated CPU time (s) 201.41
Current children cumulated vsize (Kb) 27836

[startup+240.025 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 5636
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) R 5572 5572 4059 0 -1 0 3267 0 0 0 19500 1484 0 0 25 0 1 0 20037625 26324992 2982 4294967295 134512640 134702520 3221223952 3220603248 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5575/statm): 6427 2982 413 48 0 6379 0
[pid=5575] vsize: 25708
Current children cumulated CPU time (s) 209.86
Current children cumulated vsize (Kb) 27836

[startup+250.027 s]
Raw data (loadavg): 1.03 1.04 1.00 1/56 5636
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) T 5572 5572 4059 0 -1 0 3324 0 0 0 20313 1542 0 0 25 0 1 0 20037625 28086272 3038 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5575/statm): 6857 3038 413 48 0 6809 0
[pid=5575] vsize: 27428
Current children cumulated CPU time (s) 218.57
Current children cumulated vsize (Kb) 29556

[startup+260.027 s]
Raw data (loadavg): 1.10 1.06 1.00 2/56 5636
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) R 5572 5572 4059 0 -1 0 3325 0 0 0 21218 1574 0 0 25 0 1 0 20037625 28221440 3039 4294967295 134512640 134702520 3221223952 3221222832 134553867 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5575/statm): 6890 3039 413 48 0 6842 0
[pid=5575] vsize: 27560
Current children cumulated CPU time (s) 227.94
Current children cumulated vsize (Kb) 29688

[startup+270.028 s]
Raw data (loadavg): 1.08 1.05 1.00 2/56 5636
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) T 5572 5572 4059 0 -1 0 3335 0 0 0 22017 1641 0 0 20 0 1 0 20037625 27951104 3045 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5575/statm): 6824 3045 413 48 0 6776 0
[pid=5575] vsize: 27296
Current children cumulated CPU time (s) 236.6
Current children cumulated vsize (Kb) 29424

[startup+280.029 s]
Raw data (loadavg): 1.07 1.05 1.00 2/56 5636
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) T 5572 5572 4059 0 -1 0 3361 0 0 0 22852 1697 0 0 20 0 1 0 20037625 28086272 3070 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5575/statm): 6857 3070 413 48 0 6809 0
[pid=5575] vsize: 27428
Current children cumulated CPU time (s) 245.51
Current children cumulated vsize (Kb) 29556

[startup+290.029 s]
Raw data (loadavg): 1.06 1.05 1.00 2/56 5636
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) R 5572 5572 4059 0 -1 0 3455 0 0 0 23699 1746 0 0 24 0 1 0 20037625 28221440 3162 4294967295 134512640 134702520 3221223952 3221223424 134657210 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5575/statm): 6890 3162 413 48 0 6842 0
[pid=5575] vsize: 27560
Current children cumulated CPU time (s) 254.47
Current children cumulated vsize (Kb) 29688

[startup+300.03 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 5636
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) T 5572 5572 4059 0 -1 0 3535 0 0 0 24517 1806 0 0 24 0 1 0 20037625 28356608 3242 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5575/statm): 6923 3242 413 48 0 6875 0
[pid=5575] vsize: 27692
Current children cumulated CPU time (s) 263.25
Current children cumulated vsize (Kb) 29820

[startup+310.03 s]
Raw data (loadavg): 1.04 1.05 1.00 1/56 5636
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) T 5572 5572 4059 0 -1 0 3537 0 0 0 25428 1837 0 0 25 0 1 0 20037625 28491776 3244 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5575/statm): 6956 3244 413 48 0 6908 0
[pid=5575] vsize: 27824
Current children cumulated CPU time (s) 272.67
Current children cumulated vsize (Kb) 29952

[startup+320.032 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 5636
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) R 5572 5572 4059 0 -1 0 3538 0 0 0 26234 1900 0 0 21 0 1 0 20037625 28356608 3243 4294967295 134512640 134702520 3221223952 3221223072 134572986 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5575/statm): 6923 3243 413 48 0 6875 0
[pid=5575] vsize: 27692
Current children cumulated CPU time (s) 281.36
Current children cumulated vsize (Kb) 29820

[startup+330.033 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 5636
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) R 5572 5572 4059 0 -1 0 3547 0 0 0 27084 1949 0 0 25 0 1 0 20037625 28356608 3250 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5575/statm): 6923 3250 413 48 0 6875 0
[pid=5575] vsize: 27692
Current children cumulated CPU time (s) 290.35
Current children cumulated vsize (Kb) 29820

[startup+340.033 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 5636
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) T 5572 5572 4059 0 -1 0 3634 0 0 0 27915 2006 0 0 23 0 1 0 20037625 28356608 3336 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5575/statm): 6923 3336 413 48 0 6875 0
[pid=5575] vsize: 27692
Current children cumulated CPU time (s) 299.23
Current children cumulated vsize (Kb) 29820

[startup+350.034 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 5636
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) R 5572 5572 4059 0 -1 0 3763 0 0 0 28729 2069 0 0 22 0 1 0 20037625 28491776 3464 4294967295 134512640 134702520 3221223952 3221223336 134609856 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5575/statm): 6956 3464 413 48 0 6908 0
[pid=5575] vsize: 27824
Current children cumulated CPU time (s) 308
Current children cumulated vsize (Kb) 29952

[startup+360.035 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 5636
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 20037618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 242 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5575/stat): 5575 (vallst) R 5572 5572 4059 0 -1 0 3765 0 0 0 29586 2115 0 0 25 0 1 0 20037625 28762112 3466 4294967295 134512640 134702520 3221223952 3221222848 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5575/statm): 7022 3466 413 48 0 6974 0
[pid=5575] vsize: 28088
Current children cumulated CPU time (s) 317.03
Current children cumulated vsize (Kb) 30216
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=5575) exited with status: 2
New process pid=5637
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=5637) exited with status: 0
New process pid=5638
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+370.036 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 5638
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 1714 0 0 0 140 11 0 0 25 0 1 0 20074470 12242944 1685 4294967295 134512640 134702520 3221223712 3221223336 1074475148 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 2989 1685 413 48 0 2941 0
[pid=5638] vsize: 11956
Current children cumulated CPU time (s) 326.68
Current children cumulated vsize (Kb) 14084

[startup+380.037 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 5638
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 2633 0 0 0 1004 58 0 0 25 0 1 0 20074470 14204928 2603 4294967295 134512640 134702520 3221223712 3220608508 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 3468 2603 413 48 0 3420 0
[pid=5638] vsize: 13872
Current children cumulated CPU time (s) 335.79
Current children cumulated vsize (Kb) 16000

[startup+390.038 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 5638
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 2872 0 0 0 1816 124 0 0 21 0 1 0 20074470 29278208 2841 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 7148 2841 413 48 0 7100 0
[pid=5638] vsize: 28592
Current children cumulated CPU time (s) 344.57
Current children cumulated vsize (Kb) 30720

[startup+400.038 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 5638
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 2984 0 0 0 2703 162 0 0 23 0 1 0 20074470 29495296 2951 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5638/statm): 7201 2951 413 48 0 7153 0
[pid=5638] vsize: 28804
Current children cumulated CPU time (s) 353.82
Current children cumulated vsize (Kb) 30932

[startup+410.039 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 5638
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 3077 0 0 0 3583 205 0 0 22 0 1 0 20074470 29630464 3042 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5638/statm): 7234 3042 413 48 0 7186 0
[pid=5638] vsize: 28936
Current children cumulated CPU time (s) 363.05
Current children cumulated vsize (Kb) 31064

[startup+420.04 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5638
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 3149 0 0 0 4469 243 0 0 25 0 1 0 20074470 31576064 3113 4294967295 134512640 134702520 3221223712 3220163948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 7709 3113 413 48 0 7661 0
[pid=5638] vsize: 30836
Current children cumulated CPU time (s) 372.29
Current children cumulated vsize (Kb) 32964

[startup+430.042 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5638
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 3151 0 0 0 5280 304 0 0 23 0 1 0 20074470 31846400 3115 4294967295 134512640 134702520 3221223712 3221222592 134557412 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 7775 3115 413 48 0 7727 0
[pid=5638] vsize: 31100
Current children cumulated CPU time (s) 381.01
Current children cumulated vsize (Kb) 33228

[startup+440.043 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5638
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 3151 0 0 0 6074 374 0 0 25 0 1 0 20074470 31576064 3113 4294967295 134512640 134702520 3221223712 3220835788 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 7709 3113 413 48 0 7661 0
[pid=5638] vsize: 30836
Current children cumulated CPU time (s) 389.65
Current children cumulated vsize (Kb) 32964

[startup+450.044 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5638
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 3157 0 0 0 6899 432 0 0 21 0 1 0 20074470 31576064 3117 4294967295 134512640 134702520 3221223712 3221193088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 7709 3117 413 48 0 7661 0
[pid=5638] vsize: 30836
Current children cumulated CPU time (s) 398.48
Current children cumulated vsize (Kb) 32964

[startup+460.045 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5638
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 3164 0 0 0 7777 469 0 0 22 0 1 0 20074470 31576064 3122 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 7709 3122 413 48 0 7661 0
[pid=5638] vsize: 30836
Current children cumulated CPU time (s) 407.63
Current children cumulated vsize (Kb) 32964

[startup+470.046 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5638
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 3176 0 0 0 8644 512 0 0 21 0 1 0 20074470 31846400 3133 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 7775 3133 413 48 0 7727 0
[pid=5638] vsize: 31100
Current children cumulated CPU time (s) 416.73
Current children cumulated vsize (Kb) 33228

[startup+480.046 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 3178 0 0 0 9503 559 0 0 23 0 1 0 20074470 31846400 3135 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5638/statm): 7775 3135 413 48 0 7727 0
[pid=5638] vsize: 31100
Current children cumulated CPU time (s) 425.79
Current children cumulated vsize (Kb) 33228

[startup+490.047 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 3178 0 0 0 10348 609 0 0 22 0 1 0 20074470 31846400 3135 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5638/statm): 7775 3135 413 48 0 7727 0
[pid=5638] vsize: 31100
Current children cumulated CPU time (s) 434.74
Current children cumulated vsize (Kb) 33228

[startup+500.048 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 3180 0 0 0 11208 656 0 0 25 0 1 0 20074470 31846400 3137 4294967295 134512640 134702520 3221223712 3220323468 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5638/statm): 7775 3137 413 48 0 7727 0
[pid=5638] vsize: 31100
Current children cumulated CPU time (s) 443.81
Current children cumulated vsize (Kb) 33228

[startup+510.048 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 3189 0 0 0 12028 719 0 0 21 0 1 0 20074470 31846400 3146 4294967295 134512640 134702520 3221223712 3221186048 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5638/statm): 7775 3146 413 48 0 7727 0
[pid=5638] vsize: 31100
Current children cumulated CPU time (s) 452.64
Current children cumulated vsize (Kb) 33228

[startup+520.05 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 3195 0 0 0 12892 765 0 0 24 0 1 0 20074470 31846400 3152 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5638/statm): 7775 3152 413 48 0 7727 0
[pid=5638] vsize: 31100
Current children cumulated CPU time (s) 461.74
Current children cumulated vsize (Kb) 33228

[startup+530.05 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 3196 0 0 0 13747 817 0 0 25 0 1 0 20074470 31981568 3153 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5638/statm): 7808 3153 413 48 0 7760 0
[pid=5638] vsize: 31232
Current children cumulated CPU time (s) 470.81
Current children cumulated vsize (Kb) 33360

[startup+540.051 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 3196 0 0 0 14582 873 0 0 17 0 1 0 20074470 31846400 3152 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5638/statm): 7775 3152 413 48 0 7727 0
[pid=5638] vsize: 31100
Current children cumulated CPU time (s) 479.72
Current children cumulated vsize (Kb) 33228

[startup+550.053 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 3199 0 0 0 15423 926 0 0 25 0 1 0 20074470 31846400 3155 4294967295 134512640 134702520 3221223712 3220906672 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5638/statm): 7775 3155 413 48 0 7727 0
[pid=5638] vsize: 31100
Current children cumulated CPU time (s) 488.66
Current children cumulated vsize (Kb) 33228

[startup+560.053 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 3209 0 0 0 16274 978 0 0 18 0 1 0 20074470 31846400 3165 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5638/statm): 7775 3165 413 48 0 7727 0
[pid=5638] vsize: 31100
Current children cumulated CPU time (s) 497.69
Current children cumulated vsize (Kb) 33228

[startup+570.054 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 3218 0 0 0 17153 1020 0 0 25 0 1 0 20074470 31846400 3174 4294967295 134512640 134702520 3221223712 3220395308 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 7775 3174 413 48 0 7727 0
[pid=5638] vsize: 31100
Current children cumulated CPU time (s) 506.9
Current children cumulated vsize (Kb) 33228

[startup+580.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 3221 0 0 0 17976 1079 0 0 25 0 1 0 20074470 32116736 3177 4294967295 134512640 134702520 3221223712 3221222608 134552546 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 7841 3177 413 48 0 7793 0
[pid=5638] vsize: 31364
Current children cumulated CPU time (s) 515.72
Current children cumulated vsize (Kb) 33492

[startup+590.055 s]
Raw data (loadavg): 1.08 1.03 1.01 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 3221 0 0 0 18779 1148 0 0 25 0 1 0 20074470 31846400 3174 4294967295 134512640 134702520 3221223712 3221052756 134611990 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 7775 3174 413 48 0 7727 0
[pid=5638] vsize: 31100
Current children cumulated CPU time (s) 524.44
Current children cumulated vsize (Kb) 33228

[startup+600.056 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 3227 0 0 0 19608 1207 0 0 20 0 1 0 20074470 31846400 3178 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5638/statm): 7775 3178 413 48 0 7727 0
[pid=5638] vsize: 31100
Current children cumulated CPU time (s) 533.32
Current children cumulated vsize (Kb) 33228

[startup+610.057 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 3237 0 0 0 20468 1252 0 0 25 0 1 0 20074470 31846400 3186 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5638/statm): 7775 3186 413 48 0 7727 0
[pid=5638] vsize: 31100
Current children cumulated CPU time (s) 542.37
Current children cumulated vsize (Kb) 33228

[startup+620.057 s]
Raw data (loadavg): 1.05 1.02 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 3252 0 0 0 21271 1316 0 0 21 0 1 0 20074470 31846400 3200 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5638/statm): 7775 3200 413 48 0 7727 0
[pid=5638] vsize: 31100
Current children cumulated CPU time (s) 551.04
Current children cumulated vsize (Kb) 33228

[startup+630.058 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 3255 0 0 0 22111 1369 0 0 20 0 1 0 20074470 32116736 3203 4294967295 134512640 134702520 3221223712 3221222608 134552186 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5638/statm): 7841 3203 413 48 0 7793 0
[pid=5638] vsize: 31364
Current children cumulated CPU time (s) 559.97
Current children cumulated vsize (Kb) 33492

[startup+640.058 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 3256 0 0 0 22952 1426 0 0 18 0 1 0 20074470 31846400 3201 4294967295 134512640 134702520 3221223712 3221223184 134657210 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5638/statm): 7775 3201 413 48 0 7727 0
[pid=5638] vsize: 31100
Current children cumulated CPU time (s) 568.95
Current children cumulated vsize (Kb) 33228

[startup+650.059 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 3257 0 0 0 23782 1483 0 0 25 0 1 0 20074470 31846400 3201 4294967295 134512640 134702520 3221223712 3220716908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 7775 3201 413 48 0 7727 0
[pid=5638] vsize: 31100
Current children cumulated CPU time (s) 577.82
Current children cumulated vsize (Kb) 33228

[startup+660.06 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 3262 0 0 0 24607 1542 0 0 21 0 1 0 20074470 31981568 3204 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 7808 3204 413 48 0 7760 0
[pid=5638] vsize: 31232
Current children cumulated CPU time (s) 586.66
Current children cumulated vsize (Kb) 33360

[startup+670.061 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 3276 0 0 0 25465 1591 0 0 25 0 1 0 20074470 31981568 3217 4294967295 134512640 134702520 3221223712 3220686828 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 7808 3217 413 48 0 7760 0
[pid=5638] vsize: 31232
Current children cumulated CPU time (s) 595.73
Current children cumulated vsize (Kb) 33360

[startup+680.062 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 3330 0 0 0 26296 1649 0 0 22 0 1 0 20074470 32116736 3270 4294967295 134512640 134702520 3221223712 3221222736 134553830 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 7841 3270 413 48 0 7793 0
[pid=5638] vsize: 31364
Current children cumulated CPU time (s) 604.62
Current children cumulated vsize (Kb) 33492

[startup+690.063 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 3332 0 0 0 27151 1695 0 0 25 0 1 0 20074470 32251904 3272 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5638/statm): 7874 3272 413 48 0 7826 0
[pid=5638] vsize: 31496
Current children cumulated CPU time (s) 613.63
Current children cumulated vsize (Kb) 33624

[startup+700.064 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 3332 0 0 0 27996 1748 0 0 25 0 1 0 20074470 31981568 3269 4294967295 134512640 134702520 3221223712 3220351788 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 7808 3269 413 48 0 7760 0
[pid=5638] vsize: 31232
Current children cumulated CPU time (s) 622.61
Current children cumulated vsize (Kb) 33360

[startup+710.065 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 3338 0 0 0 28833 1802 0 0 22 0 1 0 20074470 31981568 3273 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5638/statm): 7808 3273 413 48 0 7760 0
[pid=5638] vsize: 31232
Current children cumulated CPU time (s) 631.52
Current children cumulated vsize (Kb) 33360

[startup+720.064 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 3381 0 0 0 29667 1860 0 0 23 0 1 0 20074470 32116736 3315 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5638/statm): 7841 3315 413 48 0 7793 0
[pid=5638] vsize: 31364
Current children cumulated CPU time (s) 640.44
Current children cumulated vsize (Kb) 33492

[startup+730.066 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 3489 0 0 0 30533 1906 0 0 25 0 1 0 20074470 32116736 3422 4294967295 134512640 134702520 3221223712 3221158836 134611987 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5638/statm): 7841 3422 413 48 0 7793 0
[pid=5638] vsize: 31364
Current children cumulated CPU time (s) 649.56
Current children cumulated vsize (Kb) 33492

[startup+740.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 3604 0 0 0 31396 1950 0 0 25 0 1 0 20074470 32251904 3536 4294967295 134512640 134702520 3221223712 3220947488 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 7874 3536 413 48 0 7826 0
[pid=5638] vsize: 31496
Current children cumulated CPU time (s) 658.63
Current children cumulated vsize (Kb) 33624

[startup+750.067 s]
Raw data (loadavg): 1.08 1.03 1.01 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 3607 0 0 0 32239 2004 0 0 24 0 1 0 20074470 32522240 3539 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5638/statm): 7940 3539 413 48 0 7892 0
[pid=5638] vsize: 31760
Current children cumulated CPU time (s) 667.6
Current children cumulated vsize (Kb) 33888

[startup+760.068 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 3618 0 0 0 33079 2057 0 0 21 0 1 0 20074470 32251904 3547 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5638/statm): 7874 3547 413 48 0 7826 0
[pid=5638] vsize: 31496
Current children cumulated CPU time (s) 676.53
Current children cumulated vsize (Kb) 33624

[startup+770.069 s]
Raw data (loadavg): 1.14 1.04 1.01 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 3621 0 0 0 33899 2118 0 0 21 0 1 0 20074470 32251904 3549 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5638/statm): 7874 3549 413 48 0 7826 0
[pid=5638] vsize: 31496
Current children cumulated CPU time (s) 685.34
Current children cumulated vsize (Kb) 33624

[startup+780.069 s]
Raw data (loadavg): 1.12 1.04 1.01 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 3623 0 0 0 34738 2172 0 0 22 0 1 0 20074470 32251904 3550 4294967295 134512640 134702520 3221223712 3221223064 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5638/statm): 7874 3550 413 48 0 7826 0
[pid=5638] vsize: 31496
Current children cumulated CPU time (s) 694.27
Current children cumulated vsize (Kb) 33624

[startup+790.07 s]
Raw data (loadavg): 1.10 1.04 1.01 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 3630 0 0 0 35610 2213 0 0 25 0 1 0 20074470 32251904 3556 4294967295 134512640 134702520 3221223712 3220968448 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 7874 3556 413 48 0 7826 0
[pid=5638] vsize: 31496
Current children cumulated CPU time (s) 703.4
Current children cumulated vsize (Kb) 33624

[startup+800.072 s]
Raw data (loadavg): 1.08 1.04 1.01 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 3676 0 0 0 36457 2268 0 0 25 0 1 0 20074470 32387072 3601 4294967295 134512640 134702520 3221223712 3221150988 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 7907 3601 413 48 0 7859 0
[pid=5638] vsize: 31628
Current children cumulated CPU time (s) 712.42
Current children cumulated vsize (Kb) 33756

[startup+810.072 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 3771 0 0 0 37312 2317 0 0 23 0 1 0 20074470 32387072 3695 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5638/statm): 7907 3695 413 48 0 7859 0
[pid=5638] vsize: 31628
Current children cumulated CPU time (s) 721.46
Current children cumulated vsize (Kb) 33756

[startup+820.072 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 3799 0 0 0 38159 2364 0 0 18 0 1 0 20074470 32657408 3723 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5638/statm): 7973 3723 413 48 0 7925 0
[pid=5638] vsize: 31892
Current children cumulated CPU time (s) 730.4
Current children cumulated vsize (Kb) 34020

[startup+830.073 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 3801 0 0 0 39048 2403 0 0 21 0 1 0 20074470 32387072 3721 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5638/statm): 7907 3721 413 48 0 7859 0
[pid=5638] vsize: 31628
Current children cumulated CPU time (s) 739.68
Current children cumulated vsize (Kb) 33756

[startup+840.074 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 3803 0 0 0 39881 2458 0 0 22 0 1 0 20074470 32387072 3722 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5638/statm): 7907 3722 413 48 0 7859 0
[pid=5638] vsize: 31628
Current children cumulated CPU time (s) 748.56
Current children cumulated vsize (Kb) 33756

[startup+850.076 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 3807 0 0 0 40718 2513 0 0 25 0 1 0 20074470 32387072 3725 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 7907 3725 413 48 0 7859 0
[pid=5638] vsize: 31628
Current children cumulated CPU time (s) 757.48
Current children cumulated vsize (Kb) 33756

[startup+860.076 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 3810 0 0 0 41572 2561 0 0 25 0 1 0 20074470 32387072 3727 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5638/statm): 7907 3727 413 48 0 7859 0
[pid=5638] vsize: 31628
Current children cumulated CPU time (s) 766.5
Current children cumulated vsize (Kb) 33756

[startup+870.077 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 3819 0 0 0 42338 2637 0 0 23 0 1 0 20074470 32522240 3736 4294967295 134512640 134702520 3221223712 3221222992 134557196 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 7940 3736 413 48 0 7892 0
[pid=5638] vsize: 31760
Current children cumulated CPU time (s) 774.92
Current children cumulated vsize (Kb) 33888

[startup+880.078 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 3834 0 0 0 43187 2689 0 0 23 0 1 0 20074470 32522240 3750 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 7940 3750 413 48 0 7892 0
[pid=5638] vsize: 31760
Current children cumulated CPU time (s) 783.93
Current children cumulated vsize (Kb) 33888

[startup+890.078 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 3905 0 0 0 44054 2733 0 0 24 0 1 0 20074470 32522240 3820 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 7940 3820 413 48 0 7892 0
[pid=5638] vsize: 31760
Current children cumulated CPU time (s) 793.04
Current children cumulated vsize (Kb) 33888

[startup+900.079 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 3983 0 0 0 44915 2780 0 0 19 0 1 0 20074470 34738176 3898 4294967295 134512640 134702520 3221223712 3221223004 1074652272 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 8481 3898 413 48 0 8433 0
[pid=5638] vsize: 33924
Current children cumulated CPU time (s) 802.12
Current children cumulated vsize (Kb) 36052

[startup+910.081 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 3985 0 0 0 45774 2827 0 0 25 0 1 0 20074470 34873344 3900 4294967295 134512640 134702520 3221223712 3221222608 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 8514 3900 413 48 0 8466 0
[pid=5638] vsize: 34056
Current children cumulated CPU time (s) 811.18
Current children cumulated vsize (Kb) 36184

[startup+920.08 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 3986 0 0 0 46611 2883 0 0 23 0 1 0 20074470 34603008 3897 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5638/statm): 8448 3897 413 48 0 8400 0
[pid=5638] vsize: 33792
Current children cumulated CPU time (s) 820.11
Current children cumulated vsize (Kb) 35920

[startup+930.081 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 3987 0 0 0 47446 2940 0 0 21 0 1 0 20074470 34603008 3897 4294967295 134512640 134702520 3221223712 3221222992 134557229 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 8448 3897 413 48 0 8400 0
[pid=5638] vsize: 33792
Current children cumulated CPU time (s) 829.03
Current children cumulated vsize (Kb) 35920

[startup+940.081 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 3989 0 0 0 48287 2992 0 0 23 0 1 0 20074470 34603008 3898 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 8448 3898 413 48 0 8400 0
[pid=5638] vsize: 33792
Current children cumulated CPU time (s) 837.96
Current children cumulated vsize (Kb) 35920

[startup+950.083 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 3992 0 0 0 49144 3043 0 0 24 0 1 0 20074470 34603008 3900 4294967295 134512640 134702520 3221223712 3221222992 134552857 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 8448 3900 413 48 0 8400 0
[pid=5638] vsize: 33792
Current children cumulated CPU time (s) 847.04
Current children cumulated vsize (Kb) 35920

[startup+960.084 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 4002 0 0 0 50012 3088 0 0 24 0 1 0 20074470 34603008 3909 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5638/statm): 8448 3909 413 48 0 8400 0
[pid=5638] vsize: 33792
Current children cumulated CPU time (s) 856.17
Current children cumulated vsize (Kb) 35920

[startup+970.084 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 4028 0 0 0 50859 3137 0 0 25 0 1 0 20074470 34738176 3935 4294967295 134512640 134702520 3221223712 3221070688 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 8481 3935 413 48 0 8433 0
[pid=5638] vsize: 33924
Current children cumulated CPU time (s) 865.13
Current children cumulated vsize (Kb) 36052

[startup+980.085 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 4134 0 0 0 51726 3187 0 0 25 0 1 0 20074470 34738176 4040 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5638/statm): 8481 4040 413 48 0 8433 0
[pid=5638] vsize: 33924
Current children cumulated CPU time (s) 874.3
Current children cumulated vsize (Kb) 36052

[startup+990.086 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 4162 0 0 0 52610 3227 0 0 25 0 1 0 20074470 34873344 4068 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5638/statm): 8514 4068 413 48 0 8466 0
[pid=5638] vsize: 34056
Current children cumulated CPU time (s) 883.54
Current children cumulated vsize (Kb) 36184

[startup+1000.09 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 4165 0 0 0 53494 3265 0 0 23 0 1 0 20074470 34738176 4067 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5638/statm): 8481 4067 413 48 0 8433 0
[pid=5638] vsize: 33924
Current children cumulated CPU time (s) 892.76
Current children cumulated vsize (Kb) 36052

[startup+1010.09 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 4165 0 0 0 54338 3318 0 0 25 0 1 0 20074470 34738176 4067 4294967295 134512640 134702520 3221223712 3220670348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5638/statm): 8481 4067 413 48 0 8433 0
[pid=5638] vsize: 33924
Current children cumulated CPU time (s) 901.73
Current children cumulated vsize (Kb) 36052

[startup+1020.09 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 4168 0 0 0 55184 3369 0 0 25 0 1 0 20074470 34738176 4069 4294967295 134512640 134702520 3221223712 3220913548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 8481 4069 413 48 0 8433 0
[pid=5638] vsize: 33924
Current children cumulated CPU time (s) 910.7
Current children cumulated vsize (Kb) 36052

[startup+1030.09 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 4172 0 0 0 56030 3423 0 0 24 0 1 0 20074470 34738176 4072 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5638/statm): 8481 4072 413 48 0 8433 0
[pid=5638] vsize: 33924
Current children cumulated CPU time (s) 919.7
Current children cumulated vsize (Kb) 36052

[startup+1040.09 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 4176 0 0 0 56891 3468 0 0 23 0 1 0 20074470 34873344 4075 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5638/statm): 8514 4075 413 48 0 8466 0
[pid=5638] vsize: 34056
Current children cumulated CPU time (s) 928.76
Current children cumulated vsize (Kb) 36184

[startup+1050.09 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 4184 0 0 0 57766 3510 0 0 25 0 1 0 20074470 34873344 4082 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 8514 4082 413 48 0 8466 0
[pid=5638] vsize: 34056
Current children cumulated CPU time (s) 937.93
Current children cumulated vsize (Kb) 36184

[startup+1060.09 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 4193 0 0 0 58635 3554 0 0 23 0 1 0 20074470 34873344 4090 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5638/statm): 8514 4090 413 48 0 8466 0
[pid=5638] vsize: 34056
Current children cumulated CPU time (s) 947.06
Current children cumulated vsize (Kb) 36184

[startup+1070.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 4200 0 0 0 59499 3605 0 0 25 0 1 0 20074470 34873344 4097 4294967295 134512640 134702520 3221223712 3221190828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 8514 4097 413 48 0 8466 0
[pid=5638] vsize: 34056
Current children cumulated CPU time (s) 956.21
Current children cumulated vsize (Kb) 36184

[startup+1080.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 4203 0 0 0 60333 3659 0 0 25 0 1 0 20074470 35143680 4100 4294967295 134512640 134702520 3221223712 3221222608 134552562 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 8580 4100 413 48 0 8532 0
[pid=5638] vsize: 34320
Current children cumulated CPU time (s) 965.09
Current children cumulated vsize (Kb) 36448

[startup+1090.09 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 4204 0 0 0 61130 3726 0 0 19 0 1 0 20074470 34873344 4097 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5638/statm): 8514 4097 413 48 0 8466 0
[pid=5638] vsize: 34056
Current children cumulated CPU time (s) 973.73
Current children cumulated vsize (Kb) 36184

[startup+1100.09 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 4205 0 0 0 61917 3800 0 0 20 0 1 0 20074470 34873344 4097 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5638/statm): 8514 4097 413 48 0 8466 0
[pid=5638] vsize: 34056
Current children cumulated CPU time (s) 982.34
Current children cumulated vsize (Kb) 36184

[startup+1110.09 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 4206 0 0 0 62707 3869 0 0 20 0 1 0 20074470 34873344 4097 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5638/statm): 8514 4097 413 48 0 8466 0
[pid=5638] vsize: 34056
Current children cumulated CPU time (s) 990.93
Current children cumulated vsize (Kb) 36184

[startup+1120.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 4207 0 0 0 63525 3930 0 0 22 0 1 0 20074470 34873344 4097 4294967295 134512640 134702520 3221223712 3221210192 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 8514 4097 413 48 0 8466 0
[pid=5638] vsize: 34056
Current children cumulated CPU time (s) 999.72
Current children cumulated vsize (Kb) 36184

[startup+1130.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 4208 0 0 0 64360 3985 0 0 24 0 1 0 20074470 34873344 4097 4294967295 134512640 134702520 3221223712 3221161708 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 8514 4097 413 48 0 8466 0
[pid=5638] vsize: 34056
Current children cumulated CPU time (s) 1008.62
Current children cumulated vsize (Kb) 36184

[startup+1140.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 4209 0 0 0 65199 4039 0 0 25 0 1 0 20074470 34873344 4097 4294967295 134512640 134702520 3221223712 3221083308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 8514 4097 413 48 0 8466 0
[pid=5638] vsize: 34056
Current children cumulated CPU time (s) 1017.55
Current children cumulated vsize (Kb) 36184

[startup+1150.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 4212 0 0 0 66057 4087 0 0 25 0 1 0 20074470 35143680 4100 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 8580 4100 413 48 0 8532 0
[pid=5638] vsize: 34320
Current children cumulated CPU time (s) 1026.61
Current children cumulated vsize (Kb) 36448

[startup+1160.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 4213 0 0 0 66899 4142 0 0 20 0 1 0 20074470 34873344 4097 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5638/statm): 8514 4097 413 48 0 8466 0
[pid=5638] vsize: 34056
Current children cumulated CPU time (s) 1035.58
Current children cumulated vsize (Kb) 36184

[startup+1170.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 4214 0 0 0 67700 4210 0 0 21 0 1 0 20074470 34873344 4097 4294967295 134512640 134702520 3221223712 3221222992 134552871 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5638/statm): 8514 4097 413 48 0 8466 0
[pid=5638] vsize: 34056
Current children cumulated CPU time (s) 1044.27
Current children cumulated vsize (Kb) 36184

[startup+1180.1 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 4215 0 0 0 68527 4270 0 0 23 0 1 0 20074470 34873344 4097 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5638/statm): 8514 4097 413 48 0 8466 0
[pid=5638] vsize: 34056
Current children cumulated CPU time (s) 1053.14
Current children cumulated vsize (Kb) 36184

[startup+1190.1 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 4216 0 0 0 69357 4324 0 0 21 0 1 0 20074470 34873344 4097 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5638/statm): 8514 4097 413 48 0 8466 0
[pid=5638] vsize: 34056
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (Kb) 36184

[startup+1200.1 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 4217 0 0 0 70180 4386 0 0 22 0 1 0 20074470 34873344 4097 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5638/statm): 8514 4097 413 48 0 8466 0
[pid=5638] vsize: 34056
Current children cumulated CPU time (s) 1070.83
Current children cumulated vsize (Kb) 36184

[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 4220 0 0 0 71021 4439 0 0 22 0 1 0 20074470 34873344 4099 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5638/statm): 8514 4099 413 48 0 8466 0
[pid=5638] vsize: 34056
Current children cumulated CPU time (s) 1079.77
Current children cumulated vsize (Kb) 36184

[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 4223 0 0 0 71895 4480 0 0 25 0 1 0 20074470 35008512 4102 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 8547 4102 413 48 0 8499 0
[pid=5638] vsize: 34188
Current children cumulated CPU time (s) 1088.92
Current children cumulated vsize (Kb) 36316

[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 4226 0 0 0 72776 4521 0 0 24 0 1 0 20074470 34873344 4101 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5638/statm): 8514 4101 413 48 0 8466 0
[pid=5638] vsize: 34056
Current children cumulated CPU time (s) 1098.14
Current children cumulated vsize (Kb) 36184

[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 4226 0 0 0 73556 4593 0 0 25 0 1 0 20074470 34873344 4101 4294967295 134512640 134702520 3221223712 3221210368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 8514 4101 413 48 0 8466 0
[pid=5638] vsize: 34056
Current children cumulated CPU time (s) 1106.66
Current children cumulated vsize (Kb) 36184

[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 4227 0 0 0 74348 4664 0 0 25 0 1 0 20074470 34873344 4101 4294967295 134512640 134702520 3221223712 3220396448 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 8514 4101 413 48 0 8466 0
[pid=5638] vsize: 34056
Current children cumulated CPU time (s) 1115.29
Current children cumulated vsize (Kb) 36184

[startup+1260.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 4236 0 0 0 75154 4728 0 0 25 0 1 0 20074470 34873344 4109 4294967295 134512640 134702520 3221223712 3220576432 134611991 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5638/statm): 8514 4109 413 48 0 8466 0
[pid=5638] vsize: 34056
Current children cumulated CPU time (s) 1123.99
Current children cumulated vsize (Kb) 36184

[startup+1270.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 4237 0 0 0 75951 4793 0 0 25 0 1 0 20074470 34873344 4109 4294967295 134512640 134702520 3221223712 3220544768 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 8514 4109 413 48 0 8466 0
[pid=5638] vsize: 34056
Current children cumulated CPU time (s) 1132.61
Current children cumulated vsize (Kb) 36184

[startup+1280.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 4238 0 0 0 76668 4887 0 0 20 0 1 0 20074470 34873344 4109 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5638/statm): 8514 4109 413 48 0 8466 0
[pid=5638] vsize: 34056
Current children cumulated CPU time (s) 1140.72
Current children cumulated vsize (Kb) 36184

[startup+1290.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 4240 0 0 0 77474 4954 0 0 22 0 1 0 20074470 34873344 4110 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5638/statm): 8514 4110 413 48 0 8466 0
[pid=5638] vsize: 34056
Current children cumulated CPU time (s) 1149.45
Current children cumulated vsize (Kb) 36184

[startup+1300.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 4241 0 0 0 78278 5016 0 0 25 0 1 0 20074470 35008512 4111 4294967295 134512640 134702520 3221223712 3221222736 134553027 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 8547 4111 413 48 0 8499 0
[pid=5638] vsize: 34188
Current children cumulated CPU time (s) 1158.11
Current children cumulated vsize (Kb) 36316

[startup+1310.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 4244 0 0 0 79146 5062 0 0 25 0 1 0 20074470 35143680 4114 4294967295 134512640 134702520 3221223712 3221222608 134550667 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 8580 4114 413 48 0 8532 0
[pid=5638] vsize: 34320
Current children cumulated CPU time (s) 1167.25
Current children cumulated vsize (Kb) 36448

[startup+1320.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 4244 0 0 0 79881 5148 0 0 19 0 1 0 20074470 34873344 4110 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5638/statm): 8514 4110 413 48 0 8466 0
[pid=5638] vsize: 34056
Current children cumulated CPU time (s) 1175.46
Current children cumulated vsize (Kb) 36184

[startup+1330.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 4245 0 0 0 80654 5222 0 0 21 0 1 0 20074470 34873344 4110 4294967295 134512640 134702520 3221223712 3221222992 134553147 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 8514 4110 413 48 0 8466 0
[pid=5638] vsize: 34056
Current children cumulated CPU time (s) 1183.93
Current children cumulated vsize (Kb) 36184

[startup+1340.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) R 5572 5572 4059 0 -1 0 4246 0 0 0 81483 5280 0 0 21 0 1 0 20074470 34873344 4110 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5638/statm): 8514 4110 413 48 0 8466 0
[pid=5638] vsize: 34056
Current children cumulated CPU time (s) 1192.8
Current children cumulated vsize (Kb) 36184

[startup+1350.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 4248 0 0 0 82306 5339 0 0 22 0 1 0 20074470 34873344 4111 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5638/statm): 8514 4111 413 48 0 8466 0
[pid=5638] vsize: 34056
Current children cumulated CPU time (s) 1201.62
Current children cumulated vsize (Kb) 36184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1350.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5640
Raw data (/proc/5572/stat): 5572 (vallstSAT2005PB) S 5571 5572 4059 0 -1 0 378 4141 0 0 1 1 30375 2140 18 0 1 0 20037618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5572/statm): 532 248 485 147 0 385 0
[pid=5572] vsize: 2128
Raw data (/proc/5638/stat): 5638 (vallst) T 5572 5572 4059 0 -1 0 4248 0 0 0 82306 5339 0 0 22 0 1 0 20074470 34873344 4111 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5638/statm): 8514 4111 413 48 0 8466 0
[pid=5638] vsize: 34056
Current children cumulated CPU time (s) 1201.62
Current children cumulated vsize (Kb) 36184

Sending SIGTERM to -5572
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5642
New process pid=5643
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/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/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/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/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/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/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/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1451/stat
open syscall for file /proc/1451/status
open syscall for file /proc/1451/cmdline
open syscall for file /proc/1451/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/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/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/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/4042/stat
open syscall for file /proc/4042/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/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4067/stat
open syscall for file /proc/4067/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/4067/cmdline
open syscall for file /proc/4067/environ
open syscall for file /proc/5533/stat
open syscall for file /proc/5533/status
open syscall for file /proc/5533/cmdline
open syscall for file /proc/5533/environ
open syscall for file /proc/5571/stat
open syscall for file /proc/5571/status
open syscall for file /proc/5571/cmdline
open syscall for file /proc/5571/environ
open syscall for file /proc/5572/stat
open syscall for file /proc/5572/status
open syscall for file /proc/5572/cmdline
open syscall for file /proc/5572/environ
open syscall for file /proc/5638/stat
open syscall for file /proc/5638/status
open syscall for file /proc/5638/cmdline
open syscall for file /proc/5638/environ
open syscall for file /proc/5642/stat
open syscall for file /proc/5642/status
open syscall for file /proc/5642/cmdline
open syscall for file /proc/5642/environ
open syscall for file /proc/5643/stat
open syscall for file /proc/5643/status
open syscall for file /proc/5643/cmdline
open syscall for file /proc/5643/environ
One traced child (pid=5642) exited with status: 0
One traced child (pid=5643) exited with status: 0
New process pid=5644
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=5644) exited with status: 0
New process pid=5645
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=5645) exited with status: 0
One traced child (pid=5572) 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=5638) exited with status: 3
All traced children have exited ! Game is over.

Child status: 3
Real time (s): 1351.68
CPU time (s): 877.966
CPU user time (s): 824.423
CPU system time (s): 53.5429
CPU usage (%): 64.9539
Max. virtual memory (cumulated for all children) (Kb): 36448

Verifier Data

ERROR: no interpretation found !