Some explanations

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

General information on the benchmark

Namemps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-trento1.opb
MD5SUMa75eaaeeef32947fd9ba7cf4d126c00a
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 31855
Biggest coefficient in the objective function 524288000000000000
Number of bits for the biggest coefficient in the objective function 59
Sum of the numbers in the objective function 3494440607063922925
Number of bits of the sum of numbers in the objective function 62
Biggest number in a constraint 524288000000000000
Number of bits of the biggest number in a constraint 59
Biggest sum of numbers in a constraint 3507240607063922925
Number of bits of the biggest sum of numbers62
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables31855
Total number of constraints7680
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)6416
Number of constraints which are nor clauses,nor cardinality constraints1264
Minimum length of a constraint1
Maximum length of a constraint31855

Trace number 9490

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        937540 kB
Buffers:         10716 kB
Cached:          69184 kB
SwapCached:          0 kB
Active:          46512 kB
Inactive:        36288 kB
HighTotal:      131008 kB
HighFree:        57568 kB
LowTotal:       903652 kB
LowFree:        879972 kB
SwapTotal:     2097640 kB
SwapFree:      2097640 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:             8664 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 14:14:07 (client local time) WITH STATUS 0 IN 742.591 SECONDS
stats: 8192 7 742.591 0

Solver Data

1:
seed: 0
Nr of vars set: 9276  (#equs: 0)
Nr of vars set: 9276  (#equs: 0)
#decisions: 26651;  #end-nodes: 19929;
#proof improvement attempts: 0;  #restarts: 192
Current batch, end-nodes: 0 / 127 (127)
#axs: 2512, #non-axs: 7
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 9276  (#equs: 0)
Time taken: 7 min, 46 sec

2:

Watcher Data

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

[startup+10.0035 s]
Raw data (loadavg): 0.90 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2292 0 0 0 971 11 0 0 25 0 1 0 20664975 11325440 2066 4294967295 134512640 134702520 3221223952 3221198048 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6662/statm): 2765 2066 413 48 0 2717 0
[pid=6662] vsize: 11060
Current children cumulated CPU time (s) 9.84
Current children cumulated vsize (Kb) 13188

[startup+20.0042 s]
Raw data (loadavg): 0.92 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2362 0 0 0 1971 11 0 0 25 0 1 0 20664975 11612160 2136 4294967295 134512640 134702520 3221223952 3220910848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6662/statm): 2835 2136 413 48 0 2787 0
[pid=6662] vsize: 11340
Current children cumulated CPU time (s) 19.84
Current children cumulated vsize (Kb) 13468

[startup+30.0049 s]
Raw data (loadavg): 0.93 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2459 0 0 0 2971 11 0 0 25 0 1 0 20664975 12009472 2233 4294967295 134512640 134702520 3221223952 3220513228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6662/statm): 2932 2233 413 48 0 2884 0
[pid=6662] vsize: 11728
Current children cumulated CPU time (s) 29.84
Current children cumulated vsize (Kb) 13856

[startup+40.0055 s]
Raw data (loadavg): 0.94 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2678 0 0 0 3962 15 0 0 25 0 1 0 20664975 22769664 2452 4294967295 134512640 134702520 3221223952 3221186608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6662/statm): 5559 2452 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 39.79
Current children cumulated vsize (Kb) 24364

[startup+50.0062 s]
Raw data (loadavg): 0.95 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2678 0 0 0 4962 15 0 0 25 0 1 0 20664975 22769664 2452 4294967295 134512640 134702520 3221223952 3220992028 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6662/statm): 5559 2452 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 49.79
Current children cumulated vsize (Kb) 24364

[startup+60.0069 s]
Raw data (loadavg): 0.96 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2678 0 0 0 5963 15 0 0 25 0 1 0 20664975 22769664 2452 4294967295 134512640 134702520 3221223952 3220757788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6662/statm): 5559 2452 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 59.8
Current children cumulated vsize (Kb) 24364

[startup+70.0076 s]
Raw data (loadavg): 0.96 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2678 0 0 0 6963 15 0 0 25 0 1 0 20664975 22769664 2452 4294967295 134512640 134702520 3221223952 3220244828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6662/statm): 5559 2452 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 69.8
Current children cumulated vsize (Kb) 24364

[startup+80.0083 s]
Raw data (loadavg): 0.97 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2678 0 0 0 7955 17 0 0 25 0 1 0 20664975 22769664 2452 4294967295 134512640 134702520 3221223952 3221103708 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6662/statm): 5559 2452 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 79.74
Current children cumulated vsize (Kb) 24364

[startup+90.0089 s]
Raw data (loadavg): 0.97 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2678 0 0 0 8956 17 0 0 25 0 1 0 20664975 22769664 2452 4294967295 134512640 134702520 3221223952 3220902448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6662/statm): 5559 2452 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 89.75
Current children cumulated vsize (Kb) 24364

[startup+100.01 s]
Raw data (loadavg): 0.98 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2678 0 0 0 9956 17 0 0 25 0 1 0 20664975 22769664 2452 4294967295 134512640 134702520 3221223952 3220582608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6662/statm): 5559 2452 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 99.75
Current children cumulated vsize (Kb) 24364

[startup+110.011 s]
Raw data (loadavg): 0.98 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2680 0 0 0 10948 20 0 0 25 0 1 0 20664975 22769664 2454 4294967295 134512640 134702520 3221223952 3221213308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6662/statm): 5559 2454 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 109.7
Current children cumulated vsize (Kb) 24364

[startup+120.012 s]
Raw data (loadavg): 0.98 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2680 0 0 0 11948 20 0 0 25 0 1 0 20664975 22769664 2454 4294967295 134512640 134702520 3221223952 3221021488 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6662/statm): 5559 2454 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 119.7
Current children cumulated vsize (Kb) 24364

