Some explanations

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

General information on the benchmark

Namemps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-dc1c.opb
MD5SUM52ee1c9a03c9aae47fd9a079818acfac
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 58949212683404800
Optimality of the best value was proved NO
Number of terms in the objective function 41560
Biggest coefficient in the objective function 524288000000000000
Number of bits for the biggest coefficient in the objective function 59
Sum of the numbers in the objective function 6649307310053731437
Number of bits of the sum of numbers in the objective function 63
Biggest number in a constraint 524288000000000000
Number of bits of the biggest number in a constraint 59
Biggest sum of numbers in a constraint 6777307310053731437
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 benchmark1228.49
Number of variables41560
Total number of constraints10029
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)8381
Number of constraints which are nor clauses,nor cardinality constraints1648
Minimum length of a constraint1
Maximum length of a constraint41560

Trace number 9451

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.193
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:        941000 kB
Buffers:         10636 kB
Cached:          65728 kB
SwapCached:          0 kB
Active:          48584 kB
Inactive:        30684 kB
HighTotal:      131008 kB
HighFree:        61292 kB
LowTotal:       903652 kB
LowFree:        879708 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8820 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 14:02:32 (client local time) WITH STATUS 0 IN 818.44 SECONDS
stats: 8176 7 818.44 0

Solver Data

1:
seed: 0
Nr of vars set: 11693  (#equs: 0)
Nr of vars set: 11693  (#equs: 0)
#decisions: 11614;  #end-nodes: 8815;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 103 (103)
#axs: 3282, #non-axs: 3
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: 11693  (#equs: 0)
Time taken: 6 min, 31 sec

2:

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/5708/stat): 5708 (vallstSAT2005PB) R 5707 5708 4061 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20634742 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5708/statm): 174 9 169 147 0 27 0
[pid=5708] 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=5709
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=5709) exited with status: 0
New process pid=5710
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=5710) exited with status: 0
New process pid=5711
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/wulflinc10/normalized-mps-v2-13-7-dc1c.opb

[startup+10.0037 s]
Raw data (loadavg): 1.19 1.14 1.07 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 2271 0 0 0 977 9 0 0 25 0 1 0 20634748 14159872 2112 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 3457 2112 413 48 0 3409 0
[pid=5711] vsize: 13828
Current children cumulated CPU time (s) 9.87
Current children cumulated vsize (Kb) 15956
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+20.0043 s]
Raw data (loadavg): 1.16 1.13 1.07 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 2954 0 0 0 1968 14 0 0 25 0 1 0 20634748 14508032 2687 4294967295 134512640 134702520 3221223952 3221147328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5711/statm): 3542 2687 413 48 0 3494 0
[pid=5711] vsize: 14168
Current children cumulated CPU time (s) 19.83
Current children cumulated vsize (Kb) 16296

[startup+30.0049 s]
Raw data (loadavg): 1.14 1.13 1.07 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3010 0 0 0 2967 15 0 0 25 0 1 0 20634748 14737408 2743 4294967295 134512640 134702520 3221223952 3220917248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5711/statm): 3598 2743 413 48 0 3550 0
[pid=5711] vsize: 14392
Current children cumulated CPU time (s) 29.83
Current children cumulated vsize (Kb) 16520

[startup+40.0064 s]
Raw data (loadavg): 1.12 1.12 1.07 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3076 0 0 0 3967 15 0 0 25 0 1 0 20634748 15007744 2809 4294967295 134512640 134702520 3221223952 3220646688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5711/statm): 3664 2809 413 48 0 3616 0
[pid=5711] vsize: 14656
Current children cumulated CPU time (s) 39.83
Current children cumulated vsize (Kb) 16784

[startup+50.007 s]
Raw data (loadavg): 1.10 1.12 1.07 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3160 0 0 0 4968 15 0 0 25 0 1 0 20634748 15351808 2893 4294967295 134512640 134702520 3221223952 3220303628 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5711/statm): 3748 2893 413 48 0 3700 0
[pid=5711] vsize: 14992
Current children cumulated CPU time (s) 49.84
Current children cumulated vsize (Kb) 17120

[startup+60.0076 s]
Raw data (loadavg): 1.08 1.11 1.07 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3303 0 0 0 5968 15 0 0 25 0 1 0 20634748 15937536 3036 4294967295 134512640 134702520 3221223952 3219716108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5711/statm): 3891 3036 413 48 0 3843 0
[pid=5711] vsize: 15564
Current children cumulated CPU time (s) 59.84
Current children cumulated vsize (Kb) 17692

[startup+70.0081 s]
Raw data (loadavg): 1.07 1.11 1.07 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3421 0 0 0 6961 18 0 0 25 0 1 0 20634748 29777920 3154 4294967295 134512640 134702520 3221223952 3221110288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5711/statm): 7270 3154 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 69.8
Current children cumulated vsize (Kb) 31208

[startup+80.0087 s]
Raw data (loadavg): 1.06 1.10 1.07 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3421 0 0 0 7961 18 0 0 25 0 1 0 20634748 29777920 3154 4294967295 134512640 134702520 3221223952 3220961968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5711/statm): 7270 3154 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 79.8
Current children cumulated vsize (Kb) 31208

[startup+90.0093 s]
Raw data (loadavg): 1.05 1.10 1.07 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3421 0 0 0 8961 18 0 0 25 0 1 0 20634748 29777920 3154 4294967295 134512640 134702520 3221223952 3220801468 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5711/statm): 7270 3154 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 89.8
Current children cumulated vsize (Kb) 31208

[startup+100.01 s]
Raw data (loadavg): 1.04 1.10 1.06 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3421 0 0 0 9961 18 0 0 25 0 1 0 20634748 29777920 3154 4294967295 134512640 134702520 3221223952 3220503228 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5711/statm): 7270 3154 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 99.8
Current children cumulated vsize (Kb) 31208

