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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-gfrd-pnc.opb
MD5SUM512275544dbdaee426418ff6e8981436
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 27836
Biggest coefficient in the objective function 698469056512
Number of bits for the biggest coefficient in the objective function 40
Sum of the numbers in the objective function 44081965661371
Number of bits of the sum of numbers in the objective function 46
Biggest number in a constraint 698469056512
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 44081965661371
Number of bits of the biggest sum of numbers46
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables27888
Total number of constraints874
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints874
Minimum length of a constraint11
Maximum length of a constraint246

Trace number 3833

Launcher Data

LAUNCH ON wulflinc12 THE 2005-09-19 02:47:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7466 boxname=wulflinc12 idbench=434 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  512275544dbdaee426418ff6e8981436  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-gfrd-pnc.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-gfrd-pnc.opb 0
IDLAUNCH: 7466
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        879316 kB
Buffers:         39484 kB
Cached:          75368 kB
SwapCached:        544 kB
Active:          72320 kB
Inactive:        54740 kB
HighTotal:      131008 kB
HighFree:        55608 kB
LowTotal:       903652 kB
LowFree:        823708 kB
SwapTotal:     2097136 kB
SwapFree:      2096072 kB
Dirty:              64 kB
Writeback:           0 kB
Mapped:           5884 kB
Slab:            22660 kB
Committed_AS:    64164 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 03:12:59 (client local time) WITH STATUS 0 IN 1205.24 SECONDS
stats: 7466 7 1205.24 0

Solver Data

1:
seed: 0
Nr of vars set: 488  (#equs: 0)
Nr of vars set: 792  (#equs: 132)
#decisions: 190544;  #end-nodes: 110460;
#proof improvement attempts: 0;  #restarts: 672
Current batch, end-nodes: 0 / 247 (247)
#axs: 918, #non-axs: 38
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: 792  (#equs: 135)
Time taken: 5 min, 7 sec

2:
seed: 0
Nr of vars set: 792  (#equs: 0)
Nr of vars set: 792  (#equs: 156)
#decisions: 201080;  #end-nodes: 111533;
#proof improvement attempts: 0;  #restarts: 576
Current batch, end-nodes: 0 / 263 (263)
#axs: 942, #non-axs: 203
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): 49
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 792  (#equs: 180)
Time taken: 4 min, 12 sec

3:
seed: 0
Nr of vars set: 792  (#equs: 0)
Nr of vars set: 792  (#equs: 145)
#decisions: 216507;  #end-nodes: 134559;
#proof improvement attempts: 0;  #restarts: 576
Current batch, end-nodes: 0 / 303 (303)
#axs: 925, #non-axs: 651
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 29, end (keep): 46
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 792  (#equs: 163)
Time taken: 4 min, 19 sec

4:
seed: 0
Nr of vars set: 792  (#equs: 0)
Nr of vars set: 792  (#equs: 177)
#decisions: 172432;  #end-nodes: 68462;
#proof improvement attempts: 68420;  #restarts: 288
Current batch, end-nodes: 0 / 271 (271)
#axs: 947, #non-axs: 280
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 29, end (keep): 46
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 792  (#equs: 185)
Time taken: 4 min, 47 sec

5:
seed: 0
Nr of vars set: 792  (#equs: 0)
Nr of vars set: 792  (#equs: 139)
Interupt request received.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 792  (#equs: 143)
Time taken in seconds: 96

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/29197/stat): 29197 (vallstSAT2005PB) R 29196 29197 8263 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1788169536 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/29197/statm): 174 3 169 147 0 27 0
[pid=29197] 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=29198
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=29198) exited with status: 0
New process pid=29199
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=29199) exited with status: 0
New process pid=29200
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/wulflinc12/normalized-mps-v2-20-10-gfrd-pnc.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0039 s]
Raw data (loadavg): 0.95 1.12 1.08 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2108 0 0 0 883 36 0 0 22 0 1 0 1788169543 10055680 1882 4294967295 134512640 134702520 3221223952 3221123788 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29200/statm): 2455 1882 413 48 0 2407 0
[pid=29200] vsize: 9820
Current children cumulated CPU time (s) 9.22
Current children cumulated vsize (Kb) 11948

[startup+20.0047 s]
Raw data (loadavg): 1.03 1.13 1.09 1/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) T 29197 29197 8263 0 -1 0 2108 0 0 0 1414 196 0 0 17 0 1 0 1788169543 10055680 1882 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29200/statm): 2455 1882 413 48 0 2407 0
[pid=29200] vsize: 9820
Current children cumulated CPU time (s) 16.13
Current children cumulated vsize (Kb) 11948

[startup+30.0056 s]
Raw data (loadavg): 1.02 1.13 1.09 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2139 0 0 0 2163 279 0 0 25 0 1 0 1788169543 16248832 1913 4294967295 134512640 134702520 3221223952 3220418128 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29200/statm): 3967 1913 413 48 0 3919 0
[pid=29200] vsize: 15868
Current children cumulated CPU time (s) 24.45
Current children cumulated vsize (Kb) 17996

[startup+40.0064 s]
Raw data (loadavg): 1.02 1.12 1.09 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2250 0 0 0 3134 290 0 0 25 0 1 0 1788169543 16699392 2024 4294967295 134512640 134702520 3221223952 3220495228 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29200/statm): 4077 2024 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 34.27
Current children cumulated vsize (Kb) 18436

[startup+50.0073 s]
Raw data (loadavg): 1.02 1.12 1.08 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2251 0 0 0 4105 300 0 0 25 0 1 0 1788169543 16699392 2025 4294967295 134512640 134702520 3221223952 3220562752 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29200/statm): 4077 2025 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 44.08
Current children cumulated vsize (Kb) 18436

[startup+60.0081 s]
Raw data (loadavg): 1.01 1.11 1.08 1/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) T 29197 29197 8263 0 -1 0 2252 0 0 0 4902 370 0 0 18 0 1 0 1788169543 16699392 2026 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2026 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 52.75
Current children cumulated vsize (Kb) 18436

[startup+70.0099 s]
Raw data (loadavg): 1.01 1.11 1.08 1/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) T 29197 29197 8263 0 -1 0 2252 0 0 0 5397 543 0 0 17 0 1 0 1788169543 16699392 2026 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2026 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 59.43
Current children cumulated vsize (Kb) 18436

[startup+80.0108 s]
Raw data (loadavg): 1.01 1.10 1.08 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2254 0 0 0 6143 626 0 0 25 0 1 0 1788169543 16699392 2028 4294967295 134512640 134702520 3221223952 3220407248 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2028 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 67.72
Current children cumulated vsize (Kb) 18436

[startup+90.0116 s]
Raw data (loadavg): 1.01 1.10 1.08 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2257 0 0 0 7115 636 0 0 25 0 1 0 1788169543 16699392 2031 4294967295 134512640 134702520 3221223952 3220520368 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29200/statm): 4077 2031 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 77.54
Current children cumulated vsize (Kb) 18436

[startup+100.012 s]
Raw data (loadavg): 1.01 1.10 1.08 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2258 0 0 0 8083 647 0 0 25 0 1 0 1788169543 16699392 2032 4294967295 134512640 134702520 3221223952 3220615708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2032 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 87.33
Current children cumulated vsize (Kb) 18436

[startup+110.014 s]
Raw data (loadavg): 1.00 1.09 1.08 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2258 0 0 0 8643 791 0 0 17 0 1 0 1788169543 16699392 2032 4294967295 134512640 134702520 3221223952 3221222848 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2032 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 94.37
Current children cumulated vsize (Kb) 18436

[startup+120.015 s]
Raw data (loadavg): 1.00 1.09 1.08 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2258 0 0 0 9218 928 0 0 23 0 1 0 1788169543 16699392 2032 4294967295 134512640 134702520 3221223952 3221114128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29200/statm): 4077 2032 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (Kb) 18436

[startup+130.016 s]
Raw data (loadavg): 1.00 1.09 1.08 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2260 0 0 0 10188 938 0 0 22 0 1 0 1788169543 16699392 2034 4294967295 134512640 134702520 3221223952 3221175408 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2034 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 111.29
Current children cumulated vsize (Kb) 18436

