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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc105.opb
MD5SUMc822b1c022f6bb2b01940173213da6e2
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of terms in the objective function 20
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 1048575
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 8388608
Number of bits of the biggest number in a constraint 24
Biggest sum of numbers in a constraint 22020075
Number of bits of the biggest sum of numbers25
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark6.36803
Number of variables2060
Total number of constraints104
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints104
Minimum length of a constraint40
Maximum length of a constraint80

Trace number 9187

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        992940 kB
Buffers:          3640 kB
Cached:          17916 kB
SwapCached:          0 kB
Active:          14748 kB
Inactive:         9752 kB
HighTotal:      131008 kB
HighFree:       108976 kB
LowTotal:       903652 kB
LowFree:        883964 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           6968 kB
Slab:            11368 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 11:39:47 (client local time) WITH STATUS 0 IN 1203.2 SECONDS
stats: 7869 7 1203.2 0

Solver Data

1:
seed: 0
Nr of vars set: 215  (#equs: 0)
Nr of vars set: 343  (#equs: 11)
#decisions: 600519;  #end-nodes: 205595;
#proof improvement attempts: 0;  #restarts: 960
Current batch, end-nodes: 0 / 323 (319)
#axs: 162, #non-axs: 203
tight: meta-meta: start: 3, end: 4;  meta: start: 4, end (keep): 6
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: 380  (#equs: 12)
Time taken: 5 min, 8 sec

2:
seed: 0
Nr of vars set: 380  (#equs: 0)
Nr of vars set: 382  (#equs: 5)
#decisions: 1520611;  #end-nodes: 481470;
#proof improvement attempts: 0;  #restarts: 1344
Current batch, end-nodes: 0 / 455 (455)
#axs: 159, #non-axs: 7464
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 3
loose: meta-meta: start: 6, end: 9;  meta: start: 20, end (keep): 29
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: 412  (#equs: 9)
Time taken: 9 min, 3 sec

3:
seed: 0
Nr of vars set: 412  (#equs: 0)
Nr of vars set: 412  (#equs: 4)
Interupt request received.
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 412  (#equs: 4)
Time taken: 5 min, 50 sec

Watcher Data

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

[startup+10.0038 s]
Raw data (loadavg): 0.62 0.90 0.91 1/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) T 6382 6382 4060 0 -1 0 300 0 0 0 442 172 0 0 17 0 1 0 19746453 2408448 270 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6385/statm): 588 270 413 48 0 540 0
[pid=6385] vsize: 2352
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (Kb) 4480

[startup+20.0047 s]
Raw data (loadavg): 0.68 0.90 0.91 2/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) R 6382 6382 4060 0 -1 0 300 0 0 0 1155 268 0 0 21 0 1 0 19746453 2408448 270 4294967295 134512640 134702520 3221223952 3221222960 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6385/statm): 588 270 413 48 0 540 0
[pid=6385] vsize: 2352
Current children cumulated CPU time (s) 14.25
Current children cumulated vsize (Kb) 4480

[startup+30.0055 s]
Raw data (loadavg): 0.72 0.90 0.91 2/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) R 6382 6382 4060 0 -1 0 338 0 0 0 1828 374 0 0 20 0 1 0 19746453 3059712 308 4294967295 134512640 134702520 3221223952 3221222720 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6385/statm): 747 308 413 48 0 699 0
[pid=6385] vsize: 2988
Current children cumulated CPU time (s) 22.04
Current children cumulated vsize (Kb) 5116

[startup+40.0063 s]
Raw data (loadavg): 0.77 0.91 0.91 1/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) T 6382 6382 4060 0 -1 0 342 0 0 0 2412 504 0 0 17 0 1 0 19746453 3059712 312 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6385/statm): 747 312 413 48 0 699 0
[pid=6385] vsize: 2988
Current children cumulated CPU time (s) 29.18
Current children cumulated vsize (Kb) 5116

[startup+50.0071 s]
Raw data (loadavg): 0.80 0.91 0.91 2/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) R 6382 6382 4060 0 -1 0 342 0 0 0 2933 660 0 0 20 0 1 0 19746453 3059712 312 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6385/statm): 747 312 413 48 0 699 0
[pid=6385] vsize: 2988
Current children cumulated CPU time (s) 35.95
Current children cumulated vsize (Kb) 5116

[startup+60.008 s]
Raw data (loadavg): 0.83 0.91 0.91 1/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) T 6382 6382 4060 0 -1 0 343 0 0 0 3626 767 0 0 18 0 1 0 19746453 3059712 313 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6385/statm): 747 313 413 48 0 699 0
[pid=6385] vsize: 2988
Current children cumulated CPU time (s) 43.95
Current children cumulated vsize (Kb) 5116

[startup+70.0088 s]
Raw data (loadavg): 0.86 0.91 0.91 1/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) T 6382 6382 4060 0 -1 0 346 0 0 0 4282 883 0 0 19 0 1 0 19746453 3059712 316 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6385/statm): 747 316 413 48 0 699 0
[pid=6385] vsize: 2988
Current children cumulated CPU time (s) 51.67
Current children cumulated vsize (Kb) 5116

[startup+80.0106 s]
Raw data (loadavg): 0.88 0.92 0.91 2/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) R 6382 6382 4060 0 -1 0 348 0 0 0 4903 1011 0 0 18 0 1 0 19746453 3059712 318 4294967295 134512640 134702520 3221223952 3221223136 134618031 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6385/statm): 747 318 413 48 0 699 0
[pid=6385] vsize: 2988
Current children cumulated CPU time (s) 59.16
Current children cumulated vsize (Kb) 5116

[startup+90.0114 s]
Raw data (loadavg): 0.90 0.92 0.91 2/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) R 6382 6382 4060 0 -1 0 348 0 0 0 5527 1133 0 0 20 0 1 0 19746453 3059712 318 4294967295 134512640 134702520 3221223952 3221222720 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6385/statm): 747 318 413 48 0 699 0
[pid=6385] vsize: 2988
Current children cumulated CPU time (s) 66.62
Current children cumulated vsize (Kb) 5116

[startup+100.011 s]
Raw data (loadavg): 0.91 0.92 0.91 1/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) T 6382 6382 4060 0 -1 0 350 0 0 0 6258 1223 0 0 22 0 1 0 19746453 3059712 320 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6385/statm): 747 320 413 48 0 699 0
[pid=6385] vsize: 2988
Current children cumulated CPU time (s) 74.83
Current children cumulated vsize (Kb) 5116

[startup+110.012 s]
Raw data (loadavg): 0.93 0.92 0.91 1/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) T 6382 6382 4060 0 -1 0 353 0 0 0 6985 1316 0 0 19 0 1 0 19746453 3059712 323 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6385/statm): 747 323 413 48 0 699 0
[pid=6385] vsize: 2988
Current children cumulated CPU time (s) 83.03
Current children cumulated vsize (Kb) 5116

[startup+120.013 s]
Raw data (loadavg): 0.94 0.92 0.91 2/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) R 6382 6382 4060 0 -1 0 353 0 0 0 7731 1402 0 0 21 0 1 0 19746453 3059712 323 4294967295 134512640 134702520 3221223952 3221222848 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6385/statm): 747 323 413 48 0 699 0
[pid=6385] vsize: 2988
Current children cumulated CPU time (s) 91.35
Current children cumulated vsize (Kb) 5116

[startup+130.014 s]
Raw data (loadavg): 1.02 0.94 0.92 2/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) R 6382 6382 4060 0 -1 0 354 0 0 0 8457 1492 0 0 19 0 1 0 19746453 3059712 324 4294967295 134512640 134702520 3221223952 3221222848 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6385/statm): 747 324 413 48 0 699 0
[pid=6385] vsize: 2988
Current children cumulated CPU time (s) 99.51
Current children cumulated vsize (Kb) 5116

[startup+140.015 s]
Raw data (loadavg): 1.02 0.94 0.92 1/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) T 6382 6382 4060 0 -1 0 361 0 0 0 9202 1580 0 0 22 0 1 0 19746453 3059712 331 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6385/statm): 747 331 413 48 0 699 0
[pid=6385] vsize: 2988
Current children cumulated CPU time (s) 107.84
Current children cumulated vsize (Kb) 5116

[startup+150.015 s]
Raw data (loadavg): 1.01 0.94 0.92 1/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) T 6382 6382 4060 0 -1 0 364 0 0 0 9927 1674 0 0 20 0 1 0 19746453 3059712 334 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6385/statm): 747 334 413 48 0 699 0
[pid=6385] vsize: 2988
Current children cumulated CPU time (s) 116.03
Current children cumulated vsize (Kb) 5116