[startup+110.011 s]
Raw data (loadavg): 1.03 1.09 1.06 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3421 0 0 0 10961 18 0 0 25 0 1 0 20634748 29777920 3154 4294967295 134512640 134702520 3221223952 3220092848 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5711/statm): 7270 3154 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 109.8
Current children cumulated vsize (Kb) 31208

[startup+120.012 s]
Raw data (loadavg): 1.03 1.09 1.06 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3421 0 0 0 11954 20 0 0 25 0 1 0 20634748 29777920 3154 4294967295 134512640 134702520 3221223952 3221185968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5711/statm): 7270 3154 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 119.75
Current children cumulated vsize (Kb) 31208

[startup+130.013 s]
Raw data (loadavg): 1.02 1.08 1.06 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3421 0 0 0 12954 20 0 0 25 0 1 0 20634748 29777920 3154 4294967295 134512640 134702520 3221223952 3221042288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5711/statm): 7270 3154 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 129.75
Current children cumulated vsize (Kb) 31208

[startup+140.013 s]
Raw data (loadavg): 1.02 1.08 1.06 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3421 0 0 0 13954 20 0 0 25 0 1 0 20634748 29777920 3154 4294967295 134512640 134702520 3221223952 3220889628 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5711/statm): 7270 3154 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 139.75
Current children cumulated vsize (Kb) 31208

[startup+150.014 s]
Raw data (loadavg): 1.02 1.08 1.06 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3421 0 0 0 14954 20 0 0 25 0 1 0 20634748 29777920 3154 4294967295 134512640 134702520 3221223952 3220670908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5711/statm): 7270 3154 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 149.75
Current children cumulated vsize (Kb) 31208

[startup+160.014 s]
Raw data (loadavg): 1.01 1.08 1.06 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3421 0 0 0 15954 20 0 0 25 0 1 0 20634748 29777920 3154 4294967295 134512640 134702520 3221223952 3220333628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5711/statm): 7270 3154 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 159.75
Current children cumulated vsize (Kb) 31208

[startup+170.015 s]
Raw data (loadavg): 1.01 1.07 1.06 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3421 0 0 0 16955 20 0 0 25 0 1 0 20634748 29777920 3154 4294967295 134512640 134702520 3221223952 3219784348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5711/statm): 7270 3154 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 169.76
Current children cumulated vsize (Kb) 31208

[startup+180.015 s]
Raw data (loadavg): 1.01 1.07 1.06 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3422 0 0 0 17947 23 0 0 25 0 1 0 20634748 29777920 3155 4294967295 134512640 134702520 3221223952 3221119088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3155 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 179.71
Current children cumulated vsize (Kb) 31208

[startup+190.017 s]
Raw data (loadavg): 1.01 1.07 1.06 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3422 0 0 0 18947 23 0 0 25 0 1 0 20634748 29777920 3155 4294967295 134512640 134702520 3221223952 3220969648 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3155 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 189.71
Current children cumulated vsize (Kb) 31208

[startup+200.017 s]
Raw data (loadavg): 1.00 1.06 1.05 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3422 0 0 0 19948 23 0 0 25 0 1 0 20634748 29777920 3155 4294967295 134512640 134702520 3221223952 3220810608 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3155 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 199.72
Current children cumulated vsize (Kb) 31208

[startup+210.018 s]
Raw data (loadavg): 1.00 1.06 1.05 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3422 0 0 0 20948 23 0 0 25 0 1 0 20634748 29777920 3155 4294967295 134512640 134702520 3221223952 3220513168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3155 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 209.72
Current children cumulated vsize (Kb) 31208

[startup+220.019 s]
Raw data (loadavg): 1.00 1.06 1.05 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3422 0 0 0 21948 23 0 0 25 0 1 0 20634748 29777920 3155 4294967295 134512640 134702520 3221223952 3220103068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3155 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 219.72
Current children cumulated vsize (Kb) 31208

[startup+230.018 s]
Raw data (loadavg): 1.00 1.06 1.05 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3422 0 0 0 22941 26 0 0 25 0 1 0 20634748 29777920 3155 4294967295 134512640 134702520 3221223952 3221187408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3155 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 229.68
Current children cumulated vsize (Kb) 31208

[startup+240.019 s]
Raw data (loadavg): 1.00 1.05 1.05 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3422 0 0 0 23941 26 0 0 25 0 1 0 20634748 29777920 3155 4294967295 134512640 134702520 3221223952 3221042128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3155 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 239.68
Current children cumulated vsize (Kb) 31208

[startup+250.019 s]
Raw data (loadavg): 1.00 1.05 1.05 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3422 0 0 0 24942 26 0 0 25 0 1 0 20634748 29777920 3155 4294967295 134512640 134702520 3221223952 3220887868 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3155 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 249.69
Current children cumulated vsize (Kb) 31208

[startup+260.02 s]
Raw data (loadavg): 1.00 1.05 1.05 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3422 0 0 0 25942 26 0 0 25 0 1 0 20634748 29777920 3155 4294967295 134512640 134702520 3221223952 3220664672 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3155 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 259.69
Current children cumulated vsize (Kb) 31208

[startup+270.02 s]
Raw data (loadavg): 1.00 1.05 1.05 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3422 0 0 0 26942 26 0 0 25 0 1 0 20634748 29777920 3155 4294967295 134512640 134702520 3221223952 3220321008 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3155 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 269.69
Current children cumulated vsize (Kb) 31208

