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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-atlanta-ip.opb
MD5SUM0a1ff370c051d88127ca8cdb722ca490
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 31296
Biggest coefficient in the objective function 1700000000000
Number of bits for the biggest coefficient in the objective function 41
Sum of the numbers in the objective function 81421012358779
Number of bits of the sum of numbers in the objective function 47
Biggest number in a constraint 1700000000000
Number of bits of the biggest number in a constraint 41
Biggest sum of numbers in a constraint 81421012358779
Number of bits of the biggest sum of numbers47
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables77286
Total number of constraints70354
Number of constraints which are clauses2311
Number of constraints which are cardinality constraints (but not clauses)47534
Number of constraints which are nor clauses,nor cardinality constraints20509
Minimum length of a constraint1
Maximum length of a constraint2790

Trace number 4302

Launcher Data

LAUNCH ON wulflinc11 THE 2005-09-19 06:16:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7592 boxname=wulflinc11 idbench=560 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  0a1ff370c051d88127ca8cdb722ca490  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-atlanta-ip.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-atlanta-ip.opb 0
IDLAUNCH: 7592
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        860988 kB
Buffers:         35804 kB
Cached:         109868 kB
SwapCached:        732 kB
Active:          77364 kB
Inactive:        70888 kB
HighTotal:      131008 kB
HighFree:        19320 kB
LowTotal:       903652 kB
LowFree:        841668 kB
SwapTotal:     2097136 kB
SwapFree:      2095856 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5716 kB
Slab:            19580 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 06:37:27 (client local time) WITH STATUS 0 IN 115.817 SECONDS
stats: 7592 7 115.817 0

Solver Data

1:
seed: 0
Nr of vars set: 1385  (#equs: 0)
Nr of vars set: 9703  (#equs: 0)
#decisions: 828174;  #end-nodes: 14391;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 166 (103)
#axs: 30333, #non-axs: 8299
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: 9876  (#equs: 0)
Time taken: 9 min, 3 sec

2:
seed: 0
Nr of vars set: 9876  (#equs: 0)
Nr of vars set: 9876  (#equs: 0)
#decisions: 766557;  #end-nodes: 17884;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 227 (143)
#axs: 28974, #non-axs: 14002
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)
seed: 0
Nr of vars set: 10051  (#equs: 0)
Time taken: 9 min, 5 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/25436/stat): 25436 (vallstSAT2005PB) R 25435 25436 9854 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1789434653 712704 3 4294967295 134512640 135087896 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25436/statm): 174 3 169 147 0 27 0
[pid=25436] 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=25437
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=25437) exited with status: 0
New process pid=25438
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=25438) exited with status: 0
New process pid=25439
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/wulflinc11/normalized-mps-v2-20-10-atlanta-ip.opb

[startup+10.0033 s]
Raw data (loadavg): 0.89 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) T 25436 25436 9854 0 -1 0 3994 0 0 0 956 21 0 0 25 0 1 0 1789434660 25559040 3641 4294967295 134512640 134702520 3221223952 3221223540 1074898590 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/25439/statm): 6240 3641 413 48 0 6192 0
[pid=25439] vsize: 24960
Current children cumulated CPU time (s) 9.78
Current children cumulated vsize (Kb) 27088
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+20.0051 s]
Raw data (loadavg): 0.91 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 5798 0 0 0 1931 37 0 0 25 0 1 0 1789434660 27549696 5238 4294967295 134512640 134702520 3221223952 3221188928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 6726 5238 413 48 0 6678 0
[pid=25439] vsize: 26904
Current children cumulated CPU time (s) 19.69
Current children cumulated vsize (Kb) 29032

[startup+30.0059 s]
Raw data (loadavg): 0.92 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 5798 0 0 0 2931 37 0 0 25 0 1 0 1789434660 27549696 5238 4294967295 134512640 134702520 3221223952 3221094988 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 6726 5238 413 48 0 6678 0
[pid=25439] vsize: 26904
Current children cumulated CPU time (s) 29.69
Current children cumulated vsize (Kb) 29032

[startup+40.0066 s]
Raw data (loadavg): 0.93 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 5798 0 0 0 3932 37 0 0 25 0 1 0 1789434660 27549696 5238 4294967295 134512640 134702520 3221223952 3221001568 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 6726 5238 413 48 0 6678 0
[pid=25439] vsize: 26904
Current children cumulated CPU time (s) 39.7
Current children cumulated vsize (Kb) 29032

[startup+50.0094 s]
Raw data (loadavg): 0.94 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 5798 0 0 0 4932 37 0 0 25 0 1 0 1789434660 27549696 5238 4294967295 134512640 134702520 3221223952 3220901388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 6726 5238 413 48 0 6678 0
[pid=25439] vsize: 26904
Current children cumulated CPU time (s) 49.7
Current children cumulated vsize (Kb) 29032

[startup+60.0102 s]
Raw data (loadavg): 0.95 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 5798 0 0 0 5932 37 0 0 25 0 1 0 1789434660 27549696 5238 4294967295 134512640 134702520 3221223952 3220792608 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 6726 5238 413 48 0 6678 0
[pid=25439] vsize: 26904
Current children cumulated CPU time (s) 59.7
Current children cumulated vsize (Kb) 29032

[startup+70.011 s]
Raw data (loadavg): 0.96 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 5798 0 0 0 6932 37 0 0 25 0 1 0 1789434660 27549696 5238 4294967295 134512640 134702520 3221223952 3220672608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 6726 5238 413 48 0 6678 0
[pid=25439] vsize: 26904
Current children cumulated CPU time (s) 69.7
Current children cumulated vsize (Kb) 29032

[startup+80.0118 s]
Raw data (loadavg): 0.96 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 5798 0 0 0 7933 37 0 0 25 0 1 0 1789434660 27549696 5238 4294967295 134512640 134702520 3221223952 3220538048 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 6726 5238 413 48 0 6678 0
[pid=25439] vsize: 26904
Current children cumulated CPU time (s) 79.71
Current children cumulated vsize (Kb) 29032

[startup+90.0126 s]
Raw data (loadavg): 0.97 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 5798 0 0 0 8933 37 0 0 25 0 1 0 1789434660 27549696 5238 4294967295 134512640 134702520 3221223952 3220382688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 6726 5238 413 48 0 6678 0
[pid=25439] vsize: 26904
Current children cumulated CPU time (s) 89.71
Current children cumulated vsize (Kb) 29032