[startup+140.017 s]
Raw data (loadavg): 1.00 1.08 1.08 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2265 0 0 0 11152 952 0 0 17 0 1 0 1788169543 16699392 2039 4294967295 134512640 134702520 3221223952 3221222128 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29200/statm): 4077 2039 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 121.07
Current children cumulated vsize (Kb) 18436

[startup+150.018 s]
Raw data (loadavg): 1.00 1.08 1.08 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2265 0 0 0 12135 957 0 0 25 0 1 0 1788169543 16699392 2039 4294967295 134512640 134702520 3221223952 3221125808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2039 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 130.95
Current children cumulated vsize (Kb) 18436

[startup+160.018 s]
Raw data (loadavg): 1.00 1.08 1.07 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2265 0 0 0 12595 1134 0 0 17 0 1 0 1788169543 16699392 2039 4294967295 134512640 134702520 3221223952 3221222848 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2039 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 137.32
Current children cumulated vsize (Kb) 18436

[startup+170.02 s]
Raw data (loadavg): 1.00 1.07 1.07 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2265 0 0 0 13262 1241 0 0 25 0 1 0 1788169543 16699392 2039 4294967295 134512640 134702520 3221223952 3220632848 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29200/statm): 4077 2039 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 145.06
Current children cumulated vsize (Kb) 18436

[startup+180.021 s]
Raw data (loadavg): 1.00 1.07 1.07 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2266 0 0 0 14227 1251 0 0 25 0 1 0 1788169543 16699392 2040 4294967295 134512640 134702520 3221223952 3220748688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2040 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 154.81
Current children cumulated vsize (Kb) 18436

[startup+190.022 s]
Raw data (loadavg): 1.00 1.07 1.07 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2270 0 0 0 15192 1263 0 0 25 0 1 0 1788169543 16699392 2044 4294967295 134512640 134702520 3221223952 3220853488 134612101 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2044 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 164.58
Current children cumulated vsize (Kb) 18436

[startup+200.023 s]
Raw data (loadavg): 1.00 1.06 1.07 1/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) T 29197 29197 8263 0 -1 0 2270 0 0 0 15867 1371 0 0 17 0 1 0 1788169543 16699392 2044 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2044 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 172.41
Current children cumulated vsize (Kb) 18436

[startup+210.024 s]
Raw data (loadavg): 1.00 1.06 1.07 1/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) T 29197 29197 8263 0 -1 0 2270 0 0 0 16382 1534 0 0 18 0 1 0 1788169543 16699392 2044 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29200/statm): 4077 2044 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 179.19
Current children cumulated vsize (Kb) 18436

[startup+220.025 s]
Raw data (loadavg): 1.00 1.06 1.07 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2270 0 0 0 17137 1615 0 0 25 0 1 0 1788169543 16699392 2044 4294967295 134512640 134702520 3221223952 3220366908 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29200/statm): 4077 2044 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 187.55
Current children cumulated vsize (Kb) 18436

[startup+230.025 s]
Raw data (loadavg): 1.00 1.06 1.07 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2271 0 0 0 18099 1631 0 0 25 0 1 0 1788169543 16699392 2045 4294967295 134512640 134702520 3221223952 3220562588 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29200/statm): 4077 2045 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 197.33
Current children cumulated vsize (Kb) 18436

[startup+240.026 s]
Raw data (loadavg): 1.00 1.05 1.07 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2274 0 0 0 19058 1646 0 0 25 0 1 0 1788169543 16699392 2048 4294967295 134512640 134702520 3221223952 3220729488 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2048 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 207.07
Current children cumulated vsize (Kb) 18436

[startup+250.028 s]
Raw data (loadavg): 1.00 1.05 1.07 1/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) T 29197 29197 8263 0 -1 0 2274 0 0 0 19879 1706 0 0 17 0 1 0 1788169543 16699392 2048 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2048 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 215.88
Current children cumulated vsize (Kb) 18436

[startup+260.029 s]
Raw data (loadavg): 1.00 1.05 1.06 1/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) T 29197 29197 8263 0 -1 0 2274 0 0 0 20372 1878 0 0 17 0 1 0 1788169543 16699392 2048 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29200/statm): 4077 2048 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 222.53
Current children cumulated vsize (Kb) 18436

[startup+270.03 s]
Raw data (loadavg): 1.00 1.05 1.06 1/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) T 29197 29197 8263 0 -1 0 2275 0 0 0 21147 1950 0 0 25 0 1 0 1788169543 16699392 2049 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2049 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 231
Current children cumulated vsize (Kb) 18436

[startup+280.032 s]
Raw data (loadavg): 1.00 1.05 1.06 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2303 0 0 0 22104 1963 0 0 25 0 1 0 1788169543 16699392 2077 4294967295 134512640 134702520 3221223952 3220044508 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2077 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 240.7
Current children cumulated vsize (Kb) 18436

[startup+290.032 s]
Raw data (loadavg): 1.00 1.04 1.06 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2395 0 0 0 23060 1979 0 0 25 0 1 0 1788169543 16699392 2169 4294967295 134512640 134702520 3221223952 3220384516 134611987 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2169 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 250.42
Current children cumulated vsize (Kb) 18436

[startup+300.033 s]
Raw data (loadavg): 1.00 1.04 1.06 1/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) T 29197 29197 8263 0 -1 0 2395 0 0 0 23837 2053 0 0 18 0 1 0 1788169543 16699392 2169 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2169 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 258.93
Current children cumulated vsize (Kb) 18436

[startup+310.035 s]
Raw data (loadavg): 1.07 1.06 1.06 1/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) T 29197 29197 8263 0 -1 0 2395 0 0 0 24331 2217 0 0 18 0 1 0 1788169543 16699392 2169 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2169 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 265.51
Current children cumulated vsize (Kb) 18436

[startup+320.036 s]
Raw data (loadavg): 1.06 1.06 1.06 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2396 0 0 0 25133 2285 0 0 22 0 1 0 1788169543 16699392 2170 4294967295 134512640 134702520 3221223952 3221129316 134611987 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2170 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 274.21
Current children cumulated vsize (Kb) 18436

[startup+330.037 s]
Raw data (loadavg): 1.05 1.05 1.06 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2401 0 0 0 26006 2327 0 0 25 0 1 0 1788169543 16699392 2175 4294967295 134512640 134702520 3221223952 3220830108 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2175 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 283.36
Current children cumulated vsize (Kb) 18436

[startup+340.038 s]
Raw data (loadavg): 1.04 1.05 1.06 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2403 0 0 0 26955 2344 0 0 25 0 1 0 1788169543 16699392 2177 4294967295 134512640 134702520 3221223952 3221046908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2177 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 293.02
Current children cumulated vsize (Kb) 18436

[startup+350.039 s]
Raw data (loadavg): 1.04 1.05 1.06 2/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) R 29197 29197 8263 0 -1 0 2403 0 0 0 27602 2458 0 0 17 0 1 0 1788169543 16699392 2177 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2177 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 300.63
Current children cumulated vsize (Kb) 18436

[startup+360.04 s]
Raw data (loadavg): 1.03 1.05 1.06 1/57 29200
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1788169536 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 242 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29200/stat): 29200 (vallst) T 29197 29197 8263 0 -1 0 2403 0 0 0 28125 2616 0 0 18 0 1 0 1788169543 16699392 2177 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29200/statm): 4077 2177 413 48 0 4029 0
[pid=29200] vsize: 16308
Current children cumulated CPU time (s) 307.44
Current children cumulated vsize (Kb) 18436
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=29200) exited with status: 2
New process pid=29201
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=29201) exited with status: 0
New process pid=29202
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+370.042 s]
Raw data (loadavg): 1.02 1.05 1.06 1/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) T 29197 29197 8263 0 -1 0 1556 0 0 0 677 76 0 0 17 0 1 0 1788205650 8310784 1527 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29202/statm): 2029 1527 413 48 0 1981 0
[pid=29202] vsize: 8116
Current children cumulated CPU time (s) 315.8
Current children cumulated vsize (Kb) 10244

