Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mod010.opb
MD5SUMef7064a9be2b712276f7b600af28e2b0
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 2655
Biggest coefficient in the objective function 266
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 489211
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 266
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 489211
Number of bits of the biggest sum of numbers19
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables2655
Total number of constraints2801
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)2800
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint2655

Trace number 9335

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        927392 kB
Buffers:         12800 kB
Cached:          76144 kB
SwapCached:          0 kB
Active:          58836 kB
Inactive:        32976 kB
HighTotal:      131008 kB
HighFree:        50652 kB
LowTotal:       903652 kB
LowFree:        876740 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             9996 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 12:59:08 (client local time) WITH STATUS 0 IN 1209.12 SECONDS
stats: 8063 7 1209.12 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 192  (#equs: 0)
#decisions: 530532;  #end-nodes: 116617;
#proof improvement attempts: 0;  #restarts: 672
Current batch, end-nodes: 0 / 247 (247)
#axs: 292, #non-axs: 509
tight: meta-meta: start: 4, end: 5;  meta: start: 11, end (keep): 21
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: 192  (#equs: 0)
Time taken: 5 min, 38 sec

2:
seed: 0
Nr of vars set: 192  (#equs: 0)
Nr of vars set: 192  (#equs: 0)
Interupt request received.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 192  (#equs: 0)
Time taken: 14 min, 30 sec

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) R 5661 5662 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20233891 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5662/statm): 174 3 169 147 0 27 0
[pid=5662] 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=5663
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=5663) exited with status: 0
New process pid=5664
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=5664) exited with status: 0
New process pid=5665
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/wulflinc23/normalized-mps-v2-13-7-mod010.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0035 s]
Raw data (loadavg): 0.96 1.06 1.02 1/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) T 5662 5662 4060 0 -1 0 391 0 0 0 788 72 0 0 22 0 1 0 20233898 2928640 361 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5665/statm): 715 361 413 48 0 667 0
[pid=5665] vsize: 2860
Current children cumulated CPU time (s) 8.61
Current children cumulated vsize (Kb) 4988

[startup+20.0041 s]
Raw data (loadavg): 0.96 1.06 1.02 1/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) T 5662 5662 4060 0 -1 0 476 0 0 0 1585 143 0 0 24 0 1 0 20233898 4321280 446 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5665/statm): 1055 446 413 48 0 1007 0
[pid=5665] vsize: 4220
Current children cumulated CPU time (s) 17.29
Current children cumulated vsize (Kb) 6348

[startup+30.0048 s]
Raw data (loadavg): 0.97 1.06 1.02 2/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) R 5662 5662 4060 0 -1 0 503 0 0 0 2412 201 0 0 21 0 1 0 20233898 4345856 473 4294967295 134512640 134702520 3221223952 3221222848 134550404 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5665/statm): 1061 473 413 48 0 1013 0
[pid=5665] vsize: 4244
Current children cumulated CPU time (s) 26.14
Current children cumulated vsize (Kb) 6372

[startup+40.0054 s]
Raw data (loadavg): 0.97 1.06 1.01 2/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) R 5662 5662 4060 0 -1 0 518 0 0 0 3249 256 0 0 25 0 1 0 20233898 4345856 488 4294967295 134512640 134702520 3221223952 3221222976 134553142 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5665/statm): 1061 488 413 48 0 1013 0
[pid=5665] vsize: 4244
Current children cumulated CPU time (s) 35.06
Current children cumulated vsize (Kb) 6372

[startup+50.006 s]
Raw data (loadavg): 0.98 1.05 1.01 1/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) T 5662 5662 4060 0 -1 0 541 0 0 0 4082 313 0 0 25 0 1 0 20233898 4345856 511 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5665/statm): 1061 511 413 48 0 1013 0
[pid=5665] vsize: 4244
Current children cumulated CPU time (s) 43.96
Current children cumulated vsize (Kb) 6372

[startup+60.0067 s]
Raw data (loadavg): 0.98 1.05 1.01 1/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) T 5662 5662 4060 0 -1 0 542 0 0 0 4864 391 0 0 22 0 1 0 20233898 4345856 512 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5665/statm): 1061 512 413 48 0 1013 0
[pid=5665] vsize: 4244
Current children cumulated CPU time (s) 52.56
Current children cumulated vsize (Kb) 6372

[startup+70.0073 s]
Raw data (loadavg): 0.98 1.05 1.01 2/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) R 5662 5662 4060 0 -1 0 542 0 0 0 5661 461 0 0 24 0 1 0 20233898 4345856 512 4294967295 134512640 134702520 3221223952 3221223436 134608160 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5665/statm): 1061 512 413 48 0 1013 0
[pid=5665] vsize: 4244
Current children cumulated CPU time (s) 61.23
Current children cumulated vsize (Kb) 6372

[startup+80.0079 s]
Raw data (loadavg): 0.98 1.05 1.01 2/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) T 5662 5662 4060 0 -1 0 674 0 0 0 6490 518 0 0 17 0 1 0 20233898 4472832 644 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5665/statm): 1092 644 413 48 0 1044 0
[pid=5665] vsize: 4368
Current children cumulated CPU time (s) 70.09
Current children cumulated vsize (Kb) 6496

[startup+90.0085 s]
Raw data (loadavg): 0.99 1.05 1.01 1/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) T 5662 5662 4060 0 -1 0 729 0 0 0 7331 573 0 0 17 0 1 0 20233898 4472832 699 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5665/statm): 1092 699 413 48 0 1044 0
[pid=5665] vsize: 4368
Current children cumulated CPU time (s) 79.05
Current children cumulated vsize (Kb) 6496

[startup+100.009 s]
Raw data (loadavg): 1.06 1.06 1.01 1/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) T 5662 5662 4060 0 -1 0 754 0 0 0 8171 627 0 0 23 0 1 0 20233898 4472832 724 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5665/statm): 1092 724 413 48 0 1044 0
[pid=5665] vsize: 4368
Current children cumulated CPU time (s) 87.99
Current children cumulated vsize (Kb) 6496

[startup+110.01 s]
Raw data (loadavg): 1.05 1.06 1.01 1/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) T 5662 5662 4060 0 -1 0 754 0 0 0 8957 700 0 0 20 0 1 0 20233898 4472832 724 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5665/statm): 1092 724 413 48 0 1044 0
[pid=5665] vsize: 4368
Current children cumulated CPU time (s) 96.58
Current children cumulated vsize (Kb) 6496

