Some explanations

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

General information on the benchmark

Namemps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-standgub.opb
MD5SUM4278f4b256e2a8fa799a6ca1554251b3
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 140
Biggest coefficient in the objective function 52428800
Number of bits for the biggest coefficient in the objective function 26
Sum of the numbers in the objective function 318766800
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 75573493760
Number of bits of the biggest number in a constraint 37
Biggest sum of numbers in a constraint 2374370081400
Number of bits of the biggest sum of numbers42
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables22302
Total number of constraints463
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints463
Minimum length of a constraint8
Maximum length of a constraint14900

Trace number 9192

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        935112 kB
Buffers:         12124 kB
Cached:          68728 kB
SwapCached:          0 kB
Active:          44264 kB
Inactive:        39492 kB
HighTotal:      131008 kB
HighFree:        58604 kB
LowTotal:       903652 kB
LowFree:        876508 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:            10152 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 11:40:26 (client local time) WITH STATUS 0 IN 293.463 SECONDS
stats: 7910 7 293.463 0

Solver Data

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

2:
seed: 0
Nr of vars set: 8334  (#equs: 0)
Nr of vars set: 8362  (#equs: 0)
#decisions: 898704;  #end-nodes: 30128;
#proof improvement attempts: 0;  #restarts: 192
Current batch, end-nodes: 0 / 170 (167)
#axs: 575, #non-axs: 1025
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 29, end (keep): 48
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: 8450  (#equs: 0)
Time taken: 7 min, 19 sec

3:

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/5080/stat): 5080 (vallstSAT2005PB) R 5079 5080 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19771850 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5080/statm): 174 3 169 147 0 27 0
[pid=5080] 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=5081
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=5081) exited with status: 0
New process pid=5082
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=5082) exited with status: 0
New process pid=5083
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/wulflinc13/normalized-mps-v2-13-7-standgub.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0033 s]
Raw data (loadavg): 0.77 0.94 0.97 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 1522 0 0 0 980 7 0 0 25 0 1 0 19771860 7700480 1426 4294967295 134512640 134702520 3221223952 3220964608 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5083/statm): 1880 1426 413 48 0 1832 0
[pid=5083] vsize: 7520
Current children cumulated CPU time (s) 9.88
Current children cumulated vsize (Kb) 9648

[startup+20.004 s]
Raw data (loadavg): 0.80 0.94 0.97 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 1645 0 0 0 1980 7 0 0 25 0 1 0 19771860 8204288 1549 4294967295 134512640 134702520 3221223952 3220462048 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5083/statm): 2003 1549 413 48 0 1955 0
[pid=5083] vsize: 8012
Current children cumulated CPU time (s) 19.88
Current children cumulated vsize (Kb) 10140

[startup+30.0046 s]
Raw data (loadavg): 0.83 0.94 0.97 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 1865 0 0 0 2726 87 0 0 17 0 1 0 19771860 13598720 1769 4294967295 134512640 134702520 3221223952 3221223436 134608155 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5083/statm): 3320 1769 413 48 0 3272 0
[pid=5083] vsize: 13280
Current children cumulated CPU time (s) 28.14
Current children cumulated vsize (Kb) 15408

[startup+40.0053 s]
Raw data (loadavg): 0.86 0.94 0.97 1/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) T 5080 5080 4060 0 -1 0 1958 0 0 0 3325 208 0 0 17 0 1 0 19771860 13611008 1862 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5083/statm): 3323 1862 413 48 0 3275 0
[pid=5083] vsize: 13292
Current children cumulated CPU time (s) 35.34
Current children cumulated vsize (Kb) 15420

[startup+50.0069 s]
Raw data (loadavg): 0.88 0.94 0.97 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2002 0 0 0 3981 316 0 0 25 0 1 0 19771860 13611008 1906 4294967295 134512640 134702520 3221223952 3221196368 134612005 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5083/statm): 3323 1906 413 48 0 3275 0
[pid=5083] vsize: 13292
Current children cumulated CPU time (s) 42.98
Current children cumulated vsize (Kb) 15420

[startup+60.0076 s]
Raw data (loadavg): 0.90 0.94 0.97 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2002 0 0 0 4981 316 0 0 25 0 1 0 19771860 13611008 1906 4294967295 134512640 134702520 3221223952 3220929468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5083/statm): 3323 1906 413 48 0 3275 0
[pid=5083] vsize: 13292
Current children cumulated CPU time (s) 52.98
Current children cumulated vsize (Kb) 15420

[startup+70.0082 s]
Raw data (loadavg): 0.91 0.94 0.97 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2002 0 0 0 5981 316 0 0 25 0 1 0 19771860 13611008 1906 4294967295 134512640 134702520 3221223952 3220592688 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5083/statm): 3323 1906 413 48 0 3275 0
[pid=5083] vsize: 13292
Current children cumulated CPU time (s) 62.98
Current children cumulated vsize (Kb) 15420

[startup+80.0089 s]
Raw data (loadavg): 0.92 0.95 0.97 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) T 5080 5080 4060 0 -1 0 2011 0 0 0 6871 352 0 0 17 0 1 0 19771860 13647872 1915 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5083/statm): 3332 1915 413 48 0 3284 0
[pid=5083] vsize: 13328
Current children cumulated CPU time (s) 72.24
Current children cumulated vsize (Kb) 15456

[startup+90.0095 s]
Raw data (loadavg): 0.94 0.95 0.97 1/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) T 5080 5080 4060 0 -1 0 2011 0 0 0 7460 479 0 0 17 0 1 0 19771860 13647872 1915 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5083/statm): 3332 1915 413 48 0 3284 0
[pid=5083] vsize: 13328
Current children cumulated CPU time (s) 79.4
Current children cumulated vsize (Kb) 15456

[startup+100.01 s]
Raw data (loadavg): 0.95 0.95 0.97 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2011 0 0 0 8440 486 0 0 25 0 1 0 19771860 13647872 1915 4294967295 134512640 134702520 3221223952 3220974268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5083/statm): 3332 1915 413 48 0 3284 0
[pid=5083] vsize: 13328
Current children cumulated CPU time (s) 89.27
Current children cumulated vsize (Kb) 15456

[startup+110.011 s]
Raw data (loadavg): 0.95 0.95 0.97 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2011 0 0 0 9440 486 0 0 25 0 1 0 19771860 13647872 1915 4294967295 134512640 134702520 3221223952 3220646768 134612005 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5083/statm): 3332 1915 413 48 0 3284 0
[pid=5083] vsize: 13328
Current children cumulated CPU time (s) 99.27
Current children cumulated vsize (Kb) 15456

[startup+120.01 s]
Raw data (loadavg): 0.96 0.95 0.97 1/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) T 5080 5080 4060 0 -1 0 2011 0 0 0 10415 493 0 0 17 0 1 0 19771860 13647872 1915 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5083/statm): 3332 1915 413 48 0 3284 0
[pid=5083] vsize: 13328
Current children cumulated CPU time (s) 109.09
Current children cumulated vsize (Kb) 15456