[startup+130.012 s]
Raw data (loadavg): 0.98 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2680 0 0 0 12948 20 0 0 25 0 1 0 20664975 22769664 2454 4294967295 134512640 134702520 3221223952 3220808208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6662/statm): 5559 2454 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 129.7
Current children cumulated vsize (Kb) 24364

[startup+140.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2680 0 0 0 13948 20 0 0 25 0 1 0 20664975 22769664 2454 4294967295 134512640 134702520 3221223952 3220346288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6662/statm): 5559 2454 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 139.7
Current children cumulated vsize (Kb) 24364

[startup+150.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2680 0 0 0 14942 22 0 0 25 0 1 0 20664975 22769664 2454 4294967295 134512640 134702520 3221223952 3221129808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6662/statm): 5559 2454 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 149.66
Current children cumulated vsize (Kb) 24364

[startup+160.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2680 0 0 0 15942 22 0 0 25 0 1 0 20664975 22769664 2454 4294967295 134512640 134702520 3221223952 3220929328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6662/statm): 5559 2454 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 159.66
Current children cumulated vsize (Kb) 24364

[startup+170.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2680 0 0 0 16942 22 0 0 25 0 1 0 20664975 22769664 2454 4294967295 134512640 134702520 3221223952 3220634268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6662/statm): 5559 2454 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 169.66
Current children cumulated vsize (Kb) 24364

[startup+180.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2680 0 0 0 17942 22 0 0 25 0 1 0 20664975 22769664 2454 4294967295 134512640 134702520 3221223952 3219879868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6662/statm): 5559 2454 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 179.66
Current children cumulated vsize (Kb) 24364

[startup+190.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2681 0 0 0 18934 24 0 0 25 0 1 0 20664975 22769664 2455 4294967295 134512640 134702520 3221223952 3221043068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6662/statm): 5559 2455 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 189.6
Current children cumulated vsize (Kb) 24364

[startup+200.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2681 0 0 0 19935 24 0 0 25 0 1 0 20664975 22769664 2455 4294967295 134512640 134702520 3221223952 3220832508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6662/statm): 5559 2455 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 199.61
Current children cumulated vsize (Kb) 24364

[startup+210.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2681 0 0 0 20935 24 0 0 25 0 1 0 20664975 22769664 2455 4294967295 134512640 134702520 3221223952 3220412028 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6662/statm): 5559 2455 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 209.61
Current children cumulated vsize (Kb) 24364

[startup+220.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2682 0 0 0 21925 28 0 0 25 0 1 0 20664975 22769664 2456 4294967295 134512640 134702520 3221223952 3221151568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6662/statm): 5559 2456 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 219.55
Current children cumulated vsize (Kb) 24364

[startup+230.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2682 0 0 0 22925 28 0 0 25 0 1 0 20664975 22769664 2456 4294967295 134512640 134702520 3221223952 3220955708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6662/statm): 5559 2456 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 229.55
Current children cumulated vsize (Kb) 24364

[startup+240.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2682 0 0 0 23925 28 0 0 25 0 1 0 20664975 22769664 2456 4294967295 134512640 134702520 3221223952 3220692048 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6662/statm): 5559 2456 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 239.55
Current children cumulated vsize (Kb) 24364

[startup+250.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2682 0 0 0 24925 28 0 0 25 0 1 0 20664975 22769664 2456 4294967295 134512640 134702520 3221223952 3220106268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6662/statm): 5559 2456 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 249.55
Current children cumulated vsize (Kb) 24364

[startup+260.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2682 0 0 0 25916 30 0 0 25 0 1 0 20664975 22769664 2456 4294967295 134512640 134702520 3221223952 3221074428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6662/statm): 5559 2456 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 259.48
Current children cumulated vsize (Kb) 24364

[startup+270.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2682 0 0 0 26916 30 0 0 25 0 1 0 20664975 22769664 2456 4294967295 134512640 134702520 3221223952 3220869968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6662/statm): 5559 2456 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 269.48
Current children cumulated vsize (Kb) 24364

[startup+280.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2682 0 0 0 27916 30 0 0 25 0 1 0 20664975 22769664 2456 4294967295 134512640 134702520 3221223952 3220509648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6662/statm): 5559 2456 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 279.48
Current children cumulated vsize (Kb) 24364

[startup+290.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2699 0 0 0 28907 34 0 0 25 0 1 0 20664975 22769664 2473 4294967295 134512640 134702520 3221223952 3221186928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6662/statm): 5559 2473 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 289.43
Current children cumulated vsize (Kb) 24364

[startup+300.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2699 0 0 0 29907 34 0 0 25 0 1 0 20664975 22769664 2473 4294967295 134512640 134702520 3221223952 3220992368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6662/statm): 5559 2473 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 299.43
Current children cumulated vsize (Kb) 24364

[startup+310.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2699 0 0 0 30907 34 0 0 25 0 1 0 20664975 22769664 2473 4294967295 134512640 134702520 3221223952 3220758448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6662/statm): 5559 2473 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 309.43
Current children cumulated vsize (Kb) 24364

[startup+320.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2699 0 0 0 31907 34 0 0 25 0 1 0 20664975 22769664 2473 4294967295 134512640 134702520 3221223952 3220246108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6662/statm): 5559 2473 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 319.43
Current children cumulated vsize (Kb) 24364

[startup+330.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2736 0 0 0 32898 38 0 0 25 0 1 0 20664975 22769664 2510 4294967295 134512640 134702520 3221223952 3221106448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6662/statm): 5559 2510 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 329.38
Current children cumulated vsize (Kb) 24364

[startup+340.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2736 0 0 0 33898 38 0 0 25 0 1 0 20664975 22769664 2510 4294967295 134512640 134702520 3221223952 3220905628 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6662/statm): 5559 2510 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 339.38
Current children cumulated vsize (Kb) 24364

