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

Namesubmitted/manquinho/primes-dimacs-cnf/normalized-ii32c3.opb
MD5SUM00d830716ad6728e4af33fe898d69922
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 261
Optimality of the best value was proved YES
Number of terms in the objective function 558
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 558
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 558
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark316.875
Number of variables558
Total number of constraints3551
Number of constraints which are clauses3551
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint32

Trace number 1889

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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:        918036 kB
Buffers:         35064 kB
Cached:          46848 kB
SwapCached:        844 kB
Active:          65264 kB
Inactive:        19232 kB
HighTotal:      131008 kB
HighFree:        81256 kB
LowTotal:       903652 kB
LowFree:        836780 kB
SwapTotal:     2097892 kB
SwapFree:      2096548 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5764 kB
Slab:            26556 kB
Committed_AS:    64148 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 17:39:50 (client local time) WITH STATUS 0 IN 1207.3 SECONDS
stats: 7178 7 1207.3 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 0  (#equs: 0)
#decisions: 208;  #end-nodes: 155;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 74 / 233 (80)
#axs: 3552, #non-axs: 34
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: model found (1)
Model found with constant:  282 (275:>=*);
#decisions: 19;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 82 (80)
#axs: 3552, #non-axs: 34
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
Model found with constant:  283 (274:>=*);
#decisions: 67;  #end-nodes: 30;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 30 / 104 (80)
#axs: 3552, #non-axs: 34
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
Model found with constant:  284 (273:>=*);
#decisions: 174;  #end-nodes: 100;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 100 / 127 (80)
#axs: 3552, #non-axs: 34
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
Model found with constant:  285 (272:>=*);
#decisions: 85;  #end-nodes: 44;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 44 / 80 (80)
#axs: 3552, #non-axs: 34
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
Model found with constant:  286 (271:>=*);
#decisions: 265;  #end-nodes: 151;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 71 / 158 (80)
#axs: 3552, #non-axs: 40
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
Model found with constant:  287 (270:>=*);
#decisions: 1466;  #end-nodes: 949;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 156 / 582 (80)
#axs: 3552, #non-axs: 235
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
Model found with constant:  290 (267:>=*);
#decisions: 26;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 3552, #non-axs: 235
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
Model found with constant:  291 (266:>=*);
#decisions: 28;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 3552, #non-axs: 235
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
Model found with constant:  292 (265:>=*);
#decisions: 53;  #end-nodes: 18;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 18 / 80 (80)
#axs: 3552, #non-axs: 235
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
Model found with constant:  293 (264:>=*);
#decisions: 2339;  #end-nodes: 1468;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 1215 / 1514 (80)
#axs: 3552, #non-axs: 427
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
Model found with constant:  294 (263:>=*);
#decisions: 3090;  #end-nodes: 2052;
#proof improvement attempts: 0;  #restarts: 3
Current batch, end-nodes: 542 / 834 (80)
#axs: 3552, #non-axs: 768
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
Model found with constant:  295 (262:>=*);
#decisions: 297721;  #end-nodes: 192848;
#proof improvement attempts: 0;  #restarts: 310
Current batch, end-nodes: 332 / 559 (157)
#axs: 3552, #non-axs: 1528
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
Model found with constant:  296 (261:>=*);
#decisions: 305606;  #end-nodes: 202271;
#proof improvement attempts: 0;  #restarts: 384
Current batch, end-nodes: 0 / 649 (175)
#axs: 3552, #non-axs: 1816
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
Model found with constant:
  (pushed:) 296 (261:>=*)

No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 124  (#equs: 0)
Time taken: 5 min, 21 sec

2:
seed: 0
Nr of vars set: 124  (#equs: 0)
Nr of vars set: 124  (#equs: 0)
#decisions: 1019545;  #end-nodes: 813498;
#proof improvement attempts: 0;  #restarts: 960
Current batch, end-nodes: 0 / 485 (359)
#axs: 2462, #non-axs: 3949
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: 167  (#equs: 0)
Time taken: 8 min, 22 sec

3:
seed: 0
Nr of vars set: 167  (#equs: 0)
Nr of vars set: 167  (#equs: 0)
Interupt request received.
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 203  (#equs: 1)
Time taken: 6 min, 22 sec

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/4344/stat): 4344 (vallstSAT2005PB) R 4343 4344 31027 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1842955973 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4344/statm): 174 3 169 147 0 27 0
[pid=4344] 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=4345
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=4345) exited with status: 0
New process pid=4346
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=4346) exited with status: 0
New process pid=4347
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/wulflinc18/normalized-ii32c3.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0041 s]
Raw data (loadavg): 1.08 1.02 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 274 0 0 0 647 118 0 0 17 0 1 0 1842955980 2314240 244 4294967295 134512640 134702520 3221223968 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4347/statm): 565 244 413 48 0 517 0
[pid=4347] vsize: 2260
Current children cumulated CPU time (s) 7.67
Current children cumulated vsize (Kb) 4388

[startup+20.0061 s]
Raw data (loadavg): 1.07 1.02 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 611 0 0 0 1359 213 0 0 17 0 1 0 1842955980 3506176 581 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4347/statm): 856 581 413 48 0 808 0
[pid=4347] vsize: 3424
Current children cumulated CPU time (s) 15.74
Current children cumulated vsize (Kb) 5552

[startup+30.007 s]
Raw data (loadavg): 1.06 1.02 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 632 0 0 0 2138 289 0 0 23 0 1 0 1842955980 3641344 602 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4347/statm): 889 602 413 48 0 841 0
[pid=4347] vsize: 3556
Current children cumulated CPU time (s) 24.29
Current children cumulated vsize (Kb) 5684

[startup+40.0079 s]
Raw data (loadavg): 1.05 1.02 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 651 0 0 0 2929 363 0 0 16 0 1 0 1842955980 3858432 621 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4347/statm): 942 621 413 48 0 894 0
[pid=4347] vsize: 3768
Current children cumulated CPU time (s) 32.94
Current children cumulated vsize (Kb) 5896

[startup+50.0099 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 669 0 0 0 3703 442 0 0 15 0 1 0 1842955980 3858432 639 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4347/statm): 942 639 413 48 0 894 0
[pid=4347] vsize: 3768
Current children cumulated CPU time (s) 41.47
Current children cumulated vsize (Kb) 5896

[startup+60.0108 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 670 0 0 0 4402 545 0 0 15 0 1 0 1842955980 3858432 640 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4347/statm): 942 640 413 48 0 894 0
[pid=4347] vsize: 3768
Current children cumulated CPU time (s) 49.49
Current children cumulated vsize (Kb) 5896

