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-dolom1.opb
MD5SUMfe8b094f76209ea2b750f65d04b1eb0e
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 47560
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 35144117773963558912
Number of bits of the sum of numbers in the objective function 65
Biggest number in a constraint 524288000000000000
Number of bits of the biggest number in a constraint 59
Biggest sum of numbers in a constraint 35156917773963558912
Number of bits of the biggest sum of numbers65
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables47560
Total number of constraints11523
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)9721
Number of constraints which are nor clauses,nor cardinality constraints1802
Minimum length of a constraint1
Maximum length of a constraint47560

Trace number 9453

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.261
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:        900184 kB
Buffers:         15816 kB
Cached:          98696 kB
SwapCached:          0 kB
Active:          50820 kB
Inactive:        66496 kB
HighTotal:      131008 kB
HighFree:        35084 kB
LowTotal:       903652 kB
LowFree:        865100 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              56 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            11568 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 14:04:18 (client local time) WITH STATUS 0 IN 875.529 SECONDS
stats: 8179 7 875.529 0

Solver Data

1:
seed: 0
Nr of vars set: 11543  (#equs: 0)
Nr of vars set: 11543  (#equs: 0)
#decisions: 12546;  #end-nodes: 8803;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 103 (103)
#axs: 3495, #non-axs: 1
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: 11543  (#equs: 0)
Time taken: 5 min, 33 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/7956/stat): 7956 (vallstSAT2005PB) R 7955 7956 4070 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20662618 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7956/statm): 174 3 169 147 0 27 0
[pid=7956] 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=7957
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=7957) exited with status: 0
New process pid=7958
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=7958) exited with status: 0
New process pid=7959
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/wulflinc2/normalized-mps-v2-13-7-dolom1.opb

[startup+10.0027 s]
Raw data (loadavg): 0.94 0.98 0.99 2/56 7959
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20662618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 242 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7959/stat): 7959 (vallst) R 7956 7956 4070 0 -1 0 2553 0 0 0 973 13 0 0 25 0 1 0 20662625 16703488 2394 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7959/statm): 4078 2394 413 48 0 4030 0
[pid=7959] vsize: 16312
Current children cumulated CPU time (s) 9.88
Current children cumulated vsize (Kb) 18440
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+20.0034 s]
Raw data (loadavg): 0.95 0.98 0.99 2/56 7959
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20662618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 242 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7959/stat): 7959 (vallst) R 7956 7956 4070 0 -1 0 3474 0 0 0 1958 22 0 0 25 0 1 0 20662625 17137664 3201 4294967295 134512640 134702520 3221223952 3221194188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7959/statm): 4184 3201 413 48 0 4136 0
[pid=7959] vsize: 16736
Current children cumulated CPU time (s) 19.82
Current children cumulated vsize (Kb) 18864

[startup+30.0041 s]
Raw data (loadavg): 0.95 0.98 0.99 2/56 7959
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20662618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 242 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7959/stat): 7959 (vallst) R 7956 7956 4070 0 -1 0 3509 0 0 0 2958 23 0 0 25 0 1 0 20662625 17281024 3236 4294967295 134512640 134702520 3221223952 3221050188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7959/statm): 4219 3236 413 48 0 4171 0
[pid=7959] vsize: 16876
Current children cumulated CPU time (s) 29.83
Current children cumulated vsize (Kb) 19004

[startup+40.0048 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 7959
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20662618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 242 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7959/stat): 7959 (vallst) R 7956 7956 4070 0 -1 0 3558 0 0 0 3958 23 0 0 25 0 1 0 20662625 17481728 3285 4294967295 134512640 134702520 3221223952 3220851628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7959/statm): 4268 3285 413 48 0 4220 0
[pid=7959] vsize: 17072
Current children cumulated CPU time (s) 39.83
Current children cumulated vsize (Kb) 19200

[startup+50.0056 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 7959
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20662618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 242 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7959/stat): 7959 (vallst) R 7956 7956 4070 0 -1 0 3626 0 0 0 4958 23 0 0 25 0 1 0 20662625 17760256 3353 4294967295 134512640 134702520 3221223952 3220571948 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7959/statm): 4336 3353 413 48 0 4288 0
[pid=7959] vsize: 17344
Current children cumulated CPU time (s) 49.83
Current children cumulated vsize (Kb) 19472

[startup+60.0063 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 7959
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20662618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 242 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7959/stat): 7959 (vallst) R 7956 7956 4070 0 -1 0 3722 0 0 0 5958 23 0 0 25 0 1 0 20662625 18153472 3449 4294967295 134512640 134702520 3221223952 3220179488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7959/statm): 4432 3449 413 48 0 4384 0
[pid=7959] vsize: 17728
Current children cumulated CPU time (s) 59.83
Current children cumulated vsize (Kb) 19856

[startup+70.007 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 7959
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20662618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 242 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7959/stat): 7959 (vallst) R 7956 7956 4070 0 -1 0 3949 0 0 0 6950 26 0 0 25 0 1 0 20662625 36003840 3676 4294967295 134512640 134702520 3221223952 3221195568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7959/statm): 8790 3676 413 48 0 8742 0
[pid=7959] vsize: 35160
Current children cumulated CPU time (s) 69.78
Current children cumulated vsize (Kb) 37288

[startup+80.0077 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 7959
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20662618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 242 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7959/stat): 7959 (vallst) R 7956 7956 4070 0 -1 0 3949 0 0 0 7950 26 0 0 25 0 1 0 20662625 36003840 3676 4294967295 134512640 134702520 3221223952 3220968032 134611991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7959/statm): 8790 3676 413 48 0 8742 0
[pid=7959] vsize: 35160
Current children cumulated CPU time (s) 79.78
Current children cumulated vsize (Kb) 37288