[startup+130.011 s]
Raw data (loadavg): 0.97 0.95 0.97 1/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) T 5080 5080 4060 0 -1 0 2011 0 0 0 11040 614 0 0 18 0 1 0 19771860 13647872 1915 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5083/statm): 3332 1915 413 48 0 3284 0
[pid=5083] vsize: 13328
Current children cumulated CPU time (s) 116.55
Current children cumulated vsize (Kb) 15456

[startup+140.012 s]
Raw data (loadavg): 0.97 0.95 0.97 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2011 0 0 0 12000 626 0 0 25 0 1 0 19771860 13647872 1915 4294967295 134512640 134702520 3221223952 3220989468 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5083/statm): 3332 1915 413 48 0 3284 0
[pid=5083] vsize: 13328
Current children cumulated CPU time (s) 126.27
Current children cumulated vsize (Kb) 15456

[startup+150.012 s]
Raw data (loadavg): 0.97 0.95 0.97 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2011 0 0 0 13000 626 0 0 25 0 1 0 19771860 13647872 1915 4294967295 134512640 134702520 3221223952 3220670448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5083/statm): 3332 1915 413 48 0 3284 0
[pid=5083] vsize: 13328
Current children cumulated CPU time (s) 136.27
Current children cumulated vsize (Kb) 15456

[startup+160.013 s]
Raw data (loadavg): 0.98 0.95 0.97 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2011 0 0 0 14000 626 0 0 25 0 1 0 19771860 13647872 1915 4294967295 134512640 134702520 3221223952 3220008688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5083/statm): 3332 1915 413 48 0 3284 0
[pid=5083] vsize: 13328
Current children cumulated CPU time (s) 146.27
Current children cumulated vsize (Kb) 15456

[startup+170.014 s]
Raw data (loadavg): 0.98 0.95 0.97 1/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) T 5080 5080 4060 0 -1 0 2012 0 0 0 14613 751 0 0 17 0 1 0 19771860 13651968 1916 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5083/statm): 3333 1916 413 48 0 3285 0
[pid=5083] vsize: 13332
Current children cumulated CPU time (s) 153.65
Current children cumulated vsize (Kb) 15460

[startup+180.014 s]
Raw data (loadavg): 1.06 0.97 0.98 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2012 0 0 0 15516 784 0 0 25 0 1 0 19771860 13651968 1916 4294967295 134512640 134702520 3221223952 3221020528 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5083/statm): 3333 1916 413 48 0 3285 0
[pid=5083] vsize: 13332
Current children cumulated CPU time (s) 163.01
Current children cumulated vsize (Kb) 15460

[startup+190.015 s]
Raw data (loadavg): 1.05 0.97 0.98 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2012 0 0 0 16516 784 0 0 25 0 1 0 19771860 13651968 1916 4294967295 134512640 134702520 3221223952 3220706908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5083/statm): 3333 1916 413 48 0 3285 0
[pid=5083] vsize: 13332
Current children cumulated CPU time (s) 173.01
Current children cumulated vsize (Kb) 15460

[startup+200.016 s]
Raw data (loadavg): 1.04 0.97 0.98 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2012 0 0 0 17516 784 0 0 25 0 1 0 19771860 13651968 1916 4294967295 134512640 134702520 3221223952 3220175408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5083/statm): 3333 1916 413 48 0 3285 0
[pid=5083] vsize: 13332
Current children cumulated CPU time (s) 183.01
Current children cumulated vsize (Kb) 15460

[startup+210.016 s]
Raw data (loadavg): 1.03 0.97 0.98 1/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) T 5080 5080 4060 0 -1 0 2027 0 0 0 18197 889 0 0 17 0 1 0 19771860 13651968 1931 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5083/statm): 3333 1931 413 48 0 3285 0
[pid=5083] vsize: 13332
Current children cumulated CPU time (s) 190.87
Current children cumulated vsize (Kb) 15460

[startup+220.016 s]
Raw data (loadavg): 1.03 0.97 0.98 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2027 0 0 0 19021 942 0 0 25 0 1 0 19771860 13651968 1931 4294967295 134512640 134702520 3221223952 3221089628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5083/statm): 3333 1931 413 48 0 3285 0
[pid=5083] vsize: 13332
Current children cumulated CPU time (s) 199.64
Current children cumulated vsize (Kb) 15460

[startup+230.017 s]
Raw data (loadavg): 1.02 0.97 0.98 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2027 0 0 0 20021 942 0 0 25 0 1 0 19771860 13651968 1931 4294967295 134512640 134702520 3221223952 3220798128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5083/statm): 3333 1931 413 48 0 3285 0
[pid=5083] vsize: 13332
Current children cumulated CPU time (s) 209.64
Current children cumulated vsize (Kb) 15460

[startup+240.017 s]
Raw data (loadavg): 1.02 0.97 0.98 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2027 0 0 0 21021 942 0 0 25 0 1 0 19771860 13651968 1931 4294967295 134512640 134702520 3221223952 3220404508 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5083/statm): 3333 1931 413 48 0 3285 0
[pid=5083] vsize: 13332
Current children cumulated CPU time (s) 219.64
Current children cumulated vsize (Kb) 15460

[startup+250.019 s]
Raw data (loadavg): 1.10 0.99 0.98 1/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) T 5080 5080 4060 0 -1 0 2027 0 0 0 21798 1013 0 0 17 0 1 0 19771860 13651968 1931 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5083/statm): 3333 1931 413 48 0 3285 0
[pid=5083] vsize: 13332
Current children cumulated CPU time (s) 228.12
Current children cumulated vsize (Kb) 15460

[startup+260.02 s]
Raw data (loadavg): 1.08 0.99 0.98 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2027 0 0 0 22602 1076 0 0 25 0 1 0 19771860 13651968 1931 4294967295 134512640 134702520 3221223952 3221107888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5083/statm): 3333 1931 413 48 0 3285 0
[pid=5083] vsize: 13332
Current children cumulated CPU time (s) 236.79
Current children cumulated vsize (Kb) 15460

[startup+270.02 s]
Raw data (loadavg): 1.07 0.99 0.98 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2027 0 0 0 23602 1076 0 0 25 0 1 0 19771860 13651968 1931 4294967295 134512640 134702520 3221223952 3220817468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5083/statm): 3333 1931 413 48 0 3285 0
[pid=5083] vsize: 13332
Current children cumulated CPU time (s) 246.79
Current children cumulated vsize (Kb) 15460

[startup+280.021 s]
Raw data (loadavg): 1.06 0.99 0.98 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2027 0 0 0 24602 1076 0 0 25 0 1 0 19771860 13651968 1931 4294967295 134512640 134702520 3221223952 3220428528 134611982 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5083/statm): 3333 1931 413 48 0 3285 0
[pid=5083] vsize: 13332
Current children cumulated CPU time (s) 256.79
Current children cumulated vsize (Kb) 15460

[startup+290.021 s]
Raw data (loadavg): 1.05 0.99 0.98 1/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) T 5080 5080 4060 0 -1 0 2027 0 0 0 25373 1148 0 0 17 0 1 0 19771860 13651968 1931 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5083/statm): 3333 1931 413 48 0 3285 0
[pid=5083] vsize: 13332
Current children cumulated CPU time (s) 265.22
Current children cumulated vsize (Kb) 15460