[startup+380.043 s]
Raw data (loadavg): 1.02 1.04 1.06 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1556 0 0 0 1159 239 0 0 20 0 1 0 1788205650 8310784 1527 4294967295 134512640 134702520 3221223712 3221215728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29202/statm): 2029 1527 413 48 0 1981 0
[pid=29202] vsize: 8116
Current children cumulated CPU time (s) 322.25
Current children cumulated vsize (Kb) 10244

[startup+390.043 s]
Raw data (loadavg): 1.02 1.04 1.06 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1597 0 0 0 1921 317 0 0 25 0 1 0 1788205650 12771328 1568 4294967295 134512640 134702520 3221223712 3220185548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29202/statm): 3118 1568 413 48 0 3070 0
[pid=29202] vsize: 12472
Current children cumulated CPU time (s) 330.65
Current children cumulated vsize (Kb) 14600

[startup+400.045 s]
Raw data (loadavg): 1.01 1.04 1.06 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1713 0 0 0 2885 329 0 0 25 0 1 0 1788205650 13225984 1684 4294967295 134512640 134702520 3221223712 3220177088 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29202/statm): 3229 1684 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 340.41
Current children cumulated vsize (Kb) 15044

[startup+410.045 s]
Raw data (loadavg): 1.01 1.04 1.06 1/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) T 29197 29197 8263 0 -1 0 1716 0 0 0 3697 393 0 0 17 0 1 0 1788205650 13225984 1687 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29202/statm): 3229 1687 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 349.17
Current children cumulated vsize (Kb) 15044

[startup+420.047 s]
Raw data (loadavg): 1.01 1.04 1.05 1/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) T 29197 29197 8263 0 -1 0 1716 0 0 0 4156 574 0 0 17 0 1 0 1788205650 13225984 1687 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29202/statm): 3229 1687 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 355.57
Current children cumulated vsize (Kb) 15044

[startup+430.048 s]
Raw data (loadavg): 1.01 1.03 1.05 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1718 0 0 0 4819 682 0 0 25 0 1 0 1788205650 13225984 1688 4294967295 134512640 134702520 3221223712 3220707628 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29202/statm): 3229 1688 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 363.28
Current children cumulated vsize (Kb) 15044

[startup+440.049 s]
Raw data (loadavg): 1.01 1.03 1.05 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1720 0 0 0 5779 694 0 0 25 0 1 0 1788205650 13225984 1690 4294967295 134512640 134702520 3221223712 3220721708 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29202/statm): 3229 1690 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 373
Current children cumulated vsize (Kb) 15044

[startup+450.05 s]
Raw data (loadavg): 1.00 1.03 1.05 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1724 0 0 0 6739 707 0 0 25 0 1 0 1788205650 13225984 1694 4294967295 134512640 134702520 3221223712 3220742688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29202/statm): 3229 1694 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 382.73
Current children cumulated vsize (Kb) 15044

[startup+460.051 s]
Raw data (loadavg): 1.00 1.03 1.05 1/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) T 29197 29197 8263 0 -1 0 1726 0 0 0 7551 770 0 0 17 0 1 0 1788205650 13225984 1696 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29202/statm): 3229 1696 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 391.48
Current children cumulated vsize (Kb) 15044

[startup+470.053 s]
Raw data (loadavg): 1.00 1.03 1.05 1/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) T 29197 29197 8263 0 -1 0 1726 0 0 0 7996 958 0 0 17 0 1 0 1788205650 13225984 1696 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29202/statm): 3229 1696 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 397.81
Current children cumulated vsize (Kb) 15044

[startup+480.053 s]
Raw data (loadavg): 1.00 1.03 1.05 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1728 0 0 0 8785 1028 0 0 25 0 1 0 1788205650 13225984 1698 4294967295 134512640 134702520 3221223712 3221184428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29202/statm): 3229 1698 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 406.4
Current children cumulated vsize (Kb) 15044

[startup+490.055 s]
Raw data (loadavg): 1.00 1.03 1.05 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1732 0 0 0 9742 1041 0 0 25 0 1 0 1788205650 13225984 1702 4294967295 134512640 134702520 3221223712 3219684908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29202/statm): 3229 1702 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 416.1
Current children cumulated vsize (Kb) 15044

[startup+500.057 s]
Raw data (loadavg): 1.00 1.02 1.05 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1734 0 0 0 10626 1083 0 0 25 0 1 0 1788205650 13225984 1704 4294967295 134512640 134702520 3221223712 3220850028 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29202/statm): 3229 1704 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 425.36
Current children cumulated vsize (Kb) 15044

[startup+510.058 s]
Raw data (loadavg): 1.00 1.02 1.05 1/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) T 29197 29197 8263 0 -1 0 1734 0 0 0 11202 1221 0 0 17 0 1 0 1788205650 13225984 1704 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29202/statm): 3229 1704 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 432.5
Current children cumulated vsize (Kb) 15044

[startup+520.06 s]
Raw data (loadavg): 1.00 1.02 1.04 1/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) T 29197 29197 8263 0 -1 0 1734 0 0 0 11734 1377 0 0 17 0 1 0 1788205650 13225984 1704 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29202/statm): 3229 1704 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 439.38
Current children cumulated vsize (Kb) 15044

[startup+530.061 s]
Raw data (loadavg): 1.08 1.04 1.05 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1749 0 0 0 12668 1401 0 0 25 0 1 0 1788205650 13225984 1719 4294967295 134512640 134702520 3221223712 3220054828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29202/statm): 3229 1719 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 448.96
Current children cumulated vsize (Kb) 15044

[startup+540.06 s]
Raw data (loadavg): 1.07 1.04 1.05 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1750 0 0 0 13623 1416 0 0 25 0 1 0 1788205650 13225984 1720 4294967295 134512640 134702520 3221223712 3220171308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29202/statm): 3229 1720 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 458.66
Current children cumulated vsize (Kb) 15044

[startup+550.062 s]
Raw data (loadavg): 1.06 1.03 1.05 1/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) T 29197 29197 8263 0 -1 0 1752 0 0 0 14419 1479 0 0 16 0 1 0 1788205650 13225984 1722 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29202/statm): 3229 1722 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 467.25
Current children cumulated vsize (Kb) 15044

[startup+560.063 s]
Raw data (loadavg): 1.05 1.03 1.05 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1752 0 0 0 14868 1664 0 0 17 0 1 0 1788205650 13225984 1722 4294967295 134512640 134702520 3221223712 3221222608 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29202/statm): 3229 1722 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 473.59
Current children cumulated vsize (Kb) 15044

[startup+570.064 s]
Raw data (loadavg): 1.12 1.05 1.05 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1753 0 0 0 15568 1765 0 0 25 0 1 0 1788205650 13225984 1723 4294967295 134512640 134702520 3221223712 3220380268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29202/statm): 3229 1723 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 481.6
Current children cumulated vsize (Kb) 15044

[startup+580.065 s]
Raw data (loadavg): 1.10 1.05 1.05 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1753 0 0 0 16521 1779 0 0 25 0 1 0 1788205650 13225984 1723 4294967295 134512640 134702520 3221223712 3220511308 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29202/statm): 3229 1723 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 491.27
Current children cumulated vsize (Kb) 15044

[startup+590.066 s]
Raw data (loadavg): 1.08 1.04 1.05 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1754 0 0 0 17468 1796 0 0 25 0 1 0 1788205650 13225984 1724 4294967295 134512640 134702520 3221223712 3220630188 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29202/statm): 3229 1724 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 500.91
Current children cumulated vsize (Kb) 15044

[startup+600.066 s]
Raw data (loadavg): 1.07 1.04 1.05 1/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) T 29197 29197 8263 0 -1 0 1754 0 0 0 18259 1861 0 0 17 0 1 0 1788205650 13225984 1724 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29202/statm): 3229 1724 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 509.47
Current children cumulated vsize (Kb) 15044

[startup+610.067 s]
Raw data (loadavg): 1.14 1.06 1.05 1/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) T 29197 29197 8263 0 -1 0 1754 0 0 0 18696 2044 0 0 17 0 1 0 1788205650 13225984 1724 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29202/statm): 3229 1724 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 515.67
Current children cumulated vsize (Kb) 15044