[startup+90.0074 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 7959
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20662618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 242 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7959/stat): 7959 (vallst) R 7956 7956 4070 0 -1 0 3949 0 0 0 8950 26 0 0 25 0 1 0 20662625 36003840 3676 4294967295 134512640 134702520 3221223952 3220701948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7959/statm): 8790 3676 413 48 0 8742 0
[pid=7959] vsize: 35160
Current children cumulated CPU time (s) 89.78
Current children cumulated vsize (Kb) 37288

[startup+100.008 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 7959
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20662618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 242 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7959/stat): 7959 (vallst) R 7956 7956 4070 0 -1 0 3949 0 0 0 9950 26 0 0 25 0 1 0 20662625 36003840 3676 4294967295 134512640 134702520 3221223952 3220366428 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7959/statm): 8790 3676 413 48 0 8742 0
[pid=7959] vsize: 35160
Current children cumulated CPU time (s) 99.78
Current children cumulated vsize (Kb) 37288

[startup+110.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7959
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20662618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 242 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7959/stat): 7959 (vallst) R 7956 7956 4070 0 -1 0 3949 0 0 0 10951 26 0 0 25 0 1 0 20662625 36003840 3676 4294967295 134512640 134702520 3221223952 3219827408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7959/statm): 8790 3676 413 48 0 8742 0
[pid=7959] vsize: 35160
Current children cumulated CPU time (s) 109.79
Current children cumulated vsize (Kb) 37288

[startup+120.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7959
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20662618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 242 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7959/stat): 7959 (vallst) R 7956 7956 4070 0 -1 0 3950 0 0 0 11943 28 0 0 25 0 1 0 20662625 36003840 3677 4294967295 134512640 134702520 3221223952 3221070908 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7959/statm): 8790 3677 413 48 0 8742 0
[pid=7959] vsize: 35160
Current children cumulated CPU time (s) 119.73
Current children cumulated vsize (Kb) 37288

[startup+130.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7959
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20662618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 242 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7959/stat): 7959 (vallst) R 7956 7956 4070 0 -1 0 3950 0 0 0 12944 28 0 0 25 0 1 0 20662625 36003840 3677 4294967295 134512640 134702520 3221223952 3220823888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7959/statm): 8790 3677 413 48 0 8742 0
[pid=7959] vsize: 35160
Current children cumulated CPU time (s) 129.74
Current children cumulated vsize (Kb) 37288

[startup+140.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7959
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20662618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 242 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7959/stat): 7959 (vallst) R 7956 7956 4070 0 -1 0 3950 0 0 0 13944 28 0 0 25 0 1 0 20662625 36003840 3677 4294967295 134512640 134702520 3221223952 3220524828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7959/statm): 8790 3677 413 48 0 8742 0
[pid=7959] vsize: 35160
Current children cumulated CPU time (s) 139.74
Current children cumulated vsize (Kb) 37288

[startup+150.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7959
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20662618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 242 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7959/stat): 7959 (vallst) R 7956 7956 4070 0 -1 0 3950 0 0 0 14944 28 0 0 25 0 1 0 20662625 36003840 3677 4294967295 134512640 134702520 3221223952 3220112508 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7959/statm): 8790 3677 413 48 0 8742 0
[pid=7959] vsize: 35160
Current children cumulated CPU time (s) 149.74
Current children cumulated vsize (Kb) 37288

[startup+160.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7959
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20662618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 242 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7959/stat): 7959 (vallst) R 7956 7956 4070 0 -1 0 3951 0 0 0 15937 30 0 0 25 0 1 0 20662625 36003840 3678 4294967295 134512640 134702520 3221223952 3221168208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7959/statm): 8790 3678 413 48 0 8742 0
[pid=7959] vsize: 35160
Current children cumulated CPU time (s) 159.69
Current children cumulated vsize (Kb) 37288

[startup+170.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7959
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20662618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 242 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7959/stat): 7959 (vallst) R 7956 7956 4070 0 -1 0 3951 0 0 0 16937 30 0 0 25 0 1 0 20662625 36003840 3678 4294967295 134512640 134702520 3221223952 3220936508 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7959/statm): 8790 3678 413 48 0 8742 0
[pid=7959] vsize: 35160
Current children cumulated CPU time (s) 169.69
Current children cumulated vsize (Kb) 37288

[startup+180.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7959
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20662618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 242 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7959/stat): 7959 (vallst) R 7956 7956 4070 0 -1 0 3951 0 0 0 17937 30 0 0 25 0 1 0 20662625 36003840 3678 4294967295 134512640 134702520 3221223952 3220663868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7959/statm): 8790 3678 413 48 0 8742 0
[pid=7959] vsize: 35160
Current children cumulated CPU time (s) 179.69
Current children cumulated vsize (Kb) 37288

[startup+190.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7959
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20662618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 242 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7959/stat): 7959 (vallst) R 7956 7956 4070 0 -1 0 3951 0 0 0 18937 30 0 0 25 0 1 0 20662625 36003840 3678 4294967295 134512640 134702520 3221223952 3220315088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7959/statm): 8790 3678 413 48 0 8742 0
[pid=7959] vsize: 35160
Current children cumulated CPU time (s) 189.69
Current children cumulated vsize (Kb) 37288

[startup+200.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7959
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20662618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 242 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7959/stat): 7959 (vallst) R 7956 7956 4070 0 -1 0 3951 0 0 0 19938 30 0 0 25 0 1 0 20662625 36003840 3678 4294967295 134512640 134702520 3221223952 3219699228 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7959/statm): 8790 3678 413 48 0 8742 0
[pid=7959] vsize: 35160
Current children cumulated CPU time (s) 199.7
Current children cumulated vsize (Kb) 37288