[startup+350.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2736 0 0 0 34898 38 0 0 25 0 1 0 20664975 22769664 2510 4294967295 134512640 134702520 3221223952 3220589328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6662/statm): 5559 2510 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 349.38
Current children cumulated vsize (Kb) 24364

[startup+360.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6662
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2760 0 0 0 35887 42 0 0 24 0 1 0 20664975 22769664 2534 4294967295 134512640 134702520 3221223952 3221218768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6662/statm): 5559 2534 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 359.31
Current children cumulated vsize (Kb) 24364

[startup+370.027 s]
Raw data (loadavg): 1.07 0.99 0.98 2/57 6663
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2760 0 0 0 36886 42 0 0 25 0 1 0 20664975 22769664 2534 4294967295 134512640 134702520 3221223952 3221029808 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6662/statm): 5559 2534 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 369.3
Current children cumulated vsize (Kb) 24364

[startup+380.028 s]
Raw data (loadavg): 1.06 0.99 0.98 2/56 6717
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2760 0 0 0 37887 42 0 0 25 0 1 0 20664975 22769664 2534 4294967295 134512640 134702520 3221223952 3220817788 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6662/statm): 5559 2534 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 379.31
Current children cumulated vsize (Kb) 24364

[startup+390.028 s]
Raw data (loadavg): 1.05 0.99 0.98 2/56 6717
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2760 0 0 0 38887 42 0 0 25 0 1 0 20664975 22769664 2534 4294967295 134512640 134702520 3221223952 3220372688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6662/statm): 5559 2534 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 389.31
Current children cumulated vsize (Kb) 24364

[startup+400.028 s]
Raw data (loadavg): 1.04 0.99 0.98 2/56 6717
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2786 0 0 0 39877 44 0 0 25 0 1 0 20664975 22769664 2560 4294967295 134512640 134702520 3221223952 3221140988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6662/statm): 5559 2560 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 399.23
Current children cumulated vsize (Kb) 24364

[startup+410.029 s]
Raw data (loadavg): 1.04 0.99 0.98 2/56 6717
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2786 0 0 0 40877 44 0 0 25 0 1 0 20664975 22769664 2560 4294967295 134512640 134702520 3221223952 3220941648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6662/statm): 5559 2560 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 409.23
Current children cumulated vsize (Kb) 24364

[startup+420.029 s]
Raw data (loadavg): 1.03 0.99 0.98 2/56 6717
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2786 0 0 0 41877 44 0 0 25 0 1 0 20664975 22769664 2560 4294967295 134512640 134702520 3221223952 3220659568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6662/statm): 5559 2560 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 419.23
Current children cumulated vsize (Kb) 24364

[startup+430.029 s]
Raw data (loadavg): 1.03 0.99 0.98 2/56 6719
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2786 0 0 0 42877 44 0 0 25 0 1 0 20664975 22769664 2560 4294967295 134512640 134702520 3221223952 3219995088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6662/statm): 5559 2560 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 429.23
Current children cumulated vsize (Kb) 24364

[startup+440.03 s]
Raw data (loadavg): 1.02 0.99 0.98 2/56 6721
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2811 0 0 0 43864 49 0 0 25 0 1 0 20664975 22769664 2585 4294967295 134512640 134702520 3221223952 3221060528 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6662/statm): 5559 2585 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 439.15
Current children cumulated vsize (Kb) 24364

[startup+450.03 s]
Raw data (loadavg): 1.02 0.99 0.98 2/56 6723
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2811 0 0 0 44863 49 0 0 25 0 1 0 20664975 22769664 2585 4294967295 134512640 134702520 3221223952 3220854592 134611991 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6662/statm): 5559 2585 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 449.14
Current children cumulated vsize (Kb) 24364

[startup+460.031 s]
Raw data (loadavg): 1.01 0.99 0.98 2/56 6723
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20664967 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 242 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6662/stat): 6662 (vallst) R 6659 6659 4005 0 -1 0 2811 0 0 0 45864 49 0 0 25 0 1 0 20664975 22769664 2585 4294967295 134512640 134702520 3221223952 3220473468 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6662/statm): 5559 2585 413 48 0 5511 0
[pid=6662] vsize: 22236
Current children cumulated CPU time (s) 459.15
Current children cumulated vsize (Kb) 24364
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=6662) exited with status: 2
New process pid=6724
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=6724) exited with status: 0
New process pid=6725
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+470.032 s]
Raw data (loadavg): 1.01 0.99 0.98 2/56 6725
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 1722 0 0 0 220 8 0 0 25 0 1 0 20711743 9273344 1692 4294967295 134512640 134702520 3221223712 3221208848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6725/statm): 2264 1692 413 48 0 2216 0
[pid=6725] vsize: 9056
Current children cumulated CPU time (s) 469.05
Current children cumulated vsize (Kb) 11184

[startup+480.032 s]
Raw data (loadavg): 1.01 0.99 0.98 2/56 6725
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 1785 0 0 0 1220 8 0 0 25 0 1 0 20711743 9531392 1755 4294967295 134512640 134702520 3221223712 3220949328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 2327 1755 413 48 0 2279 0
[pid=6725] vsize: 9308
Current children cumulated CPU time (s) 479.05
Current children cumulated vsize (Kb) 11436

[startup+490.033 s]
Raw data (loadavg): 1.01 0.99 0.98 2/56 6725
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 1878 0 0 0 2220 9 0 0 25 0 1 0 20711743 9912320 1848 4294967295 134512640 134702520 3221223712 3220569308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 2420 1848 413 48 0 2372 0
[pid=6725] vsize: 9680
Current children cumulated CPU time (s) 489.06
Current children cumulated vsize (Kb) 11808