[startup+620.069 s]
Raw data (loadavg): 1.12 1.05 1.05 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1756 0 0 0 19380 2146 0 0 25 0 1 0 1788205650 13225984 1725 4294967295 134512640 134702520 3221223712 3220107788 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29202/statm): 3229 1725 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 523.53
Current children cumulated vsize (Kb) 15044

[startup+630.07 s]
Raw data (loadavg): 1.10 1.05 1.05 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1756 0 0 0 20325 2163 0 0 25 0 1 0 1788205650 13225984 1725 4294967295 134512640 134702520 3221223712 3220282192 134611991 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29202/statm): 3229 1725 413 48 0 3181 0
[pid=29202] vsize: 12916
Current children cumulated CPU time (s) 533.15
Current children cumulated vsize (Kb) 15044

[startup+640.071 s]
Raw data (loadavg): 1.08 1.05 1.05 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1892 0 0 0 21271 2181 0 0 25 0 1 0 1788205650 13697024 1861 4294967295 134512640 134702520 3221223712 3220479148 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29202/statm): 3344 1861 413 48 0 3296 0
[pid=29202] vsize: 13376
Current children cumulated CPU time (s) 542.79
Current children cumulated vsize (Kb) 15504

[startup+650.072 s]
Raw data (loadavg): 1.07 1.05 1.05 1/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) T 29197 29197 8263 0 -1 0 1999 0 0 0 22051 2248 0 0 16 0 1 0 1788205650 14168064 1968 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29202/statm): 3459 1968 413 48 0 3411 0
[pid=29202] vsize: 13836
Current children cumulated CPU time (s) 551.26
Current children cumulated vsize (Kb) 15964

[startup+660.072 s]
Raw data (loadavg): 1.06 1.05 1.05 2/57 29202
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 378 2778 0 0 1 1 28194 2631 18 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29202/stat): 29202 (vallst) R 29197 29197 8263 0 -1 0 1999 0 0 0 22503 2426 0 0 17 0 1 0 1788205650 14168064 1968 4294967295 134512640 134702520 3221223712 3221178848 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29202/statm): 3459 1968 413 48 0 3411 0
[pid=29202] vsize: 13836
Current children cumulated CPU time (s) 557.56
Current children cumulated vsize (Kb) 15964
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=29202) exited with status: 2
New process pid=29203
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=29203) exited with status: 0
New process pid=29204
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+670.074 s]
Raw data (loadavg): 1.05 1.04 1.05 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1467 0 0 0 406 33 0 0 22 0 1 0 1788236043 7831552 1439 4294967295 134512640 134702520 3221223712 3220935888 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29204/statm): 1912 1439 413 48 0 1864 0
[pid=29204] vsize: 7648
Current children cumulated CPU time (s) 565.68
Current children cumulated vsize (Kb) 9776

[startup+680.075 s]
Raw data (loadavg): 1.04 1.04 1.04 1/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) T 29197 29197 8263 0 -1 0 1469 0 0 0 907 195 0 0 16 0 1 0 1788236043 7831552 1441 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29204/statm): 1912 1441 413 48 0 1864 0
[pid=29204] vsize: 7648
Current children cumulated CPU time (s) 572.31
Current children cumulated vsize (Kb) 9776

[startup+690.076 s]
Raw data (loadavg): 1.04 1.04 1.04 1/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) T 29197 29197 8263 0 -1 0 1515 0 0 0 1460 345 0 0 16 0 1 0 1788236043 11526144 1487 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29204/statm): 2814 1487 413 48 0 2766 0
[pid=29204] vsize: 11256
Current children cumulated CPU time (s) 579.34
Current children cumulated vsize (Kb) 13384

[startup+700.078 s]
Raw data (loadavg): 1.11 1.06 1.05 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1681 0 0 0 2387 369 0 0 25 0 1 0 1788236043 12169216 1653 4294967295 134512640 134702520 3221223712 3219975796 134611987 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1653 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 588.85
Current children cumulated vsize (Kb) 14012

[startup+710.079 s]
Raw data (loadavg): 1.09 1.05 1.05 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1685 0 0 0 3348 384 0 0 25 0 1 0 1788236043 12169216 1657 4294967295 134512640 134702520 3221223712 3220066668 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1657 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 598.61
Current children cumulated vsize (Kb) 14012

[startup+720.08 s]
Raw data (loadavg): 1.08 1.05 1.05 1/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) T 29197 29197 8263 0 -1 0 1686 0 0 0 4065 482 0 0 17 0 1 0 1788236043 12169216 1658 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29204/statm): 2971 1658 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 606.76
Current children cumulated vsize (Kb) 14012

[startup+730.081 s]
Raw data (loadavg): 1.07 1.05 1.05 1/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) T 29197 29197 8263 0 -1 0 1687 0 0 0 4468 676 0 0 16 0 1 0 1788236043 12169216 1659 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1659 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 612.73
Current children cumulated vsize (Kb) 14012

[startup+740.082 s]
Raw data (loadavg): 1.06 1.05 1.04 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1694 0 0 0 5280 738 0 0 25 0 1 0 1788236043 12169216 1665 4294967295 134512640 134702520 3221223712 3220738848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1665 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 621.47
Current children cumulated vsize (Kb) 14012

[startup+750.083 s]
Raw data (loadavg): 1.05 1.05 1.04 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1699 0 0 0 6237 752 0 0 25 0 1 0 1788236043 12169216 1670 4294967295 134512640 134702520 3221223712 3220791632 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1670 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 631.18
Current children cumulated vsize (Kb) 14012

[startup+760.084 s]
Raw data (loadavg): 1.04 1.04 1.04 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1701 0 0 0 7192 766 0 0 25 0 1 0 1788236043 12169216 1672 4294967295 134512640 134702520 3221223712 3220851968 134612101 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29204/statm): 2971 1672 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 640.87
Current children cumulated vsize (Kb) 14012

[startup+770.086 s]
Raw data (loadavg): 1.03 1.04 1.04 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1701 0 0 0 7821 888 0 0 16 0 1 0 1788236043 12169216 1672 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1672 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 648.38
Current children cumulated vsize (Kb) 14012

[startup+780.087 s]
Raw data (loadavg): 1.11 1.06 1.05 1/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) T 29197 29197 8263 0 -1 0 1701 0 0 0 8311 1057 0 0 16 0 1 0 1788236043 12169216 1672 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1672 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 654.97
Current children cumulated vsize (Kb) 14012

[startup+790.087 s]
Raw data (loadavg): 1.09 1.05 1.04 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1705 0 0 0 9248 1079 0 0 25 0 1 0 1788236043 12169216 1676 4294967295 134512640 134702520 3221223712 3219923628 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1676 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 664.56
Current children cumulated vsize (Kb) 14012

[startup+800.089 s]
Raw data (loadavg): 1.08 1.05 1.04 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1707 0 0 0 10204 1094 0 0 25 0 1 0 1788236043 12169216 1678 4294967295 134512640 134702520 3221223712 3220062848 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1678 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 674.27
Current children cumulated vsize (Kb) 14012

[startup+810.09 s]
Raw data (loadavg): 1.06 1.05 1.04 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1709 0 0 0 11157 1109 0 0 25 0 1 0 1788236043 12169216 1680 4294967295 134512640 134702520 3221223712 3220196128 134612101 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1680 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 683.95
Current children cumulated vsize (Kb) 14012

[startup+820.092 s]
Raw data (loadavg): 1.05 1.05 1.04 1/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) T 29197 29197 8263 0 -1 0 1709 0 0 0 11686 1266 0 0 17 0 1 0 1788236043 12169216 1680 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29204/statm): 2971 1680 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 690.81
Current children cumulated vsize (Kb) 14012

[startup+830.094 s]
Raw data (loadavg): 1.04 1.05 1.04 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1710 0 0 0 12221 1420 0 0 25 0 1 0 1788236043 12169216 1681 4294967295 134512640 134702520 3221223712 3221006368 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29204/statm): 2971 1681 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 697.7
Current children cumulated vsize (Kb) 14012