[startup+70.0127 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 677 0 0 0 5139 638 0 0 16 0 1 0 1842955980 3858432 647 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4347/statm): 942 647 413 48 0 894 0
[pid=4347] vsize: 3768
Current children cumulated CPU time (s) 57.79
Current children cumulated vsize (Kb) 5896

[startup+80.0146 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 690 0 0 0 5941 708 0 0 16 0 1 0 1842955980 3989504 660 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4347/statm): 974 660 413 48 0 926 0
[pid=4347] vsize: 3896
Current children cumulated CPU time (s) 66.51
Current children cumulated vsize (Kb) 6024

[startup+90.0155 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 699 0 0 0 6713 789 0 0 16 0 1 0 1842955980 3989504 669 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4347/statm): 974 669 413 48 0 926 0
[pid=4347] vsize: 3896
Current children cumulated CPU time (s) 75.04
Current children cumulated vsize (Kb) 6024

[startup+100.016 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 714 0 0 0 7518 860 0 0 16 0 1 0 1842955980 3989504 684 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4347/statm): 974 684 413 48 0 926 0
[pid=4347] vsize: 3896
Current children cumulated CPU time (s) 83.8
Current children cumulated vsize (Kb) 6024

[startup+110.017 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 714 0 0 0 8198 970 0 0 16 0 1 0 1842955980 3989504 684 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4347/statm): 974 684 413 48 0 926 0
[pid=4347] vsize: 3896
Current children cumulated CPU time (s) 91.7
Current children cumulated vsize (Kb) 6024

[startup+120.019 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 719 0 0 0 8948 1060 0 0 16 0 1 0 1842955980 4124672 689 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4347/statm): 1007 689 413 48 0 959 0
[pid=4347] vsize: 4028
Current children cumulated CPU time (s) 100.1
Current children cumulated vsize (Kb) 6156

[startup+130.02 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) R 4344 4344 31027 0 -1 0 724 0 0 0 9734 1133 0 0 17 0 1 0 1842955980 4124672 694 4294967295 134512640 134702520 3221223968 3221223248 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4347/statm): 1007 694 413 48 0 959 0
[pid=4347] vsize: 4028
Current children cumulated CPU time (s) 108.69
Current children cumulated vsize (Kb) 6156

[startup+140.021 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 733 0 0 0 10541 1197 0 0 16 0 1 0 1842955980 4124672 703 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4347/statm): 1007 703 413 48 0 959 0
[pid=4347] vsize: 4028
Current children cumulated CPU time (s) 117.4
Current children cumulated vsize (Kb) 6156

[startup+150.022 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 737 0 0 0 11325 1269 0 0 16 0 1 0 1842955980 4124672 707 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4347/statm): 1007 707 413 48 0 959 0
[pid=4347] vsize: 4028
Current children cumulated CPU time (s) 125.96
Current children cumulated vsize (Kb) 6156

[startup+160.023 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 743 0 0 0 12111 1339 0 0 15 0 1 0 1842955980 4124672 713 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4347/statm): 1007 713 413 48 0 959 0
[pid=4347] vsize: 4028
Current children cumulated CPU time (s) 134.52
Current children cumulated vsize (Kb) 6156

[startup+170.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 743 0 0 0 12907 1415 0 0 16 0 1 0 1842955980 4124672 713 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4347/statm): 1007 713 413 48 0 959 0
[pid=4347] vsize: 4028
Current children cumulated CPU time (s) 143.24
Current children cumulated vsize (Kb) 6156

[startup+180.026 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 746 0 0 0 13725 1477 0 0 16 0 1 0 1842955980 4124672 716 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4347/statm): 1007 716 413 48 0 959 0
[pid=4347] vsize: 4028
Current children cumulated CPU time (s) 152.04
Current children cumulated vsize (Kb) 6156

[startup+190.027 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 747 0 0 0 14530 1549 0 0 16 0 1 0 1842955980 4124672 717 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4347/statm): 1007 717 413 48 0 959 0
[pid=4347] vsize: 4028
Current children cumulated CPU time (s) 160.81
Current children cumulated vsize (Kb) 6156

[startup+200.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) R 4344 4344 31027 0 -1 0 748 0 0 0 15337 1619 0 0 16 0 1 0 1842955980 4124672 718 4294967295 134512640 134702520 3221223968 3221223248 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4347/statm): 1007 718 413 48 0 959 0
[pid=4347] vsize: 4028
Current children cumulated CPU time (s) 169.58
Current children cumulated vsize (Kb) 6156

[startup+210.03 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 752 0 0 0 16118 1694 0 0 16 0 1 0 1842955980 4255744 722 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4347/statm): 1039 722 413 48 0 991 0
[pid=4347] vsize: 4156
Current children cumulated CPU time (s) 178.14
Current children cumulated vsize (Kb) 6284

[startup+220.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) R 4344 4344 31027 0 -1 0 753 0 0 0 16939 1759 0 0 16 0 1 0 1842955980 4255744 723 4294967295 134512640 134702520 3221223968 3221222704 134564360 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4347/statm): 1039 723 413 48 0 991 0
[pid=4347] vsize: 4156
Current children cumulated CPU time (s) 187
Current children cumulated vsize (Kb) 6284

[startup+230.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) R 4344 4344 31027 0 -1 0 755 0 0 0 17763 1821 0 0 16 0 1 0 1842955980 4255744 725 4294967295 134512640 134702520 3221223968 3221222864 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4347/statm): 1039 725 413 48 0 991 0
[pid=4347] vsize: 4156
Current children cumulated CPU time (s) 195.86
Current children cumulated vsize (Kb) 6284

[startup+240.033 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 758 0 0 0 18583 1886 0 0 16 0 1 0 1842955980 4255744 728 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4347/statm): 1039 728 413 48 0 991 0
[pid=4347] vsize: 4156
Current children cumulated CPU time (s) 204.71
Current children cumulated vsize (Kb) 6284

[startup+250.035 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 759 0 0 0 19390 1954 0 0 16 0 1 0 1842955980 4255744 729 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4347/statm): 1039 729 413 48 0 991 0
[pid=4347] vsize: 4156
Current children cumulated CPU time (s) 213.46
Current children cumulated vsize (Kb) 6284

[startup+260.036 s]
Raw data (loadavg): 1.00 1.00 1.00 3/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 759 0 0 0 20196 2020 0 0 17 0 1 0 1842955980 4255744 729 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4347/statm): 1039 729 413 48 0 991 0
[pid=4347] vsize: 4156
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (Kb) 6284