[startup+160.016 s]
Raw data (loadavg): 1.01 0.95 0.92 1/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) T 6382 6382 4060 0 -1 0 364 0 0 0 10648 1766 0 0 20 0 1 0 19746453 3059712 334 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6385/statm): 747 334 413 48 0 699 0
[pid=6385] vsize: 2988
Current children cumulated CPU time (s) 124.16
Current children cumulated vsize (Kb) 5116

[startup+170.016 s]
Raw data (loadavg): 1.01 0.95 0.92 1/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) T 6382 6382 4060 0 -1 0 370 0 0 0 11382 1856 0 0 23 0 1 0 19746453 3194880 340 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6385/statm): 780 340 413 48 0 732 0
[pid=6385] vsize: 3120
Current children cumulated CPU time (s) 132.4
Current children cumulated vsize (Kb) 5248

[startup+180.017 s]
Raw data (loadavg): 1.01 0.95 0.92 1/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) T 6382 6382 4060 0 -1 0 382 0 0 0 12124 1947 0 0 23 0 1 0 19746453 3186688 352 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6385/statm): 778 352 413 48 0 730 0
[pid=6385] vsize: 3112
Current children cumulated CPU time (s) 140.73
Current children cumulated vsize (Kb) 5240

[startup+190.018 s]
Raw data (loadavg): 1.01 0.95 0.92 1/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) T 6382 6382 4060 0 -1 0 388 0 0 0 12837 2047 0 0 20 0 1 0 19746453 3186688 358 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6385/statm): 778 358 413 48 0 730 0
[pid=6385] vsize: 3112
Current children cumulated CPU time (s) 148.86
Current children cumulated vsize (Kb) 5240

[startup+200.018 s]
Raw data (loadavg): 1.00 0.95 0.92 1/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) T 6382 6382 4060 0 -1 0 388 0 0 0 13558 2140 0 0 20 0 1 0 19746453 3186688 358 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6385/statm): 778 358 413 48 0 730 0
[pid=6385] vsize: 3112
Current children cumulated CPU time (s) 157
Current children cumulated vsize (Kb) 5240

[startup+210.018 s]
Raw data (loadavg): 1.00 0.95 0.92 1/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) T 6382 6382 4060 0 -1 0 391 0 0 0 14290 2227 0 0 19 0 1 0 19746453 3186688 361 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6385/statm): 778 361 413 48 0 730 0
[pid=6385] vsize: 3112
Current children cumulated CPU time (s) 165.19
Current children cumulated vsize (Kb) 5240

[startup+220.019 s]
Raw data (loadavg): 1.00 0.95 0.92 1/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) T 6382 6382 4060 0 -1 0 392 0 0 0 15009 2323 0 0 20 0 1 0 19746453 3186688 362 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6385/statm): 778 362 413 48 0 730 0
[pid=6385] vsize: 3112
Current children cumulated CPU time (s) 173.34
Current children cumulated vsize (Kb) 5240

[startup+230.02 s]
Raw data (loadavg): 1.00 0.95 0.92 2/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) R 6382 6382 4060 0 -1 0 392 0 0 0 15746 2413 0 0 20 0 1 0 19746453 3186688 362 4294967295 134512640 134702520 3221223952 3221222848 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6385/statm): 778 362 413 48 0 730 0
[pid=6385] vsize: 3112
Current children cumulated CPU time (s) 181.61
Current children cumulated vsize (Kb) 5240

[startup+240.021 s]
Raw data (loadavg): 1.00 0.95 0.92 1/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) T 6382 6382 4060 0 -1 0 393 0 0 0 16475 2508 0 0 19 0 1 0 19746453 3186688 363 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6385/statm): 778 363 413 48 0 730 0
[pid=6385] vsize: 3112
Current children cumulated CPU time (s) 189.85
Current children cumulated vsize (Kb) 5240

[startup+250.022 s]
Raw data (loadavg): 1.00 0.95 0.92 1/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) T 6382 6382 4060 0 -1 0 394 0 0 0 17189 2602 0 0 18 0 1 0 19746453 3186688 364 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6385/statm): 778 364 413 48 0 730 0
[pid=6385] vsize: 3112
Current children cumulated CPU time (s) 197.93
Current children cumulated vsize (Kb) 5240

[startup+260.023 s]
Raw data (loadavg): 1.00 0.96 0.92 2/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) R 6382 6382 4060 0 -1 0 394 0 0 0 17911 2692 0 0 20 0 1 0 19746453 3186688 364 4294967295 134512640 134702520 3221223952 3221222848 134552698 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6385/statm): 778 364 413 48 0 730 0
[pid=6385] vsize: 3112
Current children cumulated CPU time (s) 206.05
Current children cumulated vsize (Kb) 5240

[startup+270.023 s]
Raw data (loadavg): 1.00 0.96 0.92 1/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) T 6382 6382 4060 0 -1 0 394 0 0 0 18654 2775 0 0 20 0 1 0 19746453 3186688 364 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6385/statm): 778 364 413 48 0 730 0
[pid=6385] vsize: 3112
Current children cumulated CPU time (s) 214.31
Current children cumulated vsize (Kb) 5240

[startup+280.024 s]
Raw data (loadavg): 1.07 0.97 0.92 1/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) T 6382 6382 4060 0 -1 0 394 0 0 0 19381 2864 0 0 19 0 1 0 19746453 3186688 364 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6385/statm): 778 364 413 48 0 730 0
[pid=6385] vsize: 3112
Current children cumulated CPU time (s) 222.47
Current children cumulated vsize (Kb) 5240

[startup+290.025 s]
Raw data (loadavg): 1.06 0.97 0.92 2/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) R 6382 6382 4060 0 -1 0 398 0 0 0 20104 2953 0 0 19 0 1 0 19746453 3186688 368 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6385/statm): 778 368 413 48 0 730 0
[pid=6385] vsize: 3112
Current children cumulated CPU time (s) 230.59
Current children cumulated vsize (Kb) 5240

[startup+300.025 s]
Raw data (loadavg): 1.05 0.97 0.92 1/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) T 6382 6382 4060 0 -1 0 403 0 0 0 20828 3042 0 0 21 0 1 0 19746453 3186688 373 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6385/statm): 778 373 413 48 0 730 0
[pid=6385] vsize: 3112
Current children cumulated CPU time (s) 238.72
Current children cumulated vsize (Kb) 5240

[startup+310.026 s]
Raw data (loadavg): 1.04 0.97 0.92 1/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) T 6382 6382 4060 0 -1 0 403 0 0 0 21569 3131 0 0 20 0 1 0 19746453 3186688 373 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6385/statm): 778 373 413 48 0 730 0
[pid=6385] vsize: 3112
Current children cumulated CPU time (s) 247.02
Current children cumulated vsize (Kb) 5240

[startup+320.026 s]
Raw data (loadavg): 1.04 0.97 0.92 2/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) R 6382 6382 4060 0 -1 0 405 0 0 0 22293 3223 0 0 22 0 1 0 19746453 3186688 375 4294967295 134512640 134702520 3221223952 3221222848 134553342 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6385/statm): 778 375 413 48 0 730 0
[pid=6385] vsize: 3112
Current children cumulated CPU time (s) 255.18
Current children cumulated vsize (Kb) 5240

[startup+330.027 s]
Raw data (loadavg): 1.03 0.97 0.92 2/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) R 6382 6382 4060 0 -1 0 408 0 0 0 23002 3319 0 0 20 0 1 0 19746453 3186688 378 4294967295 134512640 134702520 3221223952 3221222848 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6385/statm): 778 378 413 48 0 730 0
[pid=6385] vsize: 3112
Current children cumulated CPU time (s) 263.23
Current children cumulated vsize (Kb) 5240

[startup+340.028 s]
Raw data (loadavg): 1.02 0.97 0.92 1/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) T 6382 6382 4060 0 -1 0 408 0 0 0 23732 3407 0 0 20 0 1 0 19746453 3186688 378 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6385/statm): 778 378 413 48 0 730 0
[pid=6385] vsize: 3112
Current children cumulated CPU time (s) 271.41
Current children cumulated vsize (Kb) 5240

[startup+350.028 s]
Raw data (loadavg): 1.02 0.97 0.92 1/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) T 6382 6382 4060 0 -1 0 408 0 0 0 24458 3499 0 0 22 0 1 0 19746453 3186688 378 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6385/statm): 778 378 413 48 0 730 0
[pid=6385] vsize: 3112
Current children cumulated CPU time (s) 279.59
Current children cumulated vsize (Kb) 5240

[startup+360.029 s]
Raw data (loadavg): 1.02 0.97 0.92 1/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) T 6382 6382 4060 0 -1 0 409 0 0 0 25164 3597 0 0 21 0 1 0 19746453 3186688 379 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6385/statm): 778 379 413 48 0 730 0
[pid=6385] vsize: 3112
Current children cumulated CPU time (s) 287.63
Current children cumulated vsize (Kb) 5240