[startup+300.022 s]
Raw data (loadavg): 1.11 1.00 0.99 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2027 0 0 0 26194 1208 0 0 25 0 1 0 19771860 13651968 1931 4294967295 134512640 134702520 3221223952 3221091872 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5083/statm): 3333 1931 413 48 0 3285 0
[pid=5083] vsize: 13332
Current children cumulated CPU time (s) 274.03
Current children cumulated vsize (Kb) 15460

[startup+310.023 s]
Raw data (loadavg): 1.10 1.00 0.99 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2027 0 0 0 27194 1208 0 0 25 0 1 0 19771860 13651968 1931 4294967295 134512640 134702520 3221223952 3220800988 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5083/statm): 3333 1931 413 48 0 3285 0
[pid=5083] vsize: 13332
Current children cumulated CPU time (s) 284.03
Current children cumulated vsize (Kb) 15460

[startup+320.023 s]
Raw data (loadavg): 1.08 1.00 0.99 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2027 0 0 0 28194 1208 0 0 25 0 1 0 19771860 13651968 1931 4294967295 134512640 134702520 3221223952 3220409148 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5083/statm): 3333 1931 413 48 0 3285 0
[pid=5083] vsize: 13332
Current children cumulated CPU time (s) 294.03
Current children cumulated vsize (Kb) 15460

[startup+330.023 s]
Raw data (loadavg): 1.07 1.00 0.99 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2027 0 0 0 28974 1279 0 0 19 0 1 0 19771860 13651968 1931 4294967295 134512640 134702520 3221223952 3221223232 134553271 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5083/statm): 3333 1931 413 48 0 3285 0
[pid=5083] vsize: 13332
Current children cumulated CPU time (s) 302.54
Current children cumulated vsize (Kb) 15460

[startup+340.024 s]
Raw data (loadavg): 1.06 1.00 0.99 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2027 0 0 0 29859 1315 0 0 25 0 1 0 19771860 13651968 1931 4294967295 134512640 134702520 3221223952 3221046908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5083/statm): 3333 1931 413 48 0 3285 0
[pid=5083] vsize: 13332
Current children cumulated CPU time (s) 311.75
Current children cumulated vsize (Kb) 15460

[startup+350.024 s]
Raw data (loadavg): 1.05 1.00 0.99 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2027 0 0 0 30860 1315 0 0 25 0 1 0 19771860 13651968 1931 4294967295 134512640 134702520 3221223952 3220740508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5083/statm): 3333 1931 413 48 0 3285 0
[pid=5083] vsize: 13332
Current children cumulated CPU time (s) 321.76
Current children cumulated vsize (Kb) 15460

[startup+360.025 s]
Raw data (loadavg): 1.04 1.00 0.99 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2027 0 0 0 31860 1315 0 0 25 0 1 0 19771860 13651968 1931 4294967295 134512640 134702520 3221223952 3220287388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5083/statm): 3333 1931 413 48 0 3285 0
[pid=5083] vsize: 13332
Current children cumulated CPU time (s) 331.76
Current children cumulated vsize (Kb) 15460

[startup+370.026 s]
Raw data (loadavg): 1.11 1.02 0.99 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2027 0 0 0 32613 1395 0 0 25 0 1 0 19771860 13651968 1931 4294967295 134512640 134702520 3221223952 3221207888 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5083/statm): 3333 1931 413 48 0 3285 0
[pid=5083] vsize: 13332
Current children cumulated CPU time (s) 340.09
Current children cumulated vsize (Kb) 15460

[startup+380.026 s]
Raw data (loadavg): 1.10 1.02 0.99 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2027 0 0 0 33614 1395 0 0 25 0 1 0 19771860 13651968 1931 4294967295 134512640 134702520 3221223952 3220939568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5083/statm): 3333 1931 413 48 0 3285 0
[pid=5083] vsize: 13332
Current children cumulated CPU time (s) 350.1
Current children cumulated vsize (Kb) 15460

[startup+390.027 s]
Raw data (loadavg): 1.08 1.01 0.99 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2027 0 0 0 34614 1395 0 0 25 0 1 0 19771860 13651968 1931 4294967295 134512640 134702520 3221223952 3220600208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5083/statm): 3333 1931 413 48 0 3285 0
[pid=5083] vsize: 13332
Current children cumulated CPU time (s) 360.1
Current children cumulated vsize (Kb) 15460

[startup+400.028 s]
Raw data (loadavg): 1.07 1.01 0.99 1/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) T 5080 5080 4060 0 -1 0 2027 0 0 0 35571 1408 0 0 18 0 1 0 19771860 13651968 1931 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5083/statm): 3333 1931 413 48 0 3285 0
[pid=5083] vsize: 13332
Current children cumulated CPU time (s) 369.8
Current children cumulated vsize (Kb) 15460

[startup+410.028 s]
Raw data (loadavg): 1.06 1.01 0.99 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2027 0 0 0 36405 1462 0 0 25 0 1 0 19771860 13656064 1931 4294967295 134512640 134702520 3221223952 3221099728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5083/statm): 3334 1931 413 48 0 3286 0
[pid=5083] vsize: 13336
Current children cumulated CPU time (s) 378.68
Current children cumulated vsize (Kb) 15464

[startup+420.028 s]
Raw data (loadavg): 1.05 1.01 0.99 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2027 0 0 0 37405 1462 0 0 25 0 1 0 19771860 13656064 1931 4294967295 134512640 134702520 3221223952 3220810908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5083/statm): 3334 1931 413 48 0 3286 0
[pid=5083] vsize: 13336
Current children cumulated CPU time (s) 388.68
Current children cumulated vsize (Kb) 15464

[startup+430.03 s]
Raw data (loadavg): 1.04 1.01 0.99 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2027 0 0 0 38405 1462 0 0 25 0 1 0 19771860 13656064 1931 4294967295 134512640 134702520 3221223952 3220423708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5083/statm): 3334 1931 413 48 0 3286 0
[pid=5083] vsize: 13336
Current children cumulated CPU time (s) 398.68
Current children cumulated vsize (Kb) 15464

[startup+440.03 s]
Raw data (loadavg): 1.03 1.01 0.99 1/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) T 5080 5080 4060 0 -1 0 2027 0 0 0 39216 1526 0 0 17 0 1 0 19771860 13656064 1931 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5083/statm): 3334 1931 413 48 0 3286 0
[pid=5083] vsize: 13336
Current children cumulated CPU time (s) 407.43
Current children cumulated vsize (Kb) 15464

[startup+450.031 s]
Raw data (loadavg): 1.03 1.01 0.99 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2029 0 0 0 40183 1537 0 0 25 0 1 0 19771860 13656064 1933 4294967295 134512640 134702520 3221223952 3220984528 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5083/statm): 3334 1933 413 48 0 3286 0
[pid=5083] vsize: 13336
Current children cumulated CPU time (s) 417.21
Current children cumulated vsize (Kb) 15464

[startup+460.032 s]
Raw data (loadavg): 1.02 1.01 0.99 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2029 0 0 0 41183 1537 0 0 25 0 1 0 19771860 13656064 1933 4294967295 134512640 134702520 3221223952 3220660028 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5083/statm): 3334 1933 413 48 0 3286 0
[pid=5083] vsize: 13336
Current children cumulated CPU time (s) 427.21
Current children cumulated vsize (Kb) 15464

