Some explanations

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

General information on the benchmark

Namemps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-B2C1S1.opb
MD5SUM2da614f2ff412c1e07d8c65342ffb362
Bench Categoryoptimization, medium integers (OPTMEDINT)
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 25888
Biggest coefficient in the objective function 340787200
Number of bits for the biggest coefficient in the objective function 29
Sum of the numbers in the objective function 293013913600
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 340787200
Number of bits of the biggest number in a constraint 29
Biggest sum of numbers in a constraint 293013913600
Number of bits of the biggest sum of numbers39
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables71968
Total number of constraints4192
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)288
Number of constraints which are nor clauses,nor cardinality constraints3904
Minimum length of a constraint1
Maximum length of a constraint960

Trace number 9443

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034724 kB
MemFree:        928948 kB
Buffers:         13888 kB
Cached:          71724 kB
SwapCached:          0 kB
Active:          45704 kB
Inactive:        42816 kB
HighTotal:      131072 kB
HighFree:        54880 kB
LowTotal:       903652 kB
LowFree:        874068 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:            11608 kB
Committed_AS:    63628 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 13:59:26 (client local time) WITH STATUS 0 IN 411.235 SECONDS
stats: 8164 7 411.235 0

Solver Data

1:
seed: 0
Nr of vars set: 17356  (#equs: 0)
Nr of vars set: 17538  (#equs: 0)
#decisions: 1917532;  #end-nodes: 9879;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 233 (103)
#axs: 5169, #non-axs: 357
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 17603  (#equs: 0)
Time taken: 13 min, 17 sec

2:

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) R 6206 6207 4005 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20562548 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6207/statm): 174 3 169 147 0 27 0
[pid=6207] 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=6208
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=6208) exited with status: 0
New process pid=6209
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=6209) exited with status: 0
New process pid=6210
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /oldhome/oroussel/tmp/wulflinc32/normalized-mps-v2-13-7-B2C1S1.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0038 s]
Raw data (loadavg): 0.94 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 4454 0 0 0 959 23 0 0 25 0 1 0 20562555 19382272 3899 4294967295 134512640 134702520 3221223952 3221195648 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 4732 3899 413 48 0 4684 0
[pid=6210] vsize: 18928
Current children cumulated CPU time (s) 9.85
Current children cumulated vsize (Kb) 21056

[startup+20.0046 s]
Raw data (loadavg): 0.95 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 4474 0 0 0 1959 23 0 0 25 0 1 0 20562555 19464192 3919 4294967295 134512640 134702520 3221223952 3221057548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 4752 3919 413 48 0 4704 0
[pid=6210] vsize: 19008
Current children cumulated CPU time (s) 19.85
Current children cumulated vsize (Kb) 21136

[startup+30.0064 s]
Raw data (loadavg): 0.96 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 4511 0 0 0 2959 23 0 0 25 0 1 0 20562555 19615744 3956 4294967295 134512640 134702520 3221223952 3220907488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 4789 3956 413 48 0 4741 0
[pid=6210] vsize: 19156
Current children cumulated CPU time (s) 29.85
Current children cumulated vsize (Kb) 21284

[startup+40.0071 s]
Raw data (loadavg): 0.96 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 4550 0 0 0 3959 23 0 0 25 0 1 0 20562555 19775488 3995 4294967295 134512640 134702520 3221223952 3220746988 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 4828 3995 413 48 0 4780 0
[pid=6210] vsize: 19312
Current children cumulated CPU time (s) 39.85
Current children cumulated vsize (Kb) 21440

[startup+50.0079 s]
Raw data (loadavg): 0.97 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 4592 0 0 0 4959 23 0 0 25 0 1 0 20562555 19947520 4037 4294967295 134512640 134702520 3221223952 3220574528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 4870 4037 413 48 0 4822 0
[pid=6210] vsize: 19480
Current children cumulated CPU time (s) 49.85
Current children cumulated vsize (Kb) 21608

[startup+60.0086 s]
Raw data (loadavg): 0.97 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 4638 0 0 0 5959 23 0 0 25 0 1 0 20562555 20135936 4083 4294967295 134512640 134702520 3221223952 3220386848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 4916 4083 413 48 0 4868 0
[pid=6210] vsize: 19664
Current children cumulated CPU time (s) 59.85
Current children cumulated vsize (Kb) 21792

[startup+70.0094 s]
Raw data (loadavg): 0.98 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 4689 0 0 0 6959 23 0 0 25 0 1 0 20562555 20344832 4134 4294967295 134512640 134702520 3221223952 3220179648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 4967 4134 413 48 0 4919 0
[pid=6210] vsize: 19868
Current children cumulated CPU time (s) 69.85
Current children cumulated vsize (Kb) 21996

[startup+80.0112 s]
Raw data (loadavg): 0.98 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 4746 0 0 0 7960 23 0 0 25 0 1 0 20562555 20578304 4191 4294967295 134512640 134702520 3221223952 3219944428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 5024 4191 413 48 0 4976 0
[pid=6210] vsize: 20096
Current children cumulated CPU time (s) 79.86
Current children cumulated vsize (Kb) 22224

[startup+90.0119 s]
Raw data (loadavg): 0.98 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 4814 0 0 0 8960 23 0 0 25 0 1 0 20562555 20856832 4259 4294967295 134512640 134702520 3221223952 3219666208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 5092 4259 413 48 0 5044 0
[pid=6210] vsize: 20368
Current children cumulated CPU time (s) 89.86
Current children cumulated vsize (Kb) 22496