[startup+370.03 s]
Raw data (loadavg): 1.01 0.97 0.92 2/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) R 6382 6382 4060 0 -1 0 421 0 0 0 25882 3692 0 0 21 0 1 0 19746453 3186688 391 4294967295 134512640 134702520 3221223952 3221222848 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6385/statm): 778 391 413 48 0 730 0
[pid=6385] vsize: 3112
Current children cumulated CPU time (s) 295.76
Current children cumulated vsize (Kb) 5240

[startup+380.031 s]
Raw data (loadavg): 1.01 0.97 0.92 1/56 6385
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19746446 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6382/statm): 532 242 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6385/stat): 6385 (vallst) T 6382 6382 4060 0 -1 0 421 0 0 0 26618 3782 0 0 20 0 1 0 19746453 3186688 391 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6385/statm): 778 391 413 48 0 730 0
[pid=6385] vsize: 3112
Current children cumulated CPU time (s) 304.02
Current children cumulated vsize (Kb) 5240
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=6385) exited with status: 2
New process pid=6386
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=6386) exited with status: 0
New process pid=6387
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+390.031 s]
Raw data (loadavg): 1.08 0.99 0.93 1/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) T 6382 6382 4060 0 -1 0 287 0 0 0 265 50 0 0 18 0 1 0 19785019 2433024 257 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6387/statm): 594 257 413 48 0 546 0
[pid=6387] vsize: 2376
Current children cumulated CPU time (s) 311.82
Current children cumulated vsize (Kb) 4504

[startup+400.031 s]
Raw data (loadavg): 1.07 0.99 0.93 2/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) R 6382 6382 4060 0 -1 0 287 0 0 0 857 179 0 0 18 0 1 0 19785019 2433024 257 4294967295 134512640 134702520 3221223712 3221222848 134553830 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6387/statm): 594 257 413 48 0 546 0
[pid=6387] vsize: 2376
Current children cumulated CPU time (s) 319.03
Current children cumulated vsize (Kb) 4504

[startup+410.032 s]
Raw data (loadavg): 1.06 0.99 0.93 2/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) R 6382 6382 4060 0 -1 0 325 0 0 0 1549 281 0 0 20 0 1 0 19785019 3047424 295 4294967295 134512640 134702520 3221223712 3221222992 134557173 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6387/statm): 744 295 413 48 0 696 0
[pid=6387] vsize: 2976
Current children cumulated CPU time (s) 326.97
Current children cumulated vsize (Kb) 5104

[startup+420.033 s]
Raw data (loadavg): 1.05 0.99 0.93 2/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) R 6382 6382 4060 0 -1 0 344 0 0 0 2238 379 0 0 19 0 1 0 19785019 3047424 314 4294967295 134512640 134702520 3221223712 3221208588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6387/statm): 744 314 413 48 0 696 0
[pid=6387] vsize: 2976
Current children cumulated CPU time (s) 334.84
Current children cumulated vsize (Kb) 5104

[startup+430.035 s]
Raw data (loadavg): 1.11 1.01 0.94 2/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) R 6382 6382 4060 0 -1 0 346 0 0 0 2892 499 0 0 19 0 1 0 19785019 3047424 316 4294967295 134512640 134702520 3221223712 3221222608 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6387/statm): 744 316 413 48 0 696 0
[pid=6387] vsize: 2976
Current children cumulated CPU time (s) 342.58
Current children cumulated vsize (Kb) 5104

[startup+440.035 s]
Raw data (loadavg): 1.10 1.01 0.94 3/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) R 6382 6382 4060 0 -1 0 346 0 0 0 3527 619 0 0 19 0 1 0 19785019 3047424 316 4294967295 134512640 134702520 3221223712 3221222608 134552370 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6387/statm): 744 316 413 48 0 696 0
[pid=6387] vsize: 2976
Current children cumulated CPU time (s) 350.13
Current children cumulated vsize (Kb) 5104

[startup+450.035 s]
Raw data (loadavg): 1.08 1.00 0.94 1/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) T 6382 6382 4060 0 -1 0 357 0 0 0 4237 718 0 0 19 0 1 0 19785019 3047424 327 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6387/statm): 744 327 413 48 0 696 0
[pid=6387] vsize: 2976
Current children cumulated CPU time (s) 358.22
Current children cumulated vsize (Kb) 5104

[startup+460.036 s]
Raw data (loadavg): 1.07 1.00 0.94 1/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) T 6382 6382 4060 0 -1 0 365 0 0 0 4922 826 0 0 19 0 1 0 19785019 3047424 335 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6387/statm): 744 335 413 48 0 696 0
[pid=6387] vsize: 2976
Current children cumulated CPU time (s) 366.15
Current children cumulated vsize (Kb) 5104

[startup+470.037 s]
Raw data (loadavg): 1.06 1.00 0.94 2/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) R 6382 6382 4060 0 -1 0 365 0 0 0 5579 939 0 0 19 0 1 0 19785019 3047424 335 4294967295 134512640 134702520 3221223712 3221222608 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6387/statm): 744 335 413 48 0 696 0
[pid=6387] vsize: 2976
Current children cumulated CPU time (s) 373.85
Current children cumulated vsize (Kb) 5104

[startup+480.038 s]
Raw data (loadavg): 1.05 1.00 0.94 1/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) T 6382 6382 4060 0 -1 0 365 0 0 0 6243 1050 0 0 21 0 1 0 19785019 3047424 335 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6387/statm): 744 335 413 48 0 696 0
[pid=6387] vsize: 2976
Current children cumulated CPU time (s) 381.6
Current children cumulated vsize (Kb) 5104

[startup+490.039 s]
Raw data (loadavg): 1.04 1.00 0.94 1/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) T 6382 6382 4060 0 -1 0 367 0 0 0 6925 1155 0 0 18 0 1 0 19785019 3047424 337 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6387/statm): 744 337 413 48 0 696 0
[pid=6387] vsize: 2976
Current children cumulated CPU time (s) 389.47
Current children cumulated vsize (Kb) 5104

[startup+500.039 s]
Raw data (loadavg): 1.03 1.00 0.94 2/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) R 6382 6382 4060 0 -1 0 368 0 0 0 7602 1261 0 0 19 0 1 0 19785019 3162112 338 4294967295 134512640 134702520 3221223712 3221222608 134552548 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6387/statm): 772 338 413 48 0 724 0
[pid=6387] vsize: 3088
Current children cumulated CPU time (s) 397.3
Current children cumulated vsize (Kb) 5216

[startup+510.04 s]
Raw data (loadavg): 1.03 1.00 0.94 2/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) R 6382 6382 4060 0 -1 0 368 0 0 0 8257 1375 0 0 19 0 1 0 19785019 3162112 338 4294967295 134512640 134702520 3221223712 3221222600 134553840 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6387/statm): 772 338 413 48 0 724 0
[pid=6387] vsize: 3088
Current children cumulated CPU time (s) 404.99
Current children cumulated vsize (Kb) 5216

[startup+520.04 s]
Raw data (loadavg): 1.10 1.02 0.94 1/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) T 6382 6382 4060 0 -1 0 369 0 0 0 8938 1480 0 0 20 0 1 0 19785019 3162112 339 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6387/statm): 772 339 413 48 0 724 0
[pid=6387] vsize: 3088
Current children cumulated CPU time (s) 412.85
Current children cumulated vsize (Kb) 5216

[startup+530.042 s]
Raw data (loadavg): 1.08 1.02 0.94 2/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) R 6382 6382 4060 0 -1 0 370 0 0 0 9617 1585 0 0 18 0 1 0 19785019 3162112 340 4294967295 134512640 134702520 3221223712 3221222992 134553004 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6387/statm): 772 340 413 48 0 724 0
[pid=6387] vsize: 3088
Current children cumulated CPU time (s) 420.69
Current children cumulated vsize (Kb) 5216

[startup+540.043 s]
Raw data (loadavg): 1.07 1.01 0.94 1/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) T 6382 6382 4060 0 -1 0 372 0 0 0 10286 1687 0 0 19 0 1 0 19785019 3162112 342 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6387/statm): 772 342 413 48 0 724 0
[pid=6387] vsize: 3088
Current children cumulated CPU time (s) 428.4
Current children cumulated vsize (Kb) 5216

[startup+550.044 s]
Raw data (loadavg): 1.06 1.01 0.94 1/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) T 6382 6382 4060 0 -1 0 372 0 0 0 10955 1802 0 0 19 0 1 0 19785019 3162112 342 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6387/statm): 772 342 413 48 0 724 0
[pid=6387] vsize: 3088
Current children cumulated CPU time (s) 436.24
Current children cumulated vsize (Kb) 5216