[startup+470.031 s]
Raw data (loadavg): 1.02 1.01 0.99 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2029 0 0 0 42180 1538 0 0 24 0 1 0 19771860 13656064 1933 4294967295 134512640 134702520 3221223952 3221223232 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5083/statm): 3334 1933 413 48 0 3286 0
[pid=5083] vsize: 13336
Current children cumulated CPU time (s) 437.19
Current children cumulated vsize (Kb) 15464

[startup+480.032 s]
Raw data (loadavg): 1.02 1.01 0.99 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2029 0 0 0 42982 1604 0 0 25 0 1 0 19771860 13656064 1933 4294967295 134512640 134702520 3221223952 3221124688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5083/statm): 3334 1933 413 48 0 3286 0
[pid=5083] vsize: 13336
Current children cumulated CPU time (s) 445.87
Current children cumulated vsize (Kb) 15464

[startup+490.033 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2029 0 0 0 43982 1604 0 0 25 0 1 0 19771860 13656064 1933 4294967295 134512640 134702520 3221223952 3220841648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5083/statm): 3334 1933 413 48 0 3286 0
[pid=5083] vsize: 13336
Current children cumulated CPU time (s) 455.87
Current children cumulated vsize (Kb) 15464

[startup+500.033 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 5083
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19771850 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 242 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5083/stat): 5083 (vallst) R 5080 5080 4060 0 -1 0 2029 0 0 0 44982 1604 0 0 25 0 1 0 19771860 13656064 1933 4294967295 134512640 134702520 3221223952 3220468668 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5083/statm): 3334 1933 413 48 0 3286 0
[pid=5083] vsize: 13336
Current children cumulated CPU time (s) 465.87
Current children cumulated vsize (Kb) 15464
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=5083) exited with status: 2
New process pid=5084
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=5084) exited with status: 0
New process pid=5085
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+510.034 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1093 0 0 0 432 3 0 0 25 0 1 0 19822422 6041600 1064 4294967295 134512640 134702520 3221223712 3221106428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5085/statm): 1475 1064 413 48 0 1427 0
[pid=5085] vsize: 5900
Current children cumulated CPU time (s) 475.81
Current children cumulated vsize (Kb) 8028

[startup+520.034 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1185 0 0 0 1432 4 0 0 25 0 1 0 19822422 6418432 1156 4294967295 134512640 134702520 3221223712 3220728208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5085/statm): 1567 1156 413 48 0 1519 0
[pid=5085] vsize: 6268
Current children cumulated CPU time (s) 485.82
Current children cumulated vsize (Kb) 8396

[startup+530.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1591 0 0 0 2395 16 0 0 18 0 1 0 19822422 11243520 1562 4294967295 134512640 134702520 3221223712 3221223112 134607258 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5085/statm): 2745 1562 413 48 0 2697 0
[pid=5085] vsize: 10980
Current children cumulated CPU time (s) 495.57
Current children cumulated vsize (Kb) 13108

[startup+540.036 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1623 0 0 0 3155 92 0 0 25 0 1 0 19822422 11264000 1594 4294967295 134512640 134702520 3221223712 3221117068 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5085/statm): 2750 1594 413 48 0 2702 0
[pid=5085] vsize: 11000
Current children cumulated CPU time (s) 503.93
Current children cumulated vsize (Kb) 13128

[startup+550.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1623 0 0 0 4155 92 0 0 25 0 1 0 19822422 11264000 1594 4294967295 134512640 134702520 3221223712 3220832608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5085/statm): 2750 1594 413 48 0 2702 0
[pid=5085] vsize: 11000
Current children cumulated CPU time (s) 513.93
Current children cumulated vsize (Kb) 13128

[startup+560.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1623 0 0 0 5155 92 0 0 25 0 1 0 19822422 11264000 1594 4294967295 134512640 134702520 3221223712 3220457388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5085/statm): 2750 1594 413 48 0 2702 0
[pid=5085] vsize: 11000
Current children cumulated CPU time (s) 523.93
Current children cumulated vsize (Kb) 13128

[startup+570.037 s]
Raw data (loadavg): 1.00 1.00 0.99 1/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) T 5080 5080 4060 0 -1 0 1625 0 0 0 5955 157 0 0 17 0 1 0 19822422 11272192 1596 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5085/statm): 2752 1596 413 48 0 2704 0
[pid=5085] vsize: 11008
Current children cumulated CPU time (s) 532.58
Current children cumulated vsize (Kb) 13136

[startup+580.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1625 0 0 0 6932 165 0 0 25 0 1 0 19822422 11272192 1596 4294967295 134512640 134702520 3221223712 3220975468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5085/statm): 2752 1596 413 48 0 2704 0
[pid=5085] vsize: 11008
Current children cumulated CPU time (s) 542.43
Current children cumulated vsize (Kb) 13136

[startup+590.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1625 0 0 0 7932 165 0 0 25 0 1 0 19822422 11272192 1596 4294967295 134512640 134702520 3221223712 3220651628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5085/statm): 2752 1596 413 48 0 2704 0
[pid=5085] vsize: 11008
Current children cumulated CPU time (s) 552.43
Current children cumulated vsize (Kb) 13136

[startup+600.039 s]
Raw data (loadavg): 1.00 1.00 0.99 1/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) T 5080 5080 4060 0 -1 0 1625 0 0 0 8923 168 0 0 17 0 1 0 19822422 11272192 1596 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5085/statm): 2752 1596 413 48 0 2704 0
[pid=5085] vsize: 11008
Current children cumulated CPU time (s) 562.37
Current children cumulated vsize (Kb) 13136

[startup+610.039 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1625 0 0 0 9614 267 0 0 25 0 1 0 19822422 11272192 1596 4294967295 134512640 134702520 3221223712 3221151948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5085/statm): 2752 1596 413 48 0 2704 0
[pid=5085] vsize: 11008
Current children cumulated CPU time (s) 570.27
Current children cumulated vsize (Kb) 13136

[startup+620.039 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1625 0 0 0 10614 267 0 0 25 0 1 0 19822422 11272192 1596 4294967295 134512640 134702520 3221223712 3220874528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5085/statm): 2752 1596 413 48 0 2704 0
[pid=5085] vsize: 11008
Current children cumulated CPU time (s) 580.27
Current children cumulated vsize (Kb) 13136

[startup+630.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1625 0 0 0 11614 267 0 0 25 0 1 0 19822422 11272192 1596 4294967295 134512640 134702520 3221223712 3220515148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5085/statm): 2752 1596 413 48 0 2704 0
[pid=5085] vsize: 11008
Current children cumulated CPU time (s) 590.27
Current children cumulated vsize (Kb) 13136

[startup+640.039 s]
Raw data (loadavg): 1.00 1.00 0.99 1/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) T 5080 5080 4060 0 -1 0 1638 0 0 0 12478 309 0 0 17 0 1 0 19822422 11272192 1609 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5085/statm): 2752 1609 413 48 0 2704 0
[pid=5085] vsize: 11008
Current children cumulated CPU time (s) 599.33
Current children cumulated vsize (Kb) 13136