[startup+100.013 s]
Raw data (loadavg): 0.97 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 5798 0 0 0 9933 37 0 0 25 0 1 0 1789434660 27549696 5238 4294967295 134512640 134702520 3221223952 3220193068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 6726 5238 413 48 0 6678 0
[pid=25439] vsize: 26904
Current children cumulated CPU time (s) 99.71
Current children cumulated vsize (Kb) 29032

[startup+110.014 s]
Raw data (loadavg): 0.98 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 5798 0 0 0 10933 37 0 0 25 0 1 0 1789434660 27549696 5238 4294967295 134512640 134702520 3221223952 3219940128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 6726 5238 413 48 0 6678 0
[pid=25439] vsize: 26904
Current children cumulated CPU time (s) 109.71
Current children cumulated vsize (Kb) 29032

[startup+120.016 s]
Raw data (loadavg): 0.98 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 5839 0 0 0 11753 93 0 0 17 0 1 0 1789434660 55111680 5279 4294967295 134512640 134702520 3221223952 3221223232 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/25439/statm): 13455 5279 413 48 0 13407 0
[pid=25439] vsize: 53820
Current children cumulated CPU time (s) 118.47
Current children cumulated vsize (Kb) 55948

[startup+130.017 s]
Raw data (loadavg): 0.98 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 5843 0 0 0 12341 226 0 0 25 0 1 0 1789434660 55111680 5283 4294967295 134512640 134702520 3221223952 3221039568 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/25439/statm): 13455 5283 413 48 0 13407 0
[pid=25439] vsize: 53820
Current children cumulated CPU time (s) 125.68
Current children cumulated vsize (Kb) 55948

[startup+140.018 s]
Raw data (loadavg): 0.98 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6210 0 0 0 13341 226 0 0 25 0 1 0 1789434660 56614912 5650 4294967295 134512640 134702520 3221223952 3221103388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 13822 5650 413 48 0 13774 0
[pid=25439] vsize: 55288
Current children cumulated CPU time (s) 135.68
Current children cumulated vsize (Kb) 57416