[startup+840.094 s]
Raw data (loadavg): 1.04 1.04 1.04 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1715 0 0 0 13172 1437 0 0 25 0 1 0 1788236043 12169216 1686 4294967295 134512640 134702520 3221223712 3221094828 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1686 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 707.38
Current children cumulated vsize (Kb) 14012

[startup+850.095 s]
Raw data (loadavg): 1.03 1.04 1.04 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1716 0 0 0 14118 1456 0 0 20 0 1 0 1788236043 12169216 1687 4294967295 134512640 134702520 3221223712 3221192928 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1687 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 717.03
Current children cumulated vsize (Kb) 14012

[startup+860.096 s]
Raw data (loadavg): 1.03 1.04 1.04 1/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) T 29197 29197 8263 0 -1 0 1717 0 0 0 15065 1474 0 0 18 0 1 0 1788236043 12169216 1688 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1688 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 726.68
Current children cumulated vsize (Kb) 14012

[startup+870.097 s]
Raw data (loadavg): 1.02 1.04 1.04 1/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) T 29197 29197 8263 0 -1 0 1717 0 0 0 15461 1671 0 0 16 0 1 0 1788236043 12169216 1688 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29204/statm): 2971 1688 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 732.61
Current children cumulated vsize (Kb) 14012

[startup+880.098 s]
Raw data (loadavg): 1.02 1.04 1.04 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1720 0 0 0 16052 1807 0 0 25 0 1 0 1788236043 12169216 1689 4294967295 134512640 134702520 3221223712 3220396588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1689 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 739.88
Current children cumulated vsize (Kb) 14012

[startup+890.099 s]
Raw data (loadavg): 1.01 1.03 1.04 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1726 0 0 0 16995 1827 0 0 25 0 1 0 1788236043 12169216 1695 4294967295 134512640 134702520 3221223712 3220541568 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1695 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 749.51
Current children cumulated vsize (Kb) 14012

[startup+900.1 s]
Raw data (loadavg): 1.01 1.03 1.03 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1728 0 0 0 17942 1844 0 0 25 0 1 0 1788236043 12169216 1697 4294967295 134512640 134702520 3221223712 3220682828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1697 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 759.15
Current children cumulated vsize (Kb) 14012

[startup+910.1 s]
Raw data (loadavg): 1.01 1.03 1.03 1/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) T 29197 29197 8263 0 -1 0 1731 0 0 0 18814 1883 0 0 25 0 1 0 1788236043 12169216 1700 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29204/statm): 2971 1700 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 768.26
Current children cumulated vsize (Kb) 14012

[startup+920.102 s]
Raw data (loadavg): 1.08 1.05 1.04 1/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) T 29197 29197 8263 0 -1 0 1731 0 0 0 19229 2069 0 0 16 0 1 0 1788236043 12169216 1700 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1700 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 774.27
Current children cumulated vsize (Kb) 14012

[startup+930.103 s]
Raw data (loadavg): 1.07 1.04 1.04 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1734 0 0 0 19946 2161 0 0 25 0 1 0 1788236043 12169216 1702 4294967295 134512640 134702520 3221223712 3219979008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1702 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 782.36
Current children cumulated vsize (Kb) 14012

[startup+940.104 s]
Raw data (loadavg): 1.06 1.04 1.04 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 1735 0 0 0 20887 2181 0 0 25 0 1 0 1788236043 12169216 1703 4294967295 134512640 134702520 3221223712 3220228428 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29204/statm): 2971 1703 413 48 0 2923 0
[pid=29204] vsize: 11884
Current children cumulated CPU time (s) 791.97
Current children cumulated vsize (Kb) 14012

[startup+950.106 s]
Raw data (loadavg): 1.05 1.04 1.03 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 2067 0 0 0 21824 2205 0 0 25 0 1 0 1788236043 13250560 2035 4294967295 134512640 134702520 3221223712 3220611628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29204/statm): 3235 2035 413 48 0 3187 0
[pid=29204] vsize: 12940
Current children cumulated CPU time (s) 801.58
Current children cumulated vsize (Kb) 15068

[startup+960.107 s]
Raw data (loadavg): 1.04 1.04 1.03 2/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) R 29197 29197 8263 0 -1 0 2162 0 0 0 22692 2248 0 0 23 0 1 0 1788236043 13250560 2091 4294967295 134512640 134702520 3221223712 3220866188 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29204/statm): 3235 2091 413 48 0 3187 0
[pid=29204] vsize: 12940
Current children cumulated CPU time (s) 810.69
Current children cumulated vsize (Kb) 15068

[startup+970.109 s]
Raw data (loadavg): 1.03 1.04 1.03 1/57 29204
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 417 4922 0 0 2 1 51009 5117 17 0 1 0 1788169536 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 248 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29204/stat): 29204 (vallst) T 29197 29197 8263 0 -1 0 2163 0 0 0 23169 2428 0 0 16 0 1 0 1788236043 13467648 2092 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29204/statm): 3288 2092 413 48 0 3240 0
[pid=29204] vsize: 13152
Current children cumulated CPU time (s) 817.26
Current children cumulated vsize (Kb) 15280
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=29204) exited with status: 2
New process pid=29205
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=29205) exited with status: 0
New process pid=29206
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+980.109 s]
Raw data (loadavg): 1.03 1.03 1.03 2/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) R 29197 29197 8263 0 -1 0 1504 0 0 0 423 36 0 0 20 0 1 0 1788267034 7991296 1476 4294967295 134512640 134702520 3221223040 3221097776 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29206/statm): 1951 1476 413 48 0 1903 0
[pid=29206] vsize: 7804
Current children cumulated CPU time (s) 825.45
Current children cumulated vsize (Kb) 9932

[startup+990.11 s]
Raw data (loadavg): 1.02 1.03 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1635 0 0 0 905 199 0 0 17 0 1 0 1788267034 8519680 1607 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 2080 1607 413 48 0 2032 0
[pid=29206] vsize: 8320
Current children cumulated CPU time (s) 831.9
Current children cumulated vsize (Kb) 10448

[startup+1000.11 s]
Raw data (loadavg): 1.02 1.03 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1636 0 0 0 1178 435 0 0 16 0 1 0 1788267034 8519680 1608 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 2080 1608 413 48 0 2032 0
[pid=29206] vsize: 8320
Current children cumulated CPU time (s) 836.99
Current children cumulated vsize (Kb) 10448

[startup+1010.11 s]
Raw data (loadavg): 1.02 1.03 1.03 2/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) R 29197 29197 8263 0 -1 0 1636 0 0 0 1465 657 0 0 16 0 1 0 1788267034 8519680 1608 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29206/statm): 2080 1608 413 48 0 2032 0
[pid=29206] vsize: 8320
Current children cumulated CPU time (s) 842.08
Current children cumulated vsize (Kb) 10448

[startup+1020.11 s]
Raw data (loadavg): 1.01 1.03 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1636 0 0 0 1741 887 0 0 16 0 1 0 1788267034 8519680 1608 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 2080 1608 413 48 0 2032 0
[pid=29206] vsize: 8320
Current children cumulated CPU time (s) 847.14
Current children cumulated vsize (Kb) 10448

[startup+1030.11 s]
Raw data (loadavg): 1.08 1.04 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1636 0 0 0 2020 1115 0 0 16 0 1 0 1788267034 8519680 1608 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 2080 1608 413 48 0 2032 0
[pid=29206] vsize: 8320
Current children cumulated CPU time (s) 852.21
Current children cumulated vsize (Kb) 10448

[startup+1040.11 s]
Raw data (loadavg): 1.14 1.06 1.04 2/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) R 29197 29197 8263 0 -1 0 1636 0 0 0 2301 1350 0 0 16 0 1 0 1788267034 8519680 1608 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29206/statm): 2080 1608 413 48 0 2032 0
[pid=29206] vsize: 8320
Current children cumulated CPU time (s) 857.37
Current children cumulated vsize (Kb) 10448

[startup+1050.12 s]
Raw data (loadavg): 1.20 1.07 1.04 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1636 0 0 0 2579 1588 0 0 16 0 1 0 1788267034 8519680 1608 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 2080 1608 413 48 0 2032 0
[pid=29206] vsize: 8320
Current children cumulated CPU time (s) 862.53
Current children cumulated vsize (Kb) 10448