[startup+210.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7959
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20662618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 242 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7959/stat): 7959 (vallst) R 7956 7956 4070 0 -1 0 3951 0 0 0 20929 33 0 0 25 0 1 0 20662625 36003840 3678 4294967295 134512640 134702520 3221223952 3221041968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7959/statm): 8790 3678 413 48 0 8742 0
[pid=7959] vsize: 35160
Current children cumulated CPU time (s) 209.64
Current children cumulated vsize (Kb) 37288

[startup+220.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7959
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20662618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 242 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7959/stat): 7959 (vallst) R 7956 7956 4070 0 -1 0 3951 0 0 0 21929 33 0 0 25 0 1 0 20662625 36003840 3678 4294967295 134512640 134702520 3221223952 3220789808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7959/statm): 8790 3678 413 48 0 8742 0
[pid=7959] vsize: 35160
Current children cumulated CPU time (s) 219.64
Current children cumulated vsize (Kb) 37288

[startup+230.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7959
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20662618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 242 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7959/stat): 7959 (vallst) R 7956 7956 4070 0 -1 0 3951 0 0 0 22929 33 0 0 25 0 1 0 20662625 36003840 3678 4294967295 134512640 134702520 3221223952 3220481488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7959/statm): 8790 3678 413 48 0 8742 0
[pid=7959] vsize: 35160
Current children cumulated CPU time (s) 229.64
Current children cumulated vsize (Kb) 37288

[startup+240.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7959
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20662618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 242 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7959/stat): 7959 (vallst) R 7956 7956 4070 0 -1 0 3951 0 0 0 23929 33 0 0 25 0 1 0 20662625 36003840 3678 4294967295 134512640 134702520 3221223952 3220043228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7959/statm): 8790 3678 413 48 0 8742 0
[pid=7959] vsize: 35160
Current children cumulated CPU time (s) 239.64
Current children cumulated vsize (Kb) 37288

[startup+250.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7959
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20662618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 242 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7959/stat): 7959 (vallst) R 7956 7956 4070 0 -1 0 3953 0 0 0 24921 36 0 0 25 0 1 0 20662625 36003840 3680 4294967295 134512640 134702520 3221223952 3221140048 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7959/statm): 8790 3680 413 48 0 8742 0
[pid=7959] vsize: 35160
Current children cumulated CPU time (s) 249.59
Current children cumulated vsize (Kb) 37288

[startup+260.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7959
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20662618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 242 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7959/stat): 7959 (vallst) R 7956 7956 4070 0 -1 0 3953 0 0 0 25922 36 0 0 25 0 1 0 20662625 36003840 3680 4294967295 134512640 134702520 3221223952 3220901648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7959/statm): 8790 3680 413 48 0 8742 0
[pid=7959] vsize: 35160
Current children cumulated CPU time (s) 259.6
Current children cumulated vsize (Kb) 37288

[startup+270.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7959
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20662618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 242 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7959/stat): 7959 (vallst) R 7956 7956 4070 0 -1 0 3953 0 0 0 26922 36 0 0 25 0 1 0 20662625 36003840 3680 4294967295 134512640 134702520 3221223952 3220618108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7959/statm): 8790 3680 413 48 0 8742 0
[pid=7959] vsize: 35160
Current children cumulated CPU time (s) 269.6
Current children cumulated vsize (Kb) 37288

[startup+280.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7959
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20662618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 242 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7959/stat): 7959 (vallst) R 7956 7956 4070 0 -1 0 3953 0 0 0 27922 36 0 0 25 0 1 0 20662625 36003840 3680 4294967295 134512640 134702520 3221223952 3220246608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7959/statm): 8790 3680 413 48 0 8742 0
[pid=7959] vsize: 35160
Current children cumulated CPU time (s) 279.6
Current children cumulated vsize (Kb) 37288

[startup+290.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7959
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20662618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 242 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7959/stat): 7959 (vallst) R 7956 7956 4070 0 -1 0 3953 0 0 0 28912 39 0 0 23 0 1 0 20662625 36003840 3680 4294967295 134512640 134702520 3221223952 3221222128 134612714 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7959/statm): 8790 3680 413 48 0 8742 0
[pid=7959] vsize: 35160
Current children cumulated CPU time (s) 289.53
Current children cumulated vsize (Kb) 37288

[startup+300.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7959
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20662618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 242 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7959/stat): 7959 (vallst) R 7956 7956 4070 0 -1 0 3953 0 0 0 29912 39 0 0 25 0 1 0 20662625 36003840 3680 4294967295 134512640 134702520 3221223952 3221000688 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7959/statm): 8790 3680 413 48 0 8742 0
[pid=7959] vsize: 35160
Current children cumulated CPU time (s) 299.53
Current children cumulated vsize (Kb) 37288

[startup+310.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7959
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20662618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 242 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7959/stat): 7959 (vallst) R 7956 7956 4070 0 -1 0 3953 0 0 0 30912 39 0 0 25 0 1 0 20662625 36003840 3680 4294967295 134512640 134702520 3221223952 3220738128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7959/statm): 8790 3680 413 48 0 8742 0
[pid=7959] vsize: 35160
Current children cumulated CPU time (s) 309.53
Current children cumulated vsize (Kb) 37288

[startup+320.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7959
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20662618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 242 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7959/stat): 7959 (vallst) R 7956 7956 4070 0 -1 0 3953 0 0 0 31912 39 0 0 25 0 1 0 20662625 36003840 3680 4294967295 134512640 134702520 3221223952 3220410608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7959/statm): 8790 3680 413 48 0 8742 0
[pid=7959] vsize: 35160
Current children cumulated CPU time (s) 319.53
Current children cumulated vsize (Kb) 37288