[startup+120.011 s]
Raw data (loadavg): 1.04 1.06 1.01 2/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) R 5662 5662 4060 0 -1 0 754 0 0 0 9762 767 0 0 25 0 1 0 20233898 4472832 724 4294967295 134512640 134702520 3221223952 3221223232 134554260 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5665/statm): 1092 724 413 48 0 1044 0
[pid=5665] vsize: 4368
Current children cumulated CPU time (s) 105.3
Current children cumulated vsize (Kb) 6496

[startup+130.012 s]
Raw data (loadavg): 1.04 1.05 1.01 2/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) R 5662 5662 4060 0 -1 0 764 0 0 0 10587 824 0 0 25 0 1 0 20233898 4472832 734 4294967295 134512640 134702520 3221223952 3221223232 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5665/statm): 1092 734 413 48 0 1044 0
[pid=5665] vsize: 4368
Current children cumulated CPU time (s) 114.12
Current children cumulated vsize (Kb) 6496

[startup+140.013 s]
Raw data (loadavg): 1.03 1.05 1.01 2/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) R 5662 5662 4060 0 -1 0 771 0 0 0 11416 885 0 0 22 0 1 0 20233898 4472832 741 4294967295 134512640 134702520 3221223952 3221223352 134607266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5665/statm): 1092 741 413 48 0 1044 0
[pid=5665] vsize: 4368
Current children cumulated CPU time (s) 123.02
Current children cumulated vsize (Kb) 6496

[startup+150.013 s]
Raw data (loadavg): 1.03 1.05 1.01 2/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) R 5662 5662 4060 0 -1 0 788 0 0 0 12253 944 0 0 23 0 1 0 20233898 4472832 758 4294967295 134512640 134702520 3221223952 3221222848 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5665/statm): 1092 758 413 48 0 1044 0
[pid=5665] vsize: 4368
Current children cumulated CPU time (s) 131.98
Current children cumulated vsize (Kb) 6496

[startup+160.013 s]
Raw data (loadavg): 1.02 1.05 1.01 2/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) R 5662 5662 4060 0 -1 0 788 0 0 0 13043 1017 0 0 22 0 1 0 20233898 4472832 758 4294967295 134512640 134702520 3221223952 3221222848 134553369 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5665/statm): 1092 758 413 48 0 1044 0
[pid=5665] vsize: 4368
Current children cumulated CPU time (s) 140.61
Current children cumulated vsize (Kb) 6496

[startup+170.014 s]
Raw data (loadavg): 1.02 1.05 1.01 1/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) T 5662 5662 4060 0 -1 0 788 0 0 0 13857 1080 0 0 24 0 1 0 20233898 4472832 758 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5665/statm): 1092 758 413 48 0 1044 0
[pid=5665] vsize: 4368
Current children cumulated CPU time (s) 149.38
Current children cumulated vsize (Kb) 6496

[startup+180.014 s]
Raw data (loadavg): 1.01 1.04 1.01 1/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) T 5662 5662 4060 0 -1 0 791 0 0 0 14700 1134 0 0 22 0 1 0 20233898 4472832 761 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5665/statm): 1092 761 413 48 0 1044 0
[pid=5665] vsize: 4368
Current children cumulated CPU time (s) 158.35
Current children cumulated vsize (Kb) 6496

[startup+190.016 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) T 5662 5662 4060 0 -1 0 795 0 0 0 15547 1186 0 0 23 0 1 0 20233898 4595712 765 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5665/statm): 1122 765 413 48 0 1074 0
[pid=5665] vsize: 4488
Current children cumulated CPU time (s) 167.34
Current children cumulated vsize (Kb) 6616

[startup+200.016 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) R 5662 5662 4060 0 -1 0 799 0 0 0 16395 1236 0 0 25 0 1 0 20233898 4595712 769 4294967295 134512640 134702520 3221223952 3221222976 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5665/statm): 1122 769 413 48 0 1074 0
[pid=5665] vsize: 4488
Current children cumulated CPU time (s) 176.32
Current children cumulated vsize (Kb) 6616

[startup+210.016 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) R 5662 5662 4060 0 -1 0 800 0 0 0 17186 1308 0 0 22 0 1 0 20233898 4595712 770 4294967295 134512640 134702520 3221223952 3221223152 134617883 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5665/statm): 1122 770 413 48 0 1074 0
[pid=5665] vsize: 4488
Current children cumulated CPU time (s) 184.95
Current children cumulated vsize (Kb) 6616

[startup+220.017 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) R 5662 5662 4060 0 -1 0 800 0 0 0 17987 1378 0 0 25 0 1 0 20233898 4595712 770 4294967295 134512640 134702520 3221223952 3221223172 134550184 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5665/statm): 1122 770 413 48 0 1074 0
[pid=5665] vsize: 4488
Current children cumulated CPU time (s) 193.66
Current children cumulated vsize (Kb) 6616

[startup+230.017 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) R 5662 5662 4060 0 -1 0 817 0 0 0 18829 1433 0 0 23 0 1 0 20233898 4595712 787 4294967295 134512640 134702520 3221223952 3221222848 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5665/statm): 1122 787 413 48 0 1074 0
[pid=5665] vsize: 4488
Current children cumulated CPU time (s) 202.63
Current children cumulated vsize (Kb) 6616

[startup+240.019 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) R 5662 5662 4060 0 -1 0 820 0 0 0 19685 1481 0 0 25 0 1 0 20233898 4595712 790 4294967295 134512640 134702520 3221223952 3221223232 134552108 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5665/statm): 1122 790 413 48 0 1074 0
[pid=5665] vsize: 4488
Current children cumulated CPU time (s) 211.67
Current children cumulated vsize (Kb) 6616

[startup+250.021 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) R 5662 5662 4060 0 -1 0 826 0 0 0 20531 1539 0 0 25 0 1 0 20233898 4595712 796 4294967295 134512640 134702520 3221223952 3221223352 134606948 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5665/statm): 1122 796 413 48 0 1074 0
[pid=5665] vsize: 4488
Current children cumulated CPU time (s) 220.71
Current children cumulated vsize (Kb) 6616