[startup+1060.12 s]
Raw data (loadavg): 1.17 1.07 1.04 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1636 0 0 0 2861 1816 0 0 16 0 1 0 1788267034 8519680 1608 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29206/statm): 2080 1608 413 48 0 2032 0
[pid=29206] vsize: 8320
Current children cumulated CPU time (s) 867.63
Current children cumulated vsize (Kb) 10448

[startup+1070.12 s]
Raw data (loadavg): 1.14 1.07 1.04 2/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) R 29197 29197 8263 0 -1 0 1638 0 0 0 3446 1947 0 0 23 0 1 0 1788267034 8740864 1610 4294967295 134512640 134702520 3221223040 3221222152 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29206/statm): 2134 1610 413 48 0 2086 0
[pid=29206] vsize: 8536
Current children cumulated CPU time (s) 874.79
Current children cumulated vsize (Kb) 10664

[startup+1080.12 s]
Raw data (loadavg): 1.12 1.06 1.04 2/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) R 29197 29197 8263 0 -1 0 1722 0 0 0 4339 1983 0 0 25 0 1 0 1788267034 12267520 1694 4294967295 134512640 134702520 3221223040 3220378016 134612101 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29206/statm): 2995 1694 413 48 0 2947 0
[pid=29206] vsize: 11980
Current children cumulated CPU time (s) 884.08
Current children cumulated vsize (Kb) 14108

[startup+1090.12 s]
Raw data (loadavg): 1.10 1.06 1.04 2/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) R 29197 29197 8263 0 -1 0 1728 0 0 0 5278 2003 0 0 25 0 1 0 1788267034 12267520 1700 4294967295 134512640 134702520 3221223040 3220695440 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29206/statm): 2995 1700 413 48 0 2947 0
[pid=29206] vsize: 11980
Current children cumulated CPU time (s) 893.67
Current children cumulated vsize (Kb) 14108

[startup+1100.12 s]
Raw data (loadavg): 1.09 1.06 1.04 2/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) R 29197 29197 8263 0 -1 0 1739 0 0 0 6168 2037 0 0 22 0 1 0 1788267034 12267520 1711 4294967295 134512640 134702520 3221223040 3221116076 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29206/statm): 2995 1711 413 48 0 2947 0
[pid=29206] vsize: 11980
Current children cumulated CPU time (s) 902.91
Current children cumulated vsize (Kb) 14108

[startup+1110.12 s]
Raw data (loadavg): 1.07 1.06 1.04 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1739 0 0 0 6835 2148 0 0 16 0 1 0 1788267034 12267520 1711 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29206/statm): 2995 1711 413 48 0 2947 0
[pid=29206] vsize: 11980
Current children cumulated CPU time (s) 910.69
Current children cumulated vsize (Kb) 14108

[startup+1120.12 s]
Raw data (loadavg): 1.06 1.05 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1739 0 0 0 7115 2375 0 0 16 0 1 0 1788267034 12267520 1711 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29206/statm): 2995 1711 413 48 0 2947 0
[pid=29206] vsize: 11980
Current children cumulated CPU time (s) 915.76
Current children cumulated vsize (Kb) 14108

[startup+1130.12 s]
Raw data (loadavg): 1.05 1.05 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1739 0 0 0 7398 2603 0 0 16 0 1 0 1788267034 12267520 1711 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 2995 1711 413 48 0 2947 0
[pid=29206] vsize: 11980
Current children cumulated CPU time (s) 920.87
Current children cumulated vsize (Kb) 14108

[startup+1140.12 s]
Raw data (loadavg): 1.12 1.07 1.04 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1739 0 0 0 7671 2834 0 0 16 0 1 0 1788267034 12267520 1711 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 2995 1711 413 48 0 2947 0
[pid=29206] vsize: 11980
Current children cumulated CPU time (s) 925.91
Current children cumulated vsize (Kb) 14108

[startup+1150.13 s]
Raw data (loadavg): 1.10 1.06 1.04 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1739 0 0 0 7938 3072 0 0 16 0 1 0 1788267034 12267520 1711 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 2995 1711 413 48 0 2947 0
[pid=29206] vsize: 11980
Current children cumulated CPU time (s) 930.96
Current children cumulated vsize (Kb) 14108

[startup+1160.13 s]
Raw data (loadavg): 1.09 1.06 1.04 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1739 0 0 0 8212 3305 0 0 16 0 1 0 1788267034 12267520 1711 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29206/statm): 2995 1711 413 48 0 2947 0
[pid=29206] vsize: 11980
Current children cumulated CPU time (s) 936.03
Current children cumulated vsize (Kb) 14108

[startup+1170.13 s]
Raw data (loadavg): 1.07 1.06 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1739 0 0 0 8492 3533 0 0 16 0 1 0 1788267034 12267520 1711 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 2995 1711 413 48 0 2947 0
[pid=29206] vsize: 11980
Current children cumulated CPU time (s) 941.11
Current children cumulated vsize (Kb) 14108

[startup+1180.13 s]
Raw data (loadavg): 1.06 1.06 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1739 0 0 0 8773 3764 0 0 16 0 1 0 1788267034 12267520 1711 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 2995 1711 413 48 0 2947 0
[pid=29206] vsize: 11980
Current children cumulated CPU time (s) 946.23
Current children cumulated vsize (Kb) 14108

[startup+1190.13 s]
Raw data (loadavg): 1.05 1.05 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1739 0 0 0 9148 3964 0 0 15 0 1 0 1788267034 12267520 1711 4294967295 134512640 134702520 3221223040 3221222040 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29206/statm): 2995 1711 413 48 0 2947 0
[pid=29206] vsize: 11980
Current children cumulated CPU time (s) 951.98
Current children cumulated vsize (Kb) 14108

[startup+1200.13 s]
Raw data (loadavg): 1.04 1.05 1.03 2/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) R 29197 29197 8263 0 -1 0 1744 0 0 0 10007 4012 0 0 20 0 1 0 1788267034 12378112 1716 4294967295 134512640 134702520 3221223040 3220563756 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29206/statm): 3022 1716 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 961.05
Current children cumulated vsize (Kb) 14216

[startup+1210.13 s]
Raw data (loadavg): 1.04 1.05 1.03 2/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) R 29197 29197 8263 0 -1 0 1747 0 0 0 10926 4039 0 0 18 0 1 0 1788267034 12378112 1719 4294967295 134512640 134702520 3221223040 3220917836 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29206/statm): 3022 1719 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 970.51
Current children cumulated vsize (Kb) 14216

[startup+1220.13 s]
Raw data (loadavg): 1.03 1.05 1.03 2/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) R 29197 29197 8263 0 -1 0 1752 0 0 0 11864 4060 0 0 17 0 1 0 1788267034 12378112 1724 4294967295 134512640 134702520 3221223040 3221154156 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29206/statm): 3022 1724 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 980.1
Current children cumulated vsize (Kb) 14216

[startup+1230.13 s]
Raw data (loadavg): 1.02 1.05 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1752 0 0 0 12533 4172 0 0 16 0 1 0 1788267034 12378112 1724 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 3022 1724 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 987.91
Current children cumulated vsize (Kb) 14216

[startup+1240.13 s]
Raw data (loadavg): 1.09 1.06 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1752 0 0 0 12814 4407 0 0 15 0 1 0 1788267034 12378112 1724 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 3022 1724 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 993.07
Current children cumulated vsize (Kb) 14216

[startup+1250.13 s]
Raw data (loadavg): 1.08 1.06 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1752 0 0 0 13085 4644 0 0 15 0 1 0 1788267034 12378112 1724 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29206/statm): 3022 1724 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 998.15
Current children cumulated vsize (Kb) 14216

[startup+1260.14 s]
Raw data (loadavg): 1.07 1.06 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1752 0 0 0 13363 4880 0 0 15 0 1 0 1788267034 12378112 1724 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 3022 1724 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1003.29
Current children cumulated vsize (Kb) 14216