[startup+650.04 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1639 0 0 0 13314 362 0 0 25 0 1 0 19822422 11272192 1610 4294967295 134512640 134702520 3221223712 3221071788 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5085/statm): 2752 1610 413 48 0 2704 0
[pid=5085] vsize: 11008
Current children cumulated CPU time (s) 608.22
Current children cumulated vsize (Kb) 13136

[startup+660.041 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1639 0 0 0 14314 362 0 0 25 0 1 0 19822422 11272192 1610 4294967295 134512640 134702520 3221223712 3220775468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5085/statm): 2752 1610 413 48 0 2704 0
[pid=5085] vsize: 11008
Current children cumulated CPU time (s) 618.22
Current children cumulated vsize (Kb) 13136

[startup+670.04 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1639 0 0 0 15314 362 0 0 25 0 1 0 19822422 11272192 1610 4294967295 134512640 134702520 3221223712 3220371008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5085/statm): 2752 1610 413 48 0 2704 0
[pid=5085] vsize: 11008
Current children cumulated CPU time (s) 628.22
Current children cumulated vsize (Kb) 13136

[startup+680.041 s]
Raw data (loadavg): 1.04 1.01 1.00 1/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) T 5080 5080 4060 0 -1 0 1639 0 0 0 16035 449 0 0 17 0 1 0 19822422 11272192 1610 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5085/statm): 2752 1610 413 48 0 2704 0
[pid=5085] vsize: 11008
Current children cumulated CPU time (s) 636.3
Current children cumulated vsize (Kb) 13136

[startup+690.042 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1639 0 0 0 17006 458 0 0 25 0 1 0 19822422 11272192 1610 4294967295 134512640 134702520 3221223712 3220980748 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5085/statm): 2752 1610 413 48 0 2704 0
[pid=5085] vsize: 11008
Current children cumulated CPU time (s) 646.1
Current children cumulated vsize (Kb) 13136

[startup+700.042 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1639 0 0 0 18006 458 0 0 25 0 1 0 19822422 11272192 1610 4294967295 134512640 134702520 3221223712 3220658848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5085/statm): 2752 1610 413 48 0 2704 0
[pid=5085] vsize: 11008
Current children cumulated CPU time (s) 656.1
Current children cumulated vsize (Kb) 13136

[startup+710.043 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1639 0 0 0 19007 458 0 0 25 0 1 0 19822422 11272192 1610 4294967295 134512640 134702520 3221223712 3219980748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5085/statm): 2752 1610 413 48 0 2704 0
[pid=5085] vsize: 11008
Current children cumulated CPU time (s) 666.11
Current children cumulated vsize (Kb) 13136

[startup+720.043 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1649 0 0 0 19641 573 0 0 25 0 1 0 19822422 11378688 1620 4294967295 134512640 134702520 3221223712 3221187648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5085/statm): 2778 1620 413 48 0 2730 0
[pid=5085] vsize: 11112
Current children cumulated CPU time (s) 673.6
Current children cumulated vsize (Kb) 13240

[startup+730.044 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1649 0 0 0 20641 573 0 0 25 0 1 0 19822422 11378688 1620 4294967295 134512640 134702520 3221223712 3220921248 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5085/statm): 2778 1620 413 48 0 2730 0
[pid=5085] vsize: 11112
Current children cumulated CPU time (s) 683.6
Current children cumulated vsize (Kb) 13240

[startup+740.045 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1649 0 0 0 21641 573 0 0 25 0 1 0 19822422 11378688 1620 4294967295 134512640 134702520 3221223712 3220584608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5085/statm): 2778 1620 413 48 0 2730 0
[pid=5085] vsize: 11112
Current children cumulated CPU time (s) 693.6
Current children cumulated vsize (Kb) 13240

[startup+750.046 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) T 5080 5080 4060 0 -1 0 1651 0 0 0 22569 600 0 0 17 0 1 0 19822422 11382784 1622 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5085/statm): 2779 1622 413 48 0 2731 0
[pid=5085] vsize: 11116
Current children cumulated CPU time (s) 703.15
Current children cumulated vsize (Kb) 13244

[startup+760.046 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1655 0 0 0 23173 722 0 0 25 0 1 0 19822422 11382784 1626 4294967295 134512640 134702520 3221223712 3221196128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5085/statm): 2779 1626 413 48 0 2731 0
[pid=5085] vsize: 11116
Current children cumulated CPU time (s) 710.41
Current children cumulated vsize (Kb) 13244

[startup+770.047 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1655 0 0 0 24174 722 0 0 25 0 1 0 19822422 11382784 1626 4294967295 134512640 134702520 3221223712 3220931328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5085/statm): 2779 1626 413 48 0 2731 0
[pid=5085] vsize: 11116
Current children cumulated CPU time (s) 720.42
Current children cumulated vsize (Kb) 13244

[startup+780.048 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1655 0 0 0 25174 722 0 0 25 0 1 0 19822422 11382784 1626 4294967295 134512640 134702520 3221223712 3220598048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5085/statm): 2779 1626 413 48 0 2731 0
[pid=5085] vsize: 11116
Current children cumulated CPU time (s) 730.42
Current children cumulated vsize (Kb) 13244

[startup+790.048 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) T 5080 5080 4060 0 -1 0 1656 0 0 0 26118 740 0 0 17 0 1 0 19822422 11382784 1627 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5085/statm): 2779 1627 413 48 0 2731 0
[pid=5085] vsize: 11116
Current children cumulated CPU time (s) 740.04
Current children cumulated vsize (Kb) 13244

[startup+800.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1683 0 0 0 26884 817 0 0 25 0 1 0 19822422 11386880 1654 4294967295 134512640 134702520 3221223712 3221110368 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5085/statm): 2780 1654 413 48 0 2732 0
[pid=5085] vsize: 11120
Current children cumulated CPU time (s) 748.47
Current children cumulated vsize (Kb) 13248

[startup+810.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1683 0 0 0 27884 817 0 0 25 0 1 0 19822422 11386880 1654 4294967295 134512640 134702520 3221223712 3220823648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5085/statm): 2780 1654 413 48 0 2732 0
[pid=5085] vsize: 11120
Current children cumulated CPU time (s) 758.47
Current children cumulated vsize (Kb) 13248

[startup+820.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1683 0 0 0 28884 817 0 0 25 0 1 0 19822422 11386880 1654 4294967295 134512640 134702520 3221223712 3220443648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5085/statm): 2780 1654 413 48 0 2732 0
[pid=5085] vsize: 11120
Current children cumulated CPU time (s) 768.47
Current children cumulated vsize (Kb) 13248

[startup+830.051 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) T 5080 5080 4060 0 -1 0 1695 0 0 0 29695 876 0 0 17 0 1 0 19822422 11472896 1666 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5085/statm): 2801 1666 413 48 0 2753 0
[pid=5085] vsize: 11204
Current children cumulated CPU time (s) 777.17
Current children cumulated vsize (Kb) 13332

[startup+840.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1709 0 0 0 30551 922 0 0 25 0 1 0 19822422 11472896 1680 4294967295 134512640 134702520 3221223712 3221053068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5085/statm): 2801 1680 413 48 0 2753 0
[pid=5085] vsize: 11204
Current children cumulated CPU time (s) 786.19
Current children cumulated vsize (Kb) 13332