[startup+560.044 s]
Raw data (loadavg): 1.05 1.01 0.94 1/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) T 6382 6382 4060 0 -1 0 374 0 0 0 11652 1903 0 0 21 0 1 0 19785019 3162112 344 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6387/statm): 772 344 413 48 0 724 0
[pid=6387] vsize: 3088
Current children cumulated CPU time (s) 444.22
Current children cumulated vsize (Kb) 5216

[startup+570.045 s]
Raw data (loadavg): 1.04 1.01 0.94 2/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) R 6382 6382 4060 0 -1 0 394 0 0 0 12332 2007 0 0 21 0 1 0 19785019 3162112 364 4294967295 134512640 134702520 3221223712 3221222608 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6387/statm): 772 364 413 48 0 724 0
[pid=6387] vsize: 3088
Current children cumulated CPU time (s) 452.06
Current children cumulated vsize (Kb) 5216

[startup+580.046 s]
Raw data (loadavg): 1.03 1.01 0.94 2/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) R 6382 6382 4060 0 -1 0 394 0 0 0 12988 2123 0 0 19 0 1 0 19785019 3162112 364 4294967295 134512640 134702520 3221223712 3221222608 134550777 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6387/statm): 772 364 413 48 0 724 0
[pid=6387] vsize: 3088
Current children cumulated CPU time (s) 459.78
Current children cumulated vsize (Kb) 5216

[startup+590.047 s]
Raw data (loadavg): 1.03 1.01 0.94 1/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) T 6382 6382 4060 0 -1 0 394 0 0 0 13652 2239 0 0 19 0 1 0 19785019 3162112 364 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6387/statm): 772 364 413 48 0 724 0
[pid=6387] vsize: 3088
Current children cumulated CPU time (s) 467.58
Current children cumulated vsize (Kb) 5216

[startup+600.048 s]
Raw data (loadavg): 1.02 1.01 0.94 1/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) T 6382 6382 4060 0 -1 0 396 0 0 0 14316 2349 0 0 18 0 1 0 19785019 3162112 366 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6387/statm): 772 366 413 48 0 724 0
[pid=6387] vsize: 3088
Current children cumulated CPU time (s) 475.32
Current children cumulated vsize (Kb) 5216

[startup+610.048 s]
Raw data (loadavg): 1.02 1.01 0.94 2/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) R 6382 6382 4060 0 -1 0 404 0 0 0 14986 2459 0 0 20 0 1 0 19785019 3162112 374 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6387/statm): 772 374 413 48 0 724 0
[pid=6387] vsize: 3088
Current children cumulated CPU time (s) 483.12
Current children cumulated vsize (Kb) 5216

[startup+620.049 s]
Raw data (loadavg): 1.02 1.01 0.94 1/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) T 6382 6382 4060 0 -1 0 404 0 0 0 15650 2568 0 0 19 0 1 0 19785019 3162112 374 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6387/statm): 772 374 413 48 0 724 0
[pid=6387] vsize: 3088
Current children cumulated CPU time (s) 490.85
Current children cumulated vsize (Kb) 5216

[startup+630.05 s]
Raw data (loadavg): 1.09 1.02 0.95 1/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) T 6382 6382 4060 0 -1 0 404 0 0 0 16314 2681 0 0 19 0 1 0 19785019 3162112 374 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6387/statm): 772 374 413 48 0 724 0
[pid=6387] vsize: 3088
Current children cumulated CPU time (s) 498.62
Current children cumulated vsize (Kb) 5216

[startup+640.051 s]
Raw data (loadavg): 1.08 1.02 0.95 1/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) T 6382 6382 4060 0 -1 0 462 0 0 0 16997 2786 0 0 19 0 1 0 19785019 3162112 432 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6387/statm): 772 432 413 48 0 724 0
[pid=6387] vsize: 3088
Current children cumulated CPU time (s) 506.5
Current children cumulated vsize (Kb) 5216

[startup+650.051 s]
Raw data (loadavg): 1.14 1.04 0.95 1/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) T 6382 6382 4060 0 -1 0 471 0 0 0 17678 2892 0 0 21 0 1 0 19785019 3162112 441 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6387/statm): 772 441 413 48 0 724 0
[pid=6387] vsize: 3088
Current children cumulated CPU time (s) 514.37
Current children cumulated vsize (Kb) 5216

[startup+660.052 s]
Raw data (loadavg): 1.12 1.03 0.95 1/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) T 6382 6382 4060 0 -1 0 472 0 0 0 18338 3004 0 0 19 0 1 0 19785019 3162112 442 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6387/statm): 772 442 413 48 0 724 0
[pid=6387] vsize: 3088
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (Kb) 5216

[startup+670.053 s]
Raw data (loadavg): 1.10 1.03 0.95 2/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) R 6382 6382 4060 0 -1 0 472 0 0 0 19012 3111 0 0 19 0 1 0 19785019 3162112 442 4294967295 134512640 134702520 3221223712 3221222608 134551225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6387/statm): 772 442 413 48 0 724 0
[pid=6387] vsize: 3088
Current children cumulated CPU time (s) 529.9
Current children cumulated vsize (Kb) 5216

[startup+680.053 s]
Raw data (loadavg): 1.16 1.05 0.96 2/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) R 6382 6382 4060 0 -1 0 480 0 0 0 19687 3220 0 0 18 0 1 0 19785019 3162112 450 4294967295 134512640 134702520 3221223712 3221222832 134579382 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6387/statm): 772 450 413 48 0 724 0
[pid=6387] vsize: 3088
Current children cumulated CPU time (s) 537.74
Current children cumulated vsize (Kb) 5216

[startup+690.054 s]
Raw data (loadavg): 1.14 1.04 0.96 1/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) T 6382 6382 4060 0 -1 0 481 0 0 0 20353 3329 0 0 20 0 1 0 19785019 3162112 451 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6387/statm): 772 451 413 48 0 724 0
[pid=6387] vsize: 3088
Current children cumulated CPU time (s) 545.49
Current children cumulated vsize (Kb) 5216

[startup+700.055 s]
Raw data (loadavg): 1.12 1.04 0.96 2/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) R 6382 6382 4060 0 -1 0 482 0 0 0 21026 3442 0 0 20 0 1 0 19785019 3276800 452 4294967295 134512640 134702520 3221223712 3221222608 134552583 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6387/statm): 800 452 413 48 0 752 0
[pid=6387] vsize: 3200
Current children cumulated CPU time (s) 553.35
Current children cumulated vsize (Kb) 5328

[startup+710.056 s]
Raw data (loadavg): 1.10 1.04 0.96 2/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) R 6382 6382 4060 0 -1 0 482 0 0 0 21700 3554 0 0 19 0 1 0 19785019 3276800 452 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6387/statm): 800 452 413 48 0 752 0
[pid=6387] vsize: 3200
Current children cumulated CPU time (s) 561.21
Current children cumulated vsize (Kb) 5328

[startup+720.056 s]
Raw data (loadavg): 1.24 1.07 0.97 1/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) T 6382 6382 4060 0 -1 0 504 0 0 0 22362 3663 0 0 20 0 1 0 19785019 3276800 474 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6387/statm): 800 474 413 48 0 752 0
[pid=6387] vsize: 3200
Current children cumulated CPU time (s) 568.92
Current children cumulated vsize (Kb) 5328

[startup+730.058 s]
Raw data (loadavg): 1.20 1.07 0.97 1/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) T 6382 6382 4060 0 -1 0 512 0 0 0 23029 3775 0 0 18 0 1 0 19785019 3276800 482 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6387/statm): 800 482 413 48 0 752 0
[pid=6387] vsize: 3200
Current children cumulated CPU time (s) 576.71
Current children cumulated vsize (Kb) 5328

[startup+740.058 s]
Raw data (loadavg): 1.17 1.07 0.97 2/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) R 6382 6382 4060 0 -1 0 512 0 0 0 23702 3889 0 0 19 0 1 0 19785019 3276800 482 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6387/statm): 800 482 413 48 0 752 0
[pid=6387] vsize: 3200
Current children cumulated CPU time (s) 584.58
Current children cumulated vsize (Kb) 5328

[startup+750.058 s]
Raw data (loadavg): 1.14 1.06 0.97 2/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) R 6382 6382 4060 0 -1 0 512 0 0 0 24396 3988 0 0 19 0 1 0 19785019 3276800 482 4294967295 134512640 134702520 3221223712 3221222608 134553165 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6387/statm): 800 482 413 48 0 752 0
[pid=6387] vsize: 3200
Current children cumulated CPU time (s) 592.51
Current children cumulated vsize (Kb) 5328