[startup+270.039 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 761 0 0 0 21044 2075 0 0 16 0 1 0 1842955980 4255744 731 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4347/statm): 1039 731 413 48 0 991 0
[pid=4347] vsize: 4156
Current children cumulated CPU time (s) 231.21
Current children cumulated vsize (Kb) 6284

[startup+280.04 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 765 0 0 0 21861 2138 0 0 16 0 1 0 1842955980 4255744 735 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4347/statm): 1039 735 413 48 0 991 0
[pid=4347] vsize: 4156
Current children cumulated CPU time (s) 240.01
Current children cumulated vsize (Kb) 6284

[startup+290.041 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 766 0 0 0 22679 2203 0 0 16 0 1 0 1842955980 4255744 736 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4347/statm): 1039 736 413 48 0 991 0
[pid=4347] vsize: 4156
Current children cumulated CPU time (s) 248.84
Current children cumulated vsize (Kb) 6284

[startup+300.042 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 768 0 0 0 23514 2263 0 0 16 0 1 0 1842955980 4255744 738 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4347/statm): 1039 738 413 48 0 991 0
[pid=4347] vsize: 4156
Current children cumulated CPU time (s) 257.79
Current children cumulated vsize (Kb) 6284

[startup+310.043 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 769 0 0 0 24296 2339 0 0 17 0 1 0 1842955980 4255744 739 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4347/statm): 1039 739 413 48 0 991 0
[pid=4347] vsize: 4156
Current children cumulated CPU time (s) 266.37
Current children cumulated vsize (Kb) 6284

[startup+320.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) R 4344 4344 31027 0 -1 0 769 0 0 0 25158 2387 0 0 16 0 1 0 1842955980 4255744 739 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4347/statm): 1039 739 413 48 0 991 0
[pid=4347] vsize: 4156
Current children cumulated CPU time (s) 275.47
Current children cumulated vsize (Kb) 6284

[startup+330.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) R 4344 4344 31027 0 -1 0 771 0 0 0 25977 2450 0 0 16 0 1 0 1842955980 4259840 741 4294967295 134512640 134702520 3221223968 3221223088 134572664 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4347/statm): 1040 741 413 48 0 992 0
[pid=4347] vsize: 4160
Current children cumulated CPU time (s) 284.29
Current children cumulated vsize (Kb) 6288

[startup+340.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) R 4344 4344 31027 0 -1 0 773 0 0 0 26792 2517 0 0 16 0 1 0 1842955980 4259840 743 4294967295 134512640 134702520 3221223968 3221223248 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4347/statm): 1040 743 413 48 0 992 0
[pid=4347] vsize: 4160
Current children cumulated CPU time (s) 293.11
Current children cumulated vsize (Kb) 6288

[startup+350.049 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 776 0 0 0 27615 2579 0 0 16 0 1 0 1842955980 4259840 746 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4347/statm): 1040 746 413 48 0 992 0
[pid=4347] vsize: 4160
Current children cumulated CPU time (s) 301.96
Current children cumulated vsize (Kb) 6288

[startup+360.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) R 4344 4344 31027 0 -1 0 777 0 0 0 28407 2648 0 0 16 0 1 0 1842955980 4259840 747 4294967295 134512640 134702520 3221223968 3221222864 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4347/statm): 1040 747 413 48 0 992 0
[pid=4347] vsize: 4160
Current children cumulated CPU time (s) 310.57
Current children cumulated vsize (Kb) 6288

[startup+370.051 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 778 0 0 0 29253 2704 0 0 16 0 1 0 1842955980 4259840 748 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4347/statm): 1040 748 413 48 0 992 0
[pid=4347] vsize: 4160
Current children cumulated CPU time (s) 319.59
Current children cumulated vsize (Kb) 6288
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=4347) exited with status: 2
New process pid=4348
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=4348) exited with status: 0
New process pid=4349
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+380.052 s]
Raw data (loadavg): 1.07 1.02 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 277 0 0 0 624 41 0 0 18 0 1 0 1842993241 2383872 248 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4349/statm): 582 248 413 48 0 534 0
[pid=4349] vsize: 2328
Current children cumulated CPU time (s) 328.62
Current children cumulated vsize (Kb) 4456

[startup+390.053 s]
Raw data (loadavg): 1.06 1.02 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 278 0 0 0 1489 87 0 0 23 0 1 0 1842993241 2383872 249 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 582 249 413 48 0 534 0
[pid=4349] vsize: 2328
Current children cumulated CPU time (s) 337.73
Current children cumulated vsize (Kb) 4456