[startup+1270.14 s]
Raw data (loadavg): 1.06 1.05 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1752 0 0 0 13648 5105 0 0 15 0 1 0 1788267034 12378112 1724 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 3022 1724 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1008.39
Current children cumulated vsize (Kb) 14216

[startup+1280.14 s]
Raw data (loadavg): 1.05 1.05 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1752 0 0 0 13928 5336 0 0 15 0 1 0 1788267034 12378112 1724 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29206/statm): 3022 1724 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1013.5
Current children cumulated vsize (Kb) 14216

[startup+1290.14 s]
Raw data (loadavg): 1.04 1.05 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1752 0 0 0 14203 5566 0 0 15 0 1 0 1788267034 12378112 1724 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 3022 1724 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1018.55
Current children cumulated vsize (Kb) 14216

[startup+1300.14 s]
Raw data (loadavg): 1.11 1.06 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1752 0 0 0 14477 5802 0 0 15 0 1 0 1788267034 12378112 1724 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29206/statm): 3022 1724 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1023.65
Current children cumulated vsize (Kb) 14216

[startup+1310.14 s]
Raw data (loadavg): 1.09 1.06 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1752 0 0 0 14846 6006 0 0 16 0 1 0 1788267034 12378112 1724 4294967295 134512640 134702520 3221223040 3221222040 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 3022 1724 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1029.38
Current children cumulated vsize (Kb) 14216

[startup+1320.14 s]
Raw data (loadavg): 1.15 1.07 1.04 2/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) R 29197 29197 8263 0 -1 0 1754 0 0 0 15710 6049 0 0 24 0 1 0 1788267034 12378112 1725 4294967295 134512640 134702520 3221223040 3220529676 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29206/statm): 3022 1725 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1038.45
Current children cumulated vsize (Kb) 14216

[startup+1330.14 s]
Raw data (loadavg): 1.13 1.07 1.04 2/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) R 29197 29197 8263 0 -1 0 1756 0 0 0 16602 6085 0 0 18 0 1 0 1788267034 12378112 1727 4294967295 134512640 134702520 3221223040 3220992076 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29206/statm): 3022 1727 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1047.73
Current children cumulated vsize (Kb) 14216

[startup+1340.14 s]
Raw data (loadavg): 1.11 1.07 1.03 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1756 0 0 0 17540 6106 0 0 17 0 1 0 1788267034 12378112 1727 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29206/statm): 3022 1727 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1057.32
Current children cumulated vsize (Kb) 14216

[startup+1350.14 s]
Raw data (loadavg): 1.17 1.08 1.04 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1756 0 0 0 18283 6185 0 0 15 0 1 0 1788267034 12378112 1727 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 3022 1727 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1065.54
Current children cumulated vsize (Kb) 14216

[startup+1360.14 s]
Raw data (loadavg): 1.22 1.10 1.04 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1756 0 0 0 18552 6418 0 0 15 0 1 0 1788267034 12378112 1727 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29206/statm): 3022 1727 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1070.56
Current children cumulated vsize (Kb) 14216

[startup+1370.14 s]
Raw data (loadavg): 1.26 1.11 1.05 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1756 0 0 0 18837 6648 0 0 16 0 1 0 1788267034 12378112 1727 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29206/statm): 3022 1727 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1075.71
Current children cumulated vsize (Kb) 14216

[startup+1380.15 s]
Raw data (loadavg): 1.30 1.12 1.05 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1756 0 0 0 19112 6882 0 0 16 0 1 0 1788267034 12378112 1727 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 3022 1727 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1080.8
Current children cumulated vsize (Kb) 14216

[startup+1390.15 s]
Raw data (loadavg): 1.32 1.13 1.06 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1756 0 0 0 19392 7113 0 0 15 0 1 0 1788267034 12378112 1727 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29206/statm): 3022 1727 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1085.91
Current children cumulated vsize (Kb) 14216

[startup+1400.15 s]
Raw data (loadavg): 1.27 1.13 1.06 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1756 0 0 0 19673 7346 0 0 15 0 1 0 1788267034 12378112 1727 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29206/statm): 3022 1727 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1091.05
Current children cumulated vsize (Kb) 14216

[startup+1410.15 s]
Raw data (loadavg): 1.38 1.16 1.06 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1756 0 0 0 19941 7584 0 0 15 0 1 0 1788267034 12378112 1727 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29206/statm): 3022 1727 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1096.11
Current children cumulated vsize (Kb) 14216

[startup+1420.15 s]
Raw data (loadavg): 1.41 1.17 1.07 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1756 0 0 0 20220 7820 0 0 15 0 1 0 1788267034 12378112 1727 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 3022 1727 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1101.26
Current children cumulated vsize (Kb) 14216

[startup+1430.15 s]
Raw data (loadavg): 1.34 1.16 1.07 1/57 29206
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 457 7230 0 0 2 1 74479 7604 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29206/stat): 29206 (vallst) T 29197 29197 8263 0 -1 0 1756 0 0 0 20591 8022 0 0 15 0 1 0 1788267034 12378112 1727 4294967295 134512640 134702520 3221223040 3221222040 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/29206/statm): 3022 1727 413 48 0 2974 0
[pid=29206] vsize: 12088
Current children cumulated CPU time (s) 1106.99
Current children cumulated vsize (Kb) 14216
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=29206) exited with status: 2
New process pid=29207
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=29207) exited with status: 0
New process pid=29208
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+1440.15 s]
Raw data (loadavg): 1.29 1.15 1.07 1/57 29208
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 497 9131 0 0 2 2 95121 15680 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29208/stat): 29208 (vallst) T 29197 29197 8263 0 -1 0 1438 0 0 0 598 67 0 0 17 0 1 0 1788312784 7704576 1407 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29208/statm): 1881 1407 413 48 0 1833 0
[pid=29208] vsize: 7524
Current children cumulated CPU time (s) 1114.7
Current children cumulated vsize (Kb) 9652

[startup+1450.15 s]
Raw data (loadavg): 1.24 1.15 1.07 1/57 29208
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 497 9131 0 0 2 2 95121 15680 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29208/stat): 29208 (vallst) T 29197 29197 8263 0 -1 0 1439 0 0 0 1038 256 0 0 22 0 1 0 1788312784 7921664 1408 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29208/statm): 1934 1408 413 48 0 1886 0
[pid=29208] vsize: 7736
Current children cumulated CPU time (s) 1120.99
Current children cumulated vsize (Kb) 9864

[startup+1460.15 s]
Raw data (loadavg): 1.21 1.14 1.07 2/57 29208
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 497 9131 0 0 2 2 95121 15680 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29208/stat): 29208 (vallst) R 29197 29197 8263 0 -1 0 1700 0 0 0 1739 352 0 0 25 0 1 0 1788312784 11915264 1668 4294967295 134512640 134702520 3221223712 3219584588 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29208/statm): 2909 1668 413 48 0 2861 0
[pid=29208] vsize: 11636
Current children cumulated CPU time (s) 1128.96
Current children cumulated vsize (Kb) 13764

[startup+1470.15 s]
Raw data (loadavg): 1.17 1.14 1.06 2/57 29208
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 497 9131 0 0 2 2 95121 15680 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29208/stat): 29208 (vallst) R 29197 29197 8263 0 -1 0 1755 0 0 0 2672 375 0 0 25 0 1 0 1788312784 12095488 1723 4294967295 134512640 134702520 3221223712 3220443468 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29208/statm): 2953 1723 413 48 0 2905 0
[pid=29208] vsize: 11812
Current children cumulated CPU time (s) 1138.52
Current children cumulated vsize (Kb) 13940

[startup+1480.16 s]
Raw data (loadavg): 1.15 1.13 1.06 2/57 29208
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 497 9131 0 0 2 2 95121 15680 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29208/stat): 29208 (vallst) R 29197 29197 8263 0 -1 0 1770 0 0 0 3611 395 0 0 25 0 1 0 1788312784 12095488 1738 4294967295 134512640 134702520 3221223712 3220854528 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29208/statm): 2953 1738 413 48 0 2905 0
[pid=29208] vsize: 11812
Current children cumulated CPU time (s) 1148.11
Current children cumulated vsize (Kb) 13940