[startup+760.059 s]
Raw data (loadavg): 1.12 1.06 0.97 2/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) R 6382 6382 4060 0 -1 0 515 0 0 0 25071 4093 0 0 21 0 1 0 19785019 3276800 485 4294967295 134512640 134702520 3221223712 3221222584 134564367 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6387/statm): 800 485 413 48 0 752 0
[pid=6387] vsize: 3200
Current children cumulated CPU time (s) 600.31
Current children cumulated vsize (Kb) 5328

[startup+770.06 s]
Raw data (loadavg): 1.10 1.06 0.97 2/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) R 6382 6382 4060 0 -1 0 519 0 0 0 25732 4203 0 0 19 0 1 0 19785019 3276800 489 4294967295 134512640 134702520 3221223712 3221222608 134551042 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6387/statm): 800 489 413 48 0 752 0
[pid=6387] vsize: 3200
Current children cumulated CPU time (s) 608.02
Current children cumulated vsize (Kb) 5328

[startup+780.061 s]
Raw data (loadavg): 1.08 1.06 0.97 1/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) T 6382 6382 4060 0 -1 0 519 0 0 0 26410 4314 0 0 19 0 1 0 19785019 3276800 489 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6387/statm): 800 489 413 48 0 752 0
[pid=6387] vsize: 3200
Current children cumulated CPU time (s) 615.91
Current children cumulated vsize (Kb) 5328

[startup+790.061 s]
Raw data (loadavg): 1.07 1.05 0.97 1/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) T 6382 6382 4060 0 -1 0 519 0 0 0 27093 4422 0 0 19 0 1 0 19785019 3276800 489 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6387/statm): 800 489 413 48 0 752 0
[pid=6387] vsize: 3200
Current children cumulated CPU time (s) 623.82
Current children cumulated vsize (Kb) 5328

[startup+800.061 s]
Raw data (loadavg): 1.06 1.05 0.97 1/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) T 6382 6382 4060 0 -1 0 520 0 0 0 27761 4533 0 0 20 0 1 0 19785019 3276800 490 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6387/statm): 800 490 413 48 0 752 0
[pid=6387] vsize: 3200
Current children cumulated CPU time (s) 631.61
Current children cumulated vsize (Kb) 5328

[startup+810.062 s]
Raw data (loadavg): 1.13 1.07 0.97 2/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) R 6382 6382 4060 0 -1 0 522 0 0 0 28433 4640 0 0 19 0 1 0 19785019 3276800 492 4294967295 134512640 134702520 3221223712 3221222992 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6387/statm): 800 492 413 48 0 752 0
[pid=6387] vsize: 3200
Current children cumulated CPU time (s) 639.4
Current children cumulated vsize (Kb) 5328

[startup+820.063 s]
Raw data (loadavg): 1.11 1.06 0.97 1/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) T 6382 6382 4060 0 -1 0 523 0 0 0 29093 4756 0 0 18 0 1 0 19785019 3276800 493 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6387/statm): 800 493 413 48 0 752 0
[pid=6387] vsize: 3200
Current children cumulated CPU time (s) 647.16
Current children cumulated vsize (Kb) 5328

[startup+830.064 s]
Raw data (loadavg): 1.09 1.06 0.97 2/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) T 6382 6382 4060 0 -1 0 523 0 0 0 29781 4859 0 0 19 0 1 0 19785019 3276800 493 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6387/statm): 800 493 413 48 0 752 0
[pid=6387] vsize: 3200
Current children cumulated CPU time (s) 655.07
Current children cumulated vsize (Kb) 5328

[startup+840.065 s]
Raw data (loadavg): 1.08 1.06 0.97 1/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) T 6382 6382 4060 0 -1 0 523 0 0 0 30468 4963 0 0 19 0 1 0 19785019 3276800 493 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6387/statm): 800 493 413 48 0 752 0
[pid=6387] vsize: 3200
Current children cumulated CPU time (s) 662.98
Current children cumulated vsize (Kb) 5328

[startup+850.065 s]
Raw data (loadavg): 1.07 1.06 0.97 1/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) T 6382 6382 4060 0 -1 0 525 0 0 0 31125 5080 0 0 18 0 1 0 19785019 3276800 495 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6387/statm): 800 495 413 48 0 752 0
[pid=6387] vsize: 3200
Current children cumulated CPU time (s) 670.72
Current children cumulated vsize (Kb) 5328

[startup+860.066 s]
Raw data (loadavg): 1.06 1.05 0.97 2/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) R 6382 6382 4060 0 -1 0 526 0 0 0 31788 5190 0 0 19 0 1 0 19785019 3276800 496 4294967295 134512640 134702520 3221223712 3221222608 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6387/statm): 800 496 413 48 0 752 0
[pid=6387] vsize: 3200
Current children cumulated CPU time (s) 678.45
Current children cumulated vsize (Kb) 5328

[startup+870.067 s]
Raw data (loadavg): 1.05 1.05 0.97 1/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) T 6382 6382 4060 0 -1 0 834 0 0 0 32525 5280 0 0 21 0 1 0 19785019 4571136 804 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6387/statm): 1116 804 413 48 0 1068 0
[pid=6387] vsize: 4464
Current children cumulated CPU time (s) 686.72
Current children cumulated vsize (Kb) 6592

[startup+880.069 s]
Raw data (loadavg): 1.04 1.05 0.97 1/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) T 6382 6382 4060 0 -1 0 834 0 0 0 33269 5365 0 0 20 0 1 0 19785019 4571136 804 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6387/statm): 1116 804 413 48 0 1068 0
[pid=6387] vsize: 4464
Current children cumulated CPU time (s) 695.01
Current children cumulated vsize (Kb) 6592

[startup+890.07 s]
Raw data (loadavg): 1.03 1.05 0.97 1/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) T 6382 6382 4060 0 -1 0 834 0 0 0 33995 5460 0 0 19 0 1 0 19785019 4571136 804 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6387/statm): 1116 804 413 48 0 1068 0
[pid=6387] vsize: 4464
Current children cumulated CPU time (s) 703.22
Current children cumulated vsize (Kb) 6592

[startup+900.07 s]
Raw data (loadavg): 1.03 1.05 0.97 1/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) T 6382 6382 4060 0 -1 0 943 0 0 0 34797 5526 0 0 25 0 1 0 19785019 5046272 913 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6387/statm): 1232 913 413 48 0 1184 0
[pid=6387] vsize: 4928
Current children cumulated CPU time (s) 711.9
Current children cumulated vsize (Kb) 7056

[startup+910.071 s]
Raw data (loadavg): 1.02 1.04 0.97 2/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) R 6382 6382 4060 0 -1 0 1189 0 0 0 35631 5582 0 0 25 0 1 0 19785019 5976064 1159 4294967295 134512640 134702520 3221223712 3221222608 134557715 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6387/statm): 1459 1159 413 48 0 1411 0
[pid=6387] vsize: 5836
Current children cumulated CPU time (s) 720.8
Current children cumulated vsize (Kb) 7964

[startup+920.072 s]
Raw data (loadavg): 1.02 1.04 0.97 2/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) R 6382 6382 4060 0 -1 0 1310 0 0 0 36478 5630 0 0 25 0 1 0 19785019 6541312 1280 4294967295 134512640 134702520 3221223712 3221222992 134557509 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6387/statm): 1597 1280 413 48 0 1549 0
[pid=6387] vsize: 6388
Current children cumulated CPU time (s) 729.75
Current children cumulated vsize (Kb) 8516

[startup+930.073 s]
Raw data (loadavg): 1.02 1.04 0.97 1/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) T 6382 6382 4060 0 -1 0 1491 0 0 0 37322 5681 0 0 24 0 1 0 19785019 7335936 1461 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6387/statm): 1791 1461 413 48 0 1743 0
[pid=6387] vsize: 7164
Current children cumulated CPU time (s) 738.7
Current children cumulated vsize (Kb) 9292

[startup+940.074 s]
Raw data (loadavg): 1.01 1.04 0.97 2/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) R 6382 6382 4060 0 -1 0 1599 0 0 0 38206 5722 0 0 25 0 1 0 19785019 7692288 1569 4294967295 134512640 134702520 3221223712 3221222992 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6387/statm): 1878 1569 413 48 0 1830 0
[pid=6387] vsize: 7512
Current children cumulated CPU time (s) 747.95
Current children cumulated vsize (Kb) 9640

[startup+950.075 s]
Raw data (loadavg): 1.01 1.04 0.97 2/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) R 6382 6382 4060 0 -1 0 1670 0 0 0 39088 5763 0 0 25 0 1 0 19785019 7991296 1640 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6387/statm): 1951 1640 413 48 0 1903 0
[pid=6387] vsize: 7804
Current children cumulated CPU time (s) 757.18
Current children cumulated vsize (Kb) 9932