[startup+400.054 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 612 0 0 0 2319 144 0 0 25 0 1 0 1842993241 3624960 583 4294967295 134512640 134702520 3221223712 3221222608 134557203 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 885 583 413 48 0 837 0
[pid=4349] vsize: 3540
Current children cumulated CPU time (s) 346.6
Current children cumulated vsize (Kb) 5668

[startup+410.055 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 642 0 0 0 3161 201 0 0 17 0 1 0 1842993241 3895296 613 4294967295 134512640 134702520 3221223712 3221223116 1074229968 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 951 613 413 48 0 903 0
[pid=4349] vsize: 3804
Current children cumulated CPU time (s) 355.59
Current children cumulated vsize (Kb) 5932

[startup+420.056 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 651 0 0 0 3997 257 0 0 19 0 1 0 1842993241 3895296 622 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4349/statm): 951 622 413 48 0 903 0
[pid=4349] vsize: 3804
Current children cumulated CPU time (s) 364.51
Current children cumulated vsize (Kb) 5932

[startup+430.057 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 652 0 0 0 4856 305 0 0 19 0 1 0 1842993241 3895296 623 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 951 623 413 48 0 903 0
[pid=4349] vsize: 3804
Current children cumulated CPU time (s) 373.58
Current children cumulated vsize (Kb) 5932

[startup+440.058 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 667 0 0 0 5703 355 0 0 24 0 1 0 1842993241 4030464 638 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 984 638 413 48 0 936 0
[pid=4349] vsize: 3936
Current children cumulated CPU time (s) 382.55
Current children cumulated vsize (Kb) 6064

[startup+450.059 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 682 0 0 0 6555 406 0 0 24 0 1 0 1842993241 4030464 653 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 984 653 413 48 0 936 0
[pid=4349] vsize: 3936
Current children cumulated CPU time (s) 391.58
Current children cumulated vsize (Kb) 6064

[startup+460.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 691 0 0 0 7406 459 0 0 23 0 1 0 1842993241 4030464 662 4294967295 134512640 134702520 3221223712 3221222608 134552900 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 984 662 413 48 0 936 0
[pid=4349] vsize: 3936
Current children cumulated CPU time (s) 400.62
Current children cumulated vsize (Kb) 6064

[startup+470.062 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 691 0 0 0 8257 512 0 0 22 0 1 0 1842993241 4030464 662 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4349/statm): 984 662 413 48 0 936 0
[pid=4349] vsize: 3936
Current children cumulated CPU time (s) 409.66
Current children cumulated vsize (Kb) 6064

[startup+480.063 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 699 0 0 0 9093 571 0 0 22 0 1 0 1842993241 4030464 670 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 984 670 413 48 0 936 0
[pid=4349] vsize: 3936
Current children cumulated CPU time (s) 418.61
Current children cumulated vsize (Kb) 6064

[startup+490.064 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 706 0 0 0 9946 624 0 0 25 0 1 0 1842993241 4165632 677 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1017 677 413 48 0 969 0
[pid=4349] vsize: 4068
Current children cumulated CPU time (s) 427.67
Current children cumulated vsize (Kb) 6196

[startup+500.065 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 728 0 0 0 10799 677 0 0 22 0 1 0 1842993241 4165632 699 4294967295 134512640 134702520 3221223712 3221222608 134552546 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1017 699 413 48 0 969 0
[pid=4349] vsize: 4068
Current children cumulated CPU time (s) 436.73
Current children cumulated vsize (Kb) 6196

[startup+510.066 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 728 0 0 0 11652 725 0 0 25 0 1 0 1842993241 4165632 699 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1017 699 413 48 0 969 0
[pid=4349] vsize: 4068
Current children cumulated CPU time (s) 445.74
Current children cumulated vsize (Kb) 6196

[startup+520.068 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 737 0 0 0 12490 784 0 0 23 0 1 0 1842993241 4165632 708 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1017 708 413 48 0 969 0
[pid=4349] vsize: 4068
Current children cumulated CPU time (s) 454.71
Current children cumulated vsize (Kb) 6196

[startup+530.07 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 746 0 0 0 13327 840 0 0 19 0 1 0 1842993241 4300800 717 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4349/statm): 1050 717 413 48 0 1002 0
[pid=4349] vsize: 4200
Current children cumulated CPU time (s) 463.64
Current children cumulated vsize (Kb) 6328

[startup+540.07 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 761 0 0 0 14178 893 0 0 25 0 1 0 1842993241 4304896 732 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4349/statm): 1051 732 413 48 0 1003 0
[pid=4349] vsize: 4204
Current children cumulated CPU time (s) 472.68
Current children cumulated vsize (Kb) 6332

[startup+550.072 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 765 0 0 0 15027 945 0 0 24 0 1 0 1842993241 4304896 736 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1051 736 413 48 0 1003 0
[pid=4349] vsize: 4204
Current children cumulated CPU time (s) 481.69
Current children cumulated vsize (Kb) 6332

[startup+560.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 765 0 0 0 15889 997 0 0 25 0 1 0 1842993241 4304896 736 4294967295 134512640 134702520 3221223712 3221222480 134552312 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1051 736 413 48 0 1003 0
[pid=4349] vsize: 4204
Current children cumulated CPU time (s) 490.83
Current children cumulated vsize (Kb) 6332

[startup+570.075 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 770 0 0 0 16741 1047 0 0 23 0 1 0 1842993241 4304896 741 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1051 741 413 48 0 1003 0
[pid=4349] vsize: 4204
Current children cumulated CPU time (s) 499.85
Current children cumulated vsize (Kb) 6332

[startup+580.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 780 0 0 0 17595 1100 0 0 25 0 1 0 1842993241 4440064 751 4294967295 134512640 134702520 3221223712 3221222992 134552759 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1084 751 413 48 0 1036 0
[pid=4349] vsize: 4336
Current children cumulated CPU time (s) 508.92
Current children cumulated vsize (Kb) 6464

[startup+590.077 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 783 0 0 0 18451 1147 0 0 19 0 1 0 1842993241 4440064 754 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1084 754 413 48 0 1036 0
[pid=4349] vsize: 4336
Current children cumulated CPU time (s) 517.95
Current children cumulated vsize (Kb) 6464

[startup+600.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 789 0 0 0 19309 1200 0 0 25 0 1 0 1842993241 4440064 760 4294967295 134512640 134702520 3221223712 3221222576 134564346 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1084 760 413 48 0 1036 0
[pid=4349] vsize: 4336
Current children cumulated CPU time (s) 527.06
Current children cumulated vsize (Kb) 6464

[startup+610.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 789 0 0 0 20175 1245 0 0 21 0 1 0 1842993241 4440064 760 4294967295 134512640 134702520 3221223712 3221222480 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1084 760 413 48 0 1036 0
[pid=4349] vsize: 4336
Current children cumulated CPU time (s) 536.17
Current children cumulated vsize (Kb) 6464

[startup+620.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 793 0 0 0 21008 1305 0 0 21 0 1 0 1842993241 4440064 764 4294967295 134512640 134702520 3221223712 3221222960 134564346 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1084 764 413 48 0 1036 0
[pid=4349] vsize: 4336
Current children cumulated CPU time (s) 545.1
Current children cumulated vsize (Kb) 6464

[startup+630.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 797 0 0 0 21854 1358 0 0 20 0 1 0 1842993241 4440064 768 4294967295 134512640 134702520 3221223712 3221222992 134553100 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1084 768 413 48 0 1036 0
[pid=4349] vsize: 4336
Current children cumulated CPU time (s) 554.09
Current children cumulated vsize (Kb) 6464

[startup+640.083 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 801 0 0 0 22700 1411 0 0 21 0 1 0 1842993241 4440064 772 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1084 772 413 48 0 1036 0
[pid=4349] vsize: 4336
Current children cumulated CPU time (s) 563.08
Current children cumulated vsize (Kb) 6464

[startup+650.085 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 807 0 0 0 23549 1462 0 0 25 0 1 0 1842993241 4575232 778 4294967295 134512640 134702520 3221223712 3221222608 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1117 778 413 48 0 1069 0
[pid=4349] vsize: 4468
Current children cumulated CPU time (s) 572.08
Current children cumulated vsize (Kb) 6596

[startup+660.086 s]
Raw data (loadavg): 1.05 1.01 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 807 0 0 0 24409 1512 0 0 25 0 1 0 1842993241 4575232 778 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1117 778 413 48 0 1069 0
[pid=4349] vsize: 4468
Current children cumulated CPU time (s) 581.18
Current children cumulated vsize (Kb) 6596

[startup+670.088 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 808 0 0 0 25253 1562 0 0 21 0 1 0 1842993241 4575232 779 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1117 779 413 48 0 1069 0
[pid=4349] vsize: 4468
Current children cumulated CPU time (s) 590.12
Current children cumulated vsize (Kb) 6596

[startup+680.09 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 816 0 0 0 26093 1616 0 0 22 0 1 0 1842993241 4575232 787 4294967295 134512640 134702520 3221223712 3221222832 134572978 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4349/statm): 1117 787 413 48 0 1069 0
[pid=4349] vsize: 4468
Current children cumulated CPU time (s) 599.06
Current children cumulated vsize (Kb) 6596

[startup+690.091 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 819 0 0 0 26939 1669 0 0 17 0 1 0 1842993241 4575232 790 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1117 790 413 48 0 1069 0
[pid=4349] vsize: 4468
Current children cumulated CPU time (s) 608.05
Current children cumulated vsize (Kb) 6596

[startup+700.093 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 822 0 0 0 27793 1724 0 0 20 0 1 0 1842993241 4575232 793 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1117 793 413 48 0 1069 0
[pid=4349] vsize: 4468
Current children cumulated CPU time (s) 617.14
Current children cumulated vsize (Kb) 6596

[startup+710.094 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 824 0 0 0 28654 1774 0 0 25 0 1 0 1842993241 4575232 795 4294967295 134512640 134702520 3221223712 3221222608 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1117 795 413 48 0 1069 0
[pid=4349] vsize: 4468
Current children cumulated CPU time (s) 626.25
Current children cumulated vsize (Kb) 6596

[startup+720.095 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 824 0 0 0 29523 1818 0 0 25 0 1 0 1842993241 4575232 795 4294967295 134512640 134702520 3221223712 3221222976 134553224 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1117 795 413 48 0 1069 0
[pid=4349] vsize: 4468
Current children cumulated CPU time (s) 635.38
Current children cumulated vsize (Kb) 6596

[startup+730.096 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 827 0 0 0 30350 1876 0 0 18 0 1 0 1842993241 4575232 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4349/statm): 1117 798 413 48 0 1069 0
[pid=4349] vsize: 4468
Current children cumulated CPU time (s) 644.23
Current children cumulated vsize (Kb) 6596

[startup+740.097 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 830 0 0 0 31213 1920 0 0 25 0 1 0 1842993241 4575232 801 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1117 801 413 48 0 1069 0
[pid=4349] vsize: 4468
Current children cumulated CPU time (s) 653.3
Current children cumulated vsize (Kb) 6596

[startup+750.098 s]
Raw data (loadavg): 1.09 1.02 1.01 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 843 0 0 0 32063 1973 0 0 25 0 1 0 1842993241 4710400 814 4294967295 134512640 134702520 3221223712 3221222992 134552891 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1150 814 413 48 0 1102 0
[pid=4349] vsize: 4600
Current children cumulated CPU time (s) 662.33
Current children cumulated vsize (Kb) 6728

[startup+760.098 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 852 0 0 0 32920 2024 0 0 25 0 1 0 1842993241 4710400 823 4294967295 134512640 134702520 3221223712 3221222992 134553312 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1150 823 413 48 0 1102 0
[pid=4349] vsize: 4600
Current children cumulated CPU time (s) 671.41
Current children cumulated vsize (Kb) 6728

[startup+770.1 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 856 0 0 0 33785 2071 0 0 25 0 1 0 1842993241 4710400 827 4294967295 134512640 134702520 3221223712 3221222608 134552128 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4349/statm): 1150 827 413 48 0 1102 0
[pid=4349] vsize: 4600
Current children cumulated CPU time (s) 680.53
Current children cumulated vsize (Kb) 6728

[startup+780.101 s]
Raw data (loadavg): 1.05 1.02 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 856 0 0 0 34661 2114 0 0 25 0 1 0 1842993241 4710400 827 4294967295 134512640 134702520 3221223712 3221222608 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1150 827 413 48 0 1102 0
[pid=4349] vsize: 4600
Current children cumulated CPU time (s) 689.72
Current children cumulated vsize (Kb) 6728

[startup+790.102 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 860 0 0 0 35512 2165 0 0 24 0 1 0 1842993241 4710400 831 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1150 831 413 48 0 1102 0
[pid=4349] vsize: 4600
Current children cumulated CPU time (s) 698.74
Current children cumulated vsize (Kb) 6728

[startup+800.104 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 863 0 0 0 36368 2218 0 0 19 0 1 0 1842993241 4710400 834 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222298933 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1150 834 413 48 0 1102 0
[pid=4349] vsize: 4600
Current children cumulated CPU time (s) 707.83
Current children cumulated vsize (Kb) 6728

[startup+810.105 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 867 0 0 0 37211 2272 0 0 23 0 1 0 1842993241 4710400 838 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1150 838 413 48 0 1102 0
[pid=4349] vsize: 4600
Current children cumulated CPU time (s) 716.8
Current children cumulated vsize (Kb) 6728

[startup+820.107 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 873 0 0 0 38068 2322 0 0 25 0 1 0 1842993241 4710400 844 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1150 844 413 48 0 1102 0
[pid=4349] vsize: 4600
Current children cumulated CPU time (s) 725.87
Current children cumulated vsize (Kb) 6728

[startup+830.108 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 885 0 0 0 38923 2376 0 0 22 0 1 0 1842993241 4710400 856 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1150 856 413 48 0 1102 0
[pid=4349] vsize: 4600
Current children cumulated CPU time (s) 734.96
Current children cumulated vsize (Kb) 6728

[startup+840.109 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 893 0 0 0 39788 2421 0 0 25 0 1 0 1842993241 4980736 864 4294967295 134512640 134702520 3221223712 3221222608 134552151 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1216 864 413 48 0 1168 0
[pid=4349] vsize: 4864
Current children cumulated CPU time (s) 744.06
Current children cumulated vsize (Kb) 6992

[startup+850.111 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 893 0 0 0 40684 2461 0 0 21 0 1 0 1842993241 4980736 864 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1216 864 413 48 0 1168 0
[pid=4349] vsize: 4864
Current children cumulated CPU time (s) 753.42
Current children cumulated vsize (Kb) 6992

[startup+860.112 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 895 0 0 0 41558 2508 0 0 21 0 1 0 1842993241 4980736 866 4294967295 134512640 134702520 3221223712 3221222832 134578882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1216 866 413 48 0 1168 0
[pid=4349] vsize: 4864
Current children cumulated CPU time (s) 762.63
Current children cumulated vsize (Kb) 6992

[startup+870.113 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 898 0 0 0 42409 2559 0 0 17 0 1 0 1842993241 4980736 869 4294967295 134512640 134702520 3221223712 3221222832 134573708 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1216 869 413 48 0 1168 0
[pid=4349] vsize: 4864
Current children cumulated CPU time (s) 771.65
Current children cumulated vsize (Kb) 6992

[startup+880.115 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 900 0 0 0 43258 2610 0 0 24 0 1 0 1842993241 4980736 871 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1216 871 413 48 0 1168 0
[pid=4349] vsize: 4864
Current children cumulated CPU time (s) 780.65
Current children cumulated vsize (Kb) 6992

[startup+890.115 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 904 0 0 0 44118 2658 0 0 19 0 1 0 1842993241 4980736 875 4294967295 134512640 134702520 3221223712 3221223104 134605856 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1216 875 413 48 0 1168 0
[pid=4349] vsize: 4864
Current children cumulated CPU time (s) 789.73
Current children cumulated vsize (Kb) 6992

[startup+900.116 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 907 0 0 0 44972 2708 0 0 23 0 1 0 1842993241 4980736 878 4294967295 134512640 134702520 3221223712 3221215968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1216 878 413 48 0 1168 0
[pid=4349] vsize: 4864
Current children cumulated CPU time (s) 798.77
Current children cumulated vsize (Kb) 6992

[startup+910.118 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 914 0 0 0 45831 2755 0 0 22 0 1 0 1842993241 4984832 885 4294967295 134512640 134702520 3221223712 3221222992 134552924 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1217 885 413 48 0 1169 0
[pid=4349] vsize: 4868
Current children cumulated CPU time (s) 807.83
Current children cumulated vsize (Kb) 6996

[startup+920.12 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 914 0 0 0 46737 2790 0 0 25 0 1 0 1842993241 4984832 885 4294967295 134512640 134702520 3221223712 3221222608 134550674 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1217 885 413 48 0 1169 0
[pid=4349] vsize: 4868
Current children cumulated CPU time (s) 817.24
Current children cumulated vsize (Kb) 6996
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=4349) exited with status: 2
New process pid=4350
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=4350) exited with status: 0
New process pid=4351
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+930.121 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 302 0 0 0 238 9 0 0 25 0 1 0 1843048731 2428928 274 4294967295 134512640 134702520 3221223712 3221222848 134552246 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4351/statm): 593 274 413 48 0 545 0
[pid=4351] vsize: 2372
Current children cumulated CPU time (s) 826.62
Current children cumulated vsize (Kb) 4500

[startup+940.122 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 304 0 0 0 1140 41 0 0 25 0 1 0 1843048731 2428928 276 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4351/statm): 593 276 413 48 0 545 0
[pid=4351] vsize: 2372
Current children cumulated CPU time (s) 835.96
Current children cumulated vsize (Kb) 4500

[startup+950.124 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 635 0 0 0 2018 88 0 0 22 0 1 0 1843048731 3911680 607 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4351/statm): 955 607 413 48 0 907 0
[pid=4351] vsize: 3820
Current children cumulated CPU time (s) 845.21
Current children cumulated vsize (Kb) 5948

[startup+960.125 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 662 0 0 0 2883 135 0 0 18 0 1 0 1843048731 4046848 634 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4351/statm): 988 634 413 48 0 940 0
[pid=4351] vsize: 3952
Current children cumulated CPU time (s) 854.33
Current children cumulated vsize (Kb) 6080

[startup+970.126 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 679 0 0 0 3758 181 0 0 25 0 1 0 1843048731 4046848 651 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4351/statm): 988 651 413 48 0 940 0
[pid=4351] vsize: 3952
Current children cumulated CPU time (s) 863.54
Current children cumulated vsize (Kb) 6080

[startup+980.128 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 679 0 0 0 4639 224 0 0 25 0 1 0 1843048731 4046848 651 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4351/statm): 988 651 413 48 0 940 0
[pid=4351] vsize: 3952
Current children cumulated CPU time (s) 872.78
Current children cumulated vsize (Kb) 6080

[startup+990.128 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 700 0 0 0 5480 279 0 0 22 0 1 0 1843048731 4182016 672 4294967295 134512640 134702520 3221223712 3221222608 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1021 672 413 48 0 973 0
[pid=4351] vsize: 4084
Current children cumulated CPU time (s) 881.74
Current children cumulated vsize (Kb) 6212

[startup+1000.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 712 0 0 0 6343 325 0 0 25 0 1 0 1843048731 4182016 684 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4351/statm): 1021 684 413 48 0 973 0
[pid=4351] vsize: 4084
Current children cumulated CPU time (s) 890.83
Current children cumulated vsize (Kb) 6212

[startup+1010.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 717 0 0 0 7216 373 0 0 25 0 1 0 1843048731 4182016 689 4294967295 134512640 134702520 3221223712 3221222608 134557466 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1021 689 413 48 0 973 0
[pid=4351] vsize: 4084
Current children cumulated CPU time (s) 900.04
Current children cumulated vsize (Kb) 6212

[startup+1020.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 717 0 0 0 8105 411 0 0 22 0 1 0 1843048731 4182016 689 4294967295 134512640 134702520 3221223712 3221222480 134552345 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4351/statm): 1021 689 413 48 0 973 0
[pid=4351] vsize: 4084
Current children cumulated CPU time (s) 909.31
Current children cumulated vsize (Kb) 6212

[startup+1030.13 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 726 0 0 0 8951 466 0 0 19 0 1 0 1843048731 4317184 698 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1054 698 413 48 0 1006 0
[pid=4351] vsize: 4216
Current children cumulated CPU time (s) 918.32
Current children cumulated vsize (Kb) 6344

[startup+1040.13 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 734 0 0 0 9811 514 0 0 25 0 1 0 1843048731 4317184 706 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4351/statm): 1054 706 413 48 0 1006 0
[pid=4351] vsize: 4216
Current children cumulated CPU time (s) 927.4
Current children cumulated vsize (Kb) 6344

[startup+1050.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 746 0 0 0 10649 569 0 0 22 0 1 0 1843048731 4317184 718 4294967295 134512640 134702520 3221223712 3221222608 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1054 718 413 48 0 1006 0
[pid=4351] vsize: 4216
Current children cumulated CPU time (s) 936.33
Current children cumulated vsize (Kb) 6344

[startup+1060.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 746 0 0 0 11515 617 0 0 25 0 1 0 1843048731 4317184 718 4294967295 134512640 134702520 3221223712 3221222608 134550737 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1054 718 413 48 0 1006 0
[pid=4351] vsize: 4216
Current children cumulated CPU time (s) 945.47
Current children cumulated vsize (Kb) 6344

[startup+1070.14 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 752 0 0 0 12363 670 0 0 17 0 1 0 1843048731 4452352 724 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4351/statm): 1087 724 413 48 0 1039 0
[pid=4351] vsize: 4348
Current children cumulated CPU time (s) 954.48
Current children cumulated vsize (Kb) 6476

[startup+1080.14 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 756 0 0 0 13203 727 0 0 24 0 1 0 1843048731 4452352 728 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1087 728 413 48 0 1039 0
[pid=4351] vsize: 4348
Current children cumulated CPU time (s) 963.45
Current children cumulated vsize (Kb) 6476

[startup+1090.14 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 761 0 0 0 14040 781 0 0 25 0 1 0 1843048731 4452352 733 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1087 733 413 48 0 1039 0
[pid=4351] vsize: 4348
Current children cumulated CPU time (s) 972.36
Current children cumulated vsize (Kb) 6476

[startup+1100.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 762 0 0 0 14898 833 0 0 25 0 1 0 1843048731 4452352 734 4294967295 134512640 134702520 3221223712 3221222608 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1087 734 413 48 0 1039 0
[pid=4351] vsize: 4348
Current children cumulated CPU time (s) 981.46
Current children cumulated vsize (Kb) 6476

[startup+1110.14 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 762 0 0 0 15777 876 0 0 25 0 1 0 1843048731 4452352 734 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1087 734 413 48 0 1039 0
[pid=4351] vsize: 4348
Current children cumulated CPU time (s) 990.68
Current children cumulated vsize (Kb) 6476

[startup+1120.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 764 0 0 0 16604 933 0 0 18 0 1 0 1843048731 4452352 736 4294967295 134512640 134702520 3221223712 3221222832 134584489 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1087 736 413 48 0 1039 0
[pid=4351] vsize: 4348
Current children cumulated CPU time (s) 999.52
Current children cumulated vsize (Kb) 6476

[startup+1130.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 771 0 0 0 17439 988 0 0 24 0 1 0 1843048731 4452352 743 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4351/statm): 1087 743 413 48 0 1039 0
[pid=4351] vsize: 4348
Current children cumulated CPU time (s) 1008.42
Current children cumulated vsize (Kb) 6476

[startup+1140.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 778 0 0 0 18279 1045 0 0 25 0 1 0 1843048731 4452352 750 4294967295 134512640 134702520 3221223712 3221222608 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1087 750 413 48 0 1039 0
[pid=4351] vsize: 4348
Current children cumulated CPU time (s) 1017.39
Current children cumulated vsize (Kb) 6476

[startup+1150.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 778 0 0 0 19147 1091 0 0 25 0 1 0 1843048731 4452352 750 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1087 750 413 48 0 1039 0
[pid=4351] vsize: 4348
Current children cumulated CPU time (s) 1026.53
Current children cumulated vsize (Kb) 6476

[startup+1160.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 786 0 0 0 19997 1144 0 0 17 0 1 0 1843048731 4587520 758 4294967295 134512640 134702520 3221223712 3221223104 134603635 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1120 758 413 48 0 1072 0
[pid=4351] vsize: 4480
Current children cumulated CPU time (s) 1035.56
Current children cumulated vsize (Kb) 6608

[startup+1170.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 793 0 0 0 20842 1196 0 0 25 0 1 0 1843048731 4587520 765 4294967295 134512640 134702520 3221223712 3221222992 134557259 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4351/statm): 1120 765 413 48 0 1072 0
[pid=4351] vsize: 4480
Current children cumulated CPU time (s) 1044.53
Current children cumulated vsize (Kb) 6608

[startup+1180.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 795 0 0 0 21684 1252 0 0 24 0 1 0 1843048731 4587520 767 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1120 767 413 48 0 1072 0
[pid=4351] vsize: 4480
Current children cumulated CPU time (s) 1053.51
Current children cumulated vsize (Kb) 6608

[startup+1190.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 810 0 0 0 22523 1308 0 0 24 0 1 0 1843048731 4587520 782 4294967295 134512640 134702520 3221223712 3221223104 134605854 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1120 782 413 48 0 1072 0
[pid=4351] vsize: 4480
Current children cumulated CPU time (s) 1062.46
Current children cumulated vsize (Kb) 6608

[startup+1200.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 812 0 0 0 23397 1350 0 0 25 0 1 0 1843048731 4587520 784 4294967295 134512640 134702520 3221223712 3221222608 134552810 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1120 784 413 48 0 1072 0
[pid=4351] vsize: 4480
Current children cumulated CPU time (s) 1071.62
Current children cumulated vsize (Kb) 6608

[startup+1210.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 812 0 0 0 24278 1392 0 0 21 0 1 0 1843048731 4587520 784 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1120 784 413 48 0 1072 0
[pid=4351] vsize: 4480
Current children cumulated CPU time (s) 1080.85
Current children cumulated vsize (Kb) 6608

[startup+1220.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 823 0 0 0 25104 1452 0 0 19 0 1 0 1843048731 4726784 795 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4351/statm): 1154 795 413 48 0 1106 0
[pid=4351] vsize: 4616
Current children cumulated CPU time (s) 1089.71
Current children cumulated vsize (Kb) 6744

[startup+1230.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 827 0 0 0 25941 1509 0 0 24 0 1 0 1843048731 4726784 799 4294967295 134512640 134702520 3221223712 3221223104 134605161 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1154 799 413 48 0 1106 0
[pid=4351] vsize: 4616
Current children cumulated CPU time (s) 1098.65
Current children cumulated vsize (Kb) 6744

[startup+1240.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 840 0 0 0 26779 1562 0 0 24 0 1 0 1843048731 4730880 812 4294967295 134512640 134702520 3221223712 3221222912 134617918 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1155 812 413 48 0 1107 0
[pid=4351] vsize: 4620
Current children cumulated CPU time (s) 1107.56
Current children cumulated vsize (Kb) 6748

[startup+1250.16 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 844 0 0 0 27648 1611 0 0 25 0 1 0 1843048731 4730880 816 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4351/statm): 1155 816 413 48 0 1107 0
[pid=4351] vsize: 4620
Current children cumulated CPU time (s) 1116.74
Current children cumulated vsize (Kb) 6748

[startup+1260.16 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 844 0 0 0 28532 1653 0 0 22 0 1 0 1843048731 4730880 816 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4351/statm): 1155 816 413 48 0 1107 0
[pid=4351] vsize: 4620
Current children cumulated CPU time (s) 1126
Current children cumulated vsize (Kb) 6748

[startup+1270.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 848 0 0 0 29364 1712 0 0 21 0 1 0 1843048731 4730880 820 4294967295 134512640 134702520 3221223712 3221222608 134552868 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1155 820 413 48 0 1107 0
[pid=4351] vsize: 4620
Current children cumulated CPU time (s) 1134.91
Current children cumulated vsize (Kb) 6748

[startup+1280.16 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 852 0 0 0 30208 1764 0 0 18 0 1 0 1843048731 4730880 824 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4351/statm): 1155 824 413 48 0 1107 0
[pid=4351] vsize: 4620
Current children cumulated CPU time (s) 1143.87
Current children cumulated vsize (Kb) 6748

[startup+1290.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 856 0 0 0 31048 1819 0 0 22 0 1 0 1843048731 4866048 828 4294967295 134512640 134702520 3221223712 3221222608 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1188 828 413 48 0 1140 0
[pid=4351] vsize: 4752
Current children cumulated CPU time (s) 1152.82
Current children cumulated vsize (Kb) 6880

[startup+1300.16 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 863 0 0 0 31910 1867 0 0 25 0 1 0 1843048731 4866048 835 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1188 835 413 48 0 1140 0
[pid=4351] vsize: 4752
Current children cumulated CPU time (s) 1161.92
Current children cumulated vsize (Kb) 6880

[startup+1310.16 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 863 0 0 0 32787 1911 0 0 18 0 1 0 1843048731 4866048 835 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4351/statm): 1188 835 413 48 0 1140 0
[pid=4351] vsize: 4752
Current children cumulated CPU time (s) 1171.13
Current children cumulated vsize (Kb) 6880

[startup+1320.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 863 0 0 0 33679 1949 0 0 25 0 1 0 1843048731 4866048 835 4294967295 134512640 134702520 3221223712 3221222576 134564346 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1188 835 413 48 0 1140 0
[pid=4351] vsize: 4752
Current children cumulated CPU time (s) 1180.43
Current children cumulated vsize (Kb) 6880

[startup+1330.17 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 869 0 0 0 34483 2011 0 0 19 0 1 0 1843048731 4866048 841 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4351/statm): 1188 841 413 48 0 1140 0
[pid=4351] vsize: 4752
Current children cumulated CPU time (s) 1189.09
Current children cumulated vsize (Kb) 6880

[startup+1340.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 873 0 0 0 35340 2060 0 0 25 0 1 0 1843048731 4866048 845 4294967295 134512640 134702520 3221223712 3221222608 134552778 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1188 845 413 48 0 1140 0
[pid=4351] vsize: 4752
Current children cumulated CPU time (s) 1198.15
Current children cumulated vsize (Kb) 6880

[startup+1350.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 877 0 0 0 36183 2116 0 0 24 0 1 0 1843048731 4866048 849 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4351/statm): 1188 849 413 48 0 1140 0
[pid=4351] vsize: 4752
Current children cumulated CPU time (s) 1207.14
Current children cumulated vsize (Kb) 6880



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1350.17 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 877 0 0 0 36183 2116 0 0 24 0 1 0 1843048731 4866048 849 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4351/statm): 1188 849 413 48 0 1140 0
[pid=4351] vsize: 4752
Current children cumulated CPU time (s) 1207.14
Current children cumulated vsize (Kb) 6880

Sending SIGTERM to -4344
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=4353
New process pid=4354
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/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/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/1282/stat
open syscall for file /proc/1282/status
One traced child (pid=4351) exited with status: 3
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/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/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/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/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/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/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/32030/stat
open syscall for file /proc/32030/status
open syscall for file /proc/32030/cmdline
open syscall for file /proc/32030/environ
open syscall for file /proc/18880/stat
open syscall for file /proc/18880/status
open syscall for file /proc/18880/cmdline
open syscall for file /proc/18880/environ
open syscall for file /proc/18905/stat
open syscall for file /proc/18905/status
open syscall for file /proc/18905/cmdline
open syscall for file /proc/18905/environ
open syscall for file /proc/18931/stat
open syscall for file /proc/18931/status
open syscall for file /proc/18931/cmdline
open syscall for file /proc/18931/environ
open syscall for file /proc/27804/stat
open syscall for file /proc/27804/status
open syscall for file /proc/27804/cmdline
open syscall for file /proc/27804/environ
open syscall for file /proc/28297/stat
open syscall for file /proc/28297/status
open syscall for file /proc/28297/cmdline
open syscall for file /proc/28297/environ
open syscall for file /proc/13024/stat
open syscall for file /proc/13024/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/13024/cmdline
open syscall for file /proc/13024/environ
open syscall for file /proc/13060/stat
open syscall for file /proc/13060/status
open syscall for file /proc/13060/cmdline
open syscall for file /proc/13060/environ
open syscall for file /proc/31027/stat
open syscall for file /proc/31027/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/31027/cmdline
open syscall for file /proc/31027/environ
open syscall for file /proc/31028/stat
open syscall for file /proc/31028/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/31028/cmdline
open syscall for file /proc/31028/environ
open syscall for file /proc/31037/stat
open syscall for file /proc/31037/status
open syscall for file /proc/31037/cmdline
open syscall for file /proc/31037/environ
open syscall for file /proc/4307/stat
open syscall for file /proc/4307/status
open syscall for file /proc/4307/cmdline
open syscall for file /proc/4307/environ
open syscall for file /proc/4343/stat
open syscall for file /proc/4343/status
open syscall for file /proc/4343/cmdline
open syscall for file /proc/4343/environ
open syscall for file /proc/4344/stat
open syscall for file /proc/4344/status
open syscall for file /proc/4344/cmdline
open syscall for file /proc/4344/environ
open syscall for file /proc/4353/stat
open syscall for file /proc/4353/status
open syscall for file /proc/4353/cmdline
open syscall for file /proc/4353/environ
open syscall for file /proc/4354/stat
open syscall for file /proc/4354/status
open syscall for file /proc/4354/cmdline
open syscall for file /proc/4354/environ
One traced child (pid=4353) exited with status: 0
One traced child (pid=4354) exited with status: 0
New process pid=4355
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=4355) exited with status: 0
New process pid=4356
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=4356) exited with status: 0
One traced child (pid=4344) 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): 1350.67
CPU time (s): 1207.3
CPU user time (s): 1130.7
CPU system time (s): 76.6064
CPU usage (%): 89.3855
Max. virtual memory (cumulated for all children) (Kb): 6996

Verifier Data

ERROR: no interpretation found !