[startup+500.033 s]
Raw data (loadavg): 1.01 0.99 0.98 2/56 6725
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2124 0 0 0 3211 12 0 0 25 0 1 0 20711743 18874368 2094 4294967295 134512640 134702520 3221223712 3221208768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6725/statm): 4608 2094 413 48 0 4560 0
[pid=6725] vsize: 18432
Current children cumulated CPU time (s) 499
Current children cumulated vsize (Kb) 20560

[startup+510.033 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6725
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2124 0 0 0 4211 12 0 0 25 0 1 0 20711743 18874368 2094 4294967295 134512640 134702520 3221223712 3221026188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6725/statm): 4608 2094 413 48 0 4560 0
[pid=6725] vsize: 18432
Current children cumulated CPU time (s) 509
Current children cumulated vsize (Kb) 20560

[startup+520.034 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6725
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2124 0 0 0 5211 12 0 0 25 0 1 0 20711743 18874368 2094 4294967295 134512640 134702520 3221223712 3220824128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6725/statm): 4608 2094 413 48 0 4560 0
[pid=6725] vsize: 18432
Current children cumulated CPU time (s) 519
Current children cumulated vsize (Kb) 20560

[startup+530.034 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6725
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2124 0 0 0 6211 12 0 0 25 0 1 0 20711743 18874368 2094 4294967295 134512640 134702520 3221223712 3220410508 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6725/statm): 4608 2094 413 48 0 4560 0
[pid=6725] vsize: 18432
Current children cumulated CPU time (s) 529
Current children cumulated vsize (Kb) 20560

[startup+540.034 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6725
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2127 0 0 0 7201 15 0 0 25 0 1 0 20711743 18874368 2097 4294967295 134512640 134702520 3221223712 3221155808 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6725/statm): 4608 2097 413 48 0 4560 0
[pid=6725] vsize: 18432
Current children cumulated CPU time (s) 538.93
Current children cumulated vsize (Kb) 20560

[startup+550.035 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6725
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2127 0 0 0 8201 15 0 0 25 0 1 0 20711743 18874368 2097 4294967295 134512640 134702520 3221223712 3220968128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6725/statm): 4608 2097 413 48 0 4560 0
[pid=6725] vsize: 18432
Current children cumulated CPU time (s) 548.93
Current children cumulated vsize (Kb) 20560

[startup+560.036 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6725
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2127 0 0 0 9201 15 0 0 25 0 1 0 20711743 18874368 2097 4294967295 134512640 134702520 3221223712 3220734848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6725/statm): 4608 2097 413 48 0 4560 0
[pid=6725] vsize: 18432
Current children cumulated CPU time (s) 558.93
Current children cumulated vsize (Kb) 20560

[startup+570.037 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6725
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2127 0 0 0 10201 15 0 0 25 0 1 0 20711743 18874368 2097 4294967295 134512640 134702520 3221223712 3220207628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6725/statm): 4608 2097 413 48 0 4560 0
[pid=6725] vsize: 18432
Current children cumulated CPU time (s) 568.93
Current children cumulated vsize (Kb) 20560