[startup+330.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7959
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20662618 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 242 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7959/stat): 7959 (vallst) R 7956 7956 4070 0 -1 0 3953 0 0 0 32913 39 0 0 25 0 1 0 20662625 36003840 3680 4294967295 134512640 134702520 3221223952 3219910268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7959/statm): 8790 3680 413 48 0 8742 0
[pid=7959] vsize: 35160
Current children cumulated CPU time (s) 329.54
Current children cumulated vsize (Kb) 37288
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=7959) exited with status: 2
New process pid=7960
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=7960) exited with status: 0
New process pid=7961
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+340.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 2714 0 0 0 489 15 0 0 25 0 1 0 20696113 14344192 2684 4294967295 134512640 134702520 3221223712 3221196368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 3502 2684 413 48 0 3454 0
[pid=7961] vsize: 14008
Current children cumulated CPU time (s) 339.41
Current children cumulated vsize (Kb) 16136

[startup+350.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 2747 0 0 0 1489 15 0 0 25 0 1 0 20696113 14479360 2717 4294967295 134512640 134702520 3221223712 3221058908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 3535 2717 413 48 0 3487 0
[pid=7961] vsize: 14140
Current children cumulated CPU time (s) 349.41
Current children cumulated vsize (Kb) 16268

[startup+360.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 2785 0 0 0 2489 15 0 0 25 0 1 0 20696113 14635008 2755 4294967295 134512640 134702520 3221223712 3220904028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 3573 2755 413 48 0 3525 0
[pid=7961] vsize: 14292
Current children cumulated CPU time (s) 359.41
Current children cumulated vsize (Kb) 16420

[startup+370.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 2839 0 0 0 3489 15 0 0 25 0 1 0 20696113 14856192 2809 4294967295 134512640 134702520 3221223712 3220682588 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7961/statm): 3627 2809 413 48 0 3579 0
[pid=7961] vsize: 14508
Current children cumulated CPU time (s) 369.41
Current children cumulated vsize (Kb) 16636

[startup+380.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 2924 0 0 0 4488 15 0 0 25 0 1 0 20696113 15204352 2894 4294967295 134512640 134702520 3221223712 3220336208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7961/statm): 3712 2894 413 48 0 3664 0
[pid=7961] vsize: 14848
Current children cumulated CPU time (s) 379.4
Current children cumulated vsize (Kb) 16976

[startup+390.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3068 0 0 0 5488 16 0 0 25 0 1 0 20696113 15794176 3038 4294967295 134512640 134702520 3221223712 3219746268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7961/statm): 3856 3038 413 48 0 3808 0
[pid=7961] vsize: 15424
Current children cumulated CPU time (s) 389.41
Current children cumulated vsize (Kb) 17552

[startup+400.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3206 0 0 0 6476 20 0 0 25 0 1 0 20696113 30359552 3175 4294967295 134512640 134702520 3221223712 3221057248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3175 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 399.33
Current children cumulated vsize (Kb) 31776

[startup+410.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3206 0 0 0 7477 20 0 0 25 0 1 0 20696113 30359552 3175 4294967295 134512640 134702520 3221223712 3220807648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3175 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 409.34
Current children cumulated vsize (Kb) 31776

[startup+420.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3206 0 0 0 8477 20 0 0 25 0 1 0 20696113 30359552 3175 4294967295 134512640 134702520 3221223712 3220504128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3175 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 419.34
Current children cumulated vsize (Kb) 31776

[startup+430.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3206 0 0 0 9477 20 0 0 25 0 1 0 20696113 30359552 3175 4294967295 134512640 134702520 3221223712 3220079968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3175 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 429.34
Current children cumulated vsize (Kb) 31776

[startup+440.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3208 0 0 0 10468 23 0 0 25 0 1 0 20696113 30359552 3176 4294967295 134512640 134702520 3221223712 3221159648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7961/statm): 7412 3176 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 439.28
Current children cumulated vsize (Kb) 31776

[startup+450.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3208 0 0 0 11468 23 0 0 25 0 1 0 20696113 30359552 3176 4294967295 134512640 134702520 3221223712 3220924108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7961/statm): 7412 3176 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 449.28
Current children cumulated vsize (Kb) 31776

[startup+460.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3208 0 0 0 12468 23 0 0 25 0 1 0 20696113 30359552 3176 4294967295 134512640 134702520 3221223712 3220645408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7961/statm): 7412 3176 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 459.28
Current children cumulated vsize (Kb) 31776

[startup+470.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3208 0 0 0 13468 23 0 0 25 0 1 0 20696113 30359552 3176 4294967295 134512640 134702520 3221223712 3220285088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7961/statm): 7412 3176 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 469.28
Current children cumulated vsize (Kb) 31776

[startup+480.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3208 0 0 0 14468 23 0 0 25 0 1 0 20696113 30359552 3176 4294967295 134512640 134702520 3221223712 3219580428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7961/statm): 7412 3176 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 479.28
Current children cumulated vsize (Kb) 31776

[startup+490.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3213 0 0 0 15456 27 0 0 25 0 1 0 20696113 30359552 3180 4294967295 134512640 134702520 3221223712 3221026828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3180 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 489.2
Current children cumulated vsize (Kb) 31776

[startup+500.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3213 0 0 0 16457 27 0 0 25 0 1 0 20696113 30359552 3180 4294967295 134512640 134702520 3221223712 3220771808 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3180 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 499.21
Current children cumulated vsize (Kb) 31776

[startup+510.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3213 0 0 0 17457 27 0 0 25 0 1 0 20696113 30359552 3180 4294967295 134512640 134702520 3221223712 3220458348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3180 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 509.21
Current children cumulated vsize (Kb) 31776

[startup+520.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3213 0 0 0 18457 27 0 0 25 0 1 0 20696113 30359552 3180 4294967295 134512640 134702520 3221223712 3220003948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3180 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 519.21
Current children cumulated vsize (Kb) 31776

[startup+530.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3215 0 0 0 19446 32 0 0 25 0 1 0 20696113 30359552 3181 4294967295 134512640 134702520 3221223712 3221131488 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3181 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 529.15
Current children cumulated vsize (Kb) 31776

[startup+540.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3215 0 0 0 20446 32 0 0 25 0 1 0 20696113 30359552 3181 4294967295 134512640 134702520 3221223712 3220894348 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3181 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 539.15
Current children cumulated vsize (Kb) 31776

[startup+550.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3215 0 0 0 21446 32 0 0 25 0 1 0 20696113 30359552 3181 4294967295 134512640 134702520 3221223712 3220612128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3181 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 549.15
Current children cumulated vsize (Kb) 31776

[startup+560.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3215 0 0 0 22446 32 0 0 25 0 1 0 20696113 30359552 3181 4294967295 134512640 134702520 3221223712 3220242508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3181 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 559.15
Current children cumulated vsize (Kb) 31776

[startup+570.031 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) T 7956 7956 4070 0 -1 0 3217 0 0 0 23435 37 0 0 23 0 1 0 20696113 30359552 3182 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3182 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 569.09
Current children cumulated vsize (Kb) 31776

[startup+580.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3218 0 0 0 24433 37 0 0 25 0 1 0 20696113 30359552 3183 4294967295 134512640 134702520 3221223712 3221006668 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3183 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 579.07
Current children cumulated vsize (Kb) 31776

[startup+590.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3218 0 0 0 25434 37 0 0 25 0 1 0 20696113 30359552 3183 4294967295 134512640 134702520 3221223712 3220747968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3183 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 589.08
Current children cumulated vsize (Kb) 31776

[startup+600.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3218 0 0 0 26434 37 0 0 25 0 1 0 20696113 30359552 3183 4294967295 134512640 134702520 3221223712 3220427168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3183 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 599.08
Current children cumulated vsize (Kb) 31776

[startup+610.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3218 0 0 0 27434 37 0 0 25 0 1 0 20696113 30359552 3183 4294967295 134512640 134702520 3221223712 3219948748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3183 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 609.08
Current children cumulated vsize (Kb) 31776

[startup+620.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3221 0 0 0 28421 41 0 0 25 0 1 0 20696113 30359552 3185 4294967295 134512640 134702520 3221223712 3221112288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3185 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 618.99
Current children cumulated vsize (Kb) 31776

[startup+630.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3221 0 0 0 29421 41 0 0 25 0 1 0 20696113 30359552 3185 4294967295 134512640 134702520 3221223712 3220871968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3185 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 628.99
Current children cumulated vsize (Kb) 31776

[startup+640.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3221 0 0 0 30421 42 0 0 25 0 1 0 20696113 30359552 3185 4294967295 134512640 134702520 3221223712 3220584748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3185 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 639
Current children cumulated vsize (Kb) 31776

[startup+650.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3221 0 0 0 31422 42 0 0 25 0 1 0 20696113 30359552 3185 4294967295 134512640 134702520 3221223712 3220202828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3185 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 649.01
Current children cumulated vsize (Kb) 31776

[startup+660.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3224 0 0 0 32410 45 0 0 23 0 1 0 20696113 30359552 3187 4294967295 134512640 134702520 3221223712 3221211808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3187 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 658.92
Current children cumulated vsize (Kb) 31776

[startup+670.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3224 0 0 0 33410 45 0 0 25 0 1 0 20696113 30359552 3187 4294967295 134512640 134702520 3221223712 3220986348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3187 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 668.92
Current children cumulated vsize (Kb) 31776

[startup+680.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3224 0 0 0 34410 45 0 0 25 0 1 0 20696113 30359552 3187 4294967295 134512640 134702520 3221223712 3220723808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3187 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 678.92
Current children cumulated vsize (Kb) 31776

[startup+690.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3224 0 0 0 35410 45 0 0 25 0 1 0 20696113 30359552 3187 4294967295 134512640 134702520 3221223712 3220395488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3187 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 688.92
Current children cumulated vsize (Kb) 31776

[startup+700.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3224 0 0 0 36411 45 0 0 25 0 1 0 20696113 30359552 3187 4294967295 134512640 134702520 3221223712 3219887948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3187 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 698.93
Current children cumulated vsize (Kb) 31776

[startup+710.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3227 0 0 0 37398 50 0 0 25 0 1 0 20696113 30359552 3189 4294967295 134512640 134702520 3221223712 3221094028 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3189 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 708.85
Current children cumulated vsize (Kb) 31776

[startup+720.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3227 0 0 0 38398 50 0 0 25 0 1 0 20696113 30359552 3189 4294967295 134512640 134702520 3221223712 3220850688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3189 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 718.85
Current children cumulated vsize (Kb) 31776

[startup+730.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3227 0 0 0 39398 50 0 0 25 0 1 0 20696113 30359552 3189 4294967295 134512640 134702520 3221223712 3220558188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3189 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 728.85
Current children cumulated vsize (Kb) 31776

[startup+740.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3227 0 0 0 40398 50 0 0 25 0 1 0 20696113 30359552 3189 4294967295 134512640 134702520 3221223712 3220163968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3189 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 738.85
Current children cumulated vsize (Kb) 31776

[startup+750.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3234 0 0 0 41385 54 0 0 25 0 1 0 20696113 30359552 3195 4294967295 134512640 134702520 3221223712 3221195968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3195 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 748.76
Current children cumulated vsize (Kb) 31776

[startup+760.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3234 0 0 0 42385 54 0 0 25 0 1 0 20696113 30359552 3195 4294967295 134512640 134702520 3221223712 3220968268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3195 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 758.76
Current children cumulated vsize (Kb) 31776

[startup+770.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3234 0 0 0 43385 54 0 0 25 0 1 0 20696113 30359552 3195 4294967295 134512640 134702520 3221223712 3220702028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3195 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 768.76
Current children cumulated vsize (Kb) 31776

[startup+780.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3234 0 0 0 44385 54 0 0 25 0 1 0 20696113 30359552 3195 4294967295 134512640 134702520 3221223712 3220366528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3195 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 778.76
Current children cumulated vsize (Kb) 31776

[startup+790.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3234 0 0 0 45385 54 0 0 25 0 1 0 20696113 30359552 3195 4294967295 134512640 134702520 3221223712 3219827968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3195 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 788.76
Current children cumulated vsize (Kb) 31776

[startup+800.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3244 0 0 0 46371 60 0 0 25 0 1 0 20696113 30359552 3204 4294967295 134512640 134702520 3221223712 3221078836 134611990 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3204 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 798.68
Current children cumulated vsize (Kb) 31776

[startup+810.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3244 0 0 0 47372 60 0 0 25 0 1 0 20696113 30359552 3204 4294967295 134512640 134702520 3221223712 3220832908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3204 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 808.69
Current children cumulated vsize (Kb) 31776

[startup+820.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3244 0 0 0 48372 60 0 0 25 0 1 0 20696113 30359552 3204 4294967295 134512640 134702520 3221223712 3220535948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3204 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 818.69
Current children cumulated vsize (Kb) 31776

[startup+830.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3244 0 0 0 49372 60 0 0 25 0 1 0 20696113 30359552 3204 4294967295 134512640 134702520 3221223712 3220130048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7412 3204 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 828.69
Current children cumulated vsize (Kb) 31776

[startup+840.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3258 0 0 0 50358 63 0 0 25 0 1 0 20696113 30359552 3217 4294967295 134512640 134702520 3221223712 3221182688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7961/statm): 7412 3217 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 838.58
Current children cumulated vsize (Kb) 31776

[startup+850.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3258 0 0 0 51359 63 0 0 25 0 1 0 20696113 30359552 3217 4294967295 134512640 134702520 3221223712 3220950668 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7961/statm): 7412 3217 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 848.59
Current children cumulated vsize (Kb) 31776

[startup+860.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3258 0 0 0 52359 63 0 0 25 0 1 0 20696113 30359552 3217 4294967295 134512640 134702520 3221223712 3220677708 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7961/statm): 7412 3217 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 858.59
Current children cumulated vsize (Kb) 31776

[startup+870.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3258 0 0 0 53358 64 0 0 25 0 1 0 20696113 30359552 3217 4294967295 134512640 134702520 3221223712 3220329868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7961/statm): 7412 3217 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 868.59
Current children cumulated vsize (Kb) 31776

[startup+880.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3258 0 0 0 54358 64 0 0 25 0 1 0 20696113 30359552 3217 4294967295 134512640 134702520 3221223712 3219729708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7961/statm): 7412 3217 413 48 0 7364 0
[pid=7961] vsize: 29648
Current children cumulated CPU time (s) 878.59
Current children cumulated vsize (Kb) 31776

[startup+890.046 s]
Raw data (loadavg): 1.07 1.00 1.00 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3265 0 0 0 55344 69 0 0 25 0 1 0 20696113 30494720 3223 4294967295 134512640 134702520 3221223712 3221053708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7961/statm): 7445 3223 413 48 0 7397 0
[pid=7961] vsize: 29780
Current children cumulated CPU time (s) 888.5
Current children cumulated vsize (Kb) 31908

[startup+900.046 s]
Raw data (loadavg): 1.06 1.00 1.00 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3265 0 0 0 56344 69 0 0 25 0 1 0 20696113 30494720 3223 4294967295 134512640 134702520 3221223712 3220800748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7961/statm): 7445 3223 413 48 0 7397 0
[pid=7961] vsize: 29780
Current children cumulated CPU time (s) 898.5
Current children cumulated vsize (Kb) 31908

[startup+910.047 s]
Raw data (loadavg): 1.05 1.00 1.00 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3265 0 0 0 57344 69 0 0 25 0 1 0 20696113 30494720 3223 4294967295 134512640 134702520 3221223712 3220491808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7961/statm): 7445 3223 413 48 0 7397 0
[pid=7961] vsize: 29780
Current children cumulated CPU time (s) 908.5
Current children cumulated vsize (Kb) 31908

[startup+920.049 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3265 0 0 0 58344 69 0 0 25 0 1 0 20696113 30494720 3223 4294967295 134512640 134702520 3221223712 3220054348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7961/statm): 7445 3223 413 48 0 7397 0
[pid=7961] vsize: 29780
Current children cumulated CPU time (s) 918.5
Current children cumulated vsize (Kb) 31908

[startup+930.049 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3267 0 0 0 59330 75 0 0 25 0 1 0 20696113 30494720 3224 4294967295 134512640 134702520 3221223712 3221150668 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7445 3224 413 48 0 7397 0
[pid=7961] vsize: 29780
Current children cumulated CPU time (s) 928.42
Current children cumulated vsize (Kb) 31908

[startup+940.049 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3267 0 0 0 60331 75 0 0 25 0 1 0 20696113 30494720 3224 4294967295 134512640 134702520 3221223712 3220916448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7445 3224 413 48 0 7397 0
[pid=7961] vsize: 29780
Current children cumulated CPU time (s) 938.43
Current children cumulated vsize (Kb) 31908

[startup+950.05 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 7961
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3267 0 0 0 61331 75 0 0 25 0 1 0 20696113 30494720 3224 4294967295 134512640 134702520 3221223712 3220639148 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7445 3224 413 48 0 7397 0
[pid=7961] vsize: 29780
Current children cumulated CPU time (s) 948.43
Current children cumulated vsize (Kb) 31908

[startup+960.05 s]
Raw data (loadavg): 1.02 1.00 1.00 3/59 8002
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3267 0 0 0 62331 75 0 0 25 0 1 0 20696113 30494720 3224 4294967295 134512640 134702520 3221223712 3220280748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7445 3224 413 48 0 7397 0
[pid=7961] vsize: 29780
Current children cumulated CPU time (s) 958.43
Current children cumulated vsize (Kb) 31908

[startup+970.051 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 8016
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3267 0 0 0 63331 75 0 0 25 0 1 0 20696113 30494720 3224 4294967295 134512640 134702520 3221223712 3219579948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7445 3224 413 48 0 7397 0
[pid=7961] vsize: 29780
Current children cumulated CPU time (s) 968.43
Current children cumulated vsize (Kb) 31908

[startup+980.052 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 8016
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3272 0 0 0 64316 79 0 0 25 0 1 0 20696113 30494720 3228 4294967295 134512640 134702520 3221223712 3221030688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7445 3228 413 48 0 7397 0
[pid=7961] vsize: 29780
Current children cumulated CPU time (s) 978.32
Current children cumulated vsize (Kb) 31908

[startup+990.052 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 8016
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3272 0 0 0 65317 79 0 0 25 0 1 0 20696113 30494720 3228 4294967295 134512640 134702520 3221223712 3220776268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7445 3228 413 48 0 7397 0
[pid=7961] vsize: 29780
Current children cumulated CPU time (s) 988.33
Current children cumulated vsize (Kb) 31908

[startup+1000.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 8016
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3272 0 0 0 66317 79 0 0 25 0 1 0 20696113 30494720 3228 4294967295 134512640 134702520 3221223712 3220463948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7445 3228 413 48 0 7397 0
[pid=7961] vsize: 29780
Current children cumulated CPU time (s) 998.33
Current children cumulated vsize (Kb) 31908

[startup+1010.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 8016
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3272 0 0 0 67317 79 0 0 25 0 1 0 20696113 30494720 3228 4294967295 134512640 134702520 3221223712 3220013548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7445 3228 413 48 0 7397 0
[pid=7961] vsize: 29780
Current children cumulated CPU time (s) 1008.33
Current children cumulated vsize (Kb) 31908

[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 8018
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3275 0 0 0 68300 86 0 0 25 0 1 0 20696113 30494720 3230 4294967295 134512640 134702520 3221223712 3221138528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7445 3230 413 48 0 7397 0
[pid=7961] vsize: 29780
Current children cumulated CPU time (s) 1018.23
Current children cumulated vsize (Kb) 31908

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 8020
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3275 0 0 0 69300 86 0 0 25 0 1 0 20696113 30494720 3230 4294967295 134512640 134702520 3221223712 3220902188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7445 3230 413 48 0 7397 0
[pid=7961] vsize: 29780
Current children cumulated CPU time (s) 1028.23
Current children cumulated vsize (Kb) 31908

[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 8022
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3275 0 0 0 70301 86 0 0 25 0 1 0 20696113 30494720 3230 4294967295 134512640 134702520 3221223712 3220622028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7445 3230 413 48 0 7397 0
[pid=7961] vsize: 29780
Current children cumulated CPU time (s) 1038.24
Current children cumulated vsize (Kb) 31908

[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 8022
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3275 0 0 0 71301 86 0 0 25 0 1 0 20696113 30494720 3230 4294967295 134512640 134702520 3221223712 3220256448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7445 3230 413 48 0 7397 0
[pid=7961] vsize: 29780
Current children cumulated CPU time (s) 1048.24
Current children cumulated vsize (Kb) 31908

[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 8022
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) T 7956 7956 4070 0 -1 0 3276 0 0 0 72301 86 0 0 25 0 1 0 20696113 30494720 3230 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7445 3230 413 48 0 7397 0
[pid=7961] vsize: 29780
Current children cumulated CPU time (s) 1058.24
Current children cumulated vsize (Kb) 31908

[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 8022
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3276 0 0 0 73287 91 0 0 25 0 1 0 20696113 30494720 3230 4294967295 134512640 134702520 3221223712 3221016448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7445 3230 413 48 0 7397 0
[pid=7961] vsize: 29780
Current children cumulated CPU time (s) 1068.15
Current children cumulated vsize (Kb) 31908

[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 8022
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3276 0 0 0 74287 91 0 0 25 0 1 0 20696113 30494720 3230 4294967295 134512640 134702520 3221223712 3220759488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7445 3230 413 48 0 7397 0
[pid=7961] vsize: 29780
Current children cumulated CPU time (s) 1078.15
Current children cumulated vsize (Kb) 31908

[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 8022
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3276 0 0 0 75287 91 0 0 25 0 1 0 20696113 30494720 3230 4294967295 134512640 134702520 3221223712 3220442188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7445 3230 413 48 0 7397 0
[pid=7961] vsize: 29780
Current children cumulated CPU time (s) 1088.15
Current children cumulated vsize (Kb) 31908

[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 8022
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3276 0 0 0 76287 91 0 0 25 0 1 0 20696113 30494720 3230 4294967295 134512640 134702520 3221223712 3219975808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7445 3230 413 48 0 7397 0
[pid=7961] vsize: 29780
Current children cumulated CPU time (s) 1098.15
Current children cumulated vsize (Kb) 31908

[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 8022
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3278 0 0 0 77273 97 0 0 25 0 1 0 20696113 30494720 3231 4294967295 134512640 134702520 3221223712 3221123008 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7445 3231 413 48 0 7397 0
[pid=7961] vsize: 29780
Current children cumulated CPU time (s) 1108.07
Current children cumulated vsize (Kb) 31908

[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 8022
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3278 0 0 0 78273 97 0 0 25 0 1 0 20696113 30494720 3231 4294967295 134512640 134702520 3221223712 3220884268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7445 3231 413 48 0 7397 0
[pid=7961] vsize: 29780
Current children cumulated CPU time (s) 1118.07
Current children cumulated vsize (Kb) 31908

[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 8022
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3278 0 0 0 79273 97 0 0 25 0 1 0 20696113 30494720 3231 4294967295 134512640 134702520 3221223712 3220599788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7445 3231 413 48 0 7397 0
[pid=7961] vsize: 29780
Current children cumulated CPU time (s) 1128.07
Current children cumulated vsize (Kb) 31908

[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 8022
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3278 0 0 0 80273 97 0 0 25 0 1 0 20696113 30494720 3231 4294967295 134512640 134702520 3221223712 3220225068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7445 3231 413 48 0 7397 0
[pid=7961] vsize: 29780
Current children cumulated CPU time (s) 1138.07
Current children cumulated vsize (Kb) 31908

[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 8022
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3280 0 0 0 81258 102 0 0 23 0 1 0 20696113 30494720 3232 4294967295 134512640 134702520 3221223712 3220956588 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7445 3232 413 48 0 7397 0
[pid=7961] vsize: 29780
Current children cumulated CPU time (s) 1147.97
Current children cumulated vsize (Kb) 31908

[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 8022
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3280 0 0 0 82258 102 0 0 25 0 1 0 20696113 30494720 3232 4294967295 134512640 134702520 3221223712 3221000128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7445 3232 413 48 0 7397 0
[pid=7961] vsize: 29780
Current children cumulated CPU time (s) 1157.97
Current children cumulated vsize (Kb) 31908

[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 8022
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3280 0 0 0 83258 102 0 0 25 0 1 0 20696113 30494720 3232 4294967295 134512640 134702520 3221223712 3220739948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7445 3232 413 48 0 7397 0
[pid=7961] vsize: 29780
Current children cumulated CPU time (s) 1167.97
Current children cumulated vsize (Kb) 31908

[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 8022
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3280 0 0 0 84259 102 0 0 25 0 1 0 20696113 30494720 3232 4294967295 134512640 134702520 3221223712 3220416768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7445 3232 413 48 0 7397 0
[pid=7961] vsize: 29780
Current children cumulated CPU time (s) 1177.98
Current children cumulated vsize (Kb) 31908

[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 8022
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3280 0 0 0 85259 102 0 0 25 0 1 0 20696113 30494720 3232 4294967295 134512640 134702520 3221223712 3219929408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7445 3232 413 48 0 7397 0
[pid=7961] vsize: 29780
Current children cumulated CPU time (s) 1187.98
Current children cumulated vsize (Kb) 31908

[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 8022
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3281 0 0 0 86244 107 0 0 25 0 1 0 20696113 30494720 3232 4294967295 134512640 134702520 3221223712 3221108448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7445 3232 413 48 0 7397 0
[pid=7961] vsize: 29780
Current children cumulated CPU time (s) 1197.88
Current children cumulated vsize (Kb) 31908

[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 8022
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3281 0 0 0 87244 107 0 0 25 0 1 0 20696113 30494720 3232 4294967295 134512640 134702520 3221223712 3220867488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7445 3232 413 48 0 7397 0
[pid=7961] vsize: 29780
Current children cumulated CPU time (s) 1207.88
Current children cumulated vsize (Kb) 31908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 8022
Raw data (/proc/7956/stat): 7956 (vallstSAT2005PB) S 7955 7956 4070 0 -1 0 378 4328 0 0 1 1 33384 51 19 0 1 0 20662618 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7956/statm): 532 248 485 147 0 385 0
[pid=7956] vsize: 2128
Raw data (/proc/7961/stat): 7961 (vallst) R 7956 7956 4070 0 -1 0 3281 0 0 0 87244 107 0 0 25 0 1 0 20696113 30494720 3232 4294967295 134512640 134702520 3221223712 3220867488 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7961/statm): 7445 3232 413 48 0 7397 0
[pid=7961] vsize: 29780
Current children cumulated CPU time (s) 1207.88
Current children cumulated vsize (Kb) 31908

Sending SIGTERM to -7956
Sleeping 2 seconds
New process pid=8024
New process pid=8025
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4052/stat
open syscall for file /proc/4052/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/4052/cmdline
open syscall for file /proc/4052/environ
open syscall for file /proc/4078/stat
open syscall for file /proc/4078/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/4078/cmdline
open syscall for file /proc/4078/environ
open syscall for file /proc/7917/stat
open syscall for file /proc/7917/status
open syscall for file /proc/7917/cmdline
open syscall for file /proc/7917/environ
open syscall for file /proc/7955/stat
open syscall for file /proc/7955/status
open syscall for file /proc/7955/cmdline
open syscall for file /proc/7955/environ
open syscall for file /proc/7956/stat
open syscall for file /proc/7956/status
open syscall for file /proc/7956/cmdline
open syscall for file /proc/7956/environ
open syscall for file /proc/7961/stat
open syscall for file /proc/7961/status
open syscall for file /proc/7961/cmdline
open syscall for file /proc/7961/environ
open syscall for file /proc/8024/stat
open syscall for file /proc/8024/status
open syscall for file /proc/8024/cmdline
open syscall for file /proc/8024/environ
open syscall for file /proc/8025/stat
open syscall for file /proc/8025/status
open syscall for file /proc/8025/cmdline
open syscall for file /proc/8025/environ
One traced child (pid=8024) exited with status: 0
One traced child (pid=8025) exited with status: 0
New process pid=8026
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=8026) exited with status: 0
New process pid=8027
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=8027) exited with status: 0
One traced child (pid=7956) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -7956
One traced child (pid=7961) 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.07
CPU time (s): 875.529
CPU user time (s): 874.448
CPU system time (s): 1.08083
CPU usage (%): 72.234
Max. virtual memory (cumulated for all children) (Kb): 37288

Verifier Data

ERROR: no interpretation found !