[startup+850.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1709 0 0 0 31551 922 0 0 25 0 1 0 19822422 11472896 1680 4294967295 134512640 134702520 3221223712 3220752608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5085/statm): 2801 1680 413 48 0 2753 0
[pid=5085] vsize: 11204
Current children cumulated CPU time (s) 796.19
Current children cumulated vsize (Kb) 13332

[startup+860.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1709 0 0 0 32551 922 0 0 25 0 1 0 19822422 11472896 1680 4294967295 134512640 134702520 3221223712 3220336928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5085/statm): 2801 1680 413 48 0 2753 0
[pid=5085] vsize: 11204
Current children cumulated CPU time (s) 806.19
Current children cumulated vsize (Kb) 13332

[startup+870.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1719 0 0 0 33399 973 0 0 25 0 1 0 19822422 11476992 1690 4294967295 134512640 134702520 3221223712 3221154688 134612005 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5085/statm): 2802 1690 413 48 0 2754 0
[pid=5085] vsize: 11208
Current children cumulated CPU time (s) 815.18
Current children cumulated vsize (Kb) 13336

[startup+880.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1719 0 0 0 34399 973 0 0 25 0 1 0 19822422 11476992 1690 4294967295 134512640 134702520 3221223712 3220878028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5085/statm): 2802 1690 413 48 0 2754 0
[pid=5085] vsize: 11208
Current children cumulated CPU time (s) 825.18
Current children cumulated vsize (Kb) 13336

[startup+890.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1719 0 0 0 35400 973 0 0 25 0 1 0 19822422 11476992 1690 4294967295 134512640 134702520 3221223712 3220520768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5085/statm): 2802 1690 413 48 0 2754 0
[pid=5085] vsize: 11208
Current children cumulated CPU time (s) 835.19
Current children cumulated vsize (Kb) 13336

[startup+900.055 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) T 5080 5080 4060 0 -1 0 1722 0 0 0 36262 1017 0 0 17 0 1 0 19822422 11476992 1693 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5085/statm): 2802 1693 413 48 0 2754 0
[pid=5085] vsize: 11208
Current children cumulated CPU time (s) 844.25
Current children cumulated vsize (Kb) 13336

[startup+910.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1726 0 0 0 37109 1064 0 0 25 0 1 0 19822422 11476992 1697 4294967295 134512640 134702520 3221223712 3221064128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5085/statm): 2802 1697 413 48 0 2754 0
[pid=5085] vsize: 11208
Current children cumulated CPU time (s) 853.19
Current children cumulated vsize (Kb) 13336

[startup+920.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1726 0 0 0 38109 1064 0 0 25 0 1 0 19822422 11476992 1697 4294967295 134512640 134702520 3221223712 3220766528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5085/statm): 2802 1697 413 48 0 2754 0
[pid=5085] vsize: 11208
Current children cumulated CPU time (s) 863.19
Current children cumulated vsize (Kb) 13336

[startup+930.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1726 0 0 0 39109 1064 0 0 25 0 1 0 19822422 11476992 1697 4294967295 134512640 134702520 3221223712 3220359308 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5085/statm): 2802 1697 413 48 0 2754 0
[pid=5085] vsize: 11208
Current children cumulated CPU time (s) 873.19
Current children cumulated vsize (Kb) 13336

[startup+940.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1737 0 0 0 39928 1120 0 0 25 0 1 0 19822422 11567104 1708 4294967295 134512640 134702520 3221223712 3221196268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5085/statm): 2824 1708 413 48 0 2776 0
[pid=5085] vsize: 11296
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (Kb) 13424

[startup+950.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1737 0 0 0 40928 1120 0 0 25 0 1 0 19822422 11567104 1708 4294967295 134512640 134702520 3221223712 3220932448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5085/statm): 2824 1708 413 48 0 2776 0
[pid=5085] vsize: 11296
Current children cumulated CPU time (s) 891.94
Current children cumulated vsize (Kb) 13424

[startup+960.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5085
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 378 2405 0 0 1 1 45537 1607 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5085/stat): 5085 (vallst) R 5080 5080 4060 0 -1 0 1737 0 0 0 41928 1120 0 0 25 0 1 0 19822422 11567104 1708 4294967295 134512640 134702520 3221223712 3220600768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5085/statm): 2824 1708 413 48 0 2776 0
[pid=5085] vsize: 11296
Current children cumulated CPU time (s) 901.94
Current children cumulated vsize (Kb) 13424
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=5085) exited with status: 2
New process pid=5086
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=5086) exited with status: 0
New process pid=5087
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+970.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5087
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 417 4288 0 0 1 1 88387 2731 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5080 5080 4060 0 -1 0 1066 0 0 0 65 3 0 0 25 0 1 0 19868797 6029312 1038 4294967295 134512640 134702520 3221223712 3221217808 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 1472 1038 413 48 0 1424 0
[pid=5087] vsize: 5888
Current children cumulated CPU time (s) 911.88
Current children cumulated vsize (Kb) 8016