[startup+580.036 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6725
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2134 0 0 0 11191 19 0 0 25 0 1 0 20711743 18874368 2104 4294967295 134512640 134702520 3221223712 3221100448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4608 2104 413 48 0 4560 0
[pid=6725] vsize: 18432
Current children cumulated CPU time (s) 578.87
Current children cumulated vsize (Kb) 20560

[startup+590.037 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6725
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2134 0 0 0 12191 19 0 0 25 0 1 0 20711743 18874368 2104 4294967295 134512640 134702520 3221223712 3220904748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4608 2104 413 48 0 4560 0
[pid=6725] vsize: 18432
Current children cumulated CPU time (s) 588.87
Current children cumulated vsize (Kb) 20560

[startup+600.038 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6725
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2134 0 0 0 13191 19 0 0 25 0 1 0 20711743 18874368 2104 4294967295 134512640 134702520 3221223712 3220599328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4608 2104 413 48 0 4560 0
[pid=6725] vsize: 18432
Current children cumulated CPU time (s) 598.87
Current children cumulated vsize (Kb) 20560

[startup+610.038 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6725
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2136 0 0 0 14181 23 0 0 22 0 1 0 20711743 18923520 2106 4294967295 134512640 134702520 3221223712 3221220592 134611991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4620 2106 413 48 0 4572 0
[pid=6725] vsize: 18480
Current children cumulated CPU time (s) 608.81
Current children cumulated vsize (Kb) 20608

[startup+620.039 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6725
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2136 0 0 0 15181 23 0 0 25 0 1 0 20711743 18923520 2106 4294967295 134512640 134702520 3221223712 3221037248 134612005 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4620 2106 413 48 0 4572 0
[pid=6725] vsize: 18480
Current children cumulated CPU time (s) 618.81
Current children cumulated vsize (Kb) 20608

[startup+630.038 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6725
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2136 0 0 0 16181 23 0 0 25 0 1 0 20711743 18923520 2106 4294967295 134512640 134702520 3221223712 3220834208 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4620 2106 413 48 0 4572 0
[pid=6725] vsize: 18480
Current children cumulated CPU time (s) 628.81
Current children cumulated vsize (Kb) 20608

[startup+640.039 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6725
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2136 0 0 0 17181 23 0 0 25 0 1 0 20711743 18923520 2106 4294967295 134512640 134702520 3221223712 3220431148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4620 2106 413 48 0 4572 0
[pid=6725] vsize: 18480
Current children cumulated CPU time (s) 638.81
Current children cumulated vsize (Kb) 20608

[startup+650.039 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6725
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2138 0 0 0 18170 27 0 0 25 0 1 0 20711743 18923520 2108 4294967295 134512640 134702520 3221223712 3221161088 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4620 2108 413 48 0 4572 0
[pid=6725] vsize: 18480
Current children cumulated CPU time (s) 648.74
Current children cumulated vsize (Kb) 20608

[startup+660.041 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6725
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2138 0 0 0 19170 27 0 0 25 0 1 0 20711743 18923520 2108 4294967295 134512640 134702520 3221223712 3220971808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4620 2108 413 48 0 4572 0
[pid=6725] vsize: 18480
Current children cumulated CPU time (s) 658.74
Current children cumulated vsize (Kb) 20608

[startup+670.041 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6725
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2138 0 0 0 20170 27 0 0 25 0 1 0 20711743 18923520 2108 4294967295 134512640 134702520 3221223712 3220737888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4620 2108 413 48 0 4572 0
[pid=6725] vsize: 18480
Current children cumulated CPU time (s) 668.74
Current children cumulated vsize (Kb) 20608

[startup+680.041 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6725
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2138 0 0 0 21170 27 0 0 25 0 1 0 20711743 18923520 2108 4294967295 134512640 134702520 3221223712 3220205568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4620 2108 413 48 0 4572 0
[pid=6725] vsize: 18480
Current children cumulated CPU time (s) 678.74
Current children cumulated vsize (Kb) 20608

[startup+690.042 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6725
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2141 0 0 0 22157 31 0 0 25 0 1 0 20711743 18923520 2111 4294967295 134512640 134702520 3221223712 3221100608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6725/statm): 4620 2111 413 48 0 4572 0
[pid=6725] vsize: 18480
Current children cumulated CPU time (s) 688.65
Current children cumulated vsize (Kb) 20608

[startup+700.042 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6725
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2141 0 0 0 23157 31 0 0 25 0 1 0 20711743 18923520 2111 4294967295 134512640 134702520 3221223712 3220907148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6725/statm): 4620 2111 413 48 0 4572 0
[pid=6725] vsize: 18480
Current children cumulated CPU time (s) 698.65
Current children cumulated vsize (Kb) 20608

[startup+710.043 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6725
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2141 0 0 0 24157 31 0 0 25 0 1 0 20711743 18923520 2111 4294967295 134512640 134702520 3221223712 3220609228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6725/statm): 4620 2111 413 48 0 4572 0
[pid=6725] vsize: 18480
Current children cumulated CPU time (s) 708.65
Current children cumulated vsize (Kb) 20608

[startup+720.044 s]
Raw data (loadavg): 1.00 0.99 0.98 1/56 6725
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) T 6659 6659 4005 0 -1 0 2143 0 0 0 25150 34 0 0 23 0 1 0 20711743 18923520 2113 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6725/statm): 4620 2113 413 48 0 4572 0
[pid=6725] vsize: 18480
Current children cumulated CPU time (s) 718.61
Current children cumulated vsize (Kb) 20608

[startup+730.044 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6725
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2143 0 0 0 26145 36 0 0 25 0 1 0 20711743 18923520 2113 4294967295 134512640 134702520 3221223712 3221045728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6725/statm): 4620 2113 413 48 0 4572 0
[pid=6725] vsize: 18480
Current children cumulated CPU time (s) 728.58
Current children cumulated vsize (Kb) 20608

[startup+740.045 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2143 0 0 0 27145 36 0 0 25 0 1 0 20711743 18923520 2113 4294967295 134512640 134702520 3221223712 3220846048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6725/statm): 4620 2113 413 48 0 4572 0
[pid=6725] vsize: 18480
Current children cumulated CPU time (s) 738.58
Current children cumulated vsize (Kb) 20608

[startup+750.046 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2143 0 0 0 28145 36 0 0 25 0 1 0 20711743 18923520 2113 4294967295 134512640 134702520 3221223712 3220467488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6725/statm): 4620 2113 413 48 0 4572 0
[pid=6725] vsize: 18480
Current children cumulated CPU time (s) 748.58
Current children cumulated vsize (Kb) 20608

[startup+760.047 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2195 0 0 0 29129 41 0 0 25 0 1 0 20711743 18923520 2165 4294967295 134512640 134702520 3221223712 3221175968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4620 2165 413 48 0 4572 0
[pid=6725] vsize: 18480
Current children cumulated CPU time (s) 758.47
Current children cumulated vsize (Kb) 20608

[startup+770.048 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2195 0 0 0 30129 41 0 0 25 0 1 0 20711743 18923520 2165 4294967295 134512640 134702520 3221223712 3220988108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4620 2165 413 48 0 4572 0
[pid=6725] vsize: 18480
Current children cumulated CPU time (s) 768.47
Current children cumulated vsize (Kb) 20608

[startup+780.049 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2195 0 0 0 31129 41 0 0 25 0 1 0 20711743 18923520 2165 4294967295 134512640 134702520 3221223712 3220769408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4620 2165 413 48 0 4572 0
[pid=6725] vsize: 18480
Current children cumulated CPU time (s) 778.47
Current children cumulated vsize (Kb) 20608

[startup+790.049 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2195 0 0 0 32129 41 0 0 25 0 1 0 20711743 18923520 2165 4294967295 134512640 134702520 3221223712 3220270028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4620 2165 413 48 0 4572 0
[pid=6725] vsize: 18480
Current children cumulated CPU time (s) 788.47
Current children cumulated vsize (Kb) 20608

[startup+800.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2248 0 0 0 33117 44 0 0 25 0 1 0 20711743 18968576 2218 4294967295 134512640 134702520 3221223712 3221118048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6725/statm): 4631 2218 413 48 0 4583 0
[pid=6725] vsize: 18524
Current children cumulated CPU time (s) 798.38
Current children cumulated vsize (Kb) 20652

[startup+810.051 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2248 0 0 0 34117 44 0 0 25 0 1 0 20711743 18968576 2218 4294967295 134512640 134702520 3221223712 3220926188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6725/statm): 4631 2218 413 48 0 4583 0
[pid=6725] vsize: 18524
Current children cumulated CPU time (s) 808.38
Current children cumulated vsize (Kb) 20652

[startup+820.051 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2248 0 0 0 35117 45 0 0 25 0 1 0 20711743 18968576 2218 4294967295 134512640 134702520 3221223712 3220650028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6725/statm): 4631 2218 413 48 0 4583 0
[pid=6725] vsize: 18524
Current children cumulated CPU time (s) 818.39
Current children cumulated vsize (Kb) 20652

[startup+830.052 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2248 0 0 0 36117 45 0 0 25 0 1 0 20711743 18968576 2218 4294967295 134512640 134702520 3221223712 3219979008 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6725/statm): 4631 2218 413 48 0 4583 0
[pid=6725] vsize: 18524
Current children cumulated CPU time (s) 828.39
Current children cumulated vsize (Kb) 20652

[startup+840.054 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2266 0 0 0 37105 49 0 0 25 0 1 0 20711743 18968576 2236 4294967295 134512640 134702520 3221223712 3221065548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6725/statm): 4631 2236 413 48 0 4583 0
[pid=6725] vsize: 18524
Current children cumulated CPU time (s) 838.31
Current children cumulated vsize (Kb) 20652

[startup+850.054 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2266 0 0 0 38105 49 0 0 25 0 1 0 20711743 18968576 2236 4294967295 134512640 134702520 3221223712 3220868128 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6725/statm): 4631 2236 413 48 0 4583 0
[pid=6725] vsize: 18524
Current children cumulated CPU time (s) 848.31
Current children cumulated vsize (Kb) 20652

[startup+860.055 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2266 0 0 0 39105 49 0 0 25 0 1 0 20711743 18968576 2236 4294967295 134512640 134702520 3221223712 3220521248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6725/statm): 4631 2236 413 48 0 4583 0
[pid=6725] vsize: 18524
Current children cumulated CPU time (s) 858.31
Current children cumulated vsize (Kb) 20652

[startup+870.056 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2310 0 0 0 40091 54 0 0 25 0 1 0 20711743 19017728 2280 4294967295 134512640 134702520 3221223712 3221196288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4643 2280 413 48 0 4595 0
[pid=6725] vsize: 18572
Current children cumulated CPU time (s) 868.22
Current children cumulated vsize (Kb) 20700

[startup+880.056 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2310 0 0 0 41091 54 0 0 25 0 1 0 20711743 19017728 2280 4294967295 134512640 134702520 3221223712 3221010528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4643 2280 413 48 0 4595 0
[pid=6725] vsize: 18572
Current children cumulated CPU time (s) 878.22
Current children cumulated vsize (Kb) 20700

[startup+890.056 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2310 0 0 0 42091 54 0 0 25 0 1 0 20711743 19017728 2280 4294967295 134512640 134702520 3221223712 3220804288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4643 2280 413 48 0 4595 0
[pid=6725] vsize: 18572
Current children cumulated CPU time (s) 888.22
Current children cumulated vsize (Kb) 20700

[startup+900.057 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2310 0 0 0 43091 54 0 0 25 0 1 0 20711743 19017728 2280 4294967295 134512640 134702520 3221223712 3220348448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4643 2280 413 48 0 4595 0
[pid=6725] vsize: 18572
Current children cumulated CPU time (s) 898.22
Current children cumulated vsize (Kb) 20700

[startup+910.058 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2354 0 0 0 44077 58 0 0 25 0 1 0 20711743 19017728 2324 4294967295 134512640 134702520 3221223712 3221140588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4643 2324 413 48 0 4595 0
[pid=6725] vsize: 18572
Current children cumulated CPU time (s) 908.12
Current children cumulated vsize (Kb) 20700

[startup+920.058 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2354 0 0 0 45078 58 0 0 25 0 1 0 20711743 19017728 2324 4294967295 134512640 134702520 3221223712 3220949088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4643 2324 413 48 0 4595 0
[pid=6725] vsize: 18572
Current children cumulated CPU time (s) 918.13
Current children cumulated vsize (Kb) 20700

[startup+930.059 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2354 0 0 0 46078 58 0 0 25 0 1 0 20711743 19017728 2324 4294967295 134512640 134702520 3221223712 3220692748 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4643 2324 413 48 0 4595 0
[pid=6725] vsize: 18572
Current children cumulated CPU time (s) 928.13
Current children cumulated vsize (Kb) 20700

[startup+940.06 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2354 0 0 0 47078 58 0 0 25 0 1 0 20711743 19017728 2324 4294967295 134512640 134702520 3221223712 3220098688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4643 2324 413 48 0 4595 0
[pid=6725] vsize: 18572
Current children cumulated CPU time (s) 938.13
Current children cumulated vsize (Kb) 20700

[startup+950.059 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2355 0 0 0 48063 64 0 0 25 0 1 0 20711743 19066880 2325 4294967295 134512640 134702520 3221223712 3221081088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4655 2325 413 48 0 4607 0
[pid=6725] vsize: 18620
Current children cumulated CPU time (s) 948.04
Current children cumulated vsize (Kb) 20748

[startup+960.061 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2355 0 0 0 49064 64 0 0 25 0 1 0 20711743 19066880 2325 4294967295 134512640 134702520 3221223712 3220883308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4655 2325 413 48 0 4607 0
[pid=6725] vsize: 18620
Current children cumulated CPU time (s) 958.05
Current children cumulated vsize (Kb) 20748

[startup+970.062 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2355 0 0 0 50064 64 0 0 25 0 1 0 20711743 19066880 2325 4294967295 134512640 134702520 3221223712 3220551168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4655 2325 413 48 0 4607 0
[pid=6725] vsize: 18620
Current children cumulated CPU time (s) 968.05
Current children cumulated vsize (Kb) 20748

[startup+980.061 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2355 0 0 0 51050 68 0 0 25 0 1 0 20711743 19066880 2325 4294967295 134512640 134702520 3221223712 3221204748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4655 2325 413 48 0 4607 0
[pid=6725] vsize: 18620
Current children cumulated CPU time (s) 977.95
Current children cumulated vsize (Kb) 20748

[startup+990.062 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2355 0 0 0 52050 68 0 0 25 0 1 0 20711743 19066880 2325 4294967295 134512640 134702520 3221223712 3221019788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4655 2325 413 48 0 4607 0
[pid=6725] vsize: 18620
Current children cumulated CPU time (s) 987.95
Current children cumulated vsize (Kb) 20748

[startup+1000.06 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2355 0 0 0 53050 68 0 0 25 0 1 0 20711743 19066880 2325 4294967295 134512640 134702520 3221223712 3220814668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4655 2325 413 48 0 4607 0
[pid=6725] vsize: 18620
Current children cumulated CPU time (s) 997.95
Current children cumulated vsize (Kb) 20748

[startup+1010.06 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2355 0 0 0 54051 68 0 0 25 0 1 0 20711743 19066880 2325 4294967295 134512640 134702520 3221223712 3220378028 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4655 2325 413 48 0 4607 0
[pid=6725] vsize: 18620
Current children cumulated CPU time (s) 1007.96
Current children cumulated vsize (Kb) 20748

[startup+1020.06 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2356 0 0 0 55035 73 0 0 25 0 1 0 20711743 19066880 2326 4294967295 134512640 134702520 3221223712 3221149728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6725/statm): 4655 2326 413 48 0 4607 0
[pid=6725] vsize: 18620
Current children cumulated CPU time (s) 1017.85
Current children cumulated vsize (Kb) 20748

[startup+1030.06 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2356 0 0 0 56035 73 0 0 25 0 1 0 20711743 19066880 2326 4294967295 134512640 134702520 3221223712 3220961388 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6725/statm): 4655 2326 413 48 0 4607 0
[pid=6725] vsize: 18620
Current children cumulated CPU time (s) 1027.85
Current children cumulated vsize (Kb) 20748

[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2356 0 0 0 57035 73 0 0 25 0 1 0 20711743 19066880 2326 4294967295 134512640 134702520 3221223712 3220721548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6725/statm): 4655 2326 413 48 0 4607 0
[pid=6725] vsize: 18620
Current children cumulated CPU time (s) 1037.85
Current children cumulated vsize (Kb) 20748

[startup+1050.07 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2356 0 0 0 58035 73 0 0 25 0 1 0 20711743 19066880 2326 4294967295 134512640 134702520 3221223712 3220178988 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6725/statm): 4655 2326 413 48 0 4607 0
[pid=6725] vsize: 18620
Current children cumulated CPU time (s) 1047.85
Current children cumulated vsize (Kb) 20748

[startup+1060.07 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2359 0 0 0 59019 78 0 0 25 0 1 0 20711743 19066880 2329 4294967295 134512640 134702520 3221223712 3221100108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6725/statm): 4655 2329 413 48 0 4607 0
[pid=6725] vsize: 18620
Current children cumulated CPU time (s) 1057.74
Current children cumulated vsize (Kb) 20748

[startup+1070.07 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2359 0 0 0 60019 78 0 0 25 0 1 0 20711743 19066880 2329 4294967295 134512640 134702520 3221223712 3220906508 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6725/statm): 4655 2329 413 48 0 4607 0
[pid=6725] vsize: 18620
Current children cumulated CPU time (s) 1067.74
Current children cumulated vsize (Kb) 20748

[startup+1080.07 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2359 0 0 0 61019 78 0 0 25 0 1 0 20711743 19066880 2329 4294967295 134512640 134702520 3221223712 3220603328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4655 2329 413 48 0 4607 0
[pid=6725] vsize: 18620
Current children cumulated CPU time (s) 1077.74
Current children cumulated vsize (Kb) 20748

[startup+1090.07 s]
Raw data (loadavg): 1.00 0.99 0.98 1/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) T 6659 6659 4005 0 -1 0 2365 0 0 0 62010 82 0 0 23 0 1 0 20711743 19066880 2335 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4655 2335 413 48 0 4607 0
[pid=6725] vsize: 18620
Current children cumulated CPU time (s) 1087.69
Current children cumulated vsize (Kb) 20748

[startup+1100.07 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2389 0 0 0 63005 83 0 0 25 0 1 0 20711743 20074496 2359 4294967295 134512640 134702520 3221223712 3221047788 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6725/statm): 4901 2359 413 48 0 4853 0
[pid=6725] vsize: 19604
Current children cumulated CPU time (s) 1097.65
Current children cumulated vsize (Kb) 21732

[startup+1110.07 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2389 0 0 0 64005 83 0 0 25 0 1 0 20711743 20074496 2359 4294967295 134512640 134702520 3221223712 3220848448 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6725/statm): 4901 2359 413 48 0 4853 0
[pid=6725] vsize: 19604
Current children cumulated CPU time (s) 1107.65
Current children cumulated vsize (Kb) 21732

[startup+1120.07 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2389 0 0 0 65005 83 0 0 25 0 1 0 20711743 20074496 2359 4294967295 134512640 134702520 3221223712 3220473068 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6725/statm): 4901 2359 413 48 0 4853 0
[pid=6725] vsize: 19604
Current children cumulated CPU time (s) 1117.65
Current children cumulated vsize (Kb) 21732

[startup+1130.07 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2390 0 0 0 65989 90 0 0 25 0 1 0 20711743 20074496 2360 4294967295 134512640 134702520 3221223712 3221178048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6725/statm): 4901 2360 413 48 0 4853 0
[pid=6725] vsize: 19604
Current children cumulated CPU time (s) 1127.56
Current children cumulated vsize (Kb) 21732

[startup+1140.07 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2390 0 0 0 66989 90 0 0 25 0 1 0 20711743 20074496 2360 4294967295 134512640 134702520 3221223712 3220992448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6725/statm): 4901 2360 413 48 0 4853 0
[pid=6725] vsize: 19604
Current children cumulated CPU time (s) 1137.56
Current children cumulated vsize (Kb) 21732

[startup+1150.07 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2390 0 0 0 67989 90 0 0 25 0 1 0 20711743 20074496 2360 4294967295 134512640 134702520 3221223712 3220781548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6725/statm): 4901 2360 413 48 0 4853 0
[pid=6725] vsize: 19604
Current children cumulated CPU time (s) 1147.56
Current children cumulated vsize (Kb) 21732

[startup+1160.07 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2390 0 0 0 68989 90 0 0 25 0 1 0 20711743 20074496 2360 4294967295 134512640 134702520 3221223712 3220300748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6725/statm): 4901 2360 413 48 0 4853 0
[pid=6725] vsize: 19604
Current children cumulated CPU time (s) 1157.56
Current children cumulated vsize (Kb) 21732

[startup+1170.07 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2391 0 0 0 69973 94 0 0 25 0 1 0 20711743 20074496 2361 4294967295 134512640 134702520 3221223712 3221125568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4901 2361 413 48 0 4853 0
[pid=6725] vsize: 19604
Current children cumulated CPU time (s) 1167.44
Current children cumulated vsize (Kb) 21732

[startup+1180.07 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2391 0 0 0 70974 94 0 0 25 0 1 0 20711743 20074496 2361 4294967295 134512640 134702520 3221223712 3220932588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4901 2361 413 48 0 4853 0
[pid=6725] vsize: 19604
Current children cumulated CPU time (s) 1177.45
Current children cumulated vsize (Kb) 21732

[startup+1190.07 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2391 0 0 0 71974 94 0 0 25 0 1 0 20711743 20074496 2361 4294967295 134512640 134702520 3221223712 3220658828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4901 2361 413 48 0 4853 0
[pid=6725] vsize: 19604
Current children cumulated CPU time (s) 1187.45
Current children cumulated vsize (Kb) 21732

[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2391 0 0 0 72974 94 0 0 25 0 1 0 20711743 20074496 2361 4294967295 134512640 134702520 3221223712 3219995148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4901 2361 413 48 0 4853 0
[pid=6725] vsize: 19604
Current children cumulated CPU time (s) 1197.45
Current children cumulated vsize (Kb) 21732

[startup+1210.07 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2393 0 0 0 73958 99 0 0 25 0 1 0 20711743 20074496 2363 4294967295 134512640 134702520 3221223712 3221065248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4901 2363 413 48 0 4853 0
[pid=6725] vsize: 19604
Current children cumulated CPU time (s) 1207.34
Current children cumulated vsize (Kb) 21732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.08 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6727
Raw data (/proc/6659/stat): 6659 (vallstSAT2005PB) S 6658 6659 4005 0 -1 0 378 3186 0 0 2 1 46617 57 19 0 1 0 20664967 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6659/statm): 532 248 485 147 0 385 0
[pid=6659] vsize: 2128
Raw data (/proc/6725/stat): 6725 (vallst) R 6659 6659 4005 0 -1 0 2393 0 0 0 73958 99 0 0 25 0 1 0 20711743 20074496 2363 4294967295 134512640 134702520 3221223712 3221065068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6725/statm): 4901 2363 413 48 0 4853 0
[pid=6725] vsize: 19604
Current children cumulated CPU time (s) 1207.34
Current children cumulated vsize (Kb) 21732

Sending SIGTERM to -6659
Sleeping 2 seconds
New process pid=6729
New process pid=6730
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/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/3988/stat
open syscall for file /proc/3988/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/3988/cmdline
open syscall for file /proc/3988/environ
open syscall for file /proc/4013/stat
open syscall for file /proc/4013/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4013/cmdline
open syscall for file /proc/4013/environ
open syscall for file /proc/6620/stat
open syscall for file /proc/6620/status
open syscall for file /proc/6620/cmdline
open syscall for file /proc/6620/environ
open syscall for file /proc/6658/stat
open syscall for file /proc/6658/status
open syscall for file /proc/6658/cmdline
open syscall for file /proc/6658/environ
open syscall for file /proc/6659/stat
open syscall for file /proc/6659/status
open syscall for file /proc/6659/cmdline
open syscall for file /proc/6659/environ
open syscall for file /proc/6725/stat
open syscall for file /proc/6725/status
open syscall for file /proc/6725/cmdline
open syscall for file /proc/6725/environ
open syscall for file /proc/6729/stat
open syscall for file /proc/6729/status
open syscall for file /proc/6729/cmdline
open syscall for file /proc/6729/environ
open syscall for file /proc/6730/stat
open syscall for file /proc/6730/status
open syscall for file /proc/6730/cmdline
open syscall for file /proc/6730/environ
One traced child (pid=6729) exited with status: 0
One traced child (pid=6730) exited with status: 0
New process pid=6731
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=6731) exited with status: 0
New process pid=6732
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=6732) exited with status: 0
One traced child (pid=6659) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -6659
One traced child (pid=6725) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1212.09
CPU time (s): 742.591
CPU user time (s): 741.587
CPU system time (s): 1.00385
CPU usage (%): 61.2655
Max. virtual memory (cumulated for all children) (Kb): 24364

Verifier Data

ERROR: no interpretation found !