[startup+100.013 s]
Raw data (loadavg): 0.98 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 4903 0 0 0 9960 24 0 0 25 0 1 0 20562555 21221376 4348 4294967295 134512640 134702520 3221223952 3219304268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 5181 4348 413 48 0 5133 0
[pid=6210] vsize: 20724
Current children cumulated CPU time (s) 99.87
Current children cumulated vsize (Kb) 22852

[startup+110.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5092 0 0 0 10960 24 0 0 25 0 1 0 20562555 21995520 4537 4294967295 134512640 134702520 3221223952 3218529408 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 5370 4537 413 48 0 5322 0
[pid=6210] vsize: 21480
Current children cumulated CPU time (s) 109.87
Current children cumulated vsize (Kb) 23608

[startup+120.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5172 0 0 0 11312 226 0 0 25 0 1 0 20562555 36278272 4617 4294967295 134512640 134702520 3221223952 3221214768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4617 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 115.41
Current children cumulated vsize (Kb) 37556

[startup+130.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5172 0 0 0 12312 226 0 0 25 0 1 0 20562555 36278272 4617 4294967295 134512640 134702520 3221223952 3221075888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4617 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 125.41
Current children cumulated vsize (Kb) 37556

[startup+140.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5172 0 0 0 13312 226 0 0 25 0 1 0 20562555 36278272 4617 4294967295 134512640 134702520 3221223952 3220929148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4617 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 135.41
Current children cumulated vsize (Kb) 37556

[startup+150.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5172 0 0 0 14312 226 0 0 25 0 1 0 20562555 36278272 4617 4294967295 134512640 134702520 3221223952 3220772828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4617 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 145.41
Current children cumulated vsize (Kb) 37556

[startup+160.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5172 0 0 0 15312 226 0 0 25 0 1 0 20562555 36278272 4617 4294967295 134512640 134702520 3221223952 3220605328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4617 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 155.41
Current children cumulated vsize (Kb) 37556

[startup+170.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5172 0 0 0 16312 226 0 0 25 0 1 0 20562555 36278272 4617 4294967295 134512640 134702520 3221223952 3220424208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4617 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 165.41
Current children cumulated vsize (Kb) 37556

[startup+180.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5172 0 0 0 17313 226 0 0 25 0 1 0 20562555 36278272 4617 4294967295 134512640 134702520 3221223952 3220225488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4617 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 175.42
Current children cumulated vsize (Kb) 37556

[startup+190.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5172 0 0 0 18313 226 0 0 25 0 1 0 20562555 36278272 4617 4294967295 134512640 134702520 3221223952 3220002748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4617 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 185.42
Current children cumulated vsize (Kb) 37556

[startup+200.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5172 0 0 0 19313 226 0 0 25 0 1 0 20562555 36278272 4617 4294967295 134512640 134702520 3221223952 3219744188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4617 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 195.42
Current children cumulated vsize (Kb) 37556

[startup+210.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5172 0 0 0 20313 226 0 0 25 0 1 0 20562555 36278272 4617 4294967295 134512640 134702520 3221223952 3219424048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4617 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 205.42
Current children cumulated vsize (Kb) 37556

[startup+220.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5172 0 0 0 21313 226 0 0 25 0 1 0 20562555 36278272 4617 4294967295 134512640 134702520 3221223952 3218947388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4617 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 215.42
Current children cumulated vsize (Kb) 37556

[startup+230.025 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) T 6207 6207 4005 0 -1 0 5172 0 0 0 21881 365 0 0 16 0 1 0 20562555 36278272 4617 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4617 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 222.49
Current children cumulated vsize (Kb) 37556

[startup+240.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5173 0 0 0 22634 442 0 0 25 0 1 0 20562555 36278272 4618 4294967295 134512640 134702520 3221223952 3221139408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4618 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 230.79
Current children cumulated vsize (Kb) 37556

[startup+250.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5173 0 0 0 23634 442 0 0 25 0 1 0 20562555 36278272 4618 4294967295 134512640 134702520 3221223952 3220997808 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4618 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 240.79
Current children cumulated vsize (Kb) 37556

[startup+260.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5173 0 0 0 24634 442 0 0 25 0 1 0 20562555 36278272 4618 4294967295 134512640 134702520 3221223952 3220847408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4618 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 250.79
Current children cumulated vsize (Kb) 37556

[startup+270.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5173 0 0 0 25635 442 0 0 25 0 1 0 20562555 36278272 4618 4294967295 134512640 134702520 3221223952 3220687068 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4618 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 260.8
Current children cumulated vsize (Kb) 37556

[startup+280.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5173 0 0 0 26635 442 0 0 25 0 1 0 20562555 36278272 4618 4294967295 134512640 134702520 3221223952 3220514608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4618 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 270.8
Current children cumulated vsize (Kb) 37556

[startup+290.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5173 0 0 0 27635 442 0 0 25 0 1 0 20562555 36278272 4618 4294967295 134512640 134702520 3221223952 3220326908 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4618 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 280.8
Current children cumulated vsize (Kb) 37556

[startup+300.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5173 0 0 0 28635 442 0 0 25 0 1 0 20562555 36278272 4618 4294967295 134512640 134702520 3221223952 3220119408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4618 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 290.8
Current children cumulated vsize (Kb) 37556

[startup+310.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5173 0 0 0 29635 442 0 0 25 0 1 0 20562555 36278272 4618 4294967295 134512640 134702520 3221223952 3219883408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4618 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 300.8
Current children cumulated vsize (Kb) 37556

[startup+320.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5173 0 0 0 30636 442 0 0 25 0 1 0 20562555 36278272 4618 4294967295 134512640 134702520 3221223952 3219603088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4618 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 310.81
Current children cumulated vsize (Kb) 37556

[startup+330.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5173 0 0 0 31636 442 0 0 25 0 1 0 20562555 36278272 4618 4294967295 134512640 134702520 3221223952 3219236528 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4618 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 320.81
Current children cumulated vsize (Kb) 37556

[startup+340.03 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) T 6207 6207 4005 0 -1 0 5173 0 0 0 32609 450 0 0 16 0 1 0 20562555 36278272 4618 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4618 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 330.62
Current children cumulated vsize (Kb) 37556

[startup+350.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) T 6207 6207 4005 0 -1 0 5173 0 0 0 32860 693 0 0 16 0 1 0 20562555 36278272 4618 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4618 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 335.56
Current children cumulated vsize (Kb) 37556

[startup+360.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5174 0 0 0 33422 838 0 0 25 0 1 0 20562555 36278272 4619 4294967295 134512640 134702520 3221223952 3221173468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4619 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 342.63
Current children cumulated vsize (Kb) 37556

[startup+370.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5174 0 0 0 34422 838 0 0 25 0 1 0 20562555 36278272 4619 4294967295 134512640 134702520 3221223952 3221032368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4619 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 352.63
Current children cumulated vsize (Kb) 37556

[startup+380.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5174 0 0 0 35423 838 0 0 25 0 1 0 20562555 36278272 4619 4294967295 134512640 134702520 3221223952 3220882928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4619 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 362.64
Current children cumulated vsize (Kb) 37556

[startup+390.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5174 0 0 0 36423 838 0 0 25 0 1 0 20562555 36278272 4619 4294967295 134512640 134702520 3221223952 3220723548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4619 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 372.64
Current children cumulated vsize (Kb) 37556

[startup+400.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5174 0 0 0 37423 838 0 0 25 0 1 0 20562555 36278272 4619 4294967295 134512640 134702520 3221223952 3220552368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4619 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 382.64
Current children cumulated vsize (Kb) 37556

[startup+410.035 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5174 0 0 0 38423 838 0 0 25 0 1 0 20562555 36278272 4619 4294967295 134512640 134702520 3221223952 3220366588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4619 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 392.64
Current children cumulated vsize (Kb) 37556

[startup+420.036 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5174 0 0 0 39423 838 0 0 25 0 1 0 20562555 36278272 4619 4294967295 134512640 134702520 3221223952 3220161648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4619 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 402.64
Current children cumulated vsize (Kb) 37556

[startup+430.037 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5174 0 0 0 40423 838 0 0 25 0 1 0 20562555 36278272 4619 4294967295 134512640 134702520 3221223952 3219929968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4619 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 412.64
Current children cumulated vsize (Kb) 37556

[startup+440.037 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5174 0 0 0 41423 838 0 0 25 0 1 0 20562555 36278272 4619 4294967295 134512640 134702520 3221223952 3219657308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4619 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 422.64
Current children cumulated vsize (Kb) 37556

[startup+450.038 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5174 0 0 0 42423 838 0 0 25 0 1 0 20562555 36278272 4619 4294967295 134512640 134702520 3221223952 3219308368 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4619 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 432.64
Current children cumulated vsize (Kb) 37556

[startup+460.039 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5174 0 0 0 43423 838 0 0 25 0 1 0 20562555 36278272 4619 4294967295 134512640 134702520 3221223952 3218692828 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4619 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 442.64
Current children cumulated vsize (Kb) 37556

[startup+470.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5182 0 0 0 43774 1040 0 0 16 0 1 0 20562555 36278272 4627 4294967295 134512640 134702520 3221223952 3221223460 1074752209 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8857 4627 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 448.17
Current children cumulated vsize (Kb) 37556

[startup+480.039 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5200 0 0 0 44591 1099 0 0 25 0 1 0 20562555 36278272 4645 4294967295 134512640 134702520 3221223952 3221126588 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4645 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 456.93
Current children cumulated vsize (Kb) 37556

[startup+490.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5200 0 0 0 45591 1099 0 0 25 0 1 0 20562555 36278272 4645 4294967295 134512640 134702520 3221223952 3220984368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4645 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 466.93
Current children cumulated vsize (Kb) 37556

[startup+500.041 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5200 0 0 0 46591 1099 0 0 25 0 1 0 20562555 36278272 4645 4294967295 134512640 134702520 3221223952 3220833328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4645 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 476.93
Current children cumulated vsize (Kb) 37556

[startup+510.042 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5200 0 0 0 47591 1099 0 0 25 0 1 0 20562555 36278272 4645 4294967295 134512640 134702520 3221223952 3220672048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4645 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 486.93
Current children cumulated vsize (Kb) 37556

[startup+520.043 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5200 0 0 0 48592 1099 0 0 25 0 1 0 20562555 36278272 4645 4294967295 134512640 134702520 3221223952 3220498608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4645 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 496.94
Current children cumulated vsize (Kb) 37556

[startup+530.042 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5200 0 0 0 49592 1099 0 0 25 0 1 0 20562555 36278272 4645 4294967295 134512640 134702520 3221223952 3220309628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4645 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 506.94
Current children cumulated vsize (Kb) 37556

[startup+540.043 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5200 0 0 0 50592 1099 0 0 25 0 1 0 20562555 36278272 4645 4294967295 134512640 134702520 3221223952 3220100188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4645 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 516.94
Current children cumulated vsize (Kb) 37556

[startup+550.044 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5200 0 0 0 51592 1099 0 0 25 0 1 0 20562555 36278272 4645 4294967295 134512640 134702520 3221223952 3219861648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4645 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 526.94
Current children cumulated vsize (Kb) 37556

[startup+560.045 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5200 0 0 0 52593 1099 0 0 25 0 1 0 20562555 36278272 4645 4294967295 134512640 134702520 3221223952 3219576668 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4645 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 536.95
Current children cumulated vsize (Kb) 37556

[startup+570.045 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5200 0 0 0 53593 1099 0 0 25 0 1 0 20562555 36278272 4645 4294967295 134512640 134702520 3221223952 3219199408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8857 4645 413 48 0 8809 0
[pid=6210] vsize: 35428
Current children cumulated CPU time (s) 546.95
Current children cumulated vsize (Kb) 37556

[startup+580.045 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5201 0 0 0 54509 1127 0 0 16 0 1 0 20562555 36282368 4646 4294967295 134512640 134702520 3221223952 3221223344 134603755 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8858 4646 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 556.39
Current children cumulated vsize (Kb) 37560

[startup+590.046 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5221 0 0 0 54961 1306 0 0 25 0 1 0 20562555 36282368 4666 4294967295 134512640 134702520 3221223952 3221194108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8858 4666 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 562.7
Current children cumulated vsize (Kb) 37560

[startup+600.047 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5221 0 0 0 55961 1306 0 0 25 0 1 0 20562555 36282368 4666 4294967295 134512640 134702520 3221223952 3221054288 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8858 4666 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 572.7
Current children cumulated vsize (Kb) 37560

[startup+610.048 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5221 0 0 0 56961 1306 0 0 25 0 1 0 20562555 36282368 4666 4294967295 134512640 134702520 3221223952 3220906268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8858 4666 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 582.7
Current children cumulated vsize (Kb) 37560

[startup+620.049 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5221 0 0 0 57961 1306 0 0 25 0 1 0 20562555 36282368 4666 4294967295 134512640 134702520 3221223952 3220748688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8858 4666 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 592.7
Current children cumulated vsize (Kb) 37560

[startup+630.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5221 0 0 0 58961 1306 0 0 25 0 1 0 20562555 36282368 4666 4294967295 134512640 134702520 3221223952 3220579728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8858 4666 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 602.7
Current children cumulated vsize (Kb) 37560

[startup+640.051 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5221 0 0 0 59961 1306 0 0 25 0 1 0 20562555 36282368 4666 4294967295 134512640 134702520 3221223952 3220397948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8858 4666 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 612.7
Current children cumulated vsize (Kb) 37560

[startup+650.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5221 0 0 0 60961 1306 0 0 25 0 1 0 20562555 36282368 4666 4294967295 134512640 134702520 3221223952 3220198748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8858 4666 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 622.7
Current children cumulated vsize (Kb) 37560

[startup+660.051 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5221 0 0 0 61962 1306 0 0 25 0 1 0 20562555 36282368 4666 4294967295 134512640 134702520 3221223952 3219974908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8858 4666 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 632.71
Current children cumulated vsize (Kb) 37560

[startup+670.052 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5221 0 0 0 62962 1306 0 0 25 0 1 0 20562555 36282368 4666 4294967295 134512640 134702520 3221223952 3219714428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8858 4666 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 642.71
Current children cumulated vsize (Kb) 37560

[startup+680.052 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5221 0 0 0 63962 1306 0 0 25 0 1 0 20562555 36282368 4666 4294967295 134512640 134702520 3221223952 3219389468 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8858 4666 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 652.71
Current children cumulated vsize (Kb) 37560

[startup+690.052 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5221 0 0 0 64962 1306 0 0 25 0 1 0 20562555 36282368 4666 4294967295 134512640 134702520 3221223952 3218891408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8858 4666 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 662.71
Current children cumulated vsize (Kb) 37560

[startup+700.053 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5222 0 0 0 65486 1461 0 0 16 0 1 0 20562555 36282368 4667 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8858 4667 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 669.5
Current children cumulated vsize (Kb) 37560

[startup+710.054 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) T 6207 6207 4005 0 -1 0 5223 0 0 0 65783 1686 0 0 15 0 1 0 20562555 36282368 4668 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8858 4668 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 674.72
Current children cumulated vsize (Kb) 37560

[startup+720.055 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) T 6207 6207 4005 0 -1 0 5229 0 0 0 66063 1912 0 0 15 0 1 0 20562555 36282368 4674 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8858 4674 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 679.78
Current children cumulated vsize (Kb) 37560

[startup+730.055 s]
Raw data (loadavg): 1.13 1.03 1.00 1/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) T 6207 6207 4005 0 -1 0 5240 0 0 0 66343 2138 0 0 16 0 1 0 20562555 36282368 4685 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6210/statm): 8858 4685 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 684.84
Current children cumulated vsize (Kb) 37560

[startup+740.057 s]
Raw data (loadavg): 1.11 1.03 1.00 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5247 0 0 0 66634 2371 0 0 16 0 1 0 20562555 36282368 4692 4294967295 134512640 134702520 3221223952 3221180188 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8858 4692 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 690.08
Current children cumulated vsize (Kb) 37560

[startup+750.058 s]
Raw data (loadavg): 1.09 1.03 1.00 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5247 0 0 0 67635 2371 0 0 25 0 1 0 20562555 36282368 4692 4294967295 134512640 134702520 3221223952 3221089308 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8858 4692 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 700.09
Current children cumulated vsize (Kb) 37560

[startup+760.059 s]
Raw data (loadavg): 1.08 1.03 1.00 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5247 0 0 0 68635 2371 0 0 25 0 1 0 20562555 36282368 4692 4294967295 134512640 134702520 3221223952 3220945468 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8858 4692 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 710.09
Current children cumulated vsize (Kb) 37560

[startup+770.059 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5247 0 0 0 69635 2371 0 0 25 0 1 0 20562555 36282368 4692 4294967295 134512640 134702520 3221223952 3220792688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8858 4692 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 720.09
Current children cumulated vsize (Kb) 37560

[startup+780.059 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5247 0 0 0 70635 2371 0 0 25 0 1 0 20562555 36282368 4692 4294967295 134512640 134702520 3221223952 3220629148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8858 4692 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 730.09
Current children cumulated vsize (Kb) 37560

[startup+790.06 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5247 0 0 0 71636 2371 0 0 25 0 1 0 20562555 36282368 4692 4294967295 134512640 134702520 3221223952 3220452988 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8858 4692 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 740.1
Current children cumulated vsize (Kb) 37560

[startup+800.06 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5247 0 0 0 72636 2371 0 0 25 0 1 0 20562555 36282368 4692 4294967295 134512640 134702520 3221223952 3220260528 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8858 4692 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 750.1
Current children cumulated vsize (Kb) 37560

[startup+810.061 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5247 0 0 0 73636 2371 0 0 25 0 1 0 20562555 36282368 4692 4294967295 134512640 134702520 3221223952 3220046428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8858 4692 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 760.1
Current children cumulated vsize (Kb) 37560

[startup+820.061 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5247 0 0 0 74636 2371 0 0 25 0 1 0 20562555 36282368 4692 4294967295 134512640 134702520 3221223952 3219800528 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8858 4692 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 770.1
Current children cumulated vsize (Kb) 37560

[startup+830.061 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5247 0 0 0 75636 2371 0 0 25 0 1 0 20562555 36282368 4692 4294967295 134512640 134702520 3221223952 3219503228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8858 4692 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 780.1
Current children cumulated vsize (Kb) 37560

[startup+840.062 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6210
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20562548 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6207/statm): 532 242 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6210/stat): 6210 (vallst) R 6207 6207 4005 0 -1 0 5247 0 0 0 76637 2371 0 0 25 0 1 0 20562555 36282368 4692 4294967295 134512640 134702520 3221223952 3219094288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6210/statm): 8858 4692 413 48 0 8810 0
[pid=6210] vsize: 35432
Current children cumulated CPU time (s) 790.11
Current children cumulated vsize (Kb) 37560
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=6210) exited with status: 2
New process pid=6211
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=6211) exited with status: 0
New process pid=6212
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+850.063 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 3121 0 0 0 204 12 0 0 25 0 1 0 20647342 15667200 3091 4294967295 134512640 134702520 3221223712 3221221308 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 3825 3091 413 48 0 3777 0
[pid=6212] vsize: 15300
Current children cumulated CPU time (s) 800
Current children cumulated vsize (Kb) 17428

[startup+860.063 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 3131 0 0 0 1204 12 0 0 25 0 1 0 20647342 15708160 3101 4294967295 134512640 134702520 3221223712 3221102128 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 3835 3101 413 48 0 3787 0
[pid=6212] vsize: 15340
Current children cumulated CPU time (s) 810
Current children cumulated vsize (Kb) 17468

[startup+870.064 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 3165 0 0 0 2204 12 0 0 25 0 1 0 20647342 15847424 3135 4294967295 134512640 134702520 3221223712 3220960028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 3869 3135 413 48 0 3821 0
[pid=6212] vsize: 15476
Current children cumulated CPU time (s) 820
Current children cumulated vsize (Kb) 17604

[startup+880.064 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 3203 0 0 0 3203 13 0 0 25 0 1 0 20647342 16003072 3173 4294967295 134512640 134702520 3221223712 3220805968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 3907 3173 413 48 0 3859 0
[pid=6212] vsize: 15628
Current children cumulated CPU time (s) 830
Current children cumulated vsize (Kb) 17756

[startup+890.065 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 3242 0 0 0 4204 13 0 0 25 0 1 0 20647342 16162816 3212 4294967295 134512640 134702520 3221223712 3220645148 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 3946 3212 413 48 0 3898 0
[pid=6212] vsize: 15784
Current children cumulated CPU time (s) 840.01
Current children cumulated vsize (Kb) 17912

[startup+900.065 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 3285 0 0 0 5204 13 0 0 25 0 1 0 20647342 16338944 3255 4294967295 134512640 134702520 3221223712 3220468188 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 3989 3255 413 48 0 3941 0
[pid=6212] vsize: 15956
Current children cumulated CPU time (s) 850.01
Current children cumulated vsize (Kb) 18084

[startup+910.066 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 3333 0 0 0 6204 13 0 0 25 0 1 0 20647342 16535552 3303 4294967295 134512640 134702520 3221223712 3220272508 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 4037 3303 413 48 0 3989 0
[pid=6212] vsize: 16148
Current children cumulated CPU time (s) 860.01
Current children cumulated vsize (Kb) 18276

[startup+920.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 3387 0 0 0 7204 13 0 0 25 0 1 0 20647342 16756736 3357 4294967295 134512640 134702520 3221223712 3220053808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 4091 3357 413 48 0 4043 0
[pid=6212] vsize: 16364
Current children cumulated CPU time (s) 870.01
Current children cumulated vsize (Kb) 18492

[startup+930.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 3448 0 0 0 8204 13 0 0 25 0 1 0 20647342 17006592 3418 4294967295 134512640 134702520 3221223712 3219801328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 4152 3418 413 48 0 4104 0
[pid=6212] vsize: 16608
Current children cumulated CPU time (s) 880.01
Current children cumulated vsize (Kb) 18736

[startup+940.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 3524 0 0 0 9204 13 0 0 25 0 1 0 20647342 17317888 3494 4294967295 134512640 134702520 3221223712 3219491568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 4228 3494 413 48 0 4180 0
[pid=6212] vsize: 16912
Current children cumulated CPU time (s) 890.01
Current children cumulated vsize (Kb) 19040

[startup+950.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 3633 0 0 0 10204 14 0 0 25 0 1 0 20647342 17764352 3603 4294967295 134512640 134702520 3221223712 3219045968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 4337 3603 413 48 0 4289 0
[pid=6212] vsize: 17348
Current children cumulated CPU time (s) 900.02
Current children cumulated vsize (Kb) 19476

[startup+960.068 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) T 6207 6207 4005 0 -1 0 4019 0 0 0 10881 112 0 0 16 0 1 0 20647342 31084544 3962 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6212/statm): 7589 3962 413 48 0 7541 0
[pid=6212] vsize: 30356
Current children cumulated CPU time (s) 907.77
Current children cumulated vsize (Kb) 32484

[startup+970.07 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) T 6207 6207 4005 0 -1 0 4026 0 0 0 11160 340 0 0 15 0 1 0 20647342 31084544 3969 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7589 3969 413 48 0 7541 0
[pid=6212] vsize: 30356
Current children cumulated CPU time (s) 912.84
Current children cumulated vsize (Kb) 32484

[startup+980.069 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4026 0 0 0 11443 570 0 0 16 0 1 0 20647342 31084544 3969 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7589 3969 413 48 0 7541 0
[pid=6212] vsize: 30356
Current children cumulated CPU time (s) 917.97
Current children cumulated vsize (Kb) 32484

[startup+990.07 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) T 6207 6207 4005 0 -1 0 4031 0 0 0 11720 800 0 0 15 0 1 0 20647342 31088640 3974 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7590 3974 413 48 0 7542 0
[pid=6212] vsize: 30360
Current children cumulated CPU time (s) 923.04
Current children cumulated vsize (Kb) 32488

[startup+1000.07 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4031 0 0 0 12430 894 0 0 25 0 1 0 20647342 31088640 3974 4294967295 134512640 134702520 3221223712 3221147488 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 7590 3974 413 48 0 7542 0
[pid=6212] vsize: 30360
Current children cumulated CPU time (s) 931.08
Current children cumulated vsize (Kb) 32488

[startup+1010.07 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4031 0 0 0 13431 894 0 0 25 0 1 0 20647342 31088640 3974 4294967295 134512640 134702520 3221223712 3221007168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 7590 3974 413 48 0 7542 0
[pid=6212] vsize: 30360
Current children cumulated CPU time (s) 941.09
Current children cumulated vsize (Kb) 32488

[startup+1020.07 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4031 0 0 0 14431 894 0 0 25 0 1 0 20647342 31088640 3974 4294967295 134512640 134702520 3221223712 3220858188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 7590 3974 413 48 0 7542 0
[pid=6212] vsize: 30360
Current children cumulated CPU time (s) 951.09
Current children cumulated vsize (Kb) 32488

[startup+1030.07 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4031 0 0 0 15431 894 0 0 25 0 1 0 20647342 31088640 3974 4294967295 134512640 134702520 3221223712 3220699328 134611982 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 7590 3974 413 48 0 7542 0
[pid=6212] vsize: 30360
Current children cumulated CPU time (s) 961.09
Current children cumulated vsize (Kb) 32488

[startup+1040.07 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4031 0 0 0 16431 894 0 0 25 0 1 0 20647342 31088640 3974 4294967295 134512640 134702520 3221223712 3220528768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 7590 3974 413 48 0 7542 0
[pid=6212] vsize: 30360
Current children cumulated CPU time (s) 971.09
Current children cumulated vsize (Kb) 32488

[startup+1050.07 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4031 0 0 0 17431 894 0 0 25 0 1 0 20647342 31088640 3974 4294967295 134512640 134702520 3221223712 3220343488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 7590 3974 413 48 0 7542 0
[pid=6212] vsize: 30360
Current children cumulated CPU time (s) 981.09
Current children cumulated vsize (Kb) 32488

[startup+1060.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4031 0 0 0 18432 894 0 0 25 0 1 0 20647342 31088640 3974 4294967295 134512640 134702520 3221223712 3220139148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 7590 3974 413 48 0 7542 0
[pid=6212] vsize: 30360
Current children cumulated CPU time (s) 991.1
Current children cumulated vsize (Kb) 32488

[startup+1070.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4031 0 0 0 19432 894 0 0 25 0 1 0 20647342 31088640 3974 4294967295 134512640 134702520 3221223712 3219907788 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 7590 3974 413 48 0 7542 0
[pid=6212] vsize: 30360
Current children cumulated CPU time (s) 1001.1
Current children cumulated vsize (Kb) 32488

[startup+1080.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4031 0 0 0 20432 894 0 0 25 0 1 0 20647342 31088640 3974 4294967295 134512640 134702520 3221223712 3219635148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 7590 3974 413 48 0 7542 0
[pid=6212] vsize: 30360
Current children cumulated CPU time (s) 1011.1
Current children cumulated vsize (Kb) 32488

[startup+1090.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4031 0 0 0 21432 894 0 0 25 0 1 0 20647342 31088640 3974 4294967295 134512640 134702520 3221223712 3219285248 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 7590 3974 413 48 0 7542 0
[pid=6212] vsize: 30360
Current children cumulated CPU time (s) 1021.1
Current children cumulated vsize (Kb) 32488

[startup+1100.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4031 0 0 0 22432 894 0 0 25 0 1 0 20647342 31088640 3974 4294967295 134512640 134702520 3221223712 3218650828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6212/statm): 7590 3974 413 48 0 7542 0
[pid=6212] vsize: 30360
Current children cumulated CPU time (s) 1031.1
Current children cumulated vsize (Kb) 32488

[startup+1110.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4033 0 0 0 22785 1102 0 0 15 0 1 0 20647342 31092736 3975 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7591 3975 413 48 0 7543 0
[pid=6212] vsize: 30364
Current children cumulated CPU time (s) 1036.71
Current children cumulated vsize (Kb) 32492

[startup+1120.08 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) T 6207 6207 4005 0 -1 0 4038 0 0 0 23098 1320 0 0 15 0 1 0 20647342 31092736 3980 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6212/statm): 7591 3980 413 48 0 7543 0
[pid=6212] vsize: 30364
Current children cumulated CPU time (s) 1042.02
Current children cumulated vsize (Kb) 32492

[startup+1130.08 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) T 6207 6207 4005 0 -1 0 4038 0 0 0 23379 1550 0 0 15 0 1 0 20647342 31092736 3980 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6212/statm): 7591 3980 413 48 0 7543 0
[pid=6212] vsize: 30364
Current children cumulated CPU time (s) 1047.13
Current children cumulated vsize (Kb) 32492

[startup+1140.08 s]
Raw data (loadavg): 1.08 1.02 1.01 1/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) T 6207 6207 4005 0 -1 0 4038 0 0 0 23686 1775 0 0 15 0 1 0 20647342 31092736 3980 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7591 3980 413 48 0 7543 0
[pid=6212] vsize: 30364
Current children cumulated CPU time (s) 1052.45
Current children cumulated vsize (Kb) 32492

[startup+1150.08 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4038 0 0 0 24297 1901 0 0 22 0 1 0 20647342 31092736 3980 4294967295 134512640 134702520 3221223712 3221169708 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7591 3980 413 48 0 7543 0
[pid=6212] vsize: 30364
Current children cumulated CPU time (s) 1059.82
Current children cumulated vsize (Kb) 32492

[startup+1160.08 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4038 0 0 0 25297 1901 0 0 25 0 1 0 20647342 31092736 3980 4294967295 134512640 134702520 3221223712 3221029548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7591 3980 413 48 0 7543 0
[pid=6212] vsize: 30364
Current children cumulated CPU time (s) 1069.82
Current children cumulated vsize (Kb) 32492

[startup+1170.08 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4038 0 0 0 26297 1901 0 0 25 0 1 0 20647342 31092736 3980 4294967295 134512640 134702520 3221223712 3220880768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7591 3980 413 48 0 7543 0
[pid=6212] vsize: 30364
Current children cumulated CPU time (s) 1079.82
Current children cumulated vsize (Kb) 32492

[startup+1180.08 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4038 0 0 0 27298 1901 0 0 25 0 1 0 20647342 31092736 3980 4294967295 134512640 134702520 3221223712 3220722208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7591 3980 413 48 0 7543 0
[pid=6212] vsize: 30364
Current children cumulated CPU time (s) 1089.83
Current children cumulated vsize (Kb) 32492

[startup+1190.08 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4038 0 0 0 28298 1901 0 0 25 0 1 0 20647342 31092736 3980 4294967295 134512640 134702520 3221223712 3220552108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7591 3980 413 48 0 7543 0
[pid=6212] vsize: 30364
Current children cumulated CPU time (s) 1099.83
Current children cumulated vsize (Kb) 32492

[startup+1200.08 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4038 0 0 0 29298 1901 0 0 25 0 1 0 20647342 31092736 3980 4294967295 134512640 134702520 3221223712 3220367628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7591 3980 413 48 0 7543 0
[pid=6212] vsize: 30364
Current children cumulated CPU time (s) 1109.83
Current children cumulated vsize (Kb) 32492

[startup+1210.09 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4038 0 0 0 30298 1901 0 0 25 0 1 0 20647342 31092736 3980 4294967295 134512640 134702520 3221223712 3220164448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7591 3980 413 48 0 7543 0
[pid=6212] vsize: 30364
Current children cumulated CPU time (s) 1119.83
Current children cumulated vsize (Kb) 32492

[startup+1220.09 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4038 0 0 0 31298 1901 0 0 25 0 1 0 20647342 31092736 3980 4294967295 134512640 134702520 3221223712 3219935168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7591 3980 413 48 0 7543 0
[pid=6212] vsize: 30364
Current children cumulated CPU time (s) 1129.83
Current children cumulated vsize (Kb) 32492

[startup+1230.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4038 0 0 0 32298 1901 0 0 25 0 1 0 20647342 31092736 3980 4294967295 134512640 134702520 3221223712 3219666528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7591 3980 413 48 0 7543 0
[pid=6212] vsize: 30364
Current children cumulated CPU time (s) 1139.83
Current children cumulated vsize (Kb) 32492

[startup+1240.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4038 0 0 0 33298 1901 0 0 25 0 1 0 20647342 31092736 3980 4294967295 134512640 134702520 3221223712 3219325728 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7591 3980 413 48 0 7543 0
[pid=6212] vsize: 30364
Current children cumulated CPU time (s) 1149.83
Current children cumulated vsize (Kb) 32492

[startup+1250.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4038 0 0 0 34298 1901 0 0 25 0 1 0 20647342 31092736 3980 4294967295 134512640 134702520 3221223712 3218759308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7591 3980 413 48 0 7543 0
[pid=6212] vsize: 30364
Current children cumulated CPU time (s) 1159.83
Current children cumulated vsize (Kb) 32492

[startup+1260.09 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) T 6207 6207 4005 0 -1 0 4041 0 0 0 34721 2083 0 0 15 0 1 0 20647342 31232000 3982 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6212/statm): 7625 3982 413 48 0 7577 0
[pid=6212] vsize: 30500
Current children cumulated CPU time (s) 1165.88
Current children cumulated vsize (Kb) 32628

[startup+1270.09 s]
Raw data (loadavg): 1.09 1.03 1.01 1/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) T 6207 6207 4005 0 -1 0 4044 0 0 0 35029 2302 0 0 15 0 1 0 20647342 31232000 3985 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7625 3985 413 48 0 7577 0
[pid=6212] vsize: 30500
Current children cumulated CPU time (s) 1171.15
Current children cumulated vsize (Kb) 32628

[startup+1280.09 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) T 6207 6207 4005 0 -1 0 4057 0 0 0 35430 2495 0 0 15 0 1 0 20647342 31232000 3998 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7625 3998 413 48 0 7577 0
[pid=6212] vsize: 30500
Current children cumulated CPU time (s) 1177.09
Current children cumulated vsize (Kb) 32628

[startup+1290.09 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4058 0 0 0 36424 2497 0 0 25 0 1 0 20647342 31232000 3999 4294967295 134512640 134702520 3221223712 3221095008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7625 3999 413 48 0 7577 0
[pid=6212] vsize: 30500
Current children cumulated CPU time (s) 1187.05
Current children cumulated vsize (Kb) 32628

[startup+1300.09 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4058 0 0 0 37425 2497 0 0 25 0 1 0 20647342 31232000 3999 4294967295 134512640 134702520 3221223712 3220950528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7625 3999 413 48 0 7577 0
[pid=6212] vsize: 30500
Current children cumulated CPU time (s) 1197.06
Current children cumulated vsize (Kb) 32628

[startup+1310.09 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4058 0 0 0 38425 2497 0 0 25 0 1 0 20647342 31232000 3999 4294967295 134512640 134702520 3221223712 3220796908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7625 3999 413 48 0 7577 0
[pid=6212] vsize: 30500
Current children cumulated CPU time (s) 1207.06
Current children cumulated vsize (Kb) 32628



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1310.09 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 6212
Raw data (/proc/6207/stat): 6207 (vallstSAT2005PB) S 6206 6207 4005 0 -1 0 378 5624 0 0 2 1 77400 2381 19 0 1 0 20562548 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6207/statm): 532 248 485 147 0 385 0
[pid=6207] vsize: 2128
Raw data (/proc/6212/stat): 6212 (vallst) R 6207 6207 4005 0 -1 0 4058 0 0 0 38425 2497 0 0 25 0 1 0 20647342 31232000 3999 4294967295 134512640 134702520 3221223712 3220796908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6212/statm): 7625 3999 413 48 0 7577 0
[pid=6212] vsize: 30500
Current children cumulated CPU time (s) 1207.06
Current children cumulated vsize (Kb) 32628

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

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1312.11
CPU time (s): 411.235
CPU user time (s): 386.242
CPU system time (s): 24.9932
CPU usage (%): 31.3416
Max. virtual memory (cumulated for all children) (Kb): 37560

Verifier Data

ERROR: no interpretation found !