[startup+960.076 s]
Raw data (loadavg): 1.01 1.03 0.97 1/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) T 6382 6382 4060 0 -1 0 1763 0 0 0 39940 5816 0 0 23 0 1 0 19785019 8310784 1733 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6387/statm): 2029 1733 413 48 0 1981 0
[pid=6387] vsize: 8116
Current children cumulated CPU time (s) 766.23
Current children cumulated vsize (Kb) 10244

[startup+970.076 s]
Raw data (loadavg): 1.01 1.03 0.97 2/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) R 6382 6382 4060 0 -1 0 1763 0 0 0 40746 5880 0 0 23 0 1 0 19785019 8310784 1733 4294967295 134512640 134702520 3221223712 3221222608 134557211 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6387/statm): 2029 1733 413 48 0 1981 0
[pid=6387] vsize: 8116
Current children cumulated CPU time (s) 774.93
Current children cumulated vsize (Kb) 10244

[startup+980.078 s]
Raw data (loadavg): 1.00 1.03 0.97 2/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) R 6382 6382 4060 0 -1 0 1763 0 0 0 41532 5954 0 0 23 0 1 0 19785019 8310784 1733 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6387/statm): 2029 1733 413 48 0 1981 0
[pid=6387] vsize: 8116
Current children cumulated CPU time (s) 783.53
Current children cumulated vsize (Kb) 10244

[startup+990.079 s]
Raw data (loadavg): 1.00 1.03 0.97 2/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) R 6382 6382 4060 0 -1 0 1763 0 0 0 42353 6015 0 0 24 0 1 0 19785019 8310784 1733 4294967295 134512640 134702520 3221223712 3221222992 134557285 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6387/statm): 2029 1733 413 48 0 1981 0
[pid=6387] vsize: 8116
Current children cumulated CPU time (s) 792.35
Current children cumulated vsize (Kb) 10244

[startup+1000.08 s]
Raw data (loadavg): 1.00 1.03 0.97 2/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) R 6382 6382 4060 0 -1 0 1763 0 0 0 43197 6066 0 0 24 0 1 0 19785019 8310784 1733 4294967295 134512640 134702520 3221223712 3221222992 134557225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6387/statm): 2029 1733 413 48 0 1981 0
[pid=6387] vsize: 8116
Current children cumulated CPU time (s) 801.3
Current children cumulated vsize (Kb) 10244

[startup+1010.08 s]
Raw data (loadavg): 1.00 1.03 0.97 1/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) T 6382 6382 4060 0 -1 0 1763 0 0 0 44044 6122 0 0 25 0 1 0 19785019 8310784 1733 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6387/statm): 2029 1733 413 48 0 1981 0
[pid=6387] vsize: 8116
Current children cumulated CPU time (s) 810.33
Current children cumulated vsize (Kb) 10244

[startup+1020.08 s]
Raw data (loadavg): 1.00 1.03 0.97 1/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) T 6382 6382 4060 0 -1 0 1763 0 0 0 44919 6165 0 0 25 0 1 0 19785019 8310784 1733 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6387/statm): 2029 1733 413 48 0 1981 0
[pid=6387] vsize: 8116
Current children cumulated CPU time (s) 819.51
Current children cumulated vsize (Kb) 10244

[startup+1030.08 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) R 6382 6382 4060 0 -1 0 1763 0 0 0 45791 6207 0 0 25 0 1 0 19785019 8310784 1733 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6387/statm): 2029 1733 413 48 0 1981 0
[pid=6387] vsize: 8116
Current children cumulated CPU time (s) 828.65
Current children cumulated vsize (Kb) 10244

[startup+1040.08 s]
Raw data (loadavg): 1.00 1.02 0.97 1/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) T 6382 6382 4060 0 -1 0 1763 0 0 0 46660 6250 0 0 23 0 1 0 19785019 8310784 1733 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6387/statm): 2029 1733 413 48 0 1981 0
[pid=6387] vsize: 8116
Current children cumulated CPU time (s) 837.77
Current children cumulated vsize (Kb) 10244

[startup+1050.08 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 6387
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 378 796 0 0 1 1 27034 3831 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6387/stat): 6387 (vallst) R 6382 6382 4060 0 -1 0 1763 0 0 0 47458 6317 0 0 23 0 1 0 19785019 8310784 1733 4294967295 134512640 134702520 3221223712 3221222608 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6387/statm): 2029 1733 413 48 0 1981 0
[pid=6387] vsize: 8116
Current children cumulated CPU time (s) 846.42
Current children cumulated vsize (Kb) 10244
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=6387) exited with status: 2
New process pid=6388
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=6388) exited with status: 0
New process pid=6389
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+1060.08 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6382 6382 4060 0 -1 0 392 0 0 0 228 22 0 0 21 0 1 0 19852169 3096576 362 4294967295 134512640 134702520 3221223712 3221222848 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 756 362 413 48 0 708 0
[pid=6389] vsize: 3024
Current children cumulated CPU time (s) 854.96
Current children cumulated vsize (Kb) 5152

[startup+1070.08 s]
Raw data (loadavg): 1.00 1.02 0.97 1/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6382 6382 4060 0 -1 0 392 0 0 0 1000 99 0 0 21 0 1 0 19852169 3096576 362 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6389/statm): 756 362 413 48 0 708 0
[pid=6389] vsize: 3024
Current children cumulated CPU time (s) 863.45
Current children cumulated vsize (Kb) 5152

[startup+1080.09 s]
Raw data (loadavg): 1.00 1.02 0.97 1/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6382 6382 4060 0 -1 0 431 0 0 0 1746 185 0 0 20 0 1 0 19852169 4538368 401 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6389/statm): 1108 401 413 48 0 1060 0
[pid=6389] vsize: 4432
Current children cumulated CPU time (s) 871.77
Current children cumulated vsize (Kb) 6560

[startup+1090.09 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6382 6382 4060 0 -1 0 451 0 0 0 2405 298 0 0 19 0 1 0 19852169 4653056 421 4294967295 134512640 134702520 3221223712 3221222736 134552263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 1136 421 413 48 0 1088 0
[pid=6389] vsize: 4544
Current children cumulated CPU time (s) 879.49
Current children cumulated vsize (Kb) 6672

[startup+1100.09 s]
Raw data (loadavg): 1.08 1.03 0.98 2/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6382 6382 4060 0 -1 0 452 0 0 0 3060 408 0 0 19 0 1 0 19852169 4653056 422 4294967295 134512640 134702520 3221223712 3221222608 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 1136 422 413 48 0 1088 0
[pid=6389] vsize: 4544
Current children cumulated CPU time (s) 887.14
Current children cumulated vsize (Kb) 6672

[startup+1110.09 s]
Raw data (loadavg): 1.07 1.03 0.98 1/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6382 6382 4060 0 -1 0 452 0 0 0 3712 524 0 0 19 0 1 0 19852169 4653056 422 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6389/statm): 1136 422 413 48 0 1088 0
[pid=6389] vsize: 4544
Current children cumulated CPU time (s) 894.82
Current children cumulated vsize (Kb) 6672

[startup+1120.09 s]
Raw data (loadavg): 1.06 1.03 0.98 1/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6382 6382 4060 0 -1 0 455 0 0 0 4389 632 0 0 19 0 1 0 19852169 4653056 425 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6389/statm): 1136 425 413 48 0 1088 0
[pid=6389] vsize: 4544
Current children cumulated CPU time (s) 902.67
Current children cumulated vsize (Kb) 6672

[startup+1130.09 s]
Raw data (loadavg): 1.05 1.03 0.98 2/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6382 6382 4060 0 -1 0 459 0 0 0 5046 747 0 0 18 0 1 0 19852169 4653056 429 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 1136 429 413 48 0 1088 0
[pid=6389] vsize: 4544
Current children cumulated CPU time (s) 910.39
Current children cumulated vsize (Kb) 6672

[startup+1140.09 s]
Raw data (loadavg): 1.04 1.03 0.98 1/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6382 6382 4060 0 -1 0 459 0 0 0 5701 860 0 0 19 0 1 0 19852169 4653056 429 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6389/statm): 1136 429 413 48 0 1088 0
[pid=6389] vsize: 4544
Current children cumulated CPU time (s) 918.07
Current children cumulated vsize (Kb) 6672

[startup+1150.09 s]
Raw data (loadavg): 1.03 1.03 0.98 1/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6382 6382 4060 0 -1 0 460 0 0 0 6363 970 0 0 19 0 1 0 19852169 4653056 430 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6389/statm): 1136 430 413 48 0 1088 0
[pid=6389] vsize: 4544
Current children cumulated CPU time (s) 925.79
Current children cumulated vsize (Kb) 6672

