Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-qiu.opb
MD5SUMd5e26ade9aa11867ede102dd2fb60449
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 5328
Biggest coefficient in the objective function 8885108736
Number of bits for the biggest coefficient in the objective function 34
Sum of the numbers in the objective function 4692033563496
Number of bits of the sum of numbers in the objective function 43
Biggest number in a constraint 8885108736
Number of bits of the biggest number in a constraint 34
Biggest sum of numbers in a constraint 4692033563496
Number of bits of the biggest sum of numbers43
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark98.2931
Number of variables15888
Total number of constraints1240
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)48
Number of constraints which are nor clauses,nor cardinality constraints1192
Minimum length of a constraint1
Maximum length of a constraint3960

Trace number 9277

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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:        933364 kB
Buffers:          9944 kB
Cached:          74172 kB
SwapCached:          0 kB
Active:          41148 kB
Inactive:        45904 kB
HighTotal:      131008 kB
HighFree:        57120 kB
LowTotal:       903652 kB
LowFree:        876244 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8628 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 12:29:19 (client local time) WITH STATUS 0 IN 655.191 SECONDS
stats: 8010 7 655.191 0

Solver Data

1:
seed: 0
Nr of vars set: 9552  (#equs: 0)
Nr of vars set: 9948  (#equs: 0)
#decisions: 49455;  #end-nodes: 20079;
#proof improvement attempts: 0;  #restarts: 192
Current batch, end-nodes: 0 / 127 (127)
#axs: 1323, #non-axs: 3
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 28, end (keep): 46
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: 9954  (#equs: 0)
Time taken: 9 min, 13 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/5352/stat): 5352 (vallstSAT2005PB) R 5351 5352 4005 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20034289 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5352/statm): 174 3 169 147 0 27 0
[pid=5352] 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=5353
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=5353) exited with status: 0
New process pid=5354
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=5354) exited with status: 0
New process pid=5355
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/wulflinc29/normalized-mps-v2-13-7-qiu.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0034 s]
Raw data (loadavg): 0.87 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1082 0 0 0 985 4 0 0 25 0 1 0 20034296 5931008 986 4294967295 134512640 134702520 3221223952 3220991308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 1448 986 413 48 0 1400 0
[pid=5355] vsize: 5792
Current children cumulated CPU time (s) 9.91
Current children cumulated vsize (Kb) 7920

[startup+20.0041 s]
Raw data (loadavg): 0.89 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1161 0 0 0 1985 4 0 0 25 0 1 0 20034296 6254592 1065 4294967295 134512640 134702520 3221223952 3220665728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 1527 1065 413 48 0 1479 0
[pid=5355] vsize: 6108
Current children cumulated CPU time (s) 19.91
Current children cumulated vsize (Kb) 8236

[startup+30.0049 s]
Raw data (loadavg): 0.91 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1282 0 0 0 2985 4 0 0 25 0 1 0 20034296 6750208 1186 4294967295 134512640 134702520 3221223952 3220170528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 1648 1186 413 48 0 1600 0
[pid=5355] vsize: 6592
Current children cumulated CPU time (s) 29.91
Current children cumulated vsize (Kb) 8720

[startup+40.0057 s]
Raw data (loadavg): 0.92 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1439 0 0 0 3971 9 0 0 25 0 1 0 20034296 10764288 1343 4294967295 134512640 134702520 3221223952 3221123068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1343 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 39.82
Current children cumulated vsize (Kb) 12640

[startup+50.0065 s]
Raw data (loadavg): 0.93 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1439 0 0 0 4971 9 0 0 25 0 1 0 20034296 10764288 1343 4294967295 134512640 134702520 3221223952 3220925648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1343 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 49.82
Current children cumulated vsize (Kb) 12640

[startup+60.0072 s]
Raw data (loadavg): 0.94 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1439 0 0 0 5972 9 0 0 25 0 1 0 20034296 10764288 1343 4294967295 134512640 134702520 3221223952 3220704848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1343 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 59.83
Current children cumulated vsize (Kb) 12640

[startup+70.008 s]
Raw data (loadavg): 0.95 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1439 0 0 0 6972 9 0 0 25 0 1 0 20034296 10764288 1343 4294967295 134512640 134702520 3221223952 3220350428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1343 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 69.83
Current children cumulated vsize (Kb) 12640

[startup+80.0088 s]
Raw data (loadavg): 0.96 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1440 0 0 0 7958 13 0 0 25 0 1 0 20034296 10764288 1344 4294967295 134512640 134702520 3221223952 3221179888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2628 1344 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 79.73
Current children cumulated vsize (Kb) 12640

[startup+90.0096 s]
Raw data (loadavg): 0.96 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1440 0 0 0 8958 13 0 0 25 0 1 0 20034296 10764288 1344 4294967295 134512640 134702520 3221223952 3220990428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2628 1344 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 89.73
Current children cumulated vsize (Kb) 12640

[startup+100.009 s]
Raw data (loadavg): 0.97 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1440 0 0 0 9958 13 0 0 25 0 1 0 20034296 10764288 1344 4294967295 134512640 134702520 3221223952 3220780368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2628 1344 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 99.73
Current children cumulated vsize (Kb) 12640