[startup+980.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5087
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 417 4288 0 0 1 1 88387 2731 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5080 5080 4060 0 -1 0 1144 0 0 0 1065 4 0 0 25 0 1 0 19868797 6348800 1116 4294967295 134512640 134702520 3221223712 3220888528 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 1550 1116 413 48 0 1502 0
[pid=5087] vsize: 6200
Current children cumulated CPU time (s) 921.89
Current children cumulated vsize (Kb) 8328

[startup+990.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5087
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 417 4288 0 0 1 1 88387 2731 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5080 5080 4060 0 -1 0 1268 0 0 0 2065 4 0 0 25 0 1 0 19868797 6856704 1240 4294967295 134512640 134702520 3221223712 3220378288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 1674 1240 413 48 0 1626 0
[pid=5087] vsize: 6696
Current children cumulated CPU time (s) 931.89
Current children cumulated vsize (Kb) 8824

[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5087
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 417 4288 0 0 1 1 88387 2731 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) T 5080 5080 4060 0 -1 0 1581 0 0 0 2794 90 0 0 17 0 1 0 19868797 11014144 1553 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5087/statm): 2689 1553 413 48 0 2641 0
[pid=5087] vsize: 10756
Current children cumulated CPU time (s) 940.04
Current children cumulated vsize (Kb) 12884

[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5087
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 417 4288 0 0 1 1 88387 2731 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5080 5080 4060 0 -1 0 1581 0 0 0 3772 97 0 0 25 0 1 0 19868797 11014144 1553 4294967295 134512640 134702520 3221223712 3220983948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 2689 1553 413 48 0 2641 0
[pid=5087] vsize: 10756
Current children cumulated CPU time (s) 949.89
Current children cumulated vsize (Kb) 12884

[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5087
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 417 4288 0 0 1 1 88387 2731 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5080 5080 4060 0 -1 0 1581 0 0 0 4772 97 0 0 25 0 1 0 19868797 11014144 1553 4294967295 134512640 134702520 3221223712 3220666208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 2689 1553 413 48 0 2641 0
[pid=5087] vsize: 10756
Current children cumulated CPU time (s) 959.89
Current children cumulated vsize (Kb) 12884

[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5087
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 417 4288 0 0 1 1 88387 2731 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5080 5080 4060 0 -1 0 1581 0 0 0 5772 97 0 0 25 0 1 0 19868797 11014144 1553 4294967295 134512640 134702520 3221223712 3220106528 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 2689 1553 413 48 0 2641 0
[pid=5087] vsize: 10756
Current children cumulated CPU time (s) 969.89
Current children cumulated vsize (Kb) 12884

[startup+1040.06 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5087
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 417 4288 0 0 1 1 88387 2731 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5080 5080 4060 0 -1 0 1613 0 0 0 6420 210 0 0 25 0 1 0 19868797 11137024 1585 4294967295 134512640 134702520 3221223712 3221194188 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5087/statm): 2719 1585 413 48 0 2671 0
[pid=5087] vsize: 10876
Current children cumulated CPU time (s) 977.5
Current children cumulated vsize (Kb) 13004

[startup+1050.06 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5087
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 417 4288 0 0 1 1 88387 2731 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5080 5080 4060 0 -1 0 1613 0 0 0 7421 210 0 0 25 0 1 0 19868797 11137024 1585 4294967295 134512640 134702520 3221223712 3220924588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5087/statm): 2719 1585 413 48 0 2671 0
[pid=5087] vsize: 10876
Current children cumulated CPU time (s) 987.51
Current children cumulated vsize (Kb) 13004

[startup+1060.06 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5087
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 417 4288 0 0 1 1 88387 2731 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5080 5080 4060 0 -1 0 1613 0 0 0 8421 210 0 0 25 0 1 0 19868797 11137024 1585 4294967295 134512640 134702520 3221223712 3220583808 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5087/statm): 2719 1585 413 48 0 2671 0
[pid=5087] vsize: 10876
Current children cumulated CPU time (s) 997.51
Current children cumulated vsize (Kb) 13004

[startup+1070.06 s]
Raw data (loadavg): 1.04 1.01 1.00 1/56 5087
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 417 4288 0 0 1 1 88387 2731 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) T 5080 5080 4060 0 -1 0 1616 0 0 0 9357 231 0 0 17 0 1 0 19868797 11137024 1588 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5087/statm): 2719 1588 413 48 0 2671 0
[pid=5087] vsize: 10876
Current children cumulated CPU time (s) 1007.08
Current children cumulated vsize (Kb) 13004

[startup+1080.07 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5087
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 417 4288 0 0 1 1 88387 2731 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5080 5080 4060 0 -1 0 1653 0 0 0 9952 358 0 0 23 0 1 0 19868797 11137024 1625 4294967295 134512640 134702520 3221223712 3221206368 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 2719 1625 413 48 0 2671 0
[pid=5087] vsize: 10876
Current children cumulated CPU time (s) 1014.3
Current children cumulated vsize (Kb) 13004

[startup+1090.07 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5087
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 417 4288 0 0 1 1 88387 2731 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5080 5080 4060 0 -1 0 1653 0 0 0 10952 358 0 0 25 0 1 0 19868797 11137024 1625 4294967295 134512640 134702520 3221223712 3220942188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 2719 1625 413 48 0 2671 0
[pid=5087] vsize: 10876
Current children cumulated CPU time (s) 1024.3
Current children cumulated vsize (Kb) 13004

[startup+1100.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5087
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 417 4288 0 0 1 1 88387 2731 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5080 5080 4060 0 -1 0 1653 0 0 0 11952 358 0 0 25 0 1 0 19868797 11137024 1625 4294967295 134512640 134702520 3221223712 3220611488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 2719 1625 413 48 0 2671 0
[pid=5087] vsize: 10876
Current children cumulated CPU time (s) 1034.3
Current children cumulated vsize (Kb) 13004

[startup+1110.07 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5087
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 417 4288 0 0 1 1 88387 2731 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) T 5080 5080 4060 0 -1 0 1655 0 0 0 12928 366 0 0 17 0 1 0 19868797 11218944 1627 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5087/statm): 2739 1627 413 48 0 2691 0
[pid=5087] vsize: 10956
Current children cumulated CPU time (s) 1044.14
Current children cumulated vsize (Kb) 13084

[startup+1120.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5087
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 417 4288 0 0 1 1 88387 2731 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5080 5080 4060 0 -1 0 1666 0 0 0 13579 476 0 0 25 0 1 0 19868797 11218944 1638 4294967295 134512640 134702520 3221223712 3221176448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 2739 1638 413 48 0 2691 0
[pid=5087] vsize: 10956
Current children cumulated CPU time (s) 1051.75
Current children cumulated vsize (Kb) 13084

[startup+1130.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5087
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 417 4288 0 0 1 1 88387 2731 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5080 5080 4060 0 -1 0 1666 0 0 0 14579 476 0 0 25 0 1 0 19868797 11218944 1638 4294967295 134512640 134702520 3221223712 3220906368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 2739 1638 413 48 0 2691 0
[pid=5087] vsize: 10956
Current children cumulated CPU time (s) 1061.75
Current children cumulated vsize (Kb) 13084

[startup+1140.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5087
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 417 4288 0 0 1 1 88387 2731 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5080 5080 4060 0 -1 0 1666 0 0 0 15579 476 0 0 25 0 1 0 19868797 11218944 1638 4294967295 134512640 134702520 3221223712 3220563468 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 2739 1638 413 48 0 2691 0
[pid=5087] vsize: 10956
Current children cumulated CPU time (s) 1071.75
Current children cumulated vsize (Kb) 13084

[startup+1150.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5087
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 417 4288 0 0 1 1 88387 2731 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5080 5080 4060 0 -1 0 1669 0 0 0 16503 501 0 0 17 0 1 0 19868797 11218944 1641 4294967295 134512640 134702520 3221223712 3221223112 134606948 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 2739 1641 413 48 0 2691 0
[pid=5087] vsize: 10956
Current children cumulated CPU time (s) 1081.24
Current children cumulated vsize (Kb) 13084

[startup+1160.07 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5087
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 417 4288 0 0 1 1 88387 2731 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5080 5080 4060 0 -1 0 1679 0 0 0 17252 583 0 0 25 0 1 0 19868797 11218944 1651 4294967295 134512640 134702520 3221223712 3221116288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 2739 1651 413 48 0 2691 0
[pid=5087] vsize: 10956
Current children cumulated CPU time (s) 1089.55
Current children cumulated vsize (Kb) 13084

[startup+1170.07 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5087
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 417 4288 0 0 1 1 88387 2731 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5080 5080 4060 0 -1 0 1679 0 0 0 18252 583 0 0 25 0 1 0 19868797 11218944 1651 4294967295 134512640 134702520 3221223712 3220833228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 2739 1651 413 48 0 2691 0
[pid=5087] vsize: 10956
Current children cumulated CPU time (s) 1099.55
Current children cumulated vsize (Kb) 13084

[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5087
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 417 4288 0 0 1 1 88387 2731 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5080 5080 4060 0 -1 0 1679 0 0 0 19252 583 0 0 25 0 1 0 19868797 11218944 1651 4294967295 134512640 134702520 3221223712 3220461728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 2739 1651 413 48 0 2691 0
[pid=5087] vsize: 10956
Current children cumulated CPU time (s) 1109.55
Current children cumulated vsize (Kb) 13084

[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5087
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 417 4288 0 0 1 1 88387 2731 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5080 5080 4060 0 -1 0 1686 0 0 0 20052 648 0 0 17 0 1 0 19868797 11304960 1658 4294967295 134512640 134702520 3221223712 3221223112 134607270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 2760 1658 413 48 0 2712 0
[pid=5087] vsize: 11040
Current children cumulated CPU time (s) 1118.2
Current children cumulated vsize (Kb) 13168

[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5087
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 417 4288 0 0 1 1 88387 2731 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5080 5080 4060 0 -1 0 1697 0 0 0 20799 727 0 0 25 0 1 0 19868797 11304960 1669 4294967295 134512640 134702520 3221223712 3221117248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5087/statm): 2760 1669 413 48 0 2712 0
[pid=5087] vsize: 11040
Current children cumulated CPU time (s) 1126.46
Current children cumulated vsize (Kb) 13168

[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5087
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 417 4288 0 0 1 1 88387 2731 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5080 5080 4060 0 -1 0 1697 0 0 0 21799 727 0 0 25 0 1 0 19868797 11304960 1669 4294967295 134512640 134702520 3221223712 3220831148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5087/statm): 2760 1669 413 48 0 2712 0
[pid=5087] vsize: 11040
Current children cumulated CPU time (s) 1136.46
Current children cumulated vsize (Kb) 13168

[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5087
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 417 4288 0 0 1 1 88387 2731 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5080 5080 4060 0 -1 0 1697 0 0 0 22799 727 0 0 25 0 1 0 19868797 11304960 1669 4294967295 134512640 134702520 3221223712 3220454528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5087/statm): 2760 1669 413 48 0 2712 0
[pid=5087] vsize: 11040
Current children cumulated CPU time (s) 1146.46
Current children cumulated vsize (Kb) 13168

[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5087
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 417 4288 0 0 1 1 88387 2731 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5080 5080 4060 0 -1 0 1703 0 0 0 23633 782 0 0 17 0 1 0 19868797 11309056 1675 4294967295 134512640 134702520 3221223712 3221223112 134607291 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 2761 1675 413 48 0 2713 0
[pid=5087] vsize: 11044
Current children cumulated CPU time (s) 1155.35
Current children cumulated vsize (Kb) 13172

[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5087
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 417 4288 0 0 1 1 88387 2731 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5080 5080 4060 0 -1 0 1766 0 0 0 24457 835 0 0 25 0 1 0 19868797 11538432 1738 4294967295 134512640 134702520 3221223712 3221071968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5087/statm): 2817 1738 413 48 0 2769 0
[pid=5087] vsize: 11268
Current children cumulated CPU time (s) 1164.12
Current children cumulated vsize (Kb) 13396

[startup+1250.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5087
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 417 4288 0 0 1 1 88387 2731 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5080 5080 4060 0 -1 0 1766 0 0 0 25457 835 0 0 25 0 1 0 19868797 11538432 1738 4294967295 134512640 134702520 3221223712 3220775168 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5087/statm): 2817 1738 413 48 0 2769 0
[pid=5087] vsize: 11268
Current children cumulated CPU time (s) 1174.12
Current children cumulated vsize (Kb) 13396

[startup+1260.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5087
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 417 4288 0 0 1 1 88387 2731 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5080 5080 4060 0 -1 0 1766 0 0 0 26458 835 0 0 25 0 1 0 19868797 11538432 1738 4294967295 134512640 134702520 3221223712 3220371968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5087/statm): 2817 1738 413 48 0 2769 0
[pid=5087] vsize: 11268
Current children cumulated CPU time (s) 1184.13
Current children cumulated vsize (Kb) 13396

[startup+1270.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5087
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 417 4288 0 0 1 1 88387 2731 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5080 5080 4060 0 -1 0 1766 0 0 0 27240 904 0 0 21 0 1 0 19868797 11538432 1738 4294967295 134512640 134702520 3221223712 3221211008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 2817 1738 413 48 0 2769 0
[pid=5087] vsize: 11268
Current children cumulated CPU time (s) 1192.64
Current children cumulated vsize (Kb) 13396

[startup+1280.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5087
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 417 4288 0 0 1 1 88387 2731 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5080 5080 4060 0 -1 0 1766 0 0 0 28241 904 0 0 25 0 1 0 19868797 11538432 1738 4294967295 134512640 134702520 3221223712 3220948128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 2817 1738 413 48 0 2769 0
[pid=5087] vsize: 11268
Current children cumulated CPU time (s) 1202.65
Current children cumulated vsize (Kb) 13396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1280.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5087
Raw data (/proc/5080/stat): 5080 (vallstSAT2005PB) S 5079 5080 4060 0 -1 0 417 4288 0 0 1 1 88387 2731 19 0 1 0 19771850 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5080/statm): 532 248 485 147 0 385 0
[pid=5080] vsize: 2128
Raw data (/proc/5087/stat): 5087 (vallst) R 5080 5080 4060 0 -1 0 1766 0 0 0 28241 904 0 0 25 0 1 0 19868797 11538432 1738 4294967295 134512640 134702520 3221223712 3220948128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5087/statm): 2817 1738 413 48 0 2769 0
[pid=5087] vsize: 11268
Current children cumulated CPU time (s) 1202.65
Current children cumulated vsize (Kb) 13396

Sending SIGTERM to -5080
Sleeping 2 seconds
New process pid=5089
New process pid=5090
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/4043/stat
open syscall for file /proc/4043/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4043/cmdline
open syscall for file /proc/4043/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/5041/stat
open syscall for file /proc/5041/status
open syscall for file /proc/5041/cmdline
open syscall for file /proc/5041/environ
open syscall for file /proc/5079/stat
open syscall for file /proc/5079/status
open syscall for file /proc/5079/cmdline
open syscall for file /proc/5079/environ
open syscall for file /proc/5080/stat
open syscall for file /proc/5080/status
open syscall for file /proc/5080/cmdline
open syscall for file /proc/5080/environ
open syscall for file /proc/5087/stat
open syscall for file /proc/5087/status
open syscall for file /proc/5087/cmdline
open syscall for file /proc/5087/environ
open syscall for file /proc/5089/stat
open syscall for file /proc/5089/status
open syscall for file /proc/5089/cmdline
open syscall for file /proc/5089/environ
open syscall for file /proc/5090/stat
open syscall for file /proc/5090/status
open syscall for file /proc/5090/cmdline
open syscall for file /proc/5090/environ
One traced child (pid=5089) exited with status: 0
One traced child (pid=5090) exited with status: 0
New process pid=5091
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=5091) exited with status: 0
New process pid=5092
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=5092) exited with status: 0
One traced child (pid=5080) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -5080
One traced child (pid=5087) 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): 1282.09
CPU time (s): 293.463
CPU user time (s): 284.41
CPU system time (s): 9.05362
CPU usage (%): 22.8894
Max. virtual memory (cumulated for all children) (Kb): 15464

Verifier Data

ERROR: no interpretation found !