[startup+1160.09 s]
Raw data (loadavg): 1.03 1.03 0.98 2/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6382 6382 4060 0 -1 0 461 0 0 0 7024 1086 0 0 20 0 1 0 19852169 4653056 431 4294967295 134512640 134702520 3221223712 3221222480 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 1136 431 413 48 0 1088 0
[pid=6389] vsize: 4544
Current children cumulated CPU time (s) 933.56
Current children cumulated vsize (Kb) 6672

[startup+1170.09 s]
Raw data (loadavg): 1.02 1.02 0.98 1/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6382 6382 4060 0 -1 0 463 0 0 0 7674 1198 0 0 19 0 1 0 19852169 4653056 433 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6389/statm): 1136 433 413 48 0 1088 0
[pid=6389] vsize: 4544
Current children cumulated CPU time (s) 941.18
Current children cumulated vsize (Kb) 6672

[startup+1180.09 s]
Raw data (loadavg): 1.02 1.02 0.98 1/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6382 6382 4060 0 -1 0 463 0 0 0 8334 1314 0 0 19 0 1 0 19852169 4653056 433 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6389/statm): 1136 433 413 48 0 1088 0
[pid=6389] vsize: 4544
Current children cumulated CPU time (s) 948.94
Current children cumulated vsize (Kb) 6672

[startup+1190.09 s]
Raw data (loadavg): 1.02 1.02 0.98 2/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6382 6382 4060 0 -1 0 463 0 0 0 9000 1424 0 0 19 0 1 0 19852169 4653056 433 4294967295 134512640 134702520 3221223712 3221222608 134553333 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 1136 433 413 48 0 1088 0
[pid=6389] vsize: 4544
Current children cumulated CPU time (s) 956.7
Current children cumulated vsize (Kb) 6672

[startup+1200.09 s]
Raw data (loadavg): 1.01 1.02 0.98 1/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6382 6382 4060 0 -1 0 464 0 0 0 9662 1534 0 0 19 0 1 0 19852169 4653056 434 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6389/statm): 1136 434 413 48 0 1088 0
[pid=6389] vsize: 4544
Current children cumulated CPU time (s) 964.42
Current children cumulated vsize (Kb) 6672

[startup+1210.09 s]
Raw data (loadavg): 1.01 1.02 0.98 1/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6382 6382 4060 0 -1 0 466 0 0 0 10335 1642 0 0 19 0 1 0 19852169 4653056 436 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6389/statm): 1136 436 413 48 0 1088 0
[pid=6389] vsize: 4544
Current children cumulated CPU time (s) 972.23
Current children cumulated vsize (Kb) 6672

[startup+1220.1 s]
Raw data (loadavg): 1.08 1.04 0.98 2/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6382 6382 4060 0 -1 0 466 0 0 0 10993 1755 0 0 18 0 1 0 19852169 4653056 436 4294967295 134512640 134702520 3221223712 3221222608 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 1136 436 413 48 0 1088 0
[pid=6389] vsize: 4544
Current children cumulated CPU time (s) 979.94
Current children cumulated vsize (Kb) 6672

[startup+1230.1 s]
Raw data (loadavg): 1.07 1.03 0.98 1/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6382 6382 4060 0 -1 0 467 0 0 0 11669 1865 0 0 20 0 1 0 19852169 4653056 437 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6389/statm): 1136 437 413 48 0 1088 0
[pid=6389] vsize: 4544
Current children cumulated CPU time (s) 987.8
Current children cumulated vsize (Kb) 6672

[startup+1240.1 s]
Raw data (loadavg): 1.06 1.03 0.98 2/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6382 6382 4060 0 -1 0 470 0 0 0 12329 1974 0 0 20 0 1 0 19852169 4653056 440 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 1136 440 413 48 0 1088 0
[pid=6389] vsize: 4544
Current children cumulated CPU time (s) 995.49
Current children cumulated vsize (Kb) 6672

[startup+1250.1 s]
Raw data (loadavg): 1.05 1.03 0.98 1/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6382 6382 4060 0 -1 0 472 0 0 0 12976 2089 0 0 19 0 1 0 19852169 4653056 442 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6389/statm): 1136 442 413 48 0 1088 0
[pid=6389] vsize: 4544
Current children cumulated CPU time (s) 1003.11
Current children cumulated vsize (Kb) 6672

[startup+1260.1 s]
Raw data (loadavg): 1.04 1.03 0.98 1/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6382 6382 4060 0 -1 0 472 0 0 0 13623 2206 0 0 18 0 1 0 19852169 4653056 442 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6389/statm): 1136 442 413 48 0 1088 0
[pid=6389] vsize: 4544
Current children cumulated CPU time (s) 1010.75
Current children cumulated vsize (Kb) 6672

[startup+1270.1 s]
Raw data (loadavg): 1.03 1.03 0.98 2/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6382 6382 4060 0 -1 0 473 0 0 0 14289 2319 0 0 18 0 1 0 19852169 4653056 443 4294967295 134512640 134702520 3221223712 3221223184 134657210 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 1136 443 413 48 0 1088 0
[pid=6389] vsize: 4544
Current children cumulated CPU time (s) 1018.54
Current children cumulated vsize (Kb) 6672

[startup+1280.1 s]
Raw data (loadavg): 1.03 1.03 0.98 2/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6382 6382 4060 0 -1 0 477 0 0 0 14946 2429 0 0 20 0 1 0 19852169 4653056 447 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6389/statm): 1136 447 413 48 0 1088 0
[pid=6389] vsize: 4544
Current children cumulated CPU time (s) 1026.21
Current children cumulated vsize (Kb) 6672

[startup+1290.1 s]
Raw data (loadavg): 1.02 1.03 0.98 1/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6382 6382 4060 0 -1 0 478 0 0 0 15603 2542 0 0 19 0 1 0 19852169 4653056 448 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6389/statm): 1136 448 413 48 0 1088 0
[pid=6389] vsize: 4544
Current children cumulated CPU time (s) 1033.91
Current children cumulated vsize (Kb) 6672

[startup+1300.1 s]
Raw data (loadavg): 1.02 1.02 0.98 2/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6382 6382 4060 0 -1 0 478 0 0 0 16266 2661 0 0 19 0 1 0 19852169 4653056 448 4294967295 134512640 134702520 3221223712 3221222608 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6389/statm): 1136 448 413 48 0 1088 0
[pid=6389] vsize: 4544
Current children cumulated CPU time (s) 1041.73
Current children cumulated vsize (Kb) 6672

[startup+1310.1 s]
Raw data (loadavg): 1.02 1.02 0.98 1/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6382 6382 4060 0 -1 0 479 0 0 0 16917 2777 0 0 18 0 1 0 19852169 4653056 449 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6389/statm): 1136 449 413 48 0 1088 0
[pid=6389] vsize: 4544
Current children cumulated CPU time (s) 1049.4
Current children cumulated vsize (Kb) 6672

[startup+1320.1 s]
Raw data (loadavg): 1.01 1.02 0.98 1/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6382 6382 4060 0 -1 0 499 0 0 0 17575 2888 0 0 19 0 1 0 19852169 4653056 469 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6389/statm): 1136 469 413 48 0 1088 0
[pid=6389] vsize: 4544
Current children cumulated CPU time (s) 1057.09
Current children cumulated vsize (Kb) 6672

[startup+1330.1 s]
Raw data (loadavg): 1.01 1.02 0.98 1/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6382 6382 4060 0 -1 0 500 0 0 0 18235 3005 0 0 19 0 1 0 19852169 4653056 470 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6389/statm): 1136 470 413 48 0 1088 0
[pid=6389] vsize: 4544
Current children cumulated CPU time (s) 1064.86
Current children cumulated vsize (Kb) 6672

[startup+1340.11 s]
Raw data (loadavg): 1.08 1.04 0.99 2/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6382 6382 4060 0 -1 0 500 0 0 0 18900 3112 0 0 19 0 1 0 19852169 4653056 470 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 1136 470 413 48 0 1088 0
[pid=6389] vsize: 4544
Current children cumulated CPU time (s) 1072.58
Current children cumulated vsize (Kb) 6672

[startup+1350.1 s]
Raw data (loadavg): 1.07 1.04 0.99 2/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6382 6382 4060 0 -1 0 500 0 0 0 19556 3226 0 0 20 0 1 0 19852169 4653056 470 4294967295 134512640 134702520 3221223712 3221222608 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 1136 470 413 48 0 1088 0
[pid=6389] vsize: 4544
Current children cumulated CPU time (s) 1080.28
Current children cumulated vsize (Kb) 6672