[startup+110.01 s]
Raw data (loadavg): 0.97 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1440 0 0 0 10958 13 0 0 25 0 1 0 20034296 10764288 1344 4294967295 134512640 134702520 3221223952 3220514908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2628 1344 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 109.73
Current children cumulated vsize (Kb) 12640

[startup+120.011 s]
Raw data (loadavg): 0.98 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1440 0 0 0 11958 13 0 0 25 0 1 0 20034296 10764288 1344 4294967295 134512640 134702520 3221223952 3219739728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2628 1344 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 119.73
Current children cumulated vsize (Kb) 12640

[startup+130.013 s]
Raw data (loadavg): 0.98 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1440 0 0 0 12945 18 0 0 25 0 1 0 20034296 10764288 1344 4294967295 134512640 134702520 3221223952 3221055728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1344 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 129.65
Current children cumulated vsize (Kb) 12640

[startup+140.013 s]
Raw data (loadavg): 0.98 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1440 0 0 0 13945 18 0 0 25 0 1 0 20034296 10764288 1344 4294967295 134512640 134702520 3221223952 3220851088 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1344 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 139.65
Current children cumulated vsize (Kb) 12640

[startup+150.014 s]
Raw data (loadavg): 0.98 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1440 0 0 0 14946 18 0 0 25 0 1 0 20034296 10764288 1344 4294967295 134512640 134702520 3221223952 3220619868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1344 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 149.66
Current children cumulated vsize (Kb) 12640