[startup+280.02 s]
Raw data (loadavg): 1.00 1.05 1.05 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3422 0 0 0 27942 26 0 0 25 0 1 0 20634748 29777920 3155 4294967295 134512640 134702520 3221223952 3219744848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3155 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 279.69
Current children cumulated vsize (Kb) 31208

[startup+290.021 s]
Raw data (loadavg): 1.00 1.04 1.05 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3424 0 0 0 28934 28 0 0 25 0 1 0 20634748 29777920 3157 4294967295 134512640 134702520 3221223952 3221112828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3157 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 289.63
Current children cumulated vsize (Kb) 31208

[startup+300.02 s]
Raw data (loadavg): 1.00 1.04 1.04 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3424 0 0 0 29934 28 0 0 25 0 1 0 20634748 29777920 3157 4294967295 134512640 134702520 3221223952 3220963088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3157 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 299.63
Current children cumulated vsize (Kb) 31208

[startup+310.021 s]
Raw data (loadavg): 1.00 1.04 1.04 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3424 0 0 0 30934 28 0 0 25 0 1 0 20634748 29777920 3157 4294967295 134512640 134702520 3221223952 3220800688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3157 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 309.63
Current children cumulated vsize (Kb) 31208

[startup+320.021 s]
Raw data (loadavg): 1.00 1.04 1.04 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3424 0 0 0 31934 28 0 0 25 0 1 0 20634748 29777920 3157 4294967295 134512640 134702520 3221223952 3220498608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3157 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 319.63
Current children cumulated vsize (Kb) 31208

[startup+330.022 s]
Raw data (loadavg): 1.00 1.04 1.04 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3424 0 0 0 32934 28 0 0 25 0 1 0 20634748 29777920 3157 4294967295 134512640 134702520 3221223952 3220080348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3157 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 329.63
Current children cumulated vsize (Kb) 31208

[startup+340.022 s]
Raw data (loadavg): 1.00 1.04 1.04 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3424 0 0 0 33925 32 0 0 25 0 1 0 20634748 29777920 3157 4294967295 134512640 134702520 3221223952 3221182128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3157 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 339.58
Current children cumulated vsize (Kb) 31208

[startup+350.023 s]
Raw data (loadavg): 1.00 1.03 1.04 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3424 0 0 0 34925 32 0 0 25 0 1 0 20634748 29777920 3157 4294967295 134512640 134702520 3221223952 3221036668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3157 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 349.58
Current children cumulated vsize (Kb) 31208

[startup+360.023 s]
Raw data (loadavg): 1.00 1.03 1.04 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3424 0 0 0 35925 32 0 0 25 0 1 0 20634748 29777920 3157 4294967295 134512640 134702520 3221223952 3220881968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3157 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 359.58
Current children cumulated vsize (Kb) 31208

[startup+370.024 s]
Raw data (loadavg): 1.00 1.03 1.04 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3424 0 0 0 36925 32 0 0 25 0 1 0 20634748 29777920 3157 4294967295 134512640 134702520 3221223952 3220653468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3157 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 369.58
Current children cumulated vsize (Kb) 31208

[startup+380.024 s]
Raw data (loadavg): 1.00 1.03 1.04 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3424 0 0 0 37925 32 0 0 25 0 1 0 20634748 29777920 3157 4294967295 134512640 134702520 3221223952 3220305948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3157 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 379.58
Current children cumulated vsize (Kb) 31208

[startup+390.024 s]
Raw data (loadavg): 1.00 1.03 1.04 2/56 5711
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20634742 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 242 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5711/stat): 5711 (vallst) R 5708 5708 4061 0 -1 0 3424 0 0 0 38926 32 0 0 25 0 1 0 20634748 29777920 3157 4294967295 134512640 134702520 3221223952 3219705788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5711/statm): 7270 3157 413 48 0 7222 0
[pid=5711] vsize: 29080
Current children cumulated CPU time (s) 389.59
Current children cumulated vsize (Kb) 31208
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=5711) exited with status: 2
New process pid=5712
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=5712) exited with status: 0
New process pid=5713
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+400.025 s]
Raw data (loadavg): 1.00 1.03 1.04 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2281 0 0 0 727 13 0 0 25 0 1 0 20674002 11988992 2251 4294967295 134512640 134702520 3221223712 3221135088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5713/statm): 2927 2251 413 48 0 2879 0
[pid=5713] vsize: 11708
Current children cumulated CPU time (s) 399.46
Current children cumulated vsize (Kb) 13836

[startup+410.024 s]
Raw data (loadavg): 1.00 1.03 1.03 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2337 0 0 0 1727 13 0 0 25 0 1 0 20674002 12218368 2307 4294967295 134512640 134702520 3221223712 3220902588 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5713/statm): 2983 2307 413 48 0 2935 0
[pid=5713] vsize: 11932
Current children cumulated CPU time (s) 409.46
Current children cumulated vsize (Kb) 14060

[startup+420.025 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2404 0 0 0 2728 13 0 0 25 0 1 0 20674002 12492800 2374 4294967295 134512640 134702520 3221223712 3220628508 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5713/statm): 3050 2374 413 48 0 3002 0
[pid=5713] vsize: 12200
Current children cumulated CPU time (s) 419.47
Current children cumulated vsize (Kb) 14328

[startup+430.025 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2490 0 0 0 3727 14 0 0 25 0 1 0 20674002 12845056 2460 4294967295 134512640 134702520 3221223712 3220277648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5713/statm): 3136 2460 413 48 0 3088 0
[pid=5713] vsize: 12544
Current children cumulated CPU time (s) 429.47
Current children cumulated vsize (Kb) 14672

[startup+440.026 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2645 0 0 0 4727 14 0 0 25 0 1 0 20674002 13479936 2615 4294967295 134512640 134702520 3221223712 3219640368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5713/statm): 3291 2615 413 48 0 3243 0
[pid=5713] vsize: 13164
Current children cumulated CPU time (s) 439.47
Current children cumulated vsize (Kb) 15292