[startup+1360.11 s]
Raw data (loadavg): 1.06 1.03 0.99 1/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6382 6382 4060 0 -1 0 501 0 0 0 20216 3339 0 0 18 0 1 0 19852169 4653056 471 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6389/statm): 1136 471 413 48 0 1088 0
[pid=6389] vsize: 4544
Current children cumulated CPU time (s) 1088.01
Current children cumulated vsize (Kb) 6672

[startup+1370.11 s]
Raw data (loadavg): 1.05 1.03 0.99 2/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6382 6382 4060 0 -1 0 503 0 0 0 20861 3456 0 0 19 0 1 0 19852169 4653056 473 4294967295 134512640 134702520 3221223712 3221222608 134552370 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 1136 473 413 48 0 1088 0
[pid=6389] vsize: 4544
Current children cumulated CPU time (s) 1095.63
Current children cumulated vsize (Kb) 6672

[startup+1380.11 s]
Raw data (loadavg): 1.04 1.03 0.99 1/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6382 6382 4060 0 -1 0 503 0 0 0 21515 3573 0 0 18 0 1 0 19852169 4653056 473 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6389/statm): 1136 473 413 48 0 1088 0
[pid=6389] vsize: 4544
Current children cumulated CPU time (s) 1103.34
Current children cumulated vsize (Kb) 6672

[startup+1390.11 s]
Raw data (loadavg): 1.11 1.04 0.99 2/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6382 6382 4060 0 -1 0 504 0 0 0 22182 3679 0 0 18 0 1 0 19852169 4653056 474 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 1136 474 413 48 0 1088 0
[pid=6389] vsize: 4544
Current children cumulated CPU time (s) 1111.07
Current children cumulated vsize (Kb) 6672

[startup+1400.11 s]
Raw data (loadavg): 1.10 1.04 0.99 1/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6382 6382 4060 0 -1 0 507 0 0 0 22828 3792 0 0 19 0 1 0 19852169 4653056 477 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6389/statm): 1136 477 413 48 0 1088 0
[pid=6389] vsize: 4544
Current children cumulated CPU time (s) 1118.66
Current children cumulated vsize (Kb) 6672

[startup+1410.11 s]
Raw data (loadavg): 1.08 1.04 0.99 2/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6382 6382 4060 0 -1 0 509 0 0 0 23462 3913 0 0 19 0 1 0 19852169 4767744 479 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 1164 479 413 48 0 1116 0
[pid=6389] vsize: 4656
Current children cumulated CPU time (s) 1126.21
Current children cumulated vsize (Kb) 6784

[startup+1420.11 s]
Raw data (loadavg): 1.07 1.04 0.99 1/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6382 6382 4060 0 -1 0 509 0 0 0 24111 4034 0 0 19 0 1 0 19852169 4767744 479 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6389/statm): 1164 479 413 48 0 1116 0
[pid=6389] vsize: 4656
Current children cumulated CPU time (s) 1133.91
Current children cumulated vsize (Kb) 6784

[startup+1430.11 s]
Raw data (loadavg): 1.06 1.04 0.99 2/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6382 6382 4060 0 -1 0 509 0 0 0 24769 4151 0 0 20 0 1 0 19852169 4767744 479 4294967295 134512640 134702520 3221223712 3221222480 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 1164 479 413 48 0 1116 0
[pid=6389] vsize: 4656
Current children cumulated CPU time (s) 1141.66
Current children cumulated vsize (Kb) 6784

[startup+1440.11 s]
Raw data (loadavg): 1.05 1.04 0.99 1/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6382 6382 4060 0 -1 0 511 0 0 0 25430 4259 0 0 18 0 1 0 19852169 4767744 481 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6389/statm): 1164 481 413 48 0 1116 0
[pid=6389] vsize: 4656
Current children cumulated CPU time (s) 1149.35
Current children cumulated vsize (Kb) 6784

[startup+1450.11 s]
Raw data (loadavg): 1.04 1.03 0.99 1/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6382 6382 4060 0 -1 0 512 0 0 0 26077 4379 0 0 19 0 1 0 19852169 4767744 482 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6389/statm): 1164 482 413 48 0 1116 0
[pid=6389] vsize: 4656
Current children cumulated CPU time (s) 1157.02
Current children cumulated vsize (Kb) 6784

[startup+1460.11 s]
Raw data (loadavg): 1.03 1.03 0.99 2/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6382 6382 4060 0 -1 0 512 0 0 0 26731 4496 0 0 19 0 1 0 19852169 4767744 482 4294967295 134512640 134702520 3221223712 3221222608 134551028 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 1164 482 413 48 0 1116 0
[pid=6389] vsize: 4656
Current children cumulated CPU time (s) 1164.73
Current children cumulated vsize (Kb) 6784

[startup+1470.11 s]
Raw data (loadavg): 1.10 1.04 1.00 1/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6382 6382 4060 0 -1 0 512 0 0 0 27392 4607 0 0 19 0 1 0 19852169 4767744 482 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6389/statm): 1164 482 413 48 0 1116 0
[pid=6389] vsize: 4656
Current children cumulated CPU time (s) 1172.45
Current children cumulated vsize (Kb) 6784

[startup+1480.12 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6382 6382 4060 0 -1 0 513 0 0 0 28059 4715 0 0 19 0 1 0 19852169 4767744 483 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6389/statm): 1164 483 413 48 0 1116 0
[pid=6389] vsize: 4656
Current children cumulated CPU time (s) 1180.2
Current children cumulated vsize (Kb) 6784

[startup+1490.12 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) R 6382 6382 4060 0 -1 0 514 0 0 0 28690 4841 0 0 19 0 1 0 19852169 4767744 484 4294967295 134512640 134702520 3221223712 3221222608 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6389/statm): 1164 484 413 48 0 1116 0
[pid=6389] vsize: 4656
Current children cumulated CPU time (s) 1187.77
Current children cumulated vsize (Kb) 6784

[startup+1500.12 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6382 6382 4060 0 -1 0 514 0 0 0 29332 4960 0 0 19 0 1 0 19852169 4767744 484 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6389/statm): 1164 484 413 48 0 1116 0
[pid=6389] vsize: 4656
Current children cumulated CPU time (s) 1195.38
Current children cumulated vsize (Kb) 6784

[startup+1510.12 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6382 6382 4060 0 -1 0 514 0 0 0 29992 5069 0 0 19 0 1 0 19852169 4767744 484 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6389/statm): 1164 484 413 48 0 1116 0
[pid=6389] vsize: 4656
Current children cumulated CPU time (s) 1203.07
Current children cumulated vsize (Kb) 6784



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1510.12 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 6389
Raw data (/proc/6382/stat): 6382 (vallstSAT2005PB) S 6381 6382 4060 0 -1 0 417 2703 0 0 2 1 75046 10197 18 0 1 0 19746446 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6382/statm): 532 248 485 147 0 385 0
[pid=6382] vsize: 2128
Raw data (/proc/6389/stat): 6389 (vallst) T 6382 6382 4060 0 -1 0 514 0 0 0 29992 5069 0 0 19 0 1 0 19852169 4767744 484 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6389/statm): 1164 484 413 48 0 1116 0
[pid=6389] vsize: 4656
Current children cumulated CPU time (s) 1203.07
Current children cumulated vsize (Kb) 6784

Sending SIGTERM to -6382
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=6391
New process pid=6392
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)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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
One traced child (pid=6389) exited with status: 3
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/4043/stat
open syscall for file /proc/4043/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/4043/cmdline
open syscall for file /proc/4043/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/6343/stat
open syscall for file /proc/6343/status
open syscall for file /proc/6343/cmdline
open syscall for file /proc/6343/environ
open syscall for file /proc/6381/stat
open syscall for file /proc/6381/status
open syscall for file /proc/6381/cmdline
open syscall for file /proc/6381/environ
open syscall for file /proc/6382/stat
open syscall for file /proc/6382/status
open syscall for file /proc/6382/cmdline
open syscall for file /proc/6382/environ
open syscall for file /proc/6391/stat
open syscall for file /proc/6391/status
open syscall for file /proc/6391/cmdline
open syscall for file /proc/6391/environ
open syscall for file /proc/6392/stat
open syscall for file /proc/6392/status
open syscall for file /proc/6392/cmdline
open syscall for file /proc/6392/environ
One traced child (pid=6391) exited with status: 0
One traced child (pid=6392) exited with status: 0
New process pid=6393
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=6393) exited with status: 0
New process pid=6394
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=6394) exited with status: 0
One traced child (pid=6382) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1510.59
CPU time (s): 1203.2
CPU user time (s): 1050.46
CPU system time (s): 152.748
CPU usage (%): 79.651
Max. virtual memory (cumulated for all children) (Kb): 10244

Verifier Data

ERROR: no interpretation found !