[startup+160.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1440 0 0 0 15946 18 0 0 25 0 1 0 20034296 10764288 1344 4294967295 134512640 134702520 3221223952 3220126288 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1344 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 159.66
Current children cumulated vsize (Kb) 12640

[startup+170.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1441 0 0 0 16931 23 0 0 25 0 1 0 20034296 10764288 1345 4294967295 134512640 134702520 3221223952 3221116028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1345 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 169.56
Current children cumulated vsize (Kb) 12640

[startup+180.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1441 0 0 0 17932 23 0 0 25 0 1 0 20034296 10764288 1345 4294967295 134512640 134702520 3221223952 3220917968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1345 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 179.57
Current children cumulated vsize (Kb) 12640

[startup+190.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1441 0 0 0 18932 23 0 0 25 0 1 0 20034296 10764288 1345 4294967295 134512640 134702520 3221223952 3220696208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1345 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 189.57
Current children cumulated vsize (Kb) 12640

[startup+200.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1441 0 0 0 19932 23 0 0 25 0 1 0 20034296 10764288 1345 4294967295 134512640 134702520 3221223952 3220331868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1345 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 199.57
Current children cumulated vsize (Kb) 12640

[startup+210.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1441 0 0 0 20916 29 0 0 25 0 1 0 20034296 10764288 1345 4294967295 134512640 134702520 3221223952 3221174268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1345 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 209.47
Current children cumulated vsize (Kb) 12640

[startup+220.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1441 0 0 0 21916 29 0 0 25 0 1 0 20034296 10764288 1345 4294967295 134512640 134702520 3221223952 3220982128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1345 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 219.47
Current children cumulated vsize (Kb) 12640

[startup+230.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1441 0 0 0 22916 29 0 0 25 0 1 0 20034296 10764288 1345 4294967295 134512640 134702520 3221223952 3220768848 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1345 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 229.47
Current children cumulated vsize (Kb) 12640

[startup+240.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1441 0 0 0 23917 29 0 0 25 0 1 0 20034296 10764288 1345 4294967295 134512640 134702520 3221223952 3220488688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1345 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 239.48
Current children cumulated vsize (Kb) 12640

[startup+250.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1442 0 0 0 24907 33 0 0 25 0 1 0 20034296 10764288 1346 4294967295 134512640 134702520 3221223952 3221223232 134553118 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1346 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 249.42
Current children cumulated vsize (Kb) 12640

[startup+260.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1442 0 0 0 25899 36 0 0 25 0 1 0 20034296 10764288 1346 4294967295 134512640 134702520 3221223952 3221044208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1346 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 259.37
Current children cumulated vsize (Kb) 12640

[startup+270.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1442 0 0 0 26899 36 0 0 25 0 1 0 20034296 10764288 1346 4294967295 134512640 134702520 3221223952 3220838288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1346 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 269.37
Current children cumulated vsize (Kb) 12640

[startup+280.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1442 0 0 0 27899 36 0 0 25 0 1 0 20034296 10764288 1346 4294967295 134512640 134702520 3221223952 3220605328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1346 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 279.37
Current children cumulated vsize (Kb) 12640

[startup+290.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1442 0 0 0 28900 36 0 0 25 0 1 0 20034296 10764288 1346 4294967295 134512640 134702520 3221223952 3220079388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1346 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 289.38
Current children cumulated vsize (Kb) 12640

[startup+300.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1442 0 0 0 29884 41 0 0 25 0 1 0 20034296 10764288 1346 4294967295 134512640 134702520 3221223952 3221106448 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1346 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 299.27
Current children cumulated vsize (Kb) 12640

[startup+310.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1442 0 0 0 30884 41 0 0 25 0 1 0 20034296 10764288 1346 4294967295 134512640 134702520 3221223952 3220907408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1346 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 309.27
Current children cumulated vsize (Kb) 12640

[startup+320.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1442 0 0 0 31884 41 0 0 25 0 1 0 20034296 10764288 1346 4294967295 134512640 134702520 3221223952 3220684368 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1346 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 319.27
Current children cumulated vsize (Kb) 12640

[startup+330.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1442 0 0 0 32884 41 0 0 25 0 1 0 20034296 10764288 1346 4294967295 134512640 134702520 3221223952 3220304028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1346 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 329.27
Current children cumulated vsize (Kb) 12640

[startup+340.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1493 0 0 0 33868 46 0 0 25 0 1 0 20034296 10764288 1397 4294967295 134512640 134702520 3221223952 3221168528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1397 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 339.16
Current children cumulated vsize (Kb) 12640

[startup+350.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1493 0 0 0 34868 46 0 0 25 0 1 0 20034296 10764288 1397 4294967295 134512640 134702520 3221223952 3220975868 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1397 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 349.16
Current children cumulated vsize (Kb) 12640

[startup+360.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1493 0 0 0 35869 46 0 0 25 0 1 0 20034296 10764288 1397 4294967295 134512640 134702520 3221223952 3220761788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1397 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 359.17
Current children cumulated vsize (Kb) 12640

[startup+370.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1493 0 0 0 36869 46 0 0 25 0 1 0 20034296 10764288 1397 4294967295 134512640 134702520 3221223952 3220474768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2628 1397 413 48 0 2580 0
[pid=5355] vsize: 10512
Current children cumulated CPU time (s) 369.17
Current children cumulated vsize (Kb) 12640

[startup+380.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1537 0 0 0 37856 50 0 0 25 0 1 0 20034296 11177984 1441 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2729 1441 413 48 0 2681 0
[pid=5355] vsize: 10916
Current children cumulated CPU time (s) 379.08
Current children cumulated vsize (Kb) 13044

[startup+390.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1552 0 0 0 38852 52 0 0 25 0 1 0 20034296 11177984 1456 4294967295 134512640 134702520 3221223952 3221044028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2729 1456 413 48 0 2681 0
[pid=5355] vsize: 10916
Current children cumulated CPU time (s) 389.06
Current children cumulated vsize (Kb) 13044

[startup+400.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1552 0 0 0 39853 52 0 0 25 0 1 0 20034296 11177984 1456 4294967295 134512640 134702520 3221223952 3220840348 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2729 1456 413 48 0 2681 0
[pid=5355] vsize: 10916
Current children cumulated CPU time (s) 399.07
Current children cumulated vsize (Kb) 13044

[startup+410.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1552 0 0 0 40853 52 0 0 25 0 1 0 20034296 11177984 1456 4294967295 134512640 134702520 3221223952 3220610268 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2729 1456 413 48 0 2681 0
[pid=5355] vsize: 10916
Current children cumulated CPU time (s) 409.07
Current children cumulated vsize (Kb) 13044

[startup+420.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1552 0 0 0 41853 52 0 0 25 0 1 0 20034296 11177984 1456 4294967295 134512640 134702520 3221223952 3220104508 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2729 1456 413 48 0 2681 0
[pid=5355] vsize: 10916
Current children cumulated CPU time (s) 419.07
Current children cumulated vsize (Kb) 13044

[startup+430.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1610 0 0 0 42830 59 0 0 25 0 1 0 20034296 11177984 1514 4294967295 134512640 134702520 3221223952 3221118928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2729 1514 413 48 0 2681 0
[pid=5355] vsize: 10916
Current children cumulated CPU time (s) 428.91
Current children cumulated vsize (Kb) 13044

[startup+440.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1610 0 0 0 43830 59 0 0 25 0 1 0 20034296 11177984 1514 4294967295 134512640 134702520 3221223952 3220923408 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2729 1514 413 48 0 2681 0
[pid=5355] vsize: 10916
Current children cumulated CPU time (s) 438.91
Current children cumulated vsize (Kb) 13044

[startup+450.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1610 0 0 0 44830 59 0 0 25 0 1 0 20034296 11177984 1514 4294967295 134512640 134702520 3221223952 3220704848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2729 1514 413 48 0 2681 0
[pid=5355] vsize: 10916
Current children cumulated CPU time (s) 448.91
Current children cumulated vsize (Kb) 13044

[startup+460.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1610 0 0 0 45831 59 0 0 25 0 1 0 20034296 11177984 1514 4294967295 134512640 134702520 3221223952 3220357648 134612101 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2729 1514 413 48 0 2681 0
[pid=5355] vsize: 10916
Current children cumulated CPU time (s) 458.92
Current children cumulated vsize (Kb) 13044

[startup+470.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1669 0 0 0 46809 66 0 0 25 0 1 0 20034296 11591680 1573 4294967295 134512640 134702520 3221223952 3221194768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2830 1573 413 48 0 2782 0
[pid=5355] vsize: 11320
Current children cumulated CPU time (s) 468.77
Current children cumulated vsize (Kb) 13448

[startup+480.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1669 0 0 0 47809 66 0 0 25 0 1 0 20034296 11591680 1573 4294967295 134512640 134702520 3221223952 3221006768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2830 1573 413 48 0 2782 0
[pid=5355] vsize: 11320
Current children cumulated CPU time (s) 478.77
Current children cumulated vsize (Kb) 13448

[startup+490.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1669 0 0 0 48809 66 0 0 25 0 1 0 20034296 11591680 1573 4294967295 134512640 134702520 3221223952 3220798768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2830 1573 413 48 0 2782 0
[pid=5355] vsize: 11320
Current children cumulated CPU time (s) 488.77
Current children cumulated vsize (Kb) 13448

[startup+500.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1669 0 0 0 49810 66 0 0 25 0 1 0 20034296 11591680 1573 4294967295 134512640 134702520 3221223952 3220551728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2830 1573 413 48 0 2782 0
[pid=5355] vsize: 11320
Current children cumulated CPU time (s) 498.78
Current children cumulated vsize (Kb) 13448

[startup+510.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1669 0 0 0 50810 66 0 0 25 0 1 0 20034296 11591680 1573 4294967295 134512640 134702520 3221223952 3219909168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5355/statm): 2830 1573 413 48 0 2782 0
[pid=5355] vsize: 11320
Current children cumulated CPU time (s) 508.78
Current children cumulated vsize (Kb) 13448

[startup+520.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1723 0 0 0 51786 74 0 0 25 0 1 0 20034296 11591680 1627 4294967295 134512640 134702520 3221223952 3221086128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2830 1627 413 48 0 2782 0
[pid=5355] vsize: 11320
Current children cumulated CPU time (s) 518.62
Current children cumulated vsize (Kb) 13448

[startup+530.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1723 0 0 0 52787 74 0 0 25 0 1 0 20034296 11591680 1627 4294967295 134512640 134702520 3221223952 3220884848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2830 1627 413 48 0 2782 0
[pid=5355] vsize: 11320
Current children cumulated CPU time (s) 528.63
Current children cumulated vsize (Kb) 13448

[startup+540.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1723 0 0 0 53787 74 0 0 25 0 1 0 20034296 11591680 1627 4294967295 134512640 134702520 3221223952 3220658588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2830 1627 413 48 0 2782 0
[pid=5355] vsize: 11320
Current children cumulated CPU time (s) 538.63
Current children cumulated vsize (Kb) 13448

[startup+550.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5355
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20034289 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 242 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5355/stat): 5355 (vallst) R 5352 5352 4005 0 -1 0 1723 0 0 0 54787 74 0 0 25 0 1 0 20034296 11591680 1627 4294967295 134512640 134702520 3221223952 3220238908 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5355/statm): 2830 1627 413 48 0 2782 0
[pid=5355] vsize: 11320
Current children cumulated CPU time (s) 548.63
Current children cumulated vsize (Kb) 13448
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=5355) exited with status: 2
New process pid=5356
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=5356) exited with status: 0
New process pid=5357
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+560.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 812 0 0 0 503 3 0 0 25 0 1 0 20089792 4734976 782 4294967295 134512640 134702520 3221223712 3221106608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 1156 782 413 48 0 1108 0
[pid=5357] vsize: 4624
Current children cumulated CPU time (s) 558.61
Current children cumulated vsize (Kb) 6752

[startup+570.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 882 0 0 0 1503 3 0 0 25 0 1 0 20089792 5021696 852 4294967295 134512640 134702520 3221223712 3220818428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 1226 852 413 48 0 1178 0
[pid=5357] vsize: 4904
Current children cumulated CPU time (s) 568.61
Current children cumulated vsize (Kb) 7032

[startup+580.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 976 0 0 0 2503 3 0 0 25 0 1 0 20089792 5406720 946 4294967295 134512640 134702520 3221223712 3220431248 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 1320 946 413 48 0 1272 0
[pid=5357] vsize: 5280
Current children cumulated CPU time (s) 578.61
Current children cumulated vsize (Kb) 7408

[startup+590.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1213 0 0 0 3486 9 0 0 25 0 1 0 20089792 8589312 1183 4294967295 134512640 134702520 3221223712 3221198528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1183 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 588.5
Current children cumulated vsize (Kb) 10516

[startup+600.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1213 0 0 0 4486 9 0 0 25 0 1 0 20089792 8589312 1183 4294967295 134512640 134702520 3221223712 3221009408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1183 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 598.5
Current children cumulated vsize (Kb) 10516

[startup+610.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1213 0 0 0 5486 9 0 0 25 0 1 0 20089792 8589312 1183 4294967295 134512640 134702520 3221223712 3220800288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1183 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 608.5
Current children cumulated vsize (Kb) 10516

[startup+620.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1213 0 0 0 6487 9 0 0 25 0 1 0 20089792 8589312 1183 4294967295 134512640 134702520 3221223712 3220552108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1183 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 618.51
Current children cumulated vsize (Kb) 10516

[startup+630.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1213 0 0 0 7487 9 0 0 25 0 1 0 20089792 8589312 1183 4294967295 134512640 134702520 3221223712 3219898988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1183 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 628.51
Current children cumulated vsize (Kb) 10516

[startup+640.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1217 0 0 0 8470 14 0 0 25 0 1 0 20089792 8589312 1187 4294967295 134512640 134702520 3221223712 3221060608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1187 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 638.39
Current children cumulated vsize (Kb) 10516

[startup+650.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1217 0 0 0 9470 14 0 0 25 0 1 0 20089792 8589312 1187 4294967295 134512640 134702520 3221223712 3220857248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1187 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 648.39
Current children cumulated vsize (Kb) 10516

[startup+660.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1217 0 0 0 10470 14 0 0 25 0 1 0 20089792 8589312 1187 4294967295 134512640 134702520 3221223712 3220627968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1187 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 658.39
Current children cumulated vsize (Kb) 10516

[startup+670.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1217 0 0 0 11471 14 0 0 25 0 1 0 20089792 8589312 1187 4294967295 134512640 134702520 3221223712 3220154848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1187 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 668.4
Current children cumulated vsize (Kb) 10516

[startup+680.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1221 0 0 0 12453 20 0 0 25 0 1 0 20089792 8589312 1191 4294967295 134512640 134702520 3221223712 3221110528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1191 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 678.28
Current children cumulated vsize (Kb) 10516

[startup+690.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1221 0 0 0 13454 20 0 0 25 0 1 0 20089792 8589312 1191 4294967295 134512640 134702520 3221223712 3220912608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1191 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 688.29
Current children cumulated vsize (Kb) 10516

[startup+700.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1221 0 0 0 14454 20 0 0 25 0 1 0 20089792 8589312 1191 4294967295 134512640 134702520 3221223712 3220691168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1191 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 698.29
Current children cumulated vsize (Kb) 10516

[startup+710.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1221 0 0 0 15454 20 0 0 25 0 1 0 20089792 8589312 1191 4294967295 134512640 134702520 3221223712 3220322508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1191 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 708.29
Current children cumulated vsize (Kb) 10516

[startup+720.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1223 0 0 0 16436 26 0 0 25 0 1 0 20089792 8589312 1193 4294967295 134512640 134702520 3221223712 3221159488 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1193 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 718.17
Current children cumulated vsize (Kb) 10516

[startup+730.049 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1223 0 0 0 17436 26 0 0 25 0 1 0 20089792 8589312 1193 4294967295 134512640 134702520 3221223712 3220966688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1193 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 728.17
Current children cumulated vsize (Kb) 10516

[startup+740.049 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1223 0 0 0 18436 26 0 0 25 0 1 0 20089792 8589312 1193 4294967295 134512640 134702520 3221223712 3220752268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1193 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 738.17
Current children cumulated vsize (Kb) 10516

[startup+750.049 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1223 0 0 0 19436 26 0 0 25 0 1 0 20089792 8589312 1193 4294967295 134512640 134702520 3221223712 3220457248 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1193 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 748.17
Current children cumulated vsize (Kb) 10516

[startup+760.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1224 0 0 0 20418 32 0 0 25 0 1 0 20089792 8589312 1194 4294967295 134512640 134702520 3221223712 3221207808 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2097 1194 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 758.05
Current children cumulated vsize (Kb) 10516

[startup+770.051 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1224 0 0 0 21418 32 0 0 25 0 1 0 20089792 8589312 1194 4294967295 134512640 134702520 3221223712 3221021728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2097 1194 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 768.05
Current children cumulated vsize (Kb) 10516

[startup+780.052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1224 0 0 0 22418 32 0 0 25 0 1 0 20089792 8589312 1194 4294967295 134512640 134702520 3221223712 3220816268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2097 1194 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 778.05
Current children cumulated vsize (Kb) 10516

[startup+790.052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1224 0 0 0 23418 32 0 0 25 0 1 0 20089792 8589312 1194 4294967295 134512640 134702520 3221223712 3220583648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2097 1194 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 788.05
Current children cumulated vsize (Kb) 10516

[startup+800.052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1224 0 0 0 24418 32 0 0 25 0 1 0 20089792 8589312 1194 4294967295 134512640 134702520 3221223712 3220010848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2097 1194 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 798.05
Current children cumulated vsize (Kb) 10516

[startup+810.054 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1229 0 0 0 25402 38 0 0 25 0 1 0 20089792 8589312 1199 4294967295 134512640 134702520 3221223712 3221080608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2097 1199 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 807.95
Current children cumulated vsize (Kb) 10516

[startup+820.055 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1229 0 0 0 26402 39 0 0 25 0 1 0 20089792 8589312 1199 4294967295 134512640 134702520 3221223712 3220881728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2097 1199 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 817.96
Current children cumulated vsize (Kb) 10516

[startup+830.055 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1229 0 0 0 27402 39 0 0 25 0 1 0 20089792 8589312 1199 4294967295 134512640 134702520 3221223712 3220658508 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2097 1199 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 827.96
Current children cumulated vsize (Kb) 10516

[startup+840.056 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1229 0 0 0 28402 39 0 0 25 0 1 0 20089792 8589312 1199 4294967295 134512640 134702520 3221223712 3220247648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2097 1199 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 837.96
Current children cumulated vsize (Kb) 10516

[startup+850.057 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1230 0 0 0 29384 45 0 0 25 0 1 0 20089792 8589312 1200 4294967295 134512640 134702520 3221223712 3221137568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1200 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 847.84
Current children cumulated vsize (Kb) 10516

[startup+860.058 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1230 0 0 0 30384 45 0 0 25 0 1 0 20089792 8589312 1200 4294967295 134512640 134702520 3221223712 3220942528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1200 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 857.84
Current children cumulated vsize (Kb) 10516

[startup+870.058 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1230 0 0 0 31384 45 0 0 25 0 1 0 20089792 8589312 1200 4294967295 134512640 134702520 3221223712 3220724928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1200 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 867.84
Current children cumulated vsize (Kb) 10516

[startup+880.058 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1230 0 0 0 32384 45 0 0 25 0 1 0 20089792 8589312 1200 4294967295 134512640 134702520 3221223712 3220399628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2097 1200 413 48 0 2049 0
[pid=5357] vsize: 8388
Current children cumulated CPU time (s) 877.84
Current children cumulated vsize (Kb) 10516

[startup+890.059 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1312 0 0 0 33367 51 0 0 25 0 1 0 20089792 8826880 1282 4294967295 134512640 134702520 3221223712 3221187648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2155 1282 413 48 0 2107 0
[pid=5357] vsize: 8620
Current children cumulated CPU time (s) 887.73
Current children cumulated vsize (Kb) 10748

[startup+900.059 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1312 0 0 0 34367 51 0 0 25 0 1 0 20089792 8826880 1282 4294967295 134512640 134702520 3221223712 3220997568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2155 1282 413 48 0 2107 0
[pid=5357] vsize: 8620
Current children cumulated CPU time (s) 897.73
Current children cumulated vsize (Kb) 10748

[startup+910.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1312 0 0 0 35367 51 0 0 25 0 1 0 20089792 8826880 1282 4294967295 134512640 134702520 3221223712 3220786988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2155 1282 413 48 0 2107 0
[pid=5357] vsize: 8620
Current children cumulated CPU time (s) 907.73
Current children cumulated vsize (Kb) 10748

[startup+920.059 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1312 0 0 0 36367 51 0 0 25 0 1 0 20089792 8826880 1282 4294967295 134512640 134702520 3221223712 3220526988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2155 1282 413 48 0 2107 0
[pid=5357] vsize: 8620
Current children cumulated CPU time (s) 917.73
Current children cumulated vsize (Kb) 10748

[startup+930.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1312 0 0 0 37368 51 0 0 25 0 1 0 20089792 8826880 1282 4294967295 134512640 134702520 3221223712 3219795648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2155 1282 413 48 0 2107 0
[pid=5357] vsize: 8620
Current children cumulated CPU time (s) 927.74
Current children cumulated vsize (Kb) 10748

[startup+940.061 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1405 0 0 0 38350 57 0 0 25 0 1 0 20089792 9199616 1375 4294967295 134512640 134702520 3221223712 3221054348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2246 1375 413 48 0 2198 0
[pid=5357] vsize: 8984
Current children cumulated CPU time (s) 937.62
Current children cumulated vsize (Kb) 11112

[startup+950.062 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1405 0 0 0 39351 57 0 0 25 0 1 0 20089792 9199616 1375 4294967295 134512640 134702520 3221223712 3220850208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2246 1375 413 48 0 2198 0
[pid=5357] vsize: 8984
Current children cumulated CPU time (s) 947.63
Current children cumulated vsize (Kb) 11112

[startup+960.063 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1405 0 0 0 40351 57 0 0 25 0 1 0 20089792 9199616 1375 4294967295 134512640 134702520 3221223712 3220619952 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2246 1375 413 48 0 2198 0
[pid=5357] vsize: 8984
Current children cumulated CPU time (s) 957.63
Current children cumulated vsize (Kb) 11112

[startup+970.063 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1405 0 0 0 41351 57 0 0 25 0 1 0 20089792 9199616 1375 4294967295 134512640 134702520 3221223712 3220131628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2246 1375 413 48 0 2198 0
[pid=5357] vsize: 8984
Current children cumulated CPU time (s) 967.63
Current children cumulated vsize (Kb) 11112

[startup+980.064 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1493 0 0 0 42320 67 0 0 25 0 1 0 20089792 9437184 1463 4294967295 134512640 134702520 3221223712 3221114848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2304 1463 413 48 0 2256 0
[pid=5357] vsize: 9216
Current children cumulated CPU time (s) 977.42
Current children cumulated vsize (Kb) 11344

[startup+990.065 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1493 0 0 0 43321 67 0 0 25 0 1 0 20089792 9437184 1463 4294967295 134512640 134702520 3221223712 3220917548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2304 1463 413 48 0 2256 0
[pid=5357] vsize: 9216
Current children cumulated CPU time (s) 987.43
Current children cumulated vsize (Kb) 11344

[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1493 0 0 0 44321 67 0 0 25 0 1 0 20089792 9437184 1463 4294967295 134512640 134702520 3221223712 3220696748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2304 1463 413 48 0 2256 0
[pid=5357] vsize: 9216
Current children cumulated CPU time (s) 997.43
Current children cumulated vsize (Kb) 11344

[startup+1010.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1493 0 0 0 45321 67 0 0 25 0 1 0 20089792 9437184 1463 4294967295 134512640 134702520 3221223712 3220336768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2304 1463 413 48 0 2256 0
[pid=5357] vsize: 9216
Current children cumulated CPU time (s) 1007.43
Current children cumulated vsize (Kb) 11344

[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1592 0 0 0 46300 76 0 0 25 0 1 0 20089792 10047488 1562 4294967295 134512640 134702520 3221223712 3221173728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2453 1562 413 48 0 2405 0
[pid=5357] vsize: 9812
Current children cumulated CPU time (s) 1017.31
Current children cumulated vsize (Kb) 11940

[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1592 0 0 0 47300 76 0 0 25 0 1 0 20089792 10047488 1562 4294967295 134512640 134702520 3221223712 3220982348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2453 1562 413 48 0 2405 0
[pid=5357] vsize: 9812
Current children cumulated CPU time (s) 1027.31
Current children cumulated vsize (Kb) 11940

[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1592 0 0 0 48301 76 0 0 25 0 1 0 20089792 10047488 1562 4294967295 134512640 134702520 3221223712 3220769728 134612005 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2453 1562 413 48 0 2405 0
[pid=5357] vsize: 9812
Current children cumulated CPU time (s) 1037.32
Current children cumulated vsize (Kb) 11940

[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1592 0 0 0 49301 76 0 0 25 0 1 0 20089792 10047488 1562 4294967295 134512640 134702520 3221223712 3220493728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2453 1562 413 48 0 2405 0
[pid=5357] vsize: 9812
Current children cumulated CPU time (s) 1047.32
Current children cumulated vsize (Kb) 11940

[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) T 5352 5352 4005 0 -1 0 1606 0 0 0 50291 79 0 0 24 0 1 0 20089792 10047488 1576 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2453 1576 413 48 0 2405 0
[pid=5357] vsize: 9812
Current children cumulated CPU time (s) 1057.25
Current children cumulated vsize (Kb) 11940

[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1663 0 0 0 51275 85 0 0 25 0 1 0 20089792 9707520 1507 4294967295 134512640 134702520 3221223712 3221049888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2370 1507 413 48 0 2322 0
[pid=5357] vsize: 9480
Current children cumulated CPU time (s) 1067.15
Current children cumulated vsize (Kb) 11608

[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1663 0 0 0 52275 85 0 0 25 0 1 0 20089792 9707520 1507 4294967295 134512640 134702520 3221223712 3220847648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2370 1507 413 48 0 2322 0
[pid=5357] vsize: 9480
Current children cumulated CPU time (s) 1077.15
Current children cumulated vsize (Kb) 11608

[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1663 0 0 0 53275 85 0 0 25 0 1 0 20089792 9707520 1507 4294967295 134512640 134702520 3221223712 3220619488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2370 1507 413 48 0 2322 0
[pid=5357] vsize: 9480
Current children cumulated CPU time (s) 1087.15
Current children cumulated vsize (Kb) 11608

[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1663 0 0 0 54275 85 0 0 25 0 1 0 20089792 9707520 1507 4294967295 134512640 134702520 3221223712 3220139168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2370 1507 413 48 0 2322 0
[pid=5357] vsize: 9480
Current children cumulated CPU time (s) 1097.15
Current children cumulated vsize (Kb) 11608

[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1664 0 0 0 55256 92 0 0 25 0 1 0 20089792 9707520 1508 4294967295 134512640 134702520 3221223712 3221110028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2370 1508 413 48 0 2322 0
[pid=5357] vsize: 9480
Current children cumulated CPU time (s) 1107.03
Current children cumulated vsize (Kb) 11608

[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1664 0 0 0 56257 92 0 0 25 0 1 0 20089792 9707520 1508 4294967295 134512640 134702520 3221223712 3220912108 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2370 1508 413 48 0 2322 0
[pid=5357] vsize: 9480
Current children cumulated CPU time (s) 1117.04
Current children cumulated vsize (Kb) 11608

[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1664 0 0 0 57257 92 0 0 25 0 1 0 20089792 9707520 1508 4294967295 134512640 134702520 3221223712 3220690688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2370 1508 413 48 0 2322 0
[pid=5357] vsize: 9480
Current children cumulated CPU time (s) 1127.04
Current children cumulated vsize (Kb) 11608

[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1664 0 0 0 58257 92 0 0 25 0 1 0 20089792 9707520 1508 4294967295 134512640 134702520 3221223712 3220322848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2370 1508 413 48 0 2322 0
[pid=5357] vsize: 9480
Current children cumulated CPU time (s) 1137.04
Current children cumulated vsize (Kb) 11608

[startup+1150.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1664 0 0 0 59237 98 0 0 25 0 1 0 20089792 9707520 1508 4294967295 134512640 134702520 3221223712 3221165068 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2370 1508 413 48 0 2322 0
[pid=5357] vsize: 9480
Current children cumulated CPU time (s) 1146.9
Current children cumulated vsize (Kb) 11608

[startup+1160.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1664 0 0 0 60237 98 0 0 25 0 1 0 20089792 9707520 1508 4294967295 134512640 134702520 3221223712 3220975008 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2370 1508 413 48 0 2322 0
[pid=5357] vsize: 9480
Current children cumulated CPU time (s) 1156.9
Current children cumulated vsize (Kb) 11608

[startup+1170.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1664 0 0 0 61237 98 0 0 25 0 1 0 20089792 9707520 1508 4294967295 134512640 134702520 3221223712 3220763948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2370 1508 413 48 0 2322 0
[pid=5357] vsize: 9480
Current children cumulated CPU time (s) 1166.9
Current children cumulated vsize (Kb) 11608

[startup+1180.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1664 0 0 0 62237 98 0 0 25 0 1 0 20089792 9707520 1508 4294967295 134512640 134702520 3221223712 3220487148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2370 1508 413 48 0 2322 0
[pid=5357] vsize: 9480
Current children cumulated CPU time (s) 1176.9
Current children cumulated vsize (Kb) 11608

[startup+1190.08 s]
Raw data (loadavg): 0.99 0.97 0.99 1/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) T 5352 5352 4005 0 -1 0 1665 0 0 0 63221 104 0 0 21 0 1 0 20089792 9707520 1509 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2370 1509 413 48 0 2322 0
[pid=5357] vsize: 9480
Current children cumulated CPU time (s) 1186.8
Current children cumulated vsize (Kb) 11608

[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1665 0 0 0 64210 107 0 0 25 0 1 0 20089792 9707520 1509 4294967295 134512640 134702520 3221223712 3221045088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2370 1509 413 48 0 2322 0
[pid=5357] vsize: 9480
Current children cumulated CPU time (s) 1196.72
Current children cumulated vsize (Kb) 11608

[startup+1210.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1665 0 0 0 65211 107 0 0 25 0 1 0 20089792 9707520 1509 4294967295 134512640 134702520 3221223712 3220842368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5357/statm): 2370 1509 413 48 0 2322 0
[pid=5357] vsize: 9480
Current children cumulated CPU time (s) 1206.73
Current children cumulated vsize (Kb) 11608



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 5357
Raw data (/proc/5352/stat): 5352 (vallstSAT2005PB) S 5351 5352 4005 0 -1 0 378 2098 0 0 2 1 55274 78 19 0 1 0 20034289 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5352/statm): 532 248 485 147 0 385 0
[pid=5352] vsize: 2128
Raw data (/proc/5357/stat): 5357 (vallst) R 5352 5352 4005 0 -1 0 1665 0 0 0 65211 107 0 0 25 0 1 0 20089792 9707520 1509 4294967295 134512640 134702520 3221223712 3220842368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5357/statm): 2370 1509 413 48 0 2322 0
[pid=5357] vsize: 9480
Current children cumulated CPU time (s) 1206.73
Current children cumulated vsize (Kb) 11608

Sending SIGTERM to -5352
Sleeping 2 seconds
New process pid=5359
New process pid=5360
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/3988/stat
open syscall for file /proc/3988/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/3988/cmdline
open syscall for file /proc/3988/environ
open syscall for file /proc/4013/stat
open syscall for file /proc/4013/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4013/cmdline
open syscall for file /proc/4013/environ
open syscall for file /proc/5313/stat
open syscall for file /proc/5313/status
open syscall for file /proc/5313/cmdline
open syscall for file /proc/5313/environ
open syscall for file /proc/5351/stat
open syscall for file /proc/5351/status
open syscall for file /proc/5351/cmdline
open syscall for file /proc/5351/environ
open syscall for file /proc/5352/stat
open syscall for file /proc/5352/status
open syscall for file /proc/5352/cmdline
open syscall for file /proc/5352/environ
open syscall for file /proc/5357/stat
open syscall for file /proc/5357/status
open syscall for file /proc/5357/cmdline
open syscall for file /proc/5357/environ
open syscall for file /proc/5359/stat
open syscall for file /proc/5359/status
open syscall for file /proc/5359/cmdline
open syscall for file /proc/5359/environ
open syscall for file /proc/5360/stat
open syscall for file /proc/5360/status
open syscall for file /proc/5360/cmdline
open syscall for file /proc/5360/environ
One traced child (pid=5359) exited with status: 0
One traced child (pid=5360) exited with status: 0
New process pid=5361
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=5361) exited with status: 0
New process pid=5362
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=5362) exited with status: 0
One traced child (pid=5352) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -5352
One traced child (pid=5357) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1212.09
CPU time (s): 655.191
CPU user time (s): 654.11
CPU system time (s): 1.08183
CPU usage (%): 54.0547
Max. virtual memory (cumulated for all children) (Kb): 13448

Verifier Data

ERROR: no interpretation found !