[startup+260.02 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) T 5662 5662 4060 0 -1 0 829 0 0 0 21341 1601 0 0 18 0 1 0 20233898 4595712 799 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5665/statm): 1122 799 413 48 0 1074 0
[pid=5665] vsize: 4488
Current children cumulated CPU time (s) 229.43
Current children cumulated vsize (Kb) 6616

[startup+270.021 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) R 5662 5662 4060 0 -1 0 829 0 0 0 22138 1673 0 0 22 0 1 0 20233898 4595712 799 4294967295 134512640 134702520 3221223952 3221222848 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5665/statm): 1122 799 413 48 0 1074 0
[pid=5665] vsize: 4488
Current children cumulated CPU time (s) 238.12
Current children cumulated vsize (Kb) 6616

[startup+280.022 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) R 5662 5662 4060 0 -1 0 834 0 0 0 22983 1725 0 0 25 0 1 0 20233898 4595712 804 4294967295 134512640 134702520 3221223952 3221223436 134608133 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5665/statm): 1122 804 413 48 0 1074 0
[pid=5665] vsize: 4488
Current children cumulated CPU time (s) 247.09
Current children cumulated vsize (Kb) 6616

[startup+290.023 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) T 5662 5662 4060 0 -1 0 840 0 0 0 23837 1777 0 0 24 0 1 0 20233898 4710400 810 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5665/statm): 1150 810 413 48 0 1102 0
[pid=5665] vsize: 4600
Current children cumulated CPU time (s) 256.15
Current children cumulated vsize (Kb) 6728

[startup+300.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) R 5662 5662 4060 0 -1 0 842 0 0 0 24680 1825 0 0 25 0 1 0 20233898 4710400 812 4294967295 134512640 134702520 3221223952 3221223436 134608135 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5665/statm): 1150 812 413 48 0 1102 0
[pid=5665] vsize: 4600
Current children cumulated CPU time (s) 265.06
Current children cumulated vsize (Kb) 6728

[startup+310.024 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) T 5662 5662 4060 0 -1 0 847 0 0 0 25519 1879 0 0 17 0 1 0 20233898 4710400 817 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5665/statm): 1150 817 413 48 0 1102 0
[pid=5665] vsize: 4600
Current children cumulated CPU time (s) 273.99
Current children cumulated vsize (Kb) 6728

[startup+320.025 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) T 5662 5662 4060 0 -1 0 847 0 0 0 26322 1948 0 0 20 0 1 0 20233898 4710400 817 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5665/statm): 1150 817 413 48 0 1102 0
[pid=5665] vsize: 4600
Current children cumulated CPU time (s) 282.71
Current children cumulated vsize (Kb) 6728

[startup+330.025 s]
Raw data (loadavg): 1.07 1.04 1.00 1/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) T 5662 5662 4060 0 -1 0 847 0 0 0 27137 2013 0 0 25 0 1 0 20233898 4710400 817 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5665/statm): 1150 817 413 48 0 1102 0
[pid=5665] vsize: 4600
Current children cumulated CPU time (s) 291.51
Current children cumulated vsize (Kb) 6728

[startup+340.025 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) R 5662 5662 4060 0 -1 0 855 0 0 0 27989 2064 0 0 23 0 1 0 20233898 4710400 825 4294967295 134512640 134702520 3221223952 3221222848 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5665/statm): 1150 825 413 48 0 1102 0
[pid=5665] vsize: 4600
Current children cumulated CPU time (s) 300.54
Current children cumulated vsize (Kb) 6728

[startup+350.026 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) T 5662 5662 4060 0 -1 0 859 0 0 0 28841 2115 0 0 25 0 1 0 20233898 4710400 829 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5665/statm): 1150 829 413 48 0 1102 0
[pid=5665] vsize: 4600
Current children cumulated CPU time (s) 309.57
Current children cumulated vsize (Kb) 6728

[startup+360.027 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) R 5662 5662 4060 0 -1 0 863 0 0 0 29692 2168 0 0 20 0 1 0 20233898 4710400 833 4294967295 134512640 134702520 3221223952 3221222976 134552884 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5665/statm): 1150 833 413 48 0 1102 0
[pid=5665] vsize: 4600
Current children cumulated CPU time (s) 318.61
Current children cumulated vsize (Kb) 6728

[startup+370.027 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) R 5662 5662 4060 0 -1 0 864 0 0 0 30524 2229 0 0 18 0 1 0 20233898 4849664 834 4294967295 134512640 134702520 3221223952 3221222848 134552546 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5665/statm): 1184 834 413 48 0 1136 0
[pid=5665] vsize: 4736
Current children cumulated CPU time (s) 327.54
Current children cumulated vsize (Kb) 6864

[startup+380.028 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 5665
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 20233891 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 242 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5665/stat): 5665 (vallst) T 5662 5662 4060 0 -1 0 864 0 0 0 31323 2298 0 0 23 0 1 0 20233898 4849664 834 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5665/statm): 1184 834 413 48 0 1136 0
[pid=5665] vsize: 4736
Current children cumulated CPU time (s) 336.22
Current children cumulated vsize (Kb) 6864
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=5665) exited with status: 2
New process pid=5666
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=5666) exited with status: 0
New process pid=5667
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+390.029 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 352 0 0 0 570 42 0 0 23 0 1 0 20272206 2715648 322 4294967295 134512640 134702520 3221223712 3221222848 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 663 322 413 48 0 615 0
[pid=5667] vsize: 2652
Current children cumulated CPU time (s) 345
Current children cumulated vsize (Kb) 4780

[startup+400.03 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 352 0 0 0 1391 105 0 0 23 0 1 0 20272206 2715648 322 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5667/statm): 663 322 413 48 0 615 0
[pid=5667] vsize: 2652
Current children cumulated CPU time (s) 353.84
Current children cumulated vsize (Kb) 4780

[startup+410.03 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 502 0 0 0 2223 164 0 0 24 0 1 0 20272206 4005888 472 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5667/statm): 978 472 413 48 0 930 0
[pid=5667] vsize: 3912
Current children cumulated CPU time (s) 362.75
Current children cumulated vsize (Kb) 6040

[startup+420.031 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 545 0 0 0 3063 218 0 0 25 0 1 0 20272206 4005888 515 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5667/statm): 978 515 413 48 0 930 0
[pid=5667] vsize: 3912
Current children cumulated CPU time (s) 371.69
Current children cumulated vsize (Kb) 6040