[startup+150.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6210 0 0 0 14341 226 0 0 25 0 1 0 1789434660 56614912 5650 4294967295 134512640 134702520 3221223952 3221011068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 13822 5650 413 48 0 13774 0
[pid=25439] vsize: 55288
Current children cumulated CPU time (s) 145.68
Current children cumulated vsize (Kb) 57416

[startup+160.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6210 0 0 0 15341 226 0 0 25 0 1 0 1789434660 56614912 5650 4294967295 134512640 134702520 3221223952 3220680048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 13822 5650 413 48 0 13774 0
[pid=25439] vsize: 55288
Current children cumulated CPU time (s) 155.68
Current children cumulated vsize (Kb) 57416

[startup+170.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6210 0 0 0 16341 226 0 0 25 0 1 0 1789434660 56614912 5650 4294967295 134512640 134702520 3221223952 3220166288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 13822 5650 413 48 0 13774 0
[pid=25439] vsize: 55288
Current children cumulated CPU time (s) 165.68
Current children cumulated vsize (Kb) 57416

[startup+180.02 s]
Raw data (loadavg): 0.99 0.97 0.98 1/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) T 25436 25436 9854 0 -1 0 6211 0 0 0 16992 340 0 0 17 0 1 0 1789434660 56614912 5651 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/25439/statm): 13822 5651 413 48 0 13774 0
[pid=25439] vsize: 55288
Current children cumulated CPU time (s) 173.33
Current children cumulated vsize (Kb) 57416

[startup+190.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6214 0 0 0 17731 423 0 0 25 0 1 0 1789434660 56614912 5654 4294967295 134512640 134702520 3221223952 3221053788 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/25439/statm): 13822 5654 413 48 0 13774 0
[pid=25439] vsize: 55288
Current children cumulated CPU time (s) 181.55
Current children cumulated vsize (Kb) 57416

[startup+200.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6214 0 0 0 18730 423 0 0 25 0 1 0 1789434660 56614912 5654 4294967295 134512640 134702520 3221223952 3220575068 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 13822 5654 413 48 0 13774 0
[pid=25439] vsize: 55288
Current children cumulated CPU time (s) 191.54
Current children cumulated vsize (Kb) 57416

[startup+210.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6214 0 0 0 19731 423 0 0 25 0 1 0 1789434660 56614912 5654 4294967295 134512640 134702520 3221223952 3219996508 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 13822 5654 413 48 0 13774 0
[pid=25439] vsize: 55288
Current children cumulated CPU time (s) 201.55
Current children cumulated vsize (Kb) 57416

[startup+220.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6214 0 0 0 20731 423 0 0 25 0 1 0 1789434660 56614912 5654 4294967295 134512640 134702520 3221223952 3219225632 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 13822 5654 413 48 0 13774 0
[pid=25439] vsize: 55288
Current children cumulated CPU time (s) 211.55
Current children cumulated vsize (Kb) 57416

[startup+230.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6283 0 0 0 21731 423 0 0 25 0 1 0 1789434660 56897536 5723 4294967295 134512640 134702520 3221223952 3217825628 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 13891 5723 413 48 0 13843 0
[pid=25439] vsize: 55564
Current children cumulated CPU time (s) 221.55
Current children cumulated vsize (Kb) 57692

[startup+240.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6596 0 0 0 22731 424 0 0 25 0 1 0 1789434660 58179584 6036 4294967295 134512640 134702520 3221223952 3221026608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6036 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 231.56
Current children cumulated vsize (Kb) 58944

[startup+250.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6596 0 0 0 23731 424 0 0 25 0 1 0 1789434660 58179584 6036 4294967295 134512640 134702520 3221223952 3220699068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6036 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 241.56
Current children cumulated vsize (Kb) 58944

[startup+260.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6596 0 0 0 24731 424 0 0 25 0 1 0 1789434660 58179584 6036 4294967295 134512640 134702520 3221223952 3220199388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6036 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 251.56
Current children cumulated vsize (Kb) 58944

[startup+270.026 s]
Raw data (loadavg): 0.99 0.97 0.98 1/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) T 25436 25436 9854 0 -1 0 6601 0 0 0 25412 526 0 0 17 0 1 0 1789434660 58179584 6041 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6041 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 259.39
Current children cumulated vsize (Kb) 58944

[startup+280.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6601 0 0 0 26289 565 0 0 25 0 1 0 1789434660 58179584 6041 4294967295 134512640 134702520 3221223952 3220938268 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6041 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 268.55
Current children cumulated vsize (Kb) 58944

[startup+290.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6601 0 0 0 27289 565 0 0 25 0 1 0 1789434660 58179584 6041 4294967295 134512640 134702520 3221223952 3220439228 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6041 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 278.55
Current children cumulated vsize (Kb) 58944

[startup+300.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6601 0 0 0 28289 565 0 0 25 0 1 0 1789434660 58179584 6041 4294967295 134512640 134702520 3221223952 3219823868 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6041 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 288.55
Current children cumulated vsize (Kb) 58944

[startup+310.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6601 0 0 0 29289 565 0 0 25 0 1 0 1789434660 58179584 6041 4294967295 134512640 134702520 3221223952 3218960988 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6041 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 298.55
Current children cumulated vsize (Kb) 58944

[startup+320.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6601 0 0 0 30290 565 0 0 25 0 1 0 1789434660 58179584 6041 4294967295 134512640 134702520 3221223952 3216849308 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6041 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 308.56
Current children cumulated vsize (Kb) 58944

[startup+330.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6601 0 0 0 31290 565 0 0 25 0 1 0 1789434660 58179584 6041 4294967295 134512640 134702520 3221223952 3220950108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6041 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 318.56
Current children cumulated vsize (Kb) 58944

[startup+340.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6601 0 0 0 32290 565 0 0 25 0 1 0 1789434660 58179584 6041 4294967295 134512640 134702520 3221223952 3220596188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6041 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 328.56
Current children cumulated vsize (Kb) 58944

[startup+350.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6601 0 0 0 33290 565 0 0 25 0 1 0 1789434660 58179584 6041 4294967295 134512640 134702520 3221223952 3219953628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6041 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 338.56
Current children cumulated vsize (Kb) 58944

[startup+360.032 s]
Raw data (loadavg): 0.99 0.97 0.98 1/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) T 25436 25436 9854 0 -1 0 6602 0 0 0 33824 712 0 0 17 0 1 0 1789434660 58179584 6042 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6042 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 345.37
Current children cumulated vsize (Kb) 58944

[startup+370.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6602 0 0 0 34726 743 0 0 25 0 1 0 1789434660 58179584 6042 4294967295 134512640 134702520 3221223952 3220901308 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6042 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 354.7
Current children cumulated vsize (Kb) 58944

[startup+380.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6602 0 0 0 35726 743 0 0 25 0 1 0 1789434660 58179584 6042 4294967295 134512640 134702520 3221223952 3220395868 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6042 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 364.7
Current children cumulated vsize (Kb) 58944

[startup+390.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6602 0 0 0 36726 743 0 0 25 0 1 0 1789434660 58179584 6042 4294967295 134512640 134702520 3221223952 3219767068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6042 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 374.7
Current children cumulated vsize (Kb) 58944

[startup+400.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6602 0 0 0 37726 743 0 0 25 0 1 0 1789434660 58179584 6042 4294967295 134512640 134702520 3221223952 3218867568 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6042 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 384.7
Current children cumulated vsize (Kb) 58944

[startup+410.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6602 0 0 0 38727 743 0 0 25 0 1 0 1789434660 58179584 6042 4294967295 134512640 134702520 3221223952 3221205792 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6042 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 394.71
Current children cumulated vsize (Kb) 58944

[startup+420.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6602 0 0 0 39727 743 0 0 25 0 1 0 1789434660 58179584 6042 4294967295 134512640 134702520 3221223952 3220925468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6042 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 404.71
Current children cumulated vsize (Kb) 58944

[startup+430.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6602 0 0 0 40727 743 0 0 25 0 1 0 1789434660 58179584 6042 4294967295 134512640 134702520 3221223952 3220561948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6042 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 414.71
Current children cumulated vsize (Kb) 58944

[startup+440.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6602 0 0 0 41727 743 0 0 25 0 1 0 1789434660 58179584 6042 4294967295 134512640 134702520 3221223952 3219806608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6042 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 424.71
Current children cumulated vsize (Kb) 58944

[startup+450.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6627 0 0 0 42278 885 0 0 20 0 1 0 1789434660 58179584 6067 4294967295 134512640 134702520 3221223952 3221115548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/25439/statm): 14204 6067 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 431.64
Current children cumulated vsize (Kb) 58944

[startup+460.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6627 0 0 0 43277 885 0 0 25 0 1 0 1789434660 58179584 6067 4294967295 134512640 134702520 3221223952 3219274908 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6067 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 441.63
Current children cumulated vsize (Kb) 58944

[startup+470.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6627 0 0 0 44278 885 0 0 25 0 1 0 1789434660 58179584 6067 4294967295 134512640 134702520 3221223952 3221064208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6067 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 451.64
Current children cumulated vsize (Kb) 58944

[startup+480.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6627 0 0 0 45278 885 0 0 25 0 1 0 1789434660 58179584 6067 4294967295 134512640 134702520 3221223952 3220749468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6067 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 461.64
Current children cumulated vsize (Kb) 58944

[startup+490.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6627 0 0 0 46278 885 0 0 25 0 1 0 1789434660 58179584 6067 4294967295 134512640 134702520 3221223952 3220294588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6067 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 471.64
Current children cumulated vsize (Kb) 58944

[startup+500.043 s]
Raw data (loadavg): 0.99 0.97 0.98 1/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) T 25436 25436 9854 0 -1 0 6629 0 0 0 47006 971 0 0 17 0 1 0 1789434660 58179584 6069 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/25439/statm): 14204 6069 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 479.78
Current children cumulated vsize (Kb) 58944

[startup+510.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6658 0 0 0 47675 1079 0 0 25 0 1 0 1789434660 58179584 6098 4294967295 134512640 134702520 3221223952 3221216028 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/25439/statm): 14204 6098 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 487.55
Current children cumulated vsize (Kb) 58944

[startup+520.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6658 0 0 0 48674 1079 0 0 25 0 1 0 1789434660 58179584 6098 4294967295 134512640 134702520 3221223952 3221140188 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6098 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 497.54
Current children cumulated vsize (Kb) 58944

[startup+530.046 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6658 0 0 0 49675 1079 0 0 25 0 1 0 1789434660 58179584 6098 4294967295 134512640 134702520 3221223952 3218873308 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6098 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 507.55
Current children cumulated vsize (Kb) 58944

[startup+540.047 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6658 0 0 0 50675 1079 0 0 25 0 1 0 1789434660 58179584 6098 4294967295 134512640 134702520 3221223952 3221025648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6098 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 517.55
Current children cumulated vsize (Kb) 58944

[startup+550.048 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6658 0 0 0 51675 1079 0 0 25 0 1 0 1789434660 58179584 6098 4294967295 134512640 134702520 3221223952 3220718288 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6098 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 527.55
Current children cumulated vsize (Kb) 58944

[startup+560.049 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6658 0 0 0 52675 1079 0 0 25 0 1 0 1789434660 58179584 6098 4294967295 134512640 134702520 3221223952 3220285628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6098 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 537.55
Current children cumulated vsize (Kb) 58944
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=25439) exited with status: 2
New process pid=25440
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=25440) exited with status: 0
New process pid=25441
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+570.049 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 3010 0 0 0 186 16 0 0 25 0 1 0 1789491455 21045248 2982 4294967295 134512640 134702520 3221223712 3221223204 1074898590 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/25441/statm): 5138 2982 413 48 0 5090 0
[pid=25441] vsize: 20552
Current children cumulated CPU time (s) 547.42
Current children cumulated vsize (Kb) 22680

[startup+580.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 4371 0 0 0 1173 24 0 0 25 0 1 0 1789491455 22867968 4342 4294967295 134512640 134702520 3221223712 3221172508 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 5583 4342 413 48 0 5535 0
[pid=25441] vsize: 22332
Current children cumulated CPU time (s) 557.37
Current children cumulated vsize (Kb) 24460

[startup+590.051 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 4371 0 0 0 2173 24 0 0 25 0 1 0 1789491455 22867968 4342 4294967295 134512640 134702520 3221223712 3221084028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 5583 4342 413 48 0 5535 0
[pid=25441] vsize: 22332
Current children cumulated CPU time (s) 567.37
Current children cumulated vsize (Kb) 24460

[startup+600.052 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 4371 0 0 0 3173 24 0 0 25 0 1 0 1789491455 22867968 4342 4294967295 134512640 134702520 3221223712 3220996188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 5583 4342 413 48 0 5535 0
[pid=25441] vsize: 22332
Current children cumulated CPU time (s) 577.37
Current children cumulated vsize (Kb) 24460

[startup+610.053 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 4371 0 0 0 4173 24 0 0 25 0 1 0 1789491455 22867968 4342 4294967295 134512640 134702520 3221223712 3220902588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 5583 4342 413 48 0 5535 0
[pid=25441] vsize: 22332
Current children cumulated CPU time (s) 587.37
Current children cumulated vsize (Kb) 24460

[startup+620.053 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 4371 0 0 0 5174 24 0 0 25 0 1 0 1789491455 22867968 4342 4294967295 134512640 134702520 3221223712 3220802288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 5583 4342 413 48 0 5535 0
[pid=25441] vsize: 22332
Current children cumulated CPU time (s) 597.38
Current children cumulated vsize (Kb) 24460

[startup+630.054 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 4371 0 0 0 6174 24 0 0 25 0 1 0 1789491455 22867968 4342 4294967295 134512640 134702520 3221223712 3220693648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 5583 4342 413 48 0 5535 0
[pid=25441] vsize: 22332
Current children cumulated CPU time (s) 607.38
Current children cumulated vsize (Kb) 24460

[startup+640.055 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 4371 0 0 0 7174 24 0 0 25 0 1 0 1789491455 22867968 4342 4294967295 134512640 134702520 3221223712 3220573488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 5583 4342 413 48 0 5535 0
[pid=25441] vsize: 22332
Current children cumulated CPU time (s) 617.38
Current children cumulated vsize (Kb) 24460

[startup+650.056 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 4371 0 0 0 8174 24 0 0 25 0 1 0 1789491455 22867968 4342 4294967295 134512640 134702520 3221223712 3220438288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 5583 4342 413 48 0 5535 0
[pid=25441] vsize: 22332
Current children cumulated CPU time (s) 627.38
Current children cumulated vsize (Kb) 24460

[startup+660.056 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 4371 0 0 0 9175 24 0 0 25 0 1 0 1789491455 22867968 4342 4294967295 134512640 134702520 3221223712 3220281468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 5583 4342 413 48 0 5535 0
[pid=25441] vsize: 22332
Current children cumulated CPU time (s) 637.39
Current children cumulated vsize (Kb) 24460

[startup+670.057 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 4371 0 0 0 10175 24 0 0 25 0 1 0 1789491455 22867968 4342 4294967295 134512640 134702520 3221223712 3220089148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 5583 4342 413 48 0 5535 0
[pid=25441] vsize: 22332
Current children cumulated CPU time (s) 647.39
Current children cumulated vsize (Kb) 24460

[startup+680.058 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 4371 0 0 0 11175 24 0 0 25 0 1 0 1789491455 22867968 4342 4294967295 134512640 134702520 3221223712 3219817308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 5583 4342 413 48 0 5535 0
[pid=25441] vsize: 22332
Current children cumulated CPU time (s) 657.39
Current children cumulated vsize (Kb) 24460

[startup+690.059 s]
Raw data (loadavg): 0.99 0.97 0.98 1/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) T 25436 25436 9854 0 -1 0 4771 0 0 0 11924 102 0 0 18 0 1 0 1789491455 47460352 4741 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/25441/statm): 11587 4741 413 48 0 11539 0
[pid=25441] vsize: 46348
Current children cumulated CPU time (s) 665.66
Current children cumulated vsize (Kb) 48476

[startup+700.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 4803 0 0 0 12640 193 0 0 25 0 1 0 1789491455 47460352 4773 4294967295 134512640 134702520 3221223712 3220953388 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 11587 4773 413 48 0 11539 0
[pid=25441] vsize: 46348
Current children cumulated CPU time (s) 673.73
Current children cumulated vsize (Kb) 48476

[startup+710.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5196 0 0 0 13639 194 0 0 25 0 1 0 1789491455 49070080 5166 4294967295 134512640 134702520 3221223712 3221145072 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 11980 5166 413 48 0 11932 0
[pid=25441] vsize: 47920
Current children cumulated CPU time (s) 683.73
Current children cumulated vsize (Kb) 50048

[startup+720.062 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5196 0 0 0 14639 194 0 0 25 0 1 0 1789491455 49070080 5166 4294967295 134512640 134702520 3221223712 3221024608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 11980 5166 413 48 0 11932 0
[pid=25441] vsize: 47920
Current children cumulated CPU time (s) 693.73
Current children cumulated vsize (Kb) 50048

[startup+730.063 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5196 0 0 0 15640 194 0 0 25 0 1 0 1789491455 49070080 5166 4294967295 134512640 134702520 3221223712 3220708928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 11980 5166 413 48 0 11932 0
[pid=25441] vsize: 47920
Current children cumulated CPU time (s) 703.74
Current children cumulated vsize (Kb) 50048

[startup+740.063 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5196 0 0 0 16640 194 0 0 25 0 1 0 1789491455 49070080 5166 4294967295 134512640 134702520 3221223712 3220251008 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 11980 5166 413 48 0 11932 0
[pid=25441] vsize: 47920
Current children cumulated CPU time (s) 713.74
Current children cumulated vsize (Kb) 50048

[startup+750.063 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5222 0 0 0 17466 249 0 0 18 0 1 0 1789491455 49205248 5191 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12013 5191 413 48 0 11965 0
[pid=25441] vsize: 48052
Current children cumulated CPU time (s) 722.55
Current children cumulated vsize (Kb) 50180

[startup+760.064 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5243 0 0 0 18221 325 0 0 25 0 1 0 1789491455 49205248 5212 4294967295 134512640 134702520 3221223712 3220727476 134611987 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12013 5212 413 48 0 11965 0
[pid=25441] vsize: 48052
Current children cumulated CPU time (s) 730.86
Current children cumulated vsize (Kb) 50180

[startup+770.065 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5243 0 0 0 19221 325 0 0 25 0 1 0 1789491455 49205248 5212 4294967295 134512640 134702520 3221223712 3220481388 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12013 5212 413 48 0 11965 0
[pid=25441] vsize: 48052
Current children cumulated CPU time (s) 740.86
Current children cumulated vsize (Kb) 50180

[startup+780.066 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5243 0 0 0 20221 325 0 0 25 0 1 0 1789491455 49205248 5212 4294967295 134512640 134702520 3221223712 3220977388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12013 5212 413 48 0 11965 0
[pid=25441] vsize: 48052
Current children cumulated CPU time (s) 750.86
Current children cumulated vsize (Kb) 50180

[startup+790.067 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5243 0 0 0 21221 325 0 0 25 0 1 0 1789491455 49205248 5212 4294967295 134512640 134702520 3221223712 3220647148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12013 5212 413 48 0 11965 0
[pid=25441] vsize: 48052
Current children cumulated CPU time (s) 760.86
Current children cumulated vsize (Kb) 50180

[startup+800.067 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5243 0 0 0 22222 325 0 0 25 0 1 0 1789491455 49205248 5212 4294967295 134512640 134702520 3221223712 3220136748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12013 5212 413 48 0 11965 0
[pid=25441] vsize: 48052
Current children cumulated CPU time (s) 770.87
Current children cumulated vsize (Kb) 50180

[startup+810.068 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5258 0 0 0 22950 409 0 0 17 0 1 0 1789491455 49205248 5226 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/25441/statm): 12013 5226 413 48 0 11965 0
[pid=25441] vsize: 48052
Current children cumulated CPU time (s) 778.99
Current children cumulated vsize (Kb) 50180

[startup+820.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5277 0 0 0 23649 502 0 0 25 0 1 0 1789491455 49340416 5245 4294967295 134512640 134702520 3221223712 3221148908 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12046 5245 413 48 0 11998 0
[pid=25441] vsize: 48184
Current children cumulated CPU time (s) 786.91
Current children cumulated vsize (Kb) 50312

[startup+830.071 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5277 0 0 0 24649 502 0 0 25 0 1 0 1789491455 49340416 5245 4294967295 134512640 134702520 3221223712 3220685708 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12046 5245 413 48 0 11998 0
[pid=25441] vsize: 48184
Current children cumulated CPU time (s) 796.91
Current children cumulated vsize (Kb) 50312

[startup+840.072 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5277 0 0 0 25649 502 0 0 25 0 1 0 1789491455 49340416 5245 4294967295 134512640 134702520 3221223712 3220131308 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12046 5245 413 48 0 11998 0
[pid=25441] vsize: 48184
Current children cumulated CPU time (s) 806.91
Current children cumulated vsize (Kb) 50312

[startup+850.072 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5277 0 0 0 26649 502 0 0 25 0 1 0 1789491455 49340416 5245 4294967295 134512640 134702520 3221223712 3219413068 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12046 5245 413 48 0 11998 0
[pid=25441] vsize: 48184
Current children cumulated CPU time (s) 816.91
Current children cumulated vsize (Kb) 50312

[startup+860.073 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5277 0 0 0 27650 502 0 0 25 0 1 0 1789491455 49340416 5245 4294967295 134512640 134702520 3221223712 3218221228 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12046 5245 413 48 0 11998 0
[pid=25441] vsize: 48184
Current children cumulated CPU time (s) 826.92
Current children cumulated vsize (Kb) 50312

[startup+870.074 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5674 0 0 0 28649 503 0 0 25 0 1 0 1789491455 50966528 5642 4294967295 134512640 134702520 3221223712 3221104128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12443 5642 413 48 0 12395 0
[pid=25441] vsize: 49772
Current children cumulated CPU time (s) 836.92
Current children cumulated vsize (Kb) 51900

[startup+880.075 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5674 0 0 0 29649 503 0 0 25 0 1 0 1789491455 50966528 5642 4294967295 134512640 134702520 3221223712 3220805712 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12443 5642 413 48 0 12395 0
[pid=25441] vsize: 49772
Current children cumulated CPU time (s) 846.92
Current children cumulated vsize (Kb) 51900

[startup+890.075 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5674 0 0 0 30649 503 0 0 25 0 1 0 1789491455 50966528 5642 4294967295 134512640 134702520 3221223712 3220398508 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12443 5642 413 48 0 12395 0
[pid=25441] vsize: 49772
Current children cumulated CPU time (s) 856.92
Current children cumulated vsize (Kb) 51900

[startup+900.076 s]
Raw data (loadavg): 1.07 0.99 0.98 1/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) T 25436 25436 9854 0 -1 0 5681 0 0 0 31566 533 0 0 17 0 1 0 1789491455 50966528 5648 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12443 5648 413 48 0 12395 0
[pid=25441] vsize: 49772
Current children cumulated CPU time (s) 866.39
Current children cumulated vsize (Kb) 51900

[startup+910.077 s]
Raw data (loadavg): 1.06 0.99 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) T 25436 25436 9854 0 -1 0 5696 0 0 0 32158 660 0 0 20 0 1 0 1789491455 50966528 5663 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12443 5663 413 48 0 12395 0
[pid=25441] vsize: 49772
Current children cumulated CPU time (s) 873.58
Current children cumulated vsize (Kb) 51900

[startup+920.078 s]
Raw data (loadavg): 1.05 0.99 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5698 0 0 0 33031 701 0 0 25 0 1 0 1789491455 50966528 5665 4294967295 134512640 134702520 3221223712 3221171316 134612020 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12443 5665 413 48 0 12395 0
[pid=25441] vsize: 49772
Current children cumulated CPU time (s) 882.72
Current children cumulated vsize (Kb) 51900

[startup+930.079 s]
Raw data (loadavg): 1.04 0.99 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5698 0 0 0 34031 701 0 0 25 0 1 0 1789491455 50966528 5665 4294967295 134512640 134702520 3221223712 3220282828 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12443 5665 413 48 0 12395 0
[pid=25441] vsize: 49772
Current children cumulated CPU time (s) 892.72
Current children cumulated vsize (Kb) 51900

[startup+940.078 s]
Raw data (loadavg): 1.04 0.99 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5698 0 0 0 35031 701 0 0 25 0 1 0 1789491455 50966528 5665 4294967295 134512640 134702520 3221223712 3221081728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12443 5665 413 48 0 12395 0
[pid=25441] vsize: 49772
Current children cumulated CPU time (s) 902.72
Current children cumulated vsize (Kb) 51900

[startup+950.079 s]
Raw data (loadavg): 1.03 0.99 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5698 0 0 0 36031 701 0 0 25 0 1 0 1789491455 50966528 5665 4294967295 134512640 134702520 3221223712 3220895468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12443 5665 413 48 0 12395 0
[pid=25441] vsize: 49772
Current children cumulated CPU time (s) 912.72
Current children cumulated vsize (Kb) 51900

[startup+960.08 s]
Raw data (loadavg): 1.03 0.99 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5698 0 0 0 37032 701 0 0 25 0 1 0 1789491455 50966528 5665 4294967295 134512640 134702520 3221223712 3220559788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12443 5665 413 48 0 12395 0
[pid=25441] vsize: 49772
Current children cumulated CPU time (s) 922.73
Current children cumulated vsize (Kb) 51900

[startup+970.081 s]
Raw data (loadavg): 1.02 0.99 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5698 0 0 0 38032 701 0 0 25 0 1 0 1789491455 50966528 5665 4294967295 134512640 134702520 3221223712 3220026348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12443 5665 413 48 0 12395 0
[pid=25441] vsize: 49772
Current children cumulated CPU time (s) 932.73
Current children cumulated vsize (Kb) 51900

[startup+980.082 s]
Raw data (loadavg): 1.02 0.99 0.98 1/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) T 25436 25436 9854 0 -1 0 5752 0 0 0 38843 758 0 0 22 0 1 0 1789491455 51101696 5718 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12476 5718 413 48 0 12428 0
[pid=25441] vsize: 49904
Current children cumulated CPU time (s) 941.41
Current children cumulated vsize (Kb) 52032

[startup+990.082 s]
Raw data (loadavg): 1.01 0.99 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5781 0 0 0 39690 808 0 0 25 0 1 0 1789491455 51101696 5747 4294967295 134512640 134702520 3221223712 3221087948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12476 5747 413 48 0 12428 0
[pid=25441] vsize: 49904
Current children cumulated CPU time (s) 950.38
Current children cumulated vsize (Kb) 52032

[startup+1000.08 s]
Raw data (loadavg): 1.01 0.99 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5781 0 0 0 40690 808 0 0 25 0 1 0 1789491455 51101696 5747 4294967295 134512640 134702520 3221223712 3220610828 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12476 5747 413 48 0 12428 0
[pid=25441] vsize: 49904
Current children cumulated CPU time (s) 960.38
Current children cumulated vsize (Kb) 52032

[startup+1010.08 s]
Raw data (loadavg): 1.01 0.99 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5781 0 0 0 41690 808 0 0 25 0 1 0 1789491455 51101696 5747 4294967295 134512640 134702520 3221223712 3220032428 134531184 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12476 5747 413 48 0 12428 0
[pid=25441] vsize: 49904
Current children cumulated CPU time (s) 970.38
Current children cumulated vsize (Kb) 52032

[startup+1020.09 s]
Raw data (loadavg): 1.01 0.99 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5781 0 0 0 42691 808 0 0 25 0 1 0 1789491455 51101696 5747 4294967295 134512640 134702520 3221223712 3219268428 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12476 5747 413 48 0 12428 0
[pid=25441] vsize: 49904
Current children cumulated CPU time (s) 980.39
Current children cumulated vsize (Kb) 52032

[startup+1030.09 s]
Raw data (loadavg): 1.01 0.99 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5781 0 0 0 43691 808 0 0 25 0 1 0 1789491455 51101696 5747 4294967295 134512640 134702520 3221223712 3217920908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12476 5747 413 48 0 12428 0
[pid=25441] vsize: 49904
Current children cumulated CPU time (s) 990.39
Current children cumulated vsize (Kb) 52032

[startup+1040.09 s]
Raw data (loadavg): 1.00 0.99 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5781 0 0 0 44691 808 0 0 25 0 1 0 1789491455 51101696 5747 4294967295 134512640 134702520 3221223712 3221062348 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12476 5747 413 48 0 12428 0
[pid=25441] vsize: 49904
Current children cumulated CPU time (s) 1000.39
Current children cumulated vsize (Kb) 52032

[startup+1050.09 s]
Raw data (loadavg): 1.00 0.99 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5781 0 0 0 45691 808 0 0 25 0 1 0 1789491455 51101696 5747 4294967295 134512640 134702520 3221223712 3220760288 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12476 5747 413 48 0 12428 0
[pid=25441] vsize: 49904
Current children cumulated CPU time (s) 1010.39
Current children cumulated vsize (Kb) 52032

[startup+1060.09 s]
Raw data (loadavg): 1.00 0.99 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5781 0 0 0 46692 808 0 0 25 0 1 0 1789491455 51101696 5747 4294967295 134512640 134702520 3221223712 3220342848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12476 5747 413 48 0 12428 0
[pid=25441] vsize: 49904
Current children cumulated CPU time (s) 1020.4
Current children cumulated vsize (Kb) 52032

[startup+1070.09 s]
Raw data (loadavg): 1.00 0.99 0.98 1/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) T 25436 25436 9854 0 -1 0 5789 0 0 0 47564 849 0 0 21 0 1 0 1789491455 51101696 5754 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12476 5754 413 48 0 12428 0
[pid=25441] vsize: 49904
Current children cumulated CPU time (s) 1029.53
Current children cumulated vsize (Kb) 52032

[startup+1080.09 s]
Raw data (loadavg): 1.08 1.00 0.99 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) T 25436 25436 9854 0 -1 0 5834 0 0 0 48281 937 0 0 19 0 1 0 1789491455 51101696 5799 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12476 5799 413 48 0 12428 0
[pid=25441] vsize: 49904
Current children cumulated CPU time (s) 1037.58
Current children cumulated vsize (Kb) 52032

[startup+1090.09 s]
Raw data (loadavg): 1.07 1.00 0.99 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5859 0 0 0 49133 985 0 0 25 0 1 0 1789491455 51101696 5824 4294967295 134512640 134702520 3221223712 3220771156 134611987 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/25441/statm): 12476 5824 413 48 0 12428 0
[pid=25441] vsize: 49904
Current children cumulated CPU time (s) 1046.58
Current children cumulated vsize (Kb) 52032

[startup+1100.09 s]
Raw data (loadavg): 1.06 1.00 0.99 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5859 0 0 0 50133 985 0 0 25 0 1 0 1789491455 51101696 5824 4294967295 134512640 134702520 3221223712 3220662208 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12476 5824 413 48 0 12428 0
[pid=25441] vsize: 49904
Current children cumulated CPU time (s) 1056.58
Current children cumulated vsize (Kb) 52032

[startup+1110.09 s]
Raw data (loadavg): 1.05 1.00 0.99 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5859 0 0 0 51133 985 0 0 25 0 1 0 1789491455 51101696 5824 4294967295 134512640 134702520 3221223712 3220991328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12476 5824 413 48 0 12428 0
[pid=25441] vsize: 49904
Current children cumulated CPU time (s) 1066.58
Current children cumulated vsize (Kb) 52032

[startup+1120.1 s]
Raw data (loadavg): 1.04 1.00 0.99 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5859 0 0 0 52134 985 0 0 25 0 1 0 1789491455 51101696 5824 4294967295 134512640 134702520 3221223712 3220669708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12476 5824 413 48 0 12428 0
[pid=25441] vsize: 49904
Current children cumulated CPU time (s) 1076.59
Current children cumulated vsize (Kb) 52032

[startup+1130.1 s]
Raw data (loadavg): 1.03 1.00 0.99 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5859 0 0 0 53134 985 0 0 25 0 1 0 1789491455 51101696 5824 4294967295 134512640 134702520 3221223712 3220192448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12476 5824 413 48 0 12428 0
[pid=25441] vsize: 49904
Current children cumulated CPU time (s) 1086.59
Current children cumulated vsize (Kb) 52032
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=25441) exited with status: 2
New process pid=25442
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=25442) exited with status: 0
New process pid=25443
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+1140.1 s]
Raw data (loadavg): 1.03 1.00 0.99 2/57 25443
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 417 13037 0 0 1 2 107158 2103 19 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25443/stat): 25443 (vallst) R 25436 25436 9854 0 -1 0 4162 0 0 0 356 21 0 0 25 0 1 0 1789548288 21340160 4134 4294967295 134512640 134702520 3221223712 3221222908 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25443/statm): 5210 4134 413 48 0 5162 0
[pid=25443] vsize: 20840
Current children cumulated CPU time (s) 1096.41
Current children cumulated vsize (Kb) 22968

[startup+1150.1 s]
Raw data (loadavg): 1.02 1.00 0.99 2/57 25443
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 417 13037 0 0 1 2 107158 2103 19 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25443/stat): 25443 (vallst) R 25436 25436 9854 0 -1 0 4429 0 0 0 1356 21 0 0 25 0 1 0 1789548288 22433792 4401 4294967295 134512640 134702520 3221223712 3221154428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25443/statm): 5477 4401 413 48 0 5429 0
[pid=25443] vsize: 21908
Current children cumulated CPU time (s) 1106.41
Current children cumulated vsize (Kb) 24036

[startup+1160.1 s]
Raw data (loadavg): 1.02 1.00 0.99 2/57 25443
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 417 13037 0 0 1 2 107158 2103 19 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25443/stat): 25443 (vallst) R 25436 25436 9854 0 -1 0 4429 0 0 0 2356 21 0 0 25 0 1 0 1789548288 22433792 4401 4294967295 134512640 134702520 3221223712 3221068688 134612033 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25443/statm): 5477 4401 413 48 0 5429 0
[pid=25443] vsize: 21908
Current children cumulated CPU time (s) 1116.41
Current children cumulated vsize (Kb) 24036

[startup+1170.1 s]
Raw data (loadavg): 1.02 1.00 0.99 2/57 25443
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 417 13037 0 0 1 2 107158 2103 19 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25443/stat): 25443 (vallst) R 25436 25436 9854 0 -1 0 4429 0 0 0 3356 21 0 0 25 0 1 0 1789548288 22433792 4401 4294967295 134512640 134702520 3221223712 3220981328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25443/statm): 5477 4401 413 48 0 5429 0
[pid=25443] vsize: 21908
Current children cumulated CPU time (s) 1126.41
Current children cumulated vsize (Kb) 24036

[startup+1180.1 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 25443
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 417 13037 0 0 1 2 107158 2103 19 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25443/stat): 25443 (vallst) R 25436 25436 9854 0 -1 0 4429 0 0 0 4357 21 0 0 25 0 1 0 1789548288 22433792 4401 4294967295 134512640 134702520 3221223712 3220888368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25443/statm): 5477 4401 413 48 0 5429 0
[pid=25443] vsize: 21908
Current children cumulated CPU time (s) 1136.42
Current children cumulated vsize (Kb) 24036

[startup+1190.1 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 25443
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 417 13037 0 0 1 2 107158 2103 19 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25443/stat): 25443 (vallst) R 25436 25436 9854 0 -1 0 4429 0 0 0 5357 21 0 0 25 0 1 0 1789548288 22433792 4401 4294967295 134512640 134702520 3221223712 3220788508 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25443/statm): 5477 4401 413 48 0 5429 0
[pid=25443] vsize: 21908
Current children cumulated CPU time (s) 1146.42
Current children cumulated vsize (Kb) 24036

[startup+1200.1 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 25443
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 417 13037 0 0 1 2 107158 2103 19 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25443/stat): 25443 (vallst) R 25436 25436 9854 0 -1 0 4429 0 0 0 6357 21 0 0 25 0 1 0 1789548288 22433792 4401 4294967295 134512640 134702520 3221223712 3220680528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25443/statm): 5477 4401 413 48 0 5429 0
[pid=25443] vsize: 21908
Current children cumulated CPU time (s) 1156.42
Current children cumulated vsize (Kb) 24036

[startup+1210.1 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 25443
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 417 13037 0 0 1 2 107158 2103 19 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25443/stat): 25443 (vallst) R 25436 25436 9854 0 -1 0 4429 0 0 0 7357 21 0 0 25 0 1 0 1789548288 22433792 4401 4294967295 134512640 134702520 3221223712 3220561488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25443/statm): 5477 4401 413 48 0 5429 0
[pid=25443] vsize: 21908
Current children cumulated CPU time (s) 1166.42
Current children cumulated vsize (Kb) 24036

[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 25443
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 417 13037 0 0 1 2 107158 2103 19 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25443/stat): 25443 (vallst) R 25436 25436 9854 0 -1 0 4429 0 0 0 8358 21 0 0 25 0 1 0 1789548288 22433792 4401 4294967295 134512640 134702520 3221223712 3220427728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25443/statm): 5477 4401 413 48 0 5429 0
[pid=25443] vsize: 21908
Current children cumulated CPU time (s) 1176.43
Current children cumulated vsize (Kb) 24036

[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 25443
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 417 13037 0 0 1 2 107158 2103 19 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25443/stat): 25443 (vallst) R 25436 25436 9854 0 -1 0 4429 0 0 0 9358 21 0 0 25 0 1 0 1789548288 22433792 4401 4294967295 134512640 134702520 3221223712 3220273168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25443/statm): 5477 4401 413 48 0 5429 0
[pid=25443] vsize: 21908
Current children cumulated CPU time (s) 1186.43
Current children cumulated vsize (Kb) 24036

[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 25443
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 417 13037 0 0 1 2 107158 2103 19 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25443/stat): 25443 (vallst) R 25436 25436 9854 0 -1 0 4429 0 0 0 10358 21 0 0 25 0 1 0 1789548288 22433792 4401 4294967295 134512640 134702520 3221223712 3220083888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25443/statm): 5477 4401 413 48 0 5429 0
[pid=25443] vsize: 21908
Current children cumulated CPU time (s) 1196.43
Current children cumulated vsize (Kb) 24036

[startup+1250.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 25443
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 417 13037 0 0 1 2 107158 2103 19 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25443/stat): 25443 (vallst) R 25436 25436 9854 0 -1 0 4430 0 0 0 11358 21 0 0 25 0 1 0 1789548288 22437888 4402 4294967295 134512640 134702520 3221223712 3219819868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25443/statm): 5478 4402 413 48 0 5430 0
[pid=25443] vsize: 21912
Current children cumulated CPU time (s) 1206.43
Current children cumulated vsize (Kb) 24040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1250.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 25443
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 417 13037 0 0 1 2 107158 2103 19 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25443/stat): 25443 (vallst) R 25436 25436 9854 0 -1 0 4430 0 0 0 11359 21 0 0 25 0 1 0 1789548288 22437888 4402 4294967295 134512640 134702520 3221223712 3219819888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25443/statm): 5478 4402 413 48 0 5430 0
[pid=25443] vsize: 21912
Current children cumulated CPU time (s) 1206.44
Current children cumulated vsize (Kb) 24040

Sending SIGTERM to -25436
Sleeping 2 seconds
New process pid=25445
New process pid=25446
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/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/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/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/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1665/stat
open syscall for file /proc/1665/status
open syscall for file /proc/1665/cmdline
open syscall for file /proc/1665/environ
open syscall for file /proc/21244/stat
open syscall for file /proc/21244/status
open syscall for file /proc/21244/cmdline
open syscall for file /proc/21244/environ
open syscall for file /proc/22265/stat
open syscall for file /proc/22265/status
open syscall for file /proc/22265/cmdline
open syscall for file /proc/22265/environ
open syscall for file /proc/22292/stat
open syscall for file /proc/22292/status
open syscall for file /proc/22292/cmdline
open syscall for file /proc/22292/environ
open syscall for file /proc/22316/stat
open syscall for file /proc/22316/status
open syscall for file /proc/22316/cmdline
open syscall for file /proc/22316/environ
open syscall for file /proc/1196/stat
open syscall for file /proc/1196/status
open syscall for file /proc/1196/cmdline
open syscall for file /proc/1196/environ
open syscall for file /proc/32112/stat
open syscall for file /proc/32112/status
open syscall for file /proc/32112/cmdline
open syscall for file /proc/32112/environ
open syscall for file /proc/23586/stat
open syscall for file /proc/23586/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/23586/cmdline
open syscall for file /proc/23586/environ
open syscall for file /proc/23621/stat
open syscall for file /proc/23621/status
open syscall for file /proc/23621/cmdline
open syscall for file /proc/23621/environ
open syscall for file /proc/9854/stat
open syscall for file /proc/9854/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/9854/cmdline
open syscall for file /proc/9854/environ
open syscall for file /proc/9855/stat
open syscall for file /proc/9855/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/9855/cmdline
open syscall for file /proc/9855/environ
open syscall for file /proc/9864/stat
open syscall for file /proc/9864/status
open syscall for file /proc/9864/cmdline
open syscall for file /proc/9864/environ
open syscall for file /proc/25399/stat
open syscall for file /proc/25399/status
open syscall for file /proc/25399/cmdline
open syscall for file /proc/25399/environ
open syscall for file /proc/25435/stat
open syscall for file /proc/25435/status
open syscall for file /proc/25435/cmdline
open syscall for file /proc/25435/environ
open syscall for file /proc/25436/stat
open syscall for file /proc/25436/status
open syscall for file /proc/25436/cmdline
open syscall for file /proc/25436/environ
open syscall for file /proc/25443/stat
open syscall for file /proc/25443/status
open syscall for file /proc/25443/cmdline
open syscall for file /proc/25443/environ
open syscall for file /proc/25445/stat
open syscall for file /proc/25445/status
open syscall for file /proc/25445/cmdline
open syscall for file /proc/25445/environ
open syscall for file /proc/25446/stat
open syscall for file /proc/25446/status
open syscall for file /proc/25446/cmdline
open syscall for file /proc/25446/environ
One traced child (pid=25445) exited with status: 0
One traced child (pid=25446) exited with status: 0
New process pid=25447
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=25447) exited with status: 0
New process pid=25448
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=25448) exited with status: 0
One traced child (pid=25436) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -25436
One traced child (pid=25443) 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): 1252.12
CPU time (s): 115.817
CPU user time (s): 115.592
CPU system time (s): 0.224965
CPU usage (%): 9.24967
Max. virtual memory (cumulated for all children) (Kb): 58944

Verifier Data

ERROR: no interpretation found !