[startup+450.027 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2757 0 0 0 5718 17 0 0 25 0 1 0 20674002 24793088 2727 4294967295 134512640 134702520 3221223712 3221100108 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6053 2727 413 48 0 6005 0
[pid=5713] vsize: 24212
Current children cumulated CPU time (s) 449.41
Current children cumulated vsize (Kb) 26340

[startup+460.027 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2757 0 0 0 6719 17 0 0 25 0 1 0 20674002 24793088 2727 4294967295 134512640 134702520 3221223712 3220949248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6053 2727 413 48 0 6005 0
[pid=5713] vsize: 24212
Current children cumulated CPU time (s) 459.42
Current children cumulated vsize (Kb) 26340

[startup+470.028 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2757 0 0 0 7719 17 0 0 25 0 1 0 20674002 24793088 2727 4294967295 134512640 134702520 3221223712 3220780448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6053 2727 413 48 0 6005 0
[pid=5713] vsize: 24212
Current children cumulated CPU time (s) 469.42
Current children cumulated vsize (Kb) 26340

[startup+480.027 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2757 0 0 0 8719 17 0 0 25 0 1 0 20674002 24793088 2727 4294967295 134512640 134702520 3221223712 3220472428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6053 2727 413 48 0 6005 0
[pid=5713] vsize: 24212
Current children cumulated CPU time (s) 479.42
Current children cumulated vsize (Kb) 26340

[startup+490.028 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2757 0 0 0 9719 17 0 0 25 0 1 0 20674002 24793088 2727 4294967295 134512640 134702520 3221223712 3220038028 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6053 2727 413 48 0 6005 0
[pid=5713] vsize: 24212
Current children cumulated CPU time (s) 489.42
Current children cumulated vsize (Kb) 26340

[startup+500.028 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2759 0 0 0 10710 20 0 0 25 0 1 0 20674002 24809472 2729 4294967295 134512640 134702520 3221223712 3221171808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5713/statm): 6057 2729 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 499.36
Current children cumulated vsize (Kb) 26356

[startup+510.028 s]
Raw data (loadavg): 1.00 1.02 1.02 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2759 0 0 0 11710 20 0 0 25 0 1 0 20674002 24809472 2729 4294967295 134512640 134702520 3221223712 3221027008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5713/statm): 6057 2729 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 509.36
Current children cumulated vsize (Kb) 26356

[startup+520.029 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2759 0 0 0 12710 20 0 0 25 0 1 0 20674002 24809472 2729 4294967295 134512640 134702520 3221223712 3220873068 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5713/statm): 6057 2729 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 519.36
Current children cumulated vsize (Kb) 26356

[startup+530.029 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2759 0 0 0 13710 20 0 0 25 0 1 0 20674002 24809472 2729 4294967295 134512640 134702520 3221223712 3220644448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5713/statm): 6057 2729 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 529.36
Current children cumulated vsize (Kb) 26356

[startup+540.03 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2759 0 0 0 14710 20 0 0 25 0 1 0 20674002 24809472 2729 4294967295 134512640 134702520 3221223712 3220297228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5713/statm): 6057 2729 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 539.36
Current children cumulated vsize (Kb) 26356

[startup+550.03 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2759 0 0 0 15710 20 0 0 25 0 1 0 20674002 24809472 2729 4294967295 134512640 134702520 3221223712 3219693548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5713/statm): 6057 2729 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 549.36
Current children cumulated vsize (Kb) 26356

[startup+560.03 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2764 0 0 0 16699 24 0 0 25 0 1 0 20674002 24809472 2734 4294967295 134512640 134702520 3221223712 3221106508 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6057 2734 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 559.29
Current children cumulated vsize (Kb) 26356

[startup+570.03 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2764 0 0 0 17699 24 0 0 25 0 1 0 20674002 24809472 2734 4294967295 134512640 134702520 3221223712 3220955968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6057 2734 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 569.29
Current children cumulated vsize (Kb) 26356

[startup+580.03 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2764 0 0 0 18700 24 0 0 25 0 1 0 20674002 24809472 2734 4294967295 134512640 134702520 3221223712 3220792288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6057 2734 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 579.3
Current children cumulated vsize (Kb) 26356

[startup+590.03 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2764 0 0 0 19700 24 0 0 25 0 1 0 20674002 24809472 2734 4294967295 134512640 134702520 3221223712 3220487468 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6057 2734 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 589.3
Current children cumulated vsize (Kb) 26356

[startup+600.031 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2764 0 0 0 20700 24 0 0 25 0 1 0 20674002 24809472 2734 4294967295 134512640 134702520 3221223712 3220062208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6057 2734 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 599.3
Current children cumulated vsize (Kb) 26356

[startup+610.031 s]
Raw data (loadavg): 1.00 1.01 1.01 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2765 0 0 0 21690 27 0 0 25 0 1 0 20674002 24809472 2735 4294967295 134512640 134702520 3221223712 3221177568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6057 2735 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 609.23
Current children cumulated vsize (Kb) 26356

[startup+620.031 s]
Raw data (loadavg): 1.00 1.00 1.01 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2765 0 0 0 22690 27 0 0 25 0 1 0 20674002 24809472 2735 4294967295 134512640 134702520 3221223712 3221031488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6057 2735 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 619.23
Current children cumulated vsize (Kb) 26356

[startup+630.031 s]
Raw data (loadavg): 1.00 1.00 1.01 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2765 0 0 0 23690 27 0 0 25 0 1 0 20674002 24809472 2735 4294967295 134512640 134702520 3221223712 3220876288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6057 2735 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 629.23
Current children cumulated vsize (Kb) 26356

[startup+640.031 s]
Raw data (loadavg): 1.00 1.00 1.01 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2765 0 0 0 24690 27 0 0 25 0 1 0 20674002 24809472 2735 4294967295 134512640 134702520 3221223712 3220647328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6057 2735 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 639.23
Current children cumulated vsize (Kb) 26356

[startup+650.032 s]
Raw data (loadavg): 1.00 1.00 1.01 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2765 0 0 0 25690 27 0 0 25 0 1 0 20674002 24809472 2735 4294967295 134512640 134702520 3221223712 3220297088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6057 2735 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 649.23
Current children cumulated vsize (Kb) 26356

[startup+660.031 s]
Raw data (loadavg): 1.00 1.00 1.01 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2765 0 0 0 26691 27 0 0 25 0 1 0 20674002 24809472 2735 4294967295 134512640 134702520 3221223712 3219681088 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6057 2735 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 659.24
Current children cumulated vsize (Kb) 26356

[startup+670.032 s]
Raw data (loadavg): 1.00 1.00 1.01 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2768 0 0 0 27680 31 0 0 25 0 1 0 20674002 24809472 2738 4294967295 134512640 134702520 3221223712 3221105068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6057 2738 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 669.17
Current children cumulated vsize (Kb) 26356

[startup+680.032 s]
Raw data (loadavg): 1.00 1.00 1.01 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2768 0 0 0 28680 31 0 0 25 0 1 0 20674002 24809472 2738 4294967295 134512640 134702520 3221223712 3220954528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6057 2738 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 679.17
Current children cumulated vsize (Kb) 26356

[startup+690.032 s]
Raw data (loadavg): 1.00 1.00 1.01 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2768 0 0 0 29681 31 0 0 25 0 1 0 20674002 24809472 2738 4294967295 134512640 134702520 3221223712 3220789708 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6057 2738 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 689.18
Current children cumulated vsize (Kb) 26356

[startup+700.033 s]
Raw data (loadavg): 1.00 1.00 1.01 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2768 0 0 0 30681 31 0 0 25 0 1 0 20674002 24809472 2738 4294967295 134512640 134702520 3221223712 3220484268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6057 2738 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 699.18
Current children cumulated vsize (Kb) 26356

[startup+710.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2768 0 0 0 31681 31 0 0 25 0 1 0 20674002 24809472 2738 4294967295 134512640 134702520 3221223712 3220057228 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6057 2738 413 48 0 6009 0
[pid=5713] vsize: 24228
Current children cumulated CPU time (s) 709.18
Current children cumulated vsize (Kb) 26356

[startup+720.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2791 0 0 0 32668 35 0 0 25 0 1 0 20674002 24829952 2761 4294967295 134512640 134702520 3221223712 3221177248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6062 2761 413 48 0 6014 0
[pid=5713] vsize: 24248
Current children cumulated CPU time (s) 719.09
Current children cumulated vsize (Kb) 26376

[startup+730.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2791 0 0 0 33668 35 0 0 25 0 1 0 20674002 24829952 2761 4294967295 134512640 134702520 3221223712 3221031148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6062 2761 413 48 0 6014 0
[pid=5713] vsize: 24248
Current children cumulated CPU time (s) 729.09
Current children cumulated vsize (Kb) 26376

[startup+740.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2791 0 0 0 34669 35 0 0 25 0 1 0 20674002 24829952 2761 4294967295 134512640 134702520 3221223712 3220875948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6062 2761 413 48 0 6014 0
[pid=5713] vsize: 24248
Current children cumulated CPU time (s) 739.1
Current children cumulated vsize (Kb) 26376

[startup+750.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2791 0 0 0 35669 35 0 0 25 0 1 0 20674002 24829952 2761 4294967295 134512640 134702520 3221223712 3220646688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6062 2761 413 48 0 6014 0
[pid=5713] vsize: 24248
Current children cumulated CPU time (s) 749.1
Current children cumulated vsize (Kb) 26376

[startup+760.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2791 0 0 0 36669 35 0 0 25 0 1 0 20674002 24829952 2761 4294967295 134512640 134702520 3221223712 3220296108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6062 2761 413 48 0 6014 0
[pid=5713] vsize: 24248
Current children cumulated CPU time (s) 759.1
Current children cumulated vsize (Kb) 26376

[startup+770.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2791 0 0 0 37669 35 0 0 25 0 1 0 20674002 24829952 2761 4294967295 134512640 134702520 3221223712 3219678348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6062 2761 413 48 0 6014 0
[pid=5713] vsize: 24248
Current children cumulated CPU time (s) 769.1
Current children cumulated vsize (Kb) 26376

[startup+780.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2798 0 0 0 38656 40 0 0 25 0 1 0 20674002 24854528 2768 4294967295 134512640 134702520 3221223712 3221105388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6068 2768 413 48 0 6020 0
[pid=5713] vsize: 24272
Current children cumulated CPU time (s) 779.02
Current children cumulated vsize (Kb) 26400

[startup+790.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2798 0 0 0 39656 40 0 0 25 0 1 0 20674002 24854528 2768 4294967295 134512640 134702520 3221223712 3220954848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6068 2768 413 48 0 6020 0
[pid=5713] vsize: 24272
Current children cumulated CPU time (s) 789.02
Current children cumulated vsize (Kb) 26400

[startup+800.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2798 0 0 0 40656 40 0 0 25 0 1 0 20674002 24854528 2768 4294967295 134512640 134702520 3221223712 3220790348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6068 2768 413 48 0 6020 0
[pid=5713] vsize: 24272
Current children cumulated CPU time (s) 799.02
Current children cumulated vsize (Kb) 26400

[startup+810.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2798 0 0 0 41656 40 0 0 25 0 1 0 20674002 24854528 2768 4294967295 134512640 134702520 3221223712 3220485248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6068 2768 413 48 0 6020 0
[pid=5713] vsize: 24272
Current children cumulated CPU time (s) 809.02
Current children cumulated vsize (Kb) 26400

[startup+820.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2798 0 0 0 42656 40 0 0 25 0 1 0 20674002 24854528 2768 4294967295 134512640 134702520 3221223712 3220058508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6068 2768 413 48 0 6020 0
[pid=5713] vsize: 24272
Current children cumulated CPU time (s) 819.02
Current children cumulated vsize (Kb) 26400

[startup+830.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2850 0 0 0 43644 44 0 0 25 0 1 0 20674002 24854528 2820 4294967295 134512640 134702520 3221223712 3221178368 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6068 2820 413 48 0 6020 0
[pid=5713] vsize: 24272
Current children cumulated CPU time (s) 828.94
Current children cumulated vsize (Kb) 26400

[startup+840.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2850 0 0 0 44644 44 0 0 25 0 1 0 20674002 24854528 2820 4294967295 134512640 134702520 3221223712 3221032128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6068 2820 413 48 0 6020 0
[pid=5713] vsize: 24272
Current children cumulated CPU time (s) 838.94
Current children cumulated vsize (Kb) 26400

[startup+850.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2850 0 0 0 45644 44 0 0 25 0 1 0 20674002 24854528 2820 4294967295 134512640 134702520 3221223712 3220876928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6068 2820 413 48 0 6020 0
[pid=5713] vsize: 24272
Current children cumulated CPU time (s) 848.94
Current children cumulated vsize (Kb) 26400

[startup+860.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2850 0 0 0 46645 44 0 0 25 0 1 0 20674002 24854528 2820 4294967295 134512640 134702520 3221223712 3220648608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6068 2820 413 48 0 6020 0
[pid=5713] vsize: 24272
Current children cumulated CPU time (s) 858.95
Current children cumulated vsize (Kb) 26400

[startup+870.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2850 0 0 0 47645 44 0 0 25 0 1 0 20674002 24854528 2820 4294967295 134512640 134702520 3221223712 3220298688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6068 2820 413 48 0 6020 0
[pid=5713] vsize: 24272
Current children cumulated CPU time (s) 868.95
Current children cumulated vsize (Kb) 26400

[startup+880.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2850 0 0 0 48645 44 0 0 25 0 1 0 20674002 24854528 2820 4294967295 134512640 134702520 3221223712 3219686048 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6068 2820 413 48 0 6020 0
[pid=5713] vsize: 24272
Current children cumulated CPU time (s) 878.95
Current children cumulated vsize (Kb) 26400

[startup+890.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2893 0 0 0 49631 49 0 0 25 0 1 0 20674002 24887296 2863 4294967295 134512640 134702520 3221223712 3221107948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6076 2863 413 48 0 6028 0
[pid=5713] vsize: 24304
Current children cumulated CPU time (s) 888.86
Current children cumulated vsize (Kb) 26432

[startup+900.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2893 0 0 0 50632 49 0 0 25 0 1 0 20674002 24887296 2863 4294967295 134512640 134702520 3221223712 3220957548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6076 2863 413 48 0 6028 0
[pid=5713] vsize: 24304
Current children cumulated CPU time (s) 898.87
Current children cumulated vsize (Kb) 26432

[startup+910.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2893 0 0 0 51632 49 0 0 25 0 1 0 20674002 24887296 2863 4294967295 134512640 134702520 3221223712 3220795008 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6076 2863 413 48 0 6028 0
[pid=5713] vsize: 24304
Current children cumulated CPU time (s) 908.87
Current children cumulated vsize (Kb) 26432

[startup+920.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2893 0 0 0 52632 49 0 0 25 0 1 0 20674002 24887296 2863 4294967295 134512640 134702520 3221223712 3220491008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6076 2863 413 48 0 6028 0
[pid=5713] vsize: 24304
Current children cumulated CPU time (s) 918.87
Current children cumulated vsize (Kb) 26432

[startup+930.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2893 0 0 0 53632 49 0 0 25 0 1 0 20674002 24887296 2863 4294967295 134512640 134702520 3221223712 3220067968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6076 2863 413 48 0 6028 0
[pid=5713] vsize: 24304
Current children cumulated CPU time (s) 928.87
Current children cumulated vsize (Kb) 26432

[startup+940.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2920 0 0 0 54618 54 0 0 25 0 1 0 20674002 24928256 2890 4294967295 134512640 134702520 3221223712 3221182528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6086 2890 413 48 0 6038 0
[pid=5713] vsize: 24344
Current children cumulated CPU time (s) 938.78
Current children cumulated vsize (Kb) 26472

[startup+950.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2920 0 0 0 55619 54 0 0 25 0 1 0 20674002 24928256 2890 4294967295 134512640 134702520 3221223712 3221036608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6086 2890 413 48 0 6038 0
[pid=5713] vsize: 24344
Current children cumulated CPU time (s) 948.79
Current children cumulated vsize (Kb) 26472

[startup+960.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2920 0 0 0 56619 54 0 0 25 0 1 0 20674002 24928256 2890 4294967295 134512640 134702520 3221223712 3220881868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6086 2890 413 48 0 6038 0
[pid=5713] vsize: 24344
Current children cumulated CPU time (s) 958.79
Current children cumulated vsize (Kb) 26472

[startup+970.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2920 0 0 0 57619 54 0 0 25 0 1 0 20674002 24928256 2890 4294967295 134512640 134702520 3221223712 3220657708 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6086 2890 413 48 0 6038 0
[pid=5713] vsize: 24344
Current children cumulated CPU time (s) 968.79
Current children cumulated vsize (Kb) 26472

[startup+980.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2920 0 0 0 58619 54 0 0 25 0 1 0 20674002 24928256 2890 4294967295 134512640 134702520 3221223712 3220311148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6086 2890 413 48 0 6038 0
[pid=5713] vsize: 24344
Current children cumulated CPU time (s) 978.79
Current children cumulated vsize (Kb) 26472

[startup+990.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2920 0 0 0 59620 54 0 0 25 0 1 0 20674002 24928256 2890 4294967295 134512640 134702520 3221223712 3219719788 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6086 2890 413 48 0 6038 0
[pid=5713] vsize: 24344
Current children cumulated CPU time (s) 988.8
Current children cumulated vsize (Kb) 26472

[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2939 0 0 0 60605 60 0 0 25 0 1 0 20674002 24956928 2909 4294967295 134512640 134702520 3221223712 3221113388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6093 2909 413 48 0 6045 0
[pid=5713] vsize: 24372
Current children cumulated CPU time (s) 998.71
Current children cumulated vsize (Kb) 26500

[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2939 0 0 0 61606 60 0 0 25 0 1 0 20674002 24956928 2909 4294967295 134512640 134702520 3221223712 3220963328 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6093 2909 413 48 0 6045 0
[pid=5713] vsize: 24372
Current children cumulated CPU time (s) 1008.72
Current children cumulated vsize (Kb) 26500

[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2939 0 0 0 62606 60 0 0 25 0 1 0 20674002 24956928 2909 4294967295 134512640 134702520 3221223712 3220804928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5713/statm): 6093 2909 413 48 0 6045 0
[pid=5713] vsize: 24372
Current children cumulated CPU time (s) 1018.72
Current children cumulated vsize (Kb) 26500

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2939 0 0 0 63606 60 0 0 25 0 1 0 20674002 24956928 2909 4294967295 134512640 134702520 3221223712 3220510208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5713/statm): 6093 2909 413 48 0 6045 0
[pid=5713] vsize: 24372
Current children cumulated CPU time (s) 1028.72
Current children cumulated vsize (Kb) 26500

[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2939 0 0 0 64606 60 0 0 25 0 1 0 20674002 24956928 2909 4294967295 134512640 134702520 3221223712 3220103148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5713/statm): 6093 2909 413 48 0 6045 0
[pid=5713] vsize: 24372
Current children cumulated CPU time (s) 1038.72
Current children cumulated vsize (Kb) 26500

[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2962 0 0 0 65592 65 0 0 25 0 1 0 20674002 24973312 2932 4294967295 134512640 134702520 3221223712 3221193228 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6097 2932 413 48 0 6049 0
[pid=5713] vsize: 24388
Current children cumulated CPU time (s) 1048.63
Current children cumulated vsize (Kb) 26516

[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5713
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2962 0 0 0 66592 65 0 0 25 0 1 0 20674002 24973312 2932 4294967295 134512640 134702520 3221223712 3221047968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6097 2932 413 48 0 6049 0
[pid=5713] vsize: 24388
Current children cumulated CPU time (s) 1058.63
Current children cumulated vsize (Kb) 26516

[startup+1070.05 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 5768
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2962 0 0 0 67592 65 0 0 25 0 1 0 20674002 24973312 2932 4294967295 134512640 134702520 3221223712 3220893888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6097 2932 413 48 0 6049 0
[pid=5713] vsize: 24388
Current children cumulated CPU time (s) 1068.63
Current children cumulated vsize (Kb) 26516

[startup+1080.05 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5768
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2962 0 0 0 68592 65 0 0 25 0 1 0 20674002 24973312 2932 4294967295 134512640 134702520 3221223712 3220680288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6097 2932 413 48 0 6049 0
[pid=5713] vsize: 24388
Current children cumulated CPU time (s) 1078.63
Current children cumulated vsize (Kb) 26516

[startup+1090.05 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 5768
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2962 0 0 0 69593 65 0 0 25 0 1 0 20674002 24973312 2932 4294967295 134512640 134702520 3221223712 3220341728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6097 2932 413 48 0 6049 0
[pid=5713] vsize: 24388
Current children cumulated CPU time (s) 1088.64
Current children cumulated vsize (Kb) 26516

[startup+1100.05 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5768
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2962 0 0 0 70593 65 0 0 25 0 1 0 20674002 24973312 2932 4294967295 134512640 134702520 3221223712 3219793388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6097 2932 413 48 0 6049 0
[pid=5713] vsize: 24388
Current children cumulated CPU time (s) 1098.64
Current children cumulated vsize (Kb) 26516

[startup+1110.05 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5768
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2964 0 0 0 71579 70 0 0 25 0 1 0 20674002 24989696 2934 4294967295 134512640 134702520 3221223712 3221122688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6101 2934 413 48 0 6053 0
[pid=5713] vsize: 24404
Current children cumulated CPU time (s) 1108.55
Current children cumulated vsize (Kb) 26532

[startup+1120.05 s]
Raw data (loadavg): 1.03 1.01 1.00 2/58 5770
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2964 0 0 0 72579 70 0 0 25 0 1 0 20674002 24989696 2934 4294967295 134512640 134702520 3221223712 3220973408 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5713/statm): 6101 2934 413 48 0 6053 0
[pid=5713] vsize: 24404
Current children cumulated CPU time (s) 1118.55
Current children cumulated vsize (Kb) 26532

[startup+1130.05 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5772
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2964 0 0 0 73578 71 0 0 25 0 1 0 20674002 24989696 2934 4294967295 134512640 134702520 3221223712 3220815788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6101 2934 413 48 0 6053 0
[pid=5713] vsize: 24404
Current children cumulated CPU time (s) 1128.55
Current children cumulated vsize (Kb) 26532

[startup+1140.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5774
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2964 0 0 0 74578 71 0 0 25 0 1 0 20674002 24989696 2934 4294967295 134512640 134702520 3221223712 3220529068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6101 2934 413 48 0 6053 0
[pid=5713] vsize: 24404
Current children cumulated CPU time (s) 1138.55
Current children cumulated vsize (Kb) 26532

[startup+1150.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5774
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2964 0 0 0 75579 71 0 0 25 0 1 0 20674002 24989696 2934 4294967295 134512640 134702520 3221223712 3220127008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6101 2934 413 48 0 6053 0
[pid=5713] vsize: 24404
Current children cumulated CPU time (s) 1148.56
Current children cumulated vsize (Kb) 26532

[startup+1160.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5774
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2965 0 0 0 76566 75 0 0 25 0 1 0 20674002 24989696 2935 4294967295 134512640 134702520 3221223712 3221196268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6101 2935 413 48 0 6053 0
[pid=5713] vsize: 24404
Current children cumulated CPU time (s) 1158.47
Current children cumulated vsize (Kb) 26532

[startup+1170.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5774
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2965 0 0 0 77566 75 0 0 25 0 1 0 20674002 24989696 2935 4294967295 134512640 134702520 3221223712 3221051168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6101 2935 413 48 0 6053 0
[pid=5713] vsize: 24404
Current children cumulated CPU time (s) 1168.47
Current children cumulated vsize (Kb) 26532

[startup+1180.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5774
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2965 0 0 0 78566 75 0 0 25 0 1 0 20674002 24989696 2935 4294967295 134512640 134702520 3221223712 3220897228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6101 2935 413 48 0 6053 0
[pid=5713] vsize: 24404
Current children cumulated CPU time (s) 1178.47
Current children cumulated vsize (Kb) 26532

[startup+1190.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5774
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2965 0 0 0 79566 75 0 0 25 0 1 0 20674002 24989696 2935 4294967295 134512640 134702520 3221223712 3220686508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6101 2935 413 48 0 6053 0
[pid=5713] vsize: 24404
Current children cumulated CPU time (s) 1188.47
Current children cumulated vsize (Kb) 26532

[startup+1200.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5774
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2965 0 0 0 80567 75 0 0 25 0 1 0 20674002 24989696 2935 4294967295 134512640 134702520 3221223712 3220349868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6101 2935 413 48 0 6053 0
[pid=5713] vsize: 24404
Current children cumulated CPU time (s) 1198.48
Current children cumulated vsize (Kb) 26532

[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5774
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2965 0 0 0 81567 75 0 0 25 0 1 0 20674002 24989696 2935 4294967295 134512640 134702520 3221223712 3219811468 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6101 2935 413 48 0 6053 0
[pid=5713] vsize: 24404
Current children cumulated CPU time (s) 1208.48
Current children cumulated vsize (Kb) 26532



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5774
Raw data (/proc/5708/stat): 5708 (vallstSAT2005PB) S 5707 5708 4061 0 -1 0 378 3799 0 0 1 1 39162 42 19 0 1 0 20634742 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5708/statm): 532 248 485 147 0 385 0
[pid=5708] vsize: 2128
Raw data (/proc/5713/stat): 5713 (vallst) R 5708 5708 4061 0 -1 0 2965 0 0 0 81567 75 0 0 25 0 1 0 20674002 24989696 2935 4294967295 134512640 134702520 3221223712 3219811328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5713/statm): 6101 2935 413 48 0 6053 0
[pid=5713] vsize: 24404
Current children cumulated CPU time (s) 1208.48
Current children cumulated vsize (Kb) 26532

Sending SIGTERM to -5708
Sleeping 2 seconds
New process pid=5776
New process pid=5777
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/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1478/stat
open syscall for file /proc/1478/status
open syscall for file /proc/1478/cmdline
open syscall for file /proc/1478/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/4044/stat
open syscall for file /proc/4044/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/4044/cmdline
open syscall for file /proc/4044/environ
open syscall for file /proc/4069/stat
open syscall for file /proc/4069/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/4069/cmdline
open syscall for file /proc/4069/environ
open syscall for file /proc/5669/stat
open syscall for file /proc/5669/status
open syscall for file /proc/5669/cmdline
open syscall for file /proc/5669/environ
open syscall for file /proc/5707/stat
open syscall for file /proc/5707/status
open syscall for file /proc/5707/cmdline
open syscall for file /proc/5707/environ
open syscall for file /proc/5708/stat
open syscall for file /proc/5708/status
open syscall for file /proc/5708/cmdline
open syscall for file /proc/5708/environ
open syscall for file /proc/5713/stat
open syscall for file /proc/5713/status
open syscall for file /proc/5713/cmdline
open syscall for file /proc/5713/environ
open syscall for file /proc/5776/stat
open syscall for file /proc/5776/status
open syscall for file /proc/5776/cmdline
open syscall for file /proc/5776/environ
open syscall for file /proc/5777/stat
open syscall for file /proc/5777/status
open syscall for file /proc/5777/cmdline
open syscall for file /proc/5777/environ
One traced child (pid=5776) exited with status: 0
One traced child (pid=5777) exited with status: 0
New process pid=5778
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=5778) exited with status: 0
New process pid=5779
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=5779) exited with status: 0
One traced child (pid=5708) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -5708
One traced child (pid=5713) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1212.06
CPU time (s): 818.44
CPU user time (s): 817.676
CPU system time (s): 0.763883
CPU usage (%): 67.5245
Max. virtual memory (cumulated for all children) (Kb): 31208

Verifier Data

ERROR: no interpretation found !