[startup+430.032 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 595 0 0 0 3904 275 0 0 25 0 1 0 20272206 4141056 565 4294967295 134512640 134702520 3221223712 3221223112 134606956 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1011 565 413 48 0 963 0
[pid=5667] vsize: 4044
Current children cumulated CPU time (s) 380.67
Current children cumulated vsize (Kb) 6172

[startup+440.033 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 662 0 0 0 4729 338 0 0 23 0 1 0 20272206 4141056 632 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1011 632 413 48 0 963 0
[pid=5667] vsize: 4044
Current children cumulated CPU time (s) 389.55
Current children cumulated vsize (Kb) 6172

[startup+450.033 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 666 0 0 0 5547 402 0 0 19 0 1 0 20272206 4141056 636 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5667/statm): 1011 636 413 48 0 963 0
[pid=5667] vsize: 4044
Current children cumulated CPU time (s) 398.37
Current children cumulated vsize (Kb) 6172

[startup+460.033 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 710 0 0 0 6381 459 0 0 24 0 1 0 20272206 4141056 680 4294967295 134512640 134702520 3221223712 3221222608 134550697 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1011 680 413 48 0 963 0
[pid=5667] vsize: 4044
Current children cumulated CPU time (s) 407.28
Current children cumulated vsize (Kb) 6172

[startup+470.034 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 714 0 0 0 7223 512 0 0 18 0 1 0 20272206 4141056 684 4294967295 134512640 134702520 3221223712 3221222736 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1011 684 413 48 0 963 0
[pid=5667] vsize: 4044
Current children cumulated CPU time (s) 416.23
Current children cumulated vsize (Kb) 6172

[startup+480.034 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 719 0 0 0 8065 568 0 0 25 0 1 0 20272206 4141056 689 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1011 689 413 48 0 963 0
[pid=5667] vsize: 4044
Current children cumulated CPU time (s) 425.21
Current children cumulated vsize (Kb) 6172

[startup+490.036 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 722 0 0 0 8887 631 0 0 17 0 1 0 20272206 4141056 692 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5667/statm): 1011 692 413 48 0 963 0
[pid=5667] vsize: 4044
Current children cumulated CPU time (s) 434.06
Current children cumulated vsize (Kb) 6172

[startup+500.036 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 722 0 0 0 9708 692 0 0 24 0 1 0 20272206 4141056 692 4294967295 134512640 134702520 3221223712 3221223104 134605856 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1011 692 413 48 0 963 0
[pid=5667] vsize: 4044
Current children cumulated CPU time (s) 442.88
Current children cumulated vsize (Kb) 6172

[startup+510.036 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 728 0 0 0 10545 746 0 0 17 0 1 0 20272206 4141056 698 4294967295 134512640 134702520 3221223712 3221222608 134552412 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1011 698 413 48 0 963 0
[pid=5667] vsize: 4044
Current children cumulated CPU time (s) 451.79
Current children cumulated vsize (Kb) 6172

[startup+520.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 730 0 0 0 11388 797 0 0 25 0 1 0 20272206 4263936 700 4294967295 134512640 134702520 3221223712 3221222992 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1041 700 413 48 0 993 0
[pid=5667] vsize: 4164
Current children cumulated CPU time (s) 460.73
Current children cumulated vsize (Kb) 6292

[startup+530.038 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 736 0 0 0 12229 850 0 0 25 0 1 0 20272206 4263936 706 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5667/statm): 1041 706 413 48 0 993 0
[pid=5667] vsize: 4164
Current children cumulated CPU time (s) 469.67
Current children cumulated vsize (Kb) 6292

[startup+540.04 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 739 0 0 0 13062 907 0 0 23 0 1 0 20272206 4263936 709 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1041 709 413 48 0 993 0
[pid=5667] vsize: 4164
Current children cumulated CPU time (s) 478.57
Current children cumulated vsize (Kb) 6292

[startup+550.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 739 0 0 0 13881 975 0 0 20 0 1 0 20272206 4263936 709 4294967295 134512640 134702520 3221223712 3221222608 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1041 709 413 48 0 993 0
[pid=5667] vsize: 4164
Current children cumulated CPU time (s) 487.44
Current children cumulated vsize (Kb) 6292

[startup+560.041 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 743 0 0 0 14723 1025 0 0 24 0 1 0 20272206 4263936 713 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5667/statm): 1041 713 413 48 0 993 0
[pid=5667] vsize: 4164
Current children cumulated CPU time (s) 496.36
Current children cumulated vsize (Kb) 6292

[startup+570.042 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 755 0 0 0 15572 1080 0 0 24 0 1 0 20272206 4263936 725 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1041 725 413 48 0 993 0
[pid=5667] vsize: 4164
Current children cumulated CPU time (s) 505.4
Current children cumulated vsize (Kb) 6292

[startup+580.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 756 0 0 0 16418 1132 0 0 25 0 1 0 20272206 4263936 726 4294967295 134512640 134702520 3221223712 3221222832 134571949 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1041 726 413 48 0 993 0
[pid=5667] vsize: 4164
Current children cumulated CPU time (s) 514.38
Current children cumulated vsize (Kb) 6292

[startup+590.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 762 0 0 0 17249 1192 0 0 23 0 1 0 20272206 4403200 732 4294967295 134512640 134702520 3221223712 3221222608 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1075 732 413 48 0 1027 0
[pid=5667] vsize: 4300
Current children cumulated CPU time (s) 523.29
Current children cumulated vsize (Kb) 6428

[startup+600.044 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 762 0 0 0 18064 1257 0 0 21 0 1 0 20272206 4403200 732 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1075 732 413 48 0 1027 0
[pid=5667] vsize: 4300
Current children cumulated CPU time (s) 532.09
Current children cumulated vsize (Kb) 6428

[startup+610.044 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 764 0 0 0 18893 1315 0 0 24 0 1 0 20272206 4382720 734 4294967295 134512640 134702520 3221223712 3221223040 134613498 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1070 734 413 48 0 1022 0
[pid=5667] vsize: 4280
Current children cumulated CPU time (s) 540.96
Current children cumulated vsize (Kb) 6408

[startup+620.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 768 0 0 0 19740 1370 0 0 25 0 1 0 20272206 4382720 738 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1070 738 413 48 0 1022 0
[pid=5667] vsize: 4280
Current children cumulated CPU time (s) 549.98
Current children cumulated vsize (Kb) 6408

[startup+630.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 772 0 0 0 20584 1426 0 0 24 0 1 0 20272206 4382720 742 4294967295 134512640 134702520 3221223712 3221222972 134549068 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1070 742 413 48 0 1022 0
[pid=5667] vsize: 4280
Current children cumulated CPU time (s) 558.98
Current children cumulated vsize (Kb) 6408

[startup+640.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 775 0 0 0 21446 1476 0 0 25 0 1 0 20272206 4382720 745 4294967295 134512640 134702520 3221223712 3221222736 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1070 745 413 48 0 1022 0
[pid=5667] vsize: 4280
Current children cumulated CPU time (s) 568.1
Current children cumulated vsize (Kb) 6408

[startup+650.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 776 0 0 0 22267 1541 0 0 17 0 1 0 20272206 4382720 746 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1070 746 413 48 0 1022 0
[pid=5667] vsize: 4280
Current children cumulated CPU time (s) 576.96
Current children cumulated vsize (Kb) 6408

[startup+660.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 776 0 0 0 23096 1603 0 0 25 0 1 0 20272206 4382720 746 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1070 746 413 48 0 1022 0
[pid=5667] vsize: 4280
Current children cumulated CPU time (s) 585.87
Current children cumulated vsize (Kb) 6408

[startup+670.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 780 0 0 0 23946 1655 0 0 25 0 1 0 20272206 4382720 750 4294967295 134512640 134702520 3221223712 3221222736 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1070 750 413 48 0 1022 0
[pid=5667] vsize: 4280
Current children cumulated CPU time (s) 594.89
Current children cumulated vsize (Kb) 6408

[startup+680.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 784 0 0 0 24796 1706 0 0 20 0 1 0 20272206 4382720 754 4294967295 134512640 134702520 3221223712 3221223112 134607352 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1070 754 413 48 0 1022 0
[pid=5667] vsize: 4280
Current children cumulated CPU time (s) 603.9
Current children cumulated vsize (Kb) 6408

[startup+690.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 789 0 0 0 25642 1759 0 0 24 0 1 0 20272206 4382720 759 4294967295 134512640 134702520 3221223712 3221222912 134617938 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1070 759 413 48 0 1022 0
[pid=5667] vsize: 4280
Current children cumulated CPU time (s) 612.89
Current children cumulated vsize (Kb) 6408

[startup+700.052 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 790 0 0 0 26477 1816 0 0 22 0 1 0 20272206 4517888 760 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5667/statm): 1103 760 413 48 0 1055 0
[pid=5667] vsize: 4412
Current children cumulated CPU time (s) 621.81
Current children cumulated vsize (Kb) 6540

[startup+710.052 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 790 0 0 0 27286 1886 0 0 22 0 1 0 20272206 4517888 760 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5667/statm): 1103 760 413 48 0 1055 0
[pid=5667] vsize: 4412
Current children cumulated CPU time (s) 630.6
Current children cumulated vsize (Kb) 6540

[startup+720.053 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 792 0 0 0 28122 1944 0 0 19 0 1 0 20272206 4497408 762 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1098 762 413 48 0 1050 0
[pid=5667] vsize: 4392
Current children cumulated CPU time (s) 639.54
Current children cumulated vsize (Kb) 6520

[startup+730.053 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 799 0 0 0 28980 1992 0 0 25 0 1 0 20272206 4497408 769 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5667/statm): 1098 769 413 48 0 1050 0
[pid=5667] vsize: 4392
Current children cumulated CPU time (s) 648.6
Current children cumulated vsize (Kb) 6520

[startup+740.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 803 0 0 0 29832 2044 0 0 24 0 1 0 20272206 4497408 773 4294967295 134512640 134702520 3221223712 3221222608 134552270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1098 773 413 48 0 1050 0
[pid=5667] vsize: 4392
Current children cumulated CPU time (s) 657.64
Current children cumulated vsize (Kb) 6520

[startup+750.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 806 0 0 0 30692 2090 0 0 25 0 1 0 20272206 4497408 776 4294967295 134512640 134702520 3221223712 3221222832 134584546 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1098 776 413 48 0 1050 0
[pid=5667] vsize: 4392
Current children cumulated CPU time (s) 666.7
Current children cumulated vsize (Kb) 6520

[startup+760.054 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 809 0 0 0 31517 2152 0 0 20 0 1 0 20272206 4497408 779 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1098 779 413 48 0 1050 0
[pid=5667] vsize: 4392
Current children cumulated CPU time (s) 675.57
Current children cumulated vsize (Kb) 6520

[startup+770.056 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 809 0 0 0 32328 2216 0 0 22 0 1 0 20272206 4497408 779 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1098 779 413 48 0 1050 0
[pid=5667] vsize: 4392
Current children cumulated CPU time (s) 684.32
Current children cumulated vsize (Kb) 6520

[startup+780.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 811 0 0 0 33182 2266 0 0 24 0 1 0 20272206 4497408 781 4294967295 134512640 134702520 3221223712 3221223196 134608133 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1098 781 413 48 0 1050 0
[pid=5667] vsize: 4392
Current children cumulated CPU time (s) 693.36
Current children cumulated vsize (Kb) 6520

[startup+790.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 813 0 0 0 34042 2315 0 0 20 0 1 0 20272206 4497408 783 4294967295 134512640 134702520 3221223712 3221222992 134552868 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1098 783 413 48 0 1050 0
[pid=5667] vsize: 4392
Current children cumulated CPU time (s) 702.45
Current children cumulated vsize (Kb) 6520

[startup+800.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 817 0 0 0 34889 2368 0 0 25 0 1 0 20272206 4497408 787 4294967295 134512640 134702520 3221223712 3221222992 134552891 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1098 787 413 48 0 1050 0
[pid=5667] vsize: 4392
Current children cumulated CPU time (s) 711.45
Current children cumulated vsize (Kb) 6520

[startup+810.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 849 0 0 0 35751 2417 0 0 25 0 1 0 20272206 4771840 819 4294967295 134512640 134702520 3221223712 3221222992 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1165 819 413 48 0 1117 0
[pid=5667] vsize: 4660
Current children cumulated CPU time (s) 720.56
Current children cumulated vsize (Kb) 6788

[startup+820.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 865 0 0 0 36583 2475 0 0 20 0 1 0 20272206 4771840 835 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1165 835 413 48 0 1117 0
[pid=5667] vsize: 4660
Current children cumulated CPU time (s) 729.46
Current children cumulated vsize (Kb) 6788

[startup+830.061 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 866 0 0 0 37399 2540 0 0 21 0 1 0 20272206 4771840 836 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1165 836 413 48 0 1117 0
[pid=5667] vsize: 4660
Current children cumulated CPU time (s) 738.27
Current children cumulated vsize (Kb) 6788

[startup+840.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 870 0 0 0 38257 2589 0 0 21 0 1 0 20272206 4771840 840 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1165 840 413 48 0 1117 0
[pid=5667] vsize: 4660
Current children cumulated CPU time (s) 747.34
Current children cumulated vsize (Kb) 6788

[startup+850.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 875 0 0 0 39116 2637 0 0 25 0 1 0 20272206 4771840 845 4294967295 134512640 134702520 3221223712 3221222992 134552864 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1165 845 413 48 0 1117 0
[pid=5667] vsize: 4660
Current children cumulated CPU time (s) 756.41
Current children cumulated vsize (Kb) 6788

[startup+860.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 889 0 0 0 39984 2684 0 0 20 0 1 0 20272206 4771840 859 4294967295 134512640 134702520 3221223712 3221223224 1074744834 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1165 859 413 48 0 1117 0
[pid=5667] vsize: 4660
Current children cumulated CPU time (s) 765.56
Current children cumulated vsize (Kb) 6788

[startup+870.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 907 0 0 0 40862 2727 0 0 25 0 1 0 20272206 4907008 877 4294967295 134512640 134702520 3221223712 3221223112 134607261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1198 877 413 48 0 1150 0
[pid=5667] vsize: 4792
Current children cumulated CPU time (s) 774.77
Current children cumulated vsize (Kb) 6920

[startup+880.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 910 0 0 0 41699 2783 0 0 24 0 1 0 20272206 4907008 880 4294967295 134512640 134702520 3221223712 3221222608 134557201 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1198 880 413 48 0 1150 0
[pid=5667] vsize: 4792
Current children cumulated CPU time (s) 783.7
Current children cumulated vsize (Kb) 6920

[startup+890.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 910 0 0 0 42533 2842 0 0 24 0 1 0 20272206 4907008 880 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1198 880 413 48 0 1150 0
[pid=5667] vsize: 4792
Current children cumulated CPU time (s) 792.63
Current children cumulated vsize (Kb) 6920

[startup+900.067 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 912 0 0 0 43405 2887 0 0 24 0 1 0 20272206 4907008 882 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5667/statm): 1198 882 413 48 0 1150 0
[pid=5667] vsize: 4792
Current children cumulated CPU time (s) 801.8
Current children cumulated vsize (Kb) 6920

[startup+910.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 915 0 0 0 44268 2935 0 0 25 0 1 0 20272206 4907008 885 4294967295 134512640 134702520 3221223712 3221223196 134608148 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1198 885 413 48 0 1150 0
[pid=5667] vsize: 4792
Current children cumulated CPU time (s) 810.91
Current children cumulated vsize (Kb) 6920

[startup+920.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 919 0 0 0 45139 2980 0 0 25 0 1 0 20272206 4907008 889 4294967295 134512640 134702520 3221223712 3221222736 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1198 889 413 48 0 1150 0
[pid=5667] vsize: 4792
Current children cumulated CPU time (s) 820.07
Current children cumulated vsize (Kb) 6920

[startup+930.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 924 0 0 0 45990 3030 0 0 24 0 1 0 20272206 4907008 894 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1198 894 413 48 0 1150 0
[pid=5667] vsize: 4792
Current children cumulated CPU time (s) 829.08
Current children cumulated vsize (Kb) 6920

[startup+940.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 924 0 0 0 46823 3088 0 0 24 0 1 0 20272206 4907008 894 4294967295 134512640 134702520 3221223712 3221222608 134550963 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1198 894 413 48 0 1150 0
[pid=5667] vsize: 4792
Current children cumulated CPU time (s) 837.99
Current children cumulated vsize (Kb) 6920

[startup+950.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 925 0 0 0 47680 3138 0 0 25 0 1 0 20272206 4907008 895 4294967295 134512640 134702520 3221223712 3221222736 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1198 895 413 48 0 1150 0
[pid=5667] vsize: 4792
Current children cumulated CPU time (s) 847.06
Current children cumulated vsize (Kb) 6920

[startup+960.072 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 929 0 0 0 48552 3180 0 0 25 0 1 0 20272206 4907008 899 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1198 899 413 48 0 1150 0
[pid=5667] vsize: 4792
Current children cumulated CPU time (s) 856.2
Current children cumulated vsize (Kb) 6920

[startup+970.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 931 0 0 0 49427 3224 0 0 25 0 1 0 20272206 5029888 901 4294967295 134512640 134702520 3221223712 3221221088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5667/statm): 1228 901 413 48 0 1180 0
[pid=5667] vsize: 4912
Current children cumulated CPU time (s) 865.39
Current children cumulated vsize (Kb) 7040

[startup+980.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 938 0 0 0 50310 3266 0 0 21 0 1 0 20272206 5029888 908 4294967295 134512640 134702520 3221223712 3221222608 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1228 908 413 48 0 1180 0
[pid=5667] vsize: 4912
Current children cumulated CPU time (s) 874.64
Current children cumulated vsize (Kb) 7040

[startup+990.075 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 940 0 0 0 51161 3318 0 0 24 0 1 0 20272206 5029888 910 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5667/statm): 1228 910 413 48 0 1180 0
[pid=5667] vsize: 4912
Current children cumulated CPU time (s) 883.67
Current children cumulated vsize (Kb) 7040

[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 940 0 0 0 51986 3378 0 0 22 0 1 0 20272206 5029888 910 4294967295 134512640 134702520 3221223712 3221222548 134550182 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1228 910 413 48 0 1180 0
[pid=5667] vsize: 4912
Current children cumulated CPU time (s) 892.52
Current children cumulated vsize (Kb) 7040

[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 941 0 0 0 52839 3427 0 0 25 0 1 0 20272206 5029888 911 4294967295 134512640 134702520 3221223712 3221222736 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1228 911 413 48 0 1180 0
[pid=5667] vsize: 4912
Current children cumulated CPU time (s) 901.54
Current children cumulated vsize (Kb) 7040

[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 948 0 0 0 53716 3470 0 0 25 0 1 0 20272206 5029888 918 4294967295 134512640 134702520 3221223712 3221222736 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1228 918 413 48 0 1180 0
[pid=5667] vsize: 4912
Current children cumulated CPU time (s) 910.74
Current children cumulated vsize (Kb) 7040

[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 953 0 0 0 54572 3521 0 0 25 0 1 0 20272206 5029888 923 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1228 923 413 48 0 1180 0
[pid=5667] vsize: 4912
Current children cumulated CPU time (s) 919.81
Current children cumulated vsize (Kb) 7040

[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 954 0 0 0 55446 3565 0 0 25 0 1 0 20272206 5029888 924 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1228 924 413 48 0 1180 0
[pid=5667] vsize: 4912
Current children cumulated CPU time (s) 928.99
Current children cumulated vsize (Kb) 7040

[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 957 0 0 0 56317 3608 0 0 24 0 1 0 20272206 5029888 927 4294967295 134512640 134702520 3221223712 3221222992 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1228 927 413 48 0 1180 0
[pid=5667] vsize: 4912
Current children cumulated CPU time (s) 938.13
Current children cumulated vsize (Kb) 7040

[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 959 0 0 0 57135 3670 0 0 22 0 1 0 20272206 5029888 929 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5667/statm): 1228 929 413 48 0 1180 0
[pid=5667] vsize: 4912
Current children cumulated CPU time (s) 946.93
Current children cumulated vsize (Kb) 7040

[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 959 0 0 0 57946 3740 0 0 21 0 1 0 20272206 5029888 929 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1228 929 413 48 0 1180 0
[pid=5667] vsize: 4912
Current children cumulated CPU time (s) 955.74
Current children cumulated vsize (Kb) 7040

[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 960 0 0 0 58813 3783 0 0 24 0 1 0 20272206 5152768 930 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5667/statm): 1258 930 413 48 0 1210 0
[pid=5667] vsize: 5032
Current children cumulated CPU time (s) 964.84
Current children cumulated vsize (Kb) 7160

[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 963 0 0 0 59676 3832 0 0 25 0 1 0 20272206 5152768 933 4294967295 134512640 134702520 3221223712 3221222992 134552263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1258 933 413 48 0 1210 0
[pid=5667] vsize: 5032
Current children cumulated CPU time (s) 973.96
Current children cumulated vsize (Kb) 7160

[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 966 0 0 0 60550 3873 0 0 25 0 1 0 20272206 5152768 936 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5667/statm): 1258 936 413 48 0 1210 0
[pid=5667] vsize: 5032
Current children cumulated CPU time (s) 983.11
Current children cumulated vsize (Kb) 7160

[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 968 0 0 0 61410 3921 0 0 25 0 1 0 20272206 5152768 938 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1258 938 413 48 0 1210 0
[pid=5667] vsize: 5032
Current children cumulated CPU time (s) 992.19
Current children cumulated vsize (Kb) 7160

[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 970 0 0 0 62269 3970 0 0 23 0 1 0 20272206 5152768 940 4294967295 134512640 134702520 3221223712 3221222992 134552759 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1258 940 413 48 0 1210 0
[pid=5667] vsize: 5032
Current children cumulated CPU time (s) 1001.27
Current children cumulated vsize (Kb) 7160

[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 972 0 0 0 63098 4028 0 0 23 0 1 0 20272206 5152768 942 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1258 942 413 48 0 1210 0
[pid=5667] vsize: 5032
Current children cumulated CPU time (s) 1010.14
Current children cumulated vsize (Kb) 7160

[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 972 0 0 0 63903 4096 0 0 23 0 1 0 20272206 5152768 942 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5667/statm): 1258 942 413 48 0 1210 0
[pid=5667] vsize: 5032
Current children cumulated CPU time (s) 1018.87
Current children cumulated vsize (Kb) 7160

[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 975 0 0 0 64749 4147 0 0 23 0 1 0 20272206 5152768 945 4294967295 134512640 134702520 3221223712 3221222608 134553162 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1258 945 413 48 0 1210 0
[pid=5667] vsize: 5032
Current children cumulated CPU time (s) 1027.84
Current children cumulated vsize (Kb) 7160

[startup+1160.09 s]
Raw data (loadavg): 1.08 1.02 1.01 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 978 0 0 0 65609 4197 0 0 19 0 1 0 20272206 5152768 948 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5667/statm): 1258 948 413 48 0 1210 0
[pid=5667] vsize: 5032
Current children cumulated CPU time (s) 1036.94
Current children cumulated vsize (Kb) 7160

[startup+1170.09 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 980 0 0 0 66471 4245 0 0 21 0 1 0 20272206 5152768 950 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5667/statm): 1258 950 413 48 0 1210 0
[pid=5667] vsize: 5032
Current children cumulated CPU time (s) 1046.04
Current children cumulated vsize (Kb) 7160

[startup+1180.09 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 983 0 0 0 67343 4294 0 0 25 0 1 0 20272206 5152768 953 4294967295 134512640 134702520 3221223712 3221223196 134608133 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1258 953 413 48 0 1210 0
[pid=5667] vsize: 5032
Current children cumulated CPU time (s) 1055.25
Current children cumulated vsize (Kb) 7160

[startup+1190.09 s]
Raw data (loadavg): 1.05 1.01 1.00 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 986 0 0 0 68205 4340 0 0 23 0 1 0 20272206 5152768 956 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1258 956 413 48 0 1210 0
[pid=5667] vsize: 5032
Current children cumulated CPU time (s) 1064.33
Current children cumulated vsize (Kb) 7160

[startup+1200.09 s]
Raw data (loadavg): 1.04 1.01 1.00 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 989 0 0 0 69056 4395 0 0 19 0 1 0 20272206 5152768 959 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1258 959 413 48 0 1210 0
[pid=5667] vsize: 5032
Current children cumulated CPU time (s) 1073.39
Current children cumulated vsize (Kb) 7160

[startup+1210.09 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 989 0 0 0 69873 4459 0 0 22 0 1 0 20272206 5152768 959 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1258 959 413 48 0 1210 0
[pid=5667] vsize: 5032
Current children cumulated CPU time (s) 1082.2
Current children cumulated vsize (Kb) 7160

[startup+1220.09 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 989 0 0 0 70721 4512 0 0 25 0 1 0 20272206 5152768 959 4294967295 134512640 134702520 3221223712 3221222992 134552868 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1258 959 413 48 0 1210 0
[pid=5667] vsize: 5032
Current children cumulated CPU time (s) 1091.21
Current children cumulated vsize (Kb) 7160

[startup+1230.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 990 0 0 0 71589 4560 0 0 24 0 1 0 20272206 5271552 960 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1287 960 413 48 0 1239 0
[pid=5667] vsize: 5148
Current children cumulated CPU time (s) 1100.37
Current children cumulated vsize (Kb) 7276

[startup+1240.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 993 0 0 0 72448 4609 0 0 24 0 1 0 20272206 5271552 963 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1287 963 413 48 0 1239 0
[pid=5667] vsize: 5148
Current children cumulated CPU time (s) 1109.45
Current children cumulated vsize (Kb) 7276

[startup+1250.09 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 995 0 0 0 73309 4658 0 0 24 0 1 0 20272206 5271552 965 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1287 965 413 48 0 1239 0
[pid=5667] vsize: 5148
Current children cumulated CPU time (s) 1118.55
Current children cumulated vsize (Kb) 7276

[startup+1260.1 s]
Raw data (loadavg): 1.09 1.02 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 997 0 0 0 74171 4703 0 0 24 0 1 0 20272206 5271552 967 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5667/statm): 1287 967 413 48 0 1239 0
[pid=5667] vsize: 5148
Current children cumulated CPU time (s) 1127.62
Current children cumulated vsize (Kb) 7276

[startup+1270.1 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 1001 0 0 0 75031 4753 0 0 24 0 1 0 20272206 5271552 971 4294967295 134512640 134702520 3221223712 3221222576 134564360 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1287 971 413 48 0 1239 0
[pid=5667] vsize: 5148
Current children cumulated CPU time (s) 1136.72
Current children cumulated vsize (Kb) 7276

[startup+1280.1 s]
Raw data (loadavg): 1.14 1.04 1.01 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 1001 0 0 0 75841 4819 0 0 23 0 1 0 20272206 5271552 971 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1287 971 413 48 0 1239 0
[pid=5667] vsize: 5148
Current children cumulated CPU time (s) 1145.48
Current children cumulated vsize (Kb) 7276

[startup+1290.1 s]
Raw data (loadavg): 1.12 1.04 1.01 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 1001 0 0 0 76666 4880 0 0 25 0 1 0 20272206 5271552 971 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1287 971 413 48 0 1239 0
[pid=5667] vsize: 5148
Current children cumulated CPU time (s) 1154.34
Current children cumulated vsize (Kb) 7276

[startup+1300.1 s]
Raw data (loadavg): 1.10 1.03 1.01 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 1004 0 0 0 77536 4926 0 0 19 0 1 0 20272206 5271552 974 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5667/statm): 1287 974 413 48 0 1239 0
[pid=5667] vsize: 5148
Current children cumulated CPU time (s) 1163.5
Current children cumulated vsize (Kb) 7276

[startup+1310.1 s]
Raw data (loadavg): 1.08 1.03 1.01 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 1005 0 0 0 78404 4975 0 0 25 0 1 0 20272206 5271552 975 4294967295 134512640 134702520 3221223712 3221222992 134552345 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1287 975 413 48 0 1239 0
[pid=5667] vsize: 5148
Current children cumulated CPU time (s) 1172.67
Current children cumulated vsize (Kb) 7276

[startup+1320.1 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 1007 0 0 0 79267 5022 0 0 25 0 1 0 20272206 5271552 977 4294967295 134512640 134702520 3221223712 3221222992 134552871 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1287 977 413 48 0 1239 0
[pid=5667] vsize: 5148
Current children cumulated CPU time (s) 1181.77
Current children cumulated vsize (Kb) 7276

[startup+1330.1 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 1009 0 0 0 80127 5071 0 0 25 0 1 0 20272206 5271552 979 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1287 979 413 48 0 1239 0
[pid=5667] vsize: 5148
Current children cumulated CPU time (s) 1190.86
Current children cumulated vsize (Kb) 7276

[startup+1340.1 s]
Raw data (loadavg): 1.13 1.04 1.01 2/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) R 5662 5662 4060 0 -1 0 1011 0 0 0 80993 5114 0 0 25 0 1 0 20272206 5271552 981 4294967295 134512640 134702520 3221223712 3221222992 134554270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1287 981 413 48 0 1239 0
[pid=5667] vsize: 5148
Current children cumulated CPU time (s) 1199.95
Current children cumulated vsize (Kb) 7276

[startup+1350.1 s]
Raw data (loadavg): 1.11 1.04 1.01 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 1012 0 0 0 81838 5168 0 0 22 0 1 0 20272206 5271552 982 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1287 982 413 48 0 1239 0
[pid=5667] vsize: 5148
Current children cumulated CPU time (s) 1208.94
Current children cumulated vsize (Kb) 7276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1350.11 s]
Raw data (loadavg): 1.11 1.04 1.01 1/56 5667
Raw data (/proc/5662/stat): 5662 (vallstSAT2005PB) S 5661 5662 4060 0 -1 0 378 1239 0 0 1 1 31563 2323 18 0 1 0 20233891 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5662/statm): 532 248 485 147 0 385 0
[pid=5662] vsize: 2128
Raw data (/proc/5667/stat): 5667 (vallst) T 5662 5662 4060 0 -1 0 1012 0 0 0 81838 5168 0 0 22 0 1 0 20272206 5271552 982 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5667/statm): 1287 982 413 48 0 1239 0
[pid=5667] vsize: 5148
Current children cumulated CPU time (s) 1208.94
Current children cumulated vsize (Kb) 7276

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1350.59
CPU time (s): 1209.12
CPU user time (s): 1134.12
CPU system time (s): 74.9966
CPU usage (%): 89.5256
Max. virtual memory (cumulated for all children) (Kb): 7276

Verifier Data

ERROR: no interpretation found !