[startup+1490.16 s]
Raw data (loadavg): 1.12 1.13 1.06 1/57 29208
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 497 9131 0 0 2 2 95121 15680 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29208/stat): 29208 (vallst) T 29197 29197 8263 0 -1 0 1772 0 0 0 4496 432 0 0 16 0 1 0 1788312784 12095488 1740 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29208/statm): 2953 1740 413 48 0 2905 0
[pid=29208] vsize: 11812
Current children cumulated CPU time (s) 1157.33
Current children cumulated vsize (Kb) 13940

[startup+1500.16 s]
Raw data (loadavg): 1.10 1.12 1.06 1/57 29208
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 497 9131 0 0 2 2 95121 15680 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29208/stat): 29208 (vallst) T 29197 29197 8263 0 -1 0 1774 0 0 0 4841 638 0 0 16 0 1 0 1788312784 12312576 1742 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/29208/statm): 3006 1742 413 48 0 2958 0
[pid=29208] vsize: 12024
Current children cumulated CPU time (s) 1162.84
Current children cumulated vsize (Kb) 14152

[startup+1510.16 s]
Raw data (loadavg): 1.09 1.12 1.06 2/57 29208
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 497 9131 0 0 2 2 95121 15680 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29208/stat): 29208 (vallst) R 29197 29197 8263 0 -1 0 1778 0 0 0 5508 745 0 0 20 0 1 0 1788312784 12095488 1743 4294967295 134512640 134702520 3221223712 3221187468 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29208/statm): 2953 1743 413 48 0 2905 0
[pid=29208] vsize: 11812
Current children cumulated CPU time (s) 1170.58
Current children cumulated vsize (Kb) 13940

[startup+1520.16 s]
Raw data (loadavg): 1.07 1.11 1.06 2/57 29208
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 497 9131 0 0 2 2 95121 15680 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29208/stat): 29208 (vallst) R 29197 29197 8263 0 -1 0 1779 0 0 0 6477 757 0 0 25 0 1 0 1788312784 12095488 1744 4294967295 134512640 134702520 3221223712 3219928268 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29208/statm): 2953 1744 413 48 0 2905 0
[pid=29208] vsize: 11812
Current children cumulated CPU time (s) 1180.39
Current children cumulated vsize (Kb) 13940

[startup+1530.16 s]
Raw data (loadavg): 1.06 1.11 1.06 2/57 29208
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 497 9131 0 0 2 2 95121 15680 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29208/stat): 29208 (vallst) R 29197 29197 8263 0 -1 0 1781 0 0 0 7423 774 0 0 25 0 1 0 1788312784 12095488 1746 4294967295 134512640 134702520 3221223712 3220555788 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/29208/statm): 2953 1746 413 48 0 2905 0
[pid=29208] vsize: 11812
Current children cumulated CPU time (s) 1190.02
Current children cumulated vsize (Kb) 13940

[startup+1540.16 s]
Raw data (loadavg): 1.05 1.11 1.06 2/57 29208
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 497 9131 0 0 2 2 95121 15680 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29208/stat): 29208 (vallst) R 29197 29197 8263 0 -1 0 1782 0 0 0 8299 815 0 0 24 0 1 0 1788312784 12095488 1747 4294967295 134512640 134702520 3221223712 3221147468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29208/statm): 2953 1747 413 48 0 2905 0
[pid=29208] vsize: 11812
Current children cumulated CPU time (s) 1199.19
Current children cumulated vsize (Kb) 13940

[startup+1550.16 s]
Raw data (loadavg): 1.04 1.10 1.06 2/57 29208
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 497 9131 0 0 2 2 95121 15680 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29208/stat): 29208 (vallst) R 29197 29197 8263 0 -1 0 1783 0 0 0 8682 1010 0 0 16 0 1 0 1788312784 12312576 1748 4294967295 134512640 134702520 3221223712 3221222608 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29208/statm): 3006 1748 413 48 0 2958 0
[pid=29208] vsize: 12024
Current children cumulated CPU time (s) 1204.97
Current children cumulated vsize (Kb) 14152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1550.16 s]
Raw data (loadavg): 1.04 1.10 1.06 2/57 29208
Raw data (/proc/29197/stat): 29197 (vallstSAT2005PB) S 29196 29197 8263 0 -1 0 497 9131 0 0 2 2 95121 15680 17 0 1 0 1788169536 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/29197/statm): 532 249 485 147 0 385 0
[pid=29197] vsize: 2128
Raw data (/proc/29208/stat): 29208 (vallst) R 29197 29197 8263 0 -1 0 1783 0 0 0 8682 1010 0 0 16 0 1 0 1788312784 12312576 1748 4294967295 134512640 134702520 3221223712 3221222608 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/29208/statm): 3006 1748 413 48 0 2958 0
[pid=29208] vsize: 12024
Current children cumulated CPU time (s) 1204.97
Current children cumulated vsize (Kb) 14152

Sending SIGTERM to -29197
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=29210
New process pid=29211
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/17755/stat
open syscall for file /proc/17755/status
open syscall for file /proc/17755/cmdline
open syscall for file /proc/17755/environ
open syscall for file /proc/25194/stat
open syscall for file /proc/25194/status
open syscall for file /proc/25194/cmdline
open syscall for file /proc/25194/environ
open syscall for file /proc/25221/stat
open syscall for file /proc/25221/status
open syscall for file /proc/25221/cmdline
open syscall for file /proc/25221/environ
open syscall for file /proc/25245/stat
open syscall for file /proc/25245/status
open syscall for file /proc/25245/cmdline
open syscall for file /proc/25245/environ
open syscall for file /proc/7115/stat
open syscall for file /proc/7115/status
open syscall for file /proc/7115/cmdline
open syscall for file /proc/7115/environ
open syscall for file /proc/7679/stat
open syscall for file /proc/7679/status
open syscall for file /proc/7679/cmdline
open syscall for file /proc/7679/environ
open syscall for file /proc/23170/stat
open syscall for file /proc/23170/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/23170/cmdline
open syscall for file /proc/23170/environ
open syscall for file /proc/23206/stat
open syscall for file /proc/23206/status
open syscall for file /proc/23206/cmdline
open syscall for file /proc/23206/environ
open syscall for file /proc/8263/stat
open syscall for file /proc/8263/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/8263/cmdline
open syscall for file /proc/8263/environ
open syscall for file /proc/8264/stat
open syscall for file /proc/8264/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/8264/cmdline
open syscall for file /proc/8264/environ
open syscall for file /proc/8273/stat
open syscall for file /proc/8273/status
open syscall for file /proc/8273/cmdline
open syscall for file /proc/8273/environ
open syscall for file /proc/29160/stat
open syscall for file /proc/29160/status
open syscall for file /proc/29160/cmdline
open syscall for file /proc/29160/environ
open syscall for file /proc/29196/stat
open syscall for file /proc/29196/status
open syscall for file /proc/29196/cmdline
open syscall for file /proc/29196/environ
open syscall for file /proc/29197/stat
open syscall for file /proc/29197/status
open syscall for file /proc/29197/cmdline
open syscall for file /proc/29197/environ
open syscall for file /proc/29208/stat
open syscall for file /proc/29208/status
open syscall for file /proc/29208/cmdline
open syscall for file /proc/29208/environ
open syscall for file /proc/29210/stat
open syscall for file /proc/29210/status
open syscall for file /proc/29210/cmdline
open syscall for file /proc/29210/environ
open syscall for file /proc/29211/stat
open syscall for file /proc/29211/status
open syscall for file /proc/29211/cmdline
open syscall for file /proc/29211/environ
One traced child (pid=29210) exited with status: 0
One traced child (pid=29211) exited with status: 0
New process pid=29212
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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=29208) exited with status: 3
One traced child (pid=29212) exited with status: 0
New process pid=29213
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=29213) exited with status: 0
One traced child (pid=29197) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1550.67
CPU time (s): 1205.24
CPU user time (s): 1038.23
CPU system time (s): 167.014
CPU usage (%): 77.724
Max. virtual memory (cumulated for all children) (Kb): 18436

Verifier Data

ERROR: no interpretation found !