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-ii32e3.opb
MD5SUMfba76bbece6bbaf52b3b51d8d6e74147
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 310
Optimality of the best value was proved YES
Number of terms in the objective function 660
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 660
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 660
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 benchmark109.888
Number of variables660
Total number of constraints5350
Number of constraints which are clauses5350
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 1898

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        883652 kB
Buffers:         37756 kB
Cached:          83600 kB
SwapCached:        908 kB
Active:          95248 kB
Inactive:        28924 kB
HighTotal:      131008 kB
HighFree:        51408 kB
LowTotal:       903652 kB
LowFree:        832244 kB
SwapTotal:     2097136 kB
SwapFree:      2095620 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5992 kB
Slab:            21304 kB
Committed_AS:    93168 kB
PageTables:        344 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 17:46:39 (client local time) WITH STATUS 0 IN 1208.27 SECONDS
stats: 7184 7 1208.27 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 0  (#equs: 0)
#decisions: 59;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 5351, #non-axs: 0
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:  339 (320:>=*);
#decisions: 2152;  #end-nodes: 1198;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 1118 / 1284 (80)
#axs: 5351, #non-axs: 208
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:  340 (319:>=*);
#decisions: 29;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 5351, #non-axs: 208
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:  341 (318:>=*);
#decisions: 1147;  #end-nodes: 657;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 51 / 86 (80)
#axs: 5351, #non-axs: 403
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:  342 (317:>=*);
#decisions: 3171;  #end-nodes: 1846;
#proof improvement attempts: 0;  #restarts: 3
Current batch, end-nodes: 337 / 762 (80)
#axs: 5351, #non-axs: 795
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:  343 (316:>=*);
#decisions: 1279;  #end-nodes: 725;
#proof improvement attempts: 0;  #restarts: 3
Current batch, end-nodes: 314 / 772 (80)
#axs: 5351, #non-axs: 1001
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:  346 (313:>=*);
#decisions: 68;  #end-nodes: 31;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 31 / 80 (80)
#axs: 5351, #non-axs: 1001
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:  347 (312:>=*);
#decisions: 795;  #end-nodes: 483;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 403 / 731 (80)
#axs: 5351, #non-axs: 1111
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:  348 (311:>=*);
#decisions: 32;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 5351, #non-axs: 1111
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:  349 (310:>=*);
#decisions: 428916;  #end-nodes: 253497;
#proof improvement attempts: 0;  #restarts: 768
Current batch, end-nodes: 0 / 373 (271)
#axs: 5414, #non-axs: 884
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:) 349 (310:>=*)

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: 228  (#equs: 63)
Time taken: 5 min, 15 sec

2:
seed: 0
Nr of vars set: 228  (#equs: 0)
Nr of vars set: 228  (#equs: 2)
#decisions: 1986929;  #end-nodes: 1065624;
#proof improvement attempts: 0;  #restarts: 1824
Current batch, end-nodes: 0 / 575 (575)
#axs: 2319, #non-axs: 2533
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: 230  (#equs: 28)
Time taken: 12 min, 30 sec

3:
seed: 0
Nr of vars set: 230  (#equs: 0)
Nr of vars set: 230  (#equs: 4)
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: 230  (#equs: 9)
Time taken: 2 min, 21 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/26574/stat): 26574 (vallstSAT2005PB) R 26573 26574 17733 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1727950275 712704 3 4294967295 134512640 135087896 3221224512 3221224512 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26574/statm): 174 3 169 147 0 27 0
[pid=26574] 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=26575
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=26575) exited with status: 0
New process pid=26576
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=26576) exited with status: 0
New process pid=26577
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/wulflinc1/normalized-ii32e3.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0043 s]
Raw data (loadavg): 0.93 1.00 0.99 1/58 26577
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1727950275 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 242 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26577/stat): 26577 (vallst) T 26574 26574 17733 0 -1 0 306 0 0 0 721 92 0 0 20 0 1 0 1727950282 2482176 276 4294967295 134512640 134702520 3221223968 3221223336 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26577/statm): 606 276 413 48 0 558 0
[pid=26577] vsize: 2424
Current children cumulated CPU time (s) 8.15
Current children cumulated vsize (Kb) 4552

[startup+20.0051 s]
Raw data (loadavg): 0.94 1.00 0.99 1/58 26577
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1727950275 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 242 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26577/stat): 26577 (vallst) T 26574 26574 17733 0 -1 0 491 0 0 0 1535 154 0 0 21 0 1 0 1727950282 3846144 461 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26577/statm): 939 461 413 48 0 891 0
[pid=26577] vsize: 3756
Current children cumulated CPU time (s) 16.91
Current children cumulated vsize (Kb) 5884

[startup+30.0058 s]
Raw data (loadavg): 0.95 1.00 0.99 1/58 26577
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1727950275 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 242 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26577/stat): 26577 (vallst) T 26574 26574 17733 0 -1 0 784 0 0 0 2413 198 0 0 25 0 1 0 1727950282 4296704 754 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26577/statm): 1049 754 413 48 0 1001 0
[pid=26577] vsize: 4196
Current children cumulated CPU time (s) 26.13
Current children cumulated vsize (Kb) 6324

[startup+40.0066 s]
Raw data (loadavg): 0.96 1.00 0.99 2/58 26577
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1727950275 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 242 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26577/stat): 26577 (vallst) T 26574 26574 17733 0 -1 0 797 0 0 0 3292 241 0 0 25 0 1 0 1727950282 4431872 767 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26577/statm): 1082 767 413 48 0 1034 0
[pid=26577] vsize: 4328
Current children cumulated CPU time (s) 35.35
Current children cumulated vsize (Kb) 6456

[startup+50.0074 s]
Raw data (loadavg): 0.96 1.00 0.99 1/58 26577
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1727950275 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 242 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26577/stat): 26577 (vallst) T 26574 26574 17733 0 -1 0 815 0 0 0 4152 291 0 0 21 0 1 0 1727950282 4431872 785 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26577/statm): 1082 785 413 48 0 1034 0
[pid=26577] vsize: 4328
Current children cumulated CPU time (s) 44.45
Current children cumulated vsize (Kb) 6456

[startup+60.0082 s]
Raw data (loadavg): 0.97 1.00 0.99 1/58 26577
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1727950275 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 242 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26577/stat): 26577 (vallst) T 26574 26574 17733 0 -1 0 834 0 0 0 5013 338 0 0 21 0 1 0 1727950282 4567040 804 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26577/statm): 1115 804 413 48 0 1067 0
[pid=26577] vsize: 4460
Current children cumulated CPU time (s) 53.53
Current children cumulated vsize (Kb) 6588

[startup+70.009 s]
Raw data (loadavg): 0.97 1.00 0.99 2/58 26577
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1727950275 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 242 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26577/stat): 26577 (vallst) R 26574 26574 17733 0 -1 0 837 0 0 0 5868 389 0 0 17 0 1 0 1727950282 4567040 807 4294967295 134512640 134702520 3221223968 3221222864 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26577/statm): 1115 807 413 48 0 1067 0
[pid=26577] vsize: 4460
Current children cumulated CPU time (s) 62.59
Current children cumulated vsize (Kb) 6588

[startup+80.0108 s]
Raw data (loadavg): 0.98 1.00 0.99 2/58 26577
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1727950275 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 242 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26577/stat): 26577 (vallst) R 26574 26574 17733 0 -1 0 839 0 0 0 6753 429 0 0 22 0 1 0 1727950282 4575232 809 4294967295 134512640 134702520 3221223968 3221222864 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26577/statm): 1117 809 413 48 0 1069 0
[pid=26577] vsize: 4468
Current children cumulated CPU time (s) 71.84
Current children cumulated vsize (Kb) 6596

[startup+90.0116 s]
Raw data (loadavg): 1.05 1.01 1.00 2/58 26577
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1727950275 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 242 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26577/stat): 26577 (vallst) R 26574 26574 17733 0 -1 0 842 0 0 0 7623 473 0 0 25 0 1 0 1727950282 4575232 812 4294967295 134512640 134702520 3221223968 3221222864 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26577/statm): 1117 812 413 48 0 1069 0
[pid=26577] vsize: 4468
Current children cumulated CPU time (s) 80.98
Current children cumulated vsize (Kb) 6596

[startup+100.011 s]
Raw data (loadavg): 1.04 1.01 1.00 1/58 26577
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1727950275 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 242 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26577/stat): 26577 (vallst) T 26574 26574 17733 0 -1 0 844 0 0 0 8491 519 0 0 23 0 1 0 1727950282 4575232 814 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26577/statm): 1117 814 413 48 0 1069 0
[pid=26577] vsize: 4468
Current children cumulated CPU time (s) 90.12
Current children cumulated vsize (Kb) 6596

[startup+110.012 s]
Raw data (loadavg): 1.04 1.01 1.00 2/58 26577
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1727950275 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 242 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26577/stat): 26577 (vallst) R 26574 26574 17733 0 -1 0 844 0 0 0 9397 552 0 0 25 0 1 0 1727950282 4575232 814 4294967295 134512640 134702520 3221223968 3221222864 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26577/statm): 1117 814 413 48 0 1069 0
[pid=26577] vsize: 4468
Current children cumulated CPU time (s) 99.51
Current children cumulated vsize (Kb) 6596

[startup+120.013 s]
Raw data (loadavg): 1.03 1.01 1.00 1/58 26577
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1727950275 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 242 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26577/stat): 26577 (vallst) T 26574 26574 17733 0 -1 0 845 0 0 0 10288 591 0 0 18 0 1 0 1727950282 4575232 815 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26577/statm): 1117 815 413 48 0 1069 0
[pid=26577] vsize: 4468
Current children cumulated CPU time (s) 108.81
Current children cumulated vsize (Kb) 6596

[startup+130.014 s]
Raw data (loadavg): 1.03 1.01 1.00 2/58 26577
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1727950275 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 242 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26577/stat): 26577 (vallst) T 26574 26574 17733 0 -1 0 853 0 0 0 11172 632 0 0 25 0 1 0 1727950282 4579328 823 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26577/statm): 1118 823 413 48 0 1070 0
[pid=26577] vsize: 4472
Current children cumulated CPU time (s) 118.06
Current children cumulated vsize (Kb) 6600

[startup+140.015 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 26577
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1727950275 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 242 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26577/stat): 26577 (vallst) T 26574 26574 17733 0 -1 0 853 0 0 0 12080 665 0 0 25 0 1 0 1727950282 4579328 823 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26577/statm): 1118 823 413 48 0 1070 0
[pid=26577] vsize: 4472
Current children cumulated CPU time (s) 127.47
Current children cumulated vsize (Kb) 6600

[startup+150.015 s]
Raw data (loadavg): 1.02 1.01 1.00 2/58 26577
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1727950275 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 242 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26577/stat): 26577 (vallst) T 26574 26574 17733 0 -1 0 855 0 0 0 12993 694 0 0 20 0 1 0 1727950282 4579328 825 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26577/statm): 1118 825 413 48 0 1070 0
[pid=26577] vsize: 4472
Current children cumulated CPU time (s) 136.89
Current children cumulated vsize (Kb) 6600

[startup+160.016 s]
Raw data (loadavg): 1.01 1.01 1.00 1/58 26577
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1727950275 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 242 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26577/stat): 26577 (vallst) T 26574 26574 17733 0 -1 0 858 0 0 0 13885 729 0 0 19 0 1 0 1727950282 4579328 828 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26577/statm): 1118 828 413 48 0 1070 0
[pid=26577] vsize: 4472
Current children cumulated CPU time (s) 146.16
Current children cumulated vsize (Kb) 6600

[startup+170.017 s]
Raw data (loadavg): 1.01 1.00 1.00 2/58 26577
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1727950275 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 242 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26577/stat): 26577 (vallst) R 26574 26574 17733 0 -1 0 860 0 0 0 14786 764 0 0 25 0 1 0 1727950282 4714496 830 4294967295 134512640 134702520 3221223968 3221222864 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26577/statm): 1151 830 413 48 0 1103 0
[pid=26577] vsize: 4604
Current children cumulated CPU time (s) 155.52
Current children cumulated vsize (Kb) 6732

[startup+180.018 s]
Raw data (loadavg): 1.01 1.00 1.00 2/58 26577
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1727950275 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 242 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26577/stat): 26577 (vallst) T 26574 26574 17733 0 -1 0 860 0 0 0 15726 786 0 0 25 0 1 0 1727950282 4714496 830 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26577/statm): 1151 830 413 48 0 1103 0
[pid=26577] vsize: 4604
Current children cumulated CPU time (s) 165.14
Current children cumulated vsize (Kb) 6732

[startup+190.018 s]
Raw data (loadavg): 1.01 1.00 1.00 2/58 26577
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1727950275 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 242 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26577/stat): 26577 (vallst) R 26574 26574 17733 0 -1 0 865 0 0 0 16630 817 0 0 25 0 1 0 1727950282 4714496 835 4294967295 134512640 134702520 3221223968 3221222864 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26577/statm): 1151 835 413 48 0 1103 0
[pid=26577] vsize: 4604
Current children cumulated CPU time (s) 174.49
Current children cumulated vsize (Kb) 6732

[startup+200.019 s]
Raw data (loadavg): 1.01 1.00 1.00 2/58 26577
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1727950275 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 242 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26577/stat): 26577 (vallst) T 26574 26574 17733 0 -1 0 868 0 0 0 17508 858 0 0 23 0 1 0 1727950282 4714496 838 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26577/statm): 1151 838 413 48 0 1103 0
[pid=26577] vsize: 4604
Current children cumulated CPU time (s) 183.68
Current children cumulated vsize (Kb) 6732

[startup+210.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 26577
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1727950275 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 242 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26577/stat): 26577 (vallst) R 26574 26574 17733 0 -1 0 870 0 0 0 18420 888 0 0 25 0 1 0 1727950282 4714496 840 4294967295 134512640 134702520 3221223968 3221222864 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26577/statm): 1151 840 413 48 0 1103 0
[pid=26577] vsize: 4604
Current children cumulated CPU time (s) 193.1
Current children cumulated vsize (Kb) 6732

[startup+220.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 26577
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1727950275 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 242 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26577/stat): 26577 (vallst) R 26574 26574 17733 0 -1 0 870 0 0 0 19363 909 0 0 21 0 1 0 1727950282 4714496 840 4294967295 134512640 134702520 3221223968 3221222864 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26577/statm): 1151 840 413 48 0 1103 0
[pid=26577] vsize: 4604
Current children cumulated CPU time (s) 202.74
Current children cumulated vsize (Kb) 6732

[startup+230.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 26577
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1727950275 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 242 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26577/stat): 26577 (vallst) R 26574 26574 17733 0 -1 0 877 0 0 0 20230 955 0 0 17 0 1 0 1727950282 4714496 847 4294967295 134512640 134702520 3221223968 3221223248 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26577/statm): 1151 847 413 48 0 1103 0
[pid=26577] vsize: 4604
Current children cumulated CPU time (s) 211.87
Current children cumulated vsize (Kb) 6732

[startup+240.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 26577
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1727950275 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 242 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26577/stat): 26577 (vallst) T 26574 26574 17733 0 -1 0 883 0 0 0 21118 993 0 0 25 0 1 0 1727950282 4714496 853 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26577/statm): 1151 853 413 48 0 1103 0
[pid=26577] vsize: 4604
Current children cumulated CPU time (s) 221.13
Current children cumulated vsize (Kb) 6732

[startup+250.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 26577
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1727950275 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 242 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26577/stat): 26577 (vallst) T 26574 26574 17733 0 -1 0 884 0 0 0 22038 1019 0 0 25 0 1 0 1727950282 4714496 854 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26577/statm): 1151 854 413 48 0 1103 0
[pid=26577] vsize: 4604
Current children cumulated CPU time (s) 230.59
Current children cumulated vsize (Kb) 6732

[startup+260.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 26577
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1727950275 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 242 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26577/stat): 26577 (vallst) R 26574 26574 17733 0 -1 0 884 0 0 0 22969 1044 0 0 19 0 1 0 1727950282 4714496 854 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26577/statm): 1151 854 413 48 0 1103 0
[pid=26577] vsize: 4604
Current children cumulated CPU time (s) 240.15
Current children cumulated vsize (Kb) 6732

[startup+270.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 26577
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1727950275 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 242 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26577/stat): 26577 (vallst) T 26574 26574 17733 0 -1 0 888 0 0 0 23855 1084 0 0 25 0 1 0 1727950282 4714496 858 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26577/statm): 1151 858 413 48 0 1103 0
[pid=26577] vsize: 4604
Current children cumulated CPU time (s) 249.41
Current children cumulated vsize (Kb) 6732

[startup+280.026 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 26577
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1727950275 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 242 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26577/stat): 26577 (vallst) T 26574 26574 17733 0 -1 0 891 0 0 0 24732 1126 0 0 21 0 1 0 1727950282 4714496 861 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26577/statm): 1151 861 413 48 0 1103 0
[pid=26577] vsize: 4604
Current children cumulated CPU time (s) 258.6
Current children cumulated vsize (Kb) 6732

[startup+290.026 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 26577
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1727950275 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 242 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26577/stat): 26577 (vallst) T 26574 26574 17733 0 -1 0 894 0 0 0 25652 1153 0 0 25 0 1 0 1727950282 4849664 864 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26577/statm): 1184 864 413 48 0 1136 0
[pid=26577] vsize: 4736
Current children cumulated CPU time (s) 268.07
Current children cumulated vsize (Kb) 6864

[startup+300.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 26577
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1727950275 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 242 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26577/stat): 26577 (vallst) R 26574 26574 17733 0 -1 0 894 0 0 0 26586 1177 0 0 25 0 1 0 1727950282 4849664 864 4294967295 134512640 134702520 3221223968 3221223248 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26577/statm): 1184 864 413 48 0 1136 0
[pid=26577] vsize: 4736
Current children cumulated CPU time (s) 277.65
Current children cumulated vsize (Kb) 6864

[startup+310.027 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 26577
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1727950275 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 242 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26577/stat): 26577 (vallst) T 26574 26574 17733 0 -1 0 899 0 0 0 27450 1225 0 0 19 0 1 0 1727950282 4849664 869 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26577/statm): 1184 869 413 48 0 1136 0
[pid=26577] vsize: 4736
Current children cumulated CPU time (s) 286.77
Current children cumulated vsize (Kb) 6864

[startup+320.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 26577
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1727950275 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 242 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26577/stat): 26577 (vallst) T 26574 26574 17733 0 -1 0 901 0 0 0 28307 1275 0 0 23 0 1 0 1727950282 4849664 871 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26577/statm): 1184 871 413 48 0 1136 0
[pid=26577] vsize: 4736
Current children cumulated CPU time (s) 295.84
Current children cumulated vsize (Kb) 6864

[startup+330.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 26577
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1727950275 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 242 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26577/stat): 26577 (vallst) R 26574 26574 17733 0 -1 0 903 0 0 0 29220 1305 0 0 25 0 1 0 1727950282 4849664 873 4294967295 134512640 134702520 3221223968 3221222864 134554277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26577/statm): 1184 873 413 48 0 1136 0
[pid=26577] vsize: 4736
Current children cumulated CPU time (s) 305.27
Current children cumulated vsize (Kb) 6864

[startup+340.029 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 26577
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1727950275 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 242 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26577/stat): 26577 (vallst) T 26574 26574 17733 0 -1 0 903 0 0 0 30165 1321 0 0 25 0 1 0 1727950282 4849664 873 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26577/statm): 1184 873 413 48 0 1136 0
[pid=26577] vsize: 4736
Current children cumulated CPU time (s) 314.88
Current children cumulated vsize (Kb) 6864
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=26577) exited with status: 2
New process pid=26578
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=26578) exited with status: 0
New process pid=26579
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+350.029 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 263 0 0 0 827 28 0 0 25 0 1 0 1727984385 2437120 234 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 595 234 413 48 0 547 0
[pid=26579] vsize: 2380
Current children cumulated CPU time (s) 324.41
Current children cumulated vsize (Kb) 4508

[startup+360.03 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 400 0 0 0 1744 55 0 0 17 0 1 0 1727984385 3633152 371 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 887 371 413 48 0 839 0
[pid=26579] vsize: 3548
Current children cumulated CPU time (s) 333.85
Current children cumulated vsize (Kb) 5676

[startup+370.031 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 609 0 0 0 2594 106 0 0 17 0 1 0 1727984385 3768320 580 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26579/statm): 920 580 413 48 0 872 0
[pid=26579] vsize: 3680
Current children cumulated CPU time (s) 342.86
Current children cumulated vsize (Kb) 5808

[startup+380.032 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 618 0 0 0 3486 144 0 0 25 0 1 0 1727984385 3768320 589 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 920 589 413 48 0 872 0
[pid=26579] vsize: 3680
Current children cumulated CPU time (s) 352.16
Current children cumulated vsize (Kb) 5808

[startup+390.033 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 618 0 0 0 4425 164 0 0 25 0 1 0 1727984385 3768320 589 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 920 589 413 48 0 872 0
[pid=26579] vsize: 3680
Current children cumulated CPU time (s) 361.75
Current children cumulated vsize (Kb) 5808

[startup+400.033 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 628 0 0 0 5270 214 0 0 17 0 1 0 1727984385 3903488 599 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26579/statm): 953 599 413 48 0 905 0
[pid=26579] vsize: 3812
Current children cumulated CPU time (s) 370.7
Current children cumulated vsize (Kb) 5940

[startup+410.034 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 634 0 0 0 6134 262 0 0 25 0 1 0 1727984385 3903488 605 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26579/statm): 953 605 413 48 0 905 0
[pid=26579] vsize: 3812
Current children cumulated CPU time (s) 379.82
Current children cumulated vsize (Kb) 5940

[startup+420.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) R 26574 26574 17733 0 -1 0 634 0 0 0 7073 285 0 0 25 0 1 0 1727984385 3903488 605 4294967295 134512640 134702520 3221223712 3221222548 134549015 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26579/statm): 953 605 413 48 0 905 0
[pid=26579] vsize: 3812
Current children cumulated CPU time (s) 389.44
Current children cumulated vsize (Kb) 5940

[startup+430.035 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 642 0 0 0 7954 327 0 0 25 0 1 0 1727984385 3903488 613 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 953 613 413 48 0 905 0
[pid=26579] vsize: 3812
Current children cumulated CPU time (s) 398.67
Current children cumulated vsize (Kb) 5940

[startup+440.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 649 0 0 0 8804 380 0 0 24 0 1 0 1727984385 3903488 620 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 953 620 413 48 0 905 0
[pid=26579] vsize: 3812
Current children cumulated CPU time (s) 407.7
Current children cumulated vsize (Kb) 5940

[startup+450.036 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 651 0 0 0 9712 410 0 0 25 0 1 0 1727984385 3903488 622 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 953 622 413 48 0 905 0
[pid=26579] vsize: 3812
Current children cumulated CPU time (s) 417.08
Current children cumulated vsize (Kb) 5940

[startup+460.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 653 0 0 0 10631 437 0 0 25 0 1 0 1727984385 3903488 624 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 953 624 413 48 0 905 0
[pid=26579] vsize: 3812
Current children cumulated CPU time (s) 426.54
Current children cumulated vsize (Kb) 5940

[startup+470.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) R 26574 26574 17733 0 -1 0 659 0 0 0 11460 495 0 0 25 0 1 0 1727984385 4034560 630 4294967295 134512640 134702520 3221223712 3221222608 134552871 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26579/statm): 985 630 413 48 0 937 0
[pid=26579] vsize: 3940
Current children cumulated CPU time (s) 435.41
Current children cumulated vsize (Kb) 6068

[startup+480.038 s]
Raw data (loadavg): 1.08 1.02 1.01 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) R 26574 26574 17733 0 -1 0 661 0 0 0 12333 538 0 0 25 0 1 0 1727984385 4034560 632 4294967295 134512640 134702520 3221223712 3221222608 134552831 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26579/statm): 985 632 413 48 0 937 0
[pid=26579] vsize: 3940
Current children cumulated CPU time (s) 444.57
Current children cumulated vsize (Kb) 6068

[startup+490.039 s]
Raw data (loadavg): 1.07 1.02 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 661 0 0 0 13276 558 0 0 25 0 1 0 1727984385 4034560 632 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 985 632 413 48 0 937 0
[pid=26579] vsize: 3940
Current children cumulated CPU time (s) 454.2
Current children cumulated vsize (Kb) 6068

[startup+500.04 s]
Raw data (loadavg): 1.06 1.01 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 667 0 0 0 14124 610 0 0 22 0 1 0 1727984385 4034560 638 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 985 638 413 48 0 937 0
[pid=26579] vsize: 3940
Current children cumulated CPU time (s) 463.2
Current children cumulated vsize (Kb) 6068

[startup+510.041 s]
Raw data (loadavg): 1.05 1.01 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 674 0 0 0 14964 666 0 0 23 0 1 0 1727984385 4034560 645 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 985 645 413 48 0 937 0
[pid=26579] vsize: 3940
Current children cumulated CPU time (s) 472.16
Current children cumulated vsize (Kb) 6068

[startup+520.041 s]
Raw data (loadavg): 1.04 1.01 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 675 0 0 0 15878 696 0 0 25 0 1 0 1727984385 4034560 646 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 985 646 413 48 0 937 0
[pid=26579] vsize: 3940
Current children cumulated CPU time (s) 481.6
Current children cumulated vsize (Kb) 6068

[startup+530.042 s]
Raw data (loadavg): 1.03 1.01 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 676 0 0 0 16784 727 0 0 23 0 1 0 1727984385 4034560 647 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 985 647 413 48 0 937 0
[pid=26579] vsize: 3940
Current children cumulated CPU time (s) 490.97
Current children cumulated vsize (Kb) 6068

[startup+540.043 s]
Raw data (loadavg): 1.03 1.01 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 680 0 0 0 17614 786 0 0 23 0 1 0 1727984385 4034560 651 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 985 651 413 48 0 937 0
[pid=26579] vsize: 3940
Current children cumulated CPU time (s) 499.86
Current children cumulated vsize (Kb) 6068

[startup+550.043 s]
Raw data (loadavg): 1.02 1.01 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 681 0 0 0 18479 833 0 0 25 0 1 0 1727984385 4034560 652 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 985 652 413 48 0 937 0
[pid=26579] vsize: 3940
Current children cumulated CPU time (s) 508.98
Current children cumulated vsize (Kb) 6068

[startup+560.045 s]
Raw data (loadavg): 1.02 1.01 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 681 0 0 0 19423 855 0 0 25 0 1 0 1727984385 4034560 652 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26579/statm): 985 652 413 48 0 937 0
[pid=26579] vsize: 3940
Current children cumulated CPU time (s) 518.64
Current children cumulated vsize (Kb) 6068

[startup+570.045 s]
Raw data (loadavg): 1.02 1.01 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) R 26574 26574 17733 0 -1 0 686 0 0 0 20270 906 0 0 18 0 1 0 1727984385 4034560 657 4294967295 134512640 134702520 3221223712 3221222608 134552537 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26579/statm): 985 657 413 48 0 937 0
[pid=26579] vsize: 3940
Current children cumulated CPU time (s) 527.62
Current children cumulated vsize (Kb) 6068

[startup+580.046 s]
Raw data (loadavg): 1.01 1.01 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 694 0 0 0 21093 964 0 0 19 0 1 0 1727984385 4169728 665 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1018 665 413 48 0 970 0
[pid=26579] vsize: 4072
Current children cumulated CPU time (s) 536.43
Current children cumulated vsize (Kb) 6200

[startup+590.047 s]
Raw data (loadavg): 1.01 1.01 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) R 26574 26574 17733 0 -1 0 696 0 0 0 21973 1005 0 0 25 0 1 0 1727984385 4169728 667 4294967295 134512640 134702520 3221223712 3221222608 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1018 667 413 48 0 970 0
[pid=26579] vsize: 4072
Current children cumulated CPU time (s) 545.64
Current children cumulated vsize (Kb) 6200

[startup+600.048 s]
Raw data (loadavg): 1.01 1.00 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) R 26574 26574 17733 0 -1 0 697 0 0 0 22920 1024 0 0 25 0 1 0 1727984385 4169728 668 4294967295 134512640 134702520 3221223712 3221222608 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1018 668 413 48 0 970 0
[pid=26579] vsize: 4072
Current children cumulated CPU time (s) 555.3
Current children cumulated vsize (Kb) 6200

[startup+610.048 s]
Raw data (loadavg): 1.01 1.00 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 705 0 0 0 23750 1082 0 0 25 0 1 0 1727984385 4169728 676 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1018 676 413 48 0 970 0
[pid=26579] vsize: 4072
Current children cumulated CPU time (s) 564.18
Current children cumulated vsize (Kb) 6200

[startup+620.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) R 26574 26574 17733 0 -1 0 710 0 0 0 24556 1149 0 0 17 0 1 0 1727984385 4169728 681 4294967295 134512640 134702520 3221223712 3221222736 134557466 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26579/statm): 1018 681 413 48 0 970 0
[pid=26579] vsize: 4072
Current children cumulated CPU time (s) 572.91
Current children cumulated vsize (Kb) 6200

[startup+630.051 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 711 0 0 0 25450 1185 0 0 25 0 1 0 1727984385 4169728 682 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1018 682 413 48 0 970 0
[pid=26579] vsize: 4072
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (Kb) 6200

[startup+640.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 711 0 0 0 26395 1205 0 0 25 0 1 0 1727984385 4169728 682 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1018 682 413 48 0 970 0
[pid=26579] vsize: 4072
Current children cumulated CPU time (s) 591.86
Current children cumulated vsize (Kb) 6200

[startup+650.052 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 717 0 0 0 27209 1267 0 0 18 0 1 0 1727984385 4169728 688 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1018 688 413 48 0 970 0
[pid=26579] vsize: 4072
Current children cumulated CPU time (s) 600.62
Current children cumulated vsize (Kb) 6200

[startup+660.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) R 26574 26574 17733 0 -1 0 725 0 0 0 28014 1333 0 0 18 0 1 0 1727984385 4304896 696 4294967295 134512640 134702520 3221223712 3221222932 134550224 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26579/statm): 1051 696 413 48 0 1003 0
[pid=26579] vsize: 4204
Current children cumulated CPU time (s) 609.33
Current children cumulated vsize (Kb) 6332

[startup+670.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 730 0 0 0 28871 1381 0 0 25 0 1 0 1727984385 4304896 701 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1051 701 413 48 0 1003 0
[pid=26579] vsize: 4204
Current children cumulated CPU time (s) 618.38
Current children cumulated vsize (Kb) 6332

[startup+680.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 730 0 0 0 29817 1402 0 0 25 0 1 0 1727984385 4304896 701 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1051 701 413 48 0 1003 0
[pid=26579] vsize: 4204
Current children cumulated CPU time (s) 628.05
Current children cumulated vsize (Kb) 6332

[startup+690.055 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 735 0 0 0 30642 1460 0 0 24 0 1 0 1727984385 4304896 706 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1051 706 413 48 0 1003 0
[pid=26579] vsize: 4204
Current children cumulated CPU time (s) 636.88
Current children cumulated vsize (Kb) 6332

[startup+700.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) R 26574 26574 17733 0 -1 0 739 0 0 0 31474 1517 0 0 17 0 1 0 1727984385 4304896 710 4294967295 134512640 134702520 3221223712 3221222832 134578979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26579/statm): 1051 710 413 48 0 1003 0
[pid=26579] vsize: 4204
Current children cumulated CPU time (s) 645.77
Current children cumulated vsize (Kb) 6332

[startup+710.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) R 26574 26574 17733 0 -1 0 743 0 0 0 32296 1580 0 0 25 0 1 0 1727984385 4304896 714 4294967295 134512640 134702520 3221223712 3221222608 134557225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1051 714 413 48 0 1003 0
[pid=26579] vsize: 4204
Current children cumulated CPU time (s) 654.62
Current children cumulated vsize (Kb) 6332

[startup+720.056 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 743 0 0 0 33241 1598 0 0 25 0 1 0 1727984385 4304896 714 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1051 714 413 48 0 1003 0
[pid=26579] vsize: 4204
Current children cumulated CPU time (s) 664.25
Current children cumulated vsize (Kb) 6332

[startup+730.058 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 747 0 0 0 34093 1649 0 0 19 0 1 0 1727984385 4304896 718 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1051 718 413 48 0 1003 0
[pid=26579] vsize: 4204
Current children cumulated CPU time (s) 673.28
Current children cumulated vsize (Kb) 6332

[startup+740.059 s]
Raw data (loadavg): 1.07 1.02 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 748 0 0 0 34915 1706 0 0 24 0 1 0 1727984385 4304896 719 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1051 719 413 48 0 1003 0
[pid=26579] vsize: 4204
Current children cumulated CPU time (s) 682.07
Current children cumulated vsize (Kb) 6332

[startup+750.059 s]
Raw data (loadavg): 1.06 1.02 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 752 0 0 0 35734 1766 0 0 25 0 1 0 1727984385 4304896 723 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1051 723 413 48 0 1003 0
[pid=26579] vsize: 4204
Current children cumulated CPU time (s) 690.86
Current children cumulated vsize (Kb) 6332

[startup+760.059 s]
Raw data (loadavg): 1.12 1.03 1.01 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 752 0 0 0 36676 1788 0 0 25 0 1 0 1727984385 4304896 723 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1051 723 413 48 0 1003 0
[pid=26579] vsize: 4204
Current children cumulated CPU time (s) 700.5
Current children cumulated vsize (Kb) 6332

[startup+770.06 s]
Raw data (loadavg): 1.11 1.03 1.01 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 753 0 0 0 37550 1833 0 0 23 0 1 0 1727984385 4304896 724 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1051 724 413 48 0 1003 0
[pid=26579] vsize: 4204
Current children cumulated CPU time (s) 709.69
Current children cumulated vsize (Kb) 6332

[startup+780.061 s]
Raw data (loadavg): 1.09 1.03 1.01 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) R 26574 26574 17733 0 -1 0 758 0 0 0 38353 1898 0 0 19 0 1 0 1727984385 4440064 729 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1084 729 413 48 0 1036 0
[pid=26579] vsize: 4336
Current children cumulated CPU time (s) 718.37
Current children cumulated vsize (Kb) 6464

[startup+790.062 s]
Raw data (loadavg): 1.07 1.03 1.01 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 774 0 0 0 39128 1975 0 0 18 0 1 0 1727984385 4440064 745 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1084 745 413 48 0 1036 0
[pid=26579] vsize: 4336
Current children cumulated CPU time (s) 726.89
Current children cumulated vsize (Kb) 6464

[startup+800.062 s]
Raw data (loadavg): 1.06 1.03 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 781 0 0 0 39915 2043 0 0 21 0 1 0 1727984385 4440064 752 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1084 752 413 48 0 1036 0
[pid=26579] vsize: 4336
Current children cumulated CPU time (s) 735.44
Current children cumulated vsize (Kb) 6464

[startup+810.063 s]
Raw data (loadavg): 1.05 1.02 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) R 26574 26574 17733 0 -1 0 781 0 0 0 40861 2059 0 0 25 0 1 0 1727984385 4440064 752 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1084 752 413 48 0 1036 0
[pid=26579] vsize: 4336
Current children cumulated CPU time (s) 745.06
Current children cumulated vsize (Kb) 6464

[startup+820.064 s]
Raw data (loadavg): 1.04 1.02 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 786 0 0 0 41738 2101 0 0 19 0 1 0 1727984385 4440064 757 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26579/statm): 1084 757 413 48 0 1036 0
[pid=26579] vsize: 4336
Current children cumulated CPU time (s) 754.25
Current children cumulated vsize (Kb) 6464

[startup+830.065 s]
Raw data (loadavg): 1.04 1.02 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 787 0 0 0 42528 2171 0 0 19 0 1 0 1727984385 4440064 758 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1084 758 413 48 0 1036 0
[pid=26579] vsize: 4336
Current children cumulated CPU time (s) 762.85
Current children cumulated vsize (Kb) 6464

[startup+840.066 s]
Raw data (loadavg): 1.03 1.02 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) R 26574 26574 17733 0 -1 0 796 0 0 0 43346 2231 0 0 25 0 1 0 1727984385 4575232 767 4294967295 134512640 134702520 3221223712 3221222608 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1117 767 413 48 0 1069 0
[pid=26579] vsize: 4468
Current children cumulated CPU time (s) 771.63
Current children cumulated vsize (Kb) 6596

[startup+850.066 s]
Raw data (loadavg): 1.03 1.02 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 799 0 0 0 44123 2309 0 0 18 0 1 0 1727984385 4575232 770 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1117 770 413 48 0 1069 0
[pid=26579] vsize: 4468
Current children cumulated CPU time (s) 780.18
Current children cumulated vsize (Kb) 6596

[startup+860.068 s]
Raw data (loadavg): 1.02 1.02 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 803 0 0 0 45048 2335 0 0 25 0 1 0 1727984385 4575232 774 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1117 774 413 48 0 1069 0
[pid=26579] vsize: 4468
Current children cumulated CPU time (s) 789.69
Current children cumulated vsize (Kb) 6596

[startup+870.069 s]
Raw data (loadavg): 1.02 1.02 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) R 26574 26574 17733 0 -1 0 804 0 0 0 45952 2366 0 0 18 0 1 0 1727984385 4575232 775 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26579/statm): 1117 775 413 48 0 1069 0
[pid=26579] vsize: 4468
Current children cumulated CPU time (s) 799.04
Current children cumulated vsize (Kb) 6596

[startup+880.07 s]
Raw data (loadavg): 1.01 1.02 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 806 0 0 0 46761 2433 0 0 20 0 1 0 1727984385 4575232 777 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1117 777 413 48 0 1069 0
[pid=26579] vsize: 4468
Current children cumulated CPU time (s) 807.8
Current children cumulated vsize (Kb) 6596

[startup+890.071 s]
Raw data (loadavg): 1.01 1.02 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) R 26574 26574 17733 0 -1 0 807 0 0 0 47567 2497 0 0 20 0 1 0 1727984385 4575232 778 4294967295 134512640 134702520 3221223712 3221222832 134578986 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1117 778 413 48 0 1069 0
[pid=26579] vsize: 4468
Current children cumulated CPU time (s) 816.5
Current children cumulated vsize (Kb) 6596

[startup+900.07 s]
Raw data (loadavg): 1.01 1.02 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 809 0 0 0 48391 2556 0 0 25 0 1 0 1727984385 4575232 780 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1117 780 413 48 0 1069 0
[pid=26579] vsize: 4468
Current children cumulated CPU time (s) 825.33
Current children cumulated vsize (Kb) 6596

[startup+910.071 s]
Raw data (loadavg): 1.01 1.02 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 809 0 0 0 49340 2574 0 0 25 0 1 0 1727984385 4575232 780 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1117 780 413 48 0 1069 0
[pid=26579] vsize: 4468
Current children cumulated CPU time (s) 835
Current children cumulated vsize (Kb) 6596

[startup+920.072 s]
Raw data (loadavg): 1.01 1.01 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 811 0 0 0 50207 2620 0 0 25 0 1 0 1727984385 4575232 782 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1117 782 413 48 0 1069 0
[pid=26579] vsize: 4468
Current children cumulated CPU time (s) 844.13
Current children cumulated vsize (Kb) 6596

[startup+930.073 s]
Raw data (loadavg): 1.00 1.01 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 812 0 0 0 51006 2684 0 0 25 0 1 0 1727984385 4575232 783 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1117 783 413 48 0 1069 0
[pid=26579] vsize: 4468
Current children cumulated CPU time (s) 852.76
Current children cumulated vsize (Kb) 6596

[startup+940.073 s]
Raw data (loadavg): 1.00 1.01 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 816 0 0 0 51789 2756 0 0 19 0 1 0 1727984385 4575232 787 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1117 787 413 48 0 1069 0
[pid=26579] vsize: 4468
Current children cumulated CPU time (s) 861.31
Current children cumulated vsize (Kb) 6596

[startup+950.073 s]
Raw data (loadavg): 1.00 1.01 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 818 0 0 0 52660 2798 0 0 25 0 1 0 1727984385 4575232 789 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1117 789 413 48 0 1069 0
[pid=26579] vsize: 4468
Current children cumulated CPU time (s) 870.44
Current children cumulated vsize (Kb) 6596

[startup+960.074 s]
Raw data (loadavg): 1.00 1.01 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 818 0 0 0 53611 2816 0 0 25 0 1 0 1727984385 4575232 789 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1117 789 413 48 0 1069 0
[pid=26579] vsize: 4468
Current children cumulated CPU time (s) 880.13
Current children cumulated vsize (Kb) 6596

[startup+970.075 s]
Raw data (loadavg): 1.00 1.01 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 822 0 0 0 54410 2885 0 0 22 0 1 0 1727984385 4575232 793 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1117 793 413 48 0 1069 0
[pid=26579] vsize: 4468
Current children cumulated CPU time (s) 888.81
Current children cumulated vsize (Kb) 6596

[startup+980.077 s]
Raw data (loadavg): 1.00 1.01 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 825 0 0 0 55223 2947 0 0 25 0 1 0 1727984385 4575232 796 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1117 796 413 48 0 1069 0
[pid=26579] vsize: 4468
Current children cumulated CPU time (s) 897.56
Current children cumulated vsize (Kb) 6596

[startup+990.077 s]
Raw data (loadavg): 1.00 1.01 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 825 0 0 0 56034 3014 0 0 25 0 1 0 1727984385 4575232 796 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1117 796 413 48 0 1069 0
[pid=26579] vsize: 4468
Current children cumulated CPU time (s) 906.34
Current children cumulated vsize (Kb) 6596

[startup+1000.08 s]
Raw data (loadavg): 1.00 1.01 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 836 0 0 0 56806 3089 0 0 20 0 1 0 1727984385 4710400 807 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1150 807 413 48 0 1102 0
[pid=26579] vsize: 4600
Current children cumulated CPU time (s) 914.81
Current children cumulated vsize (Kb) 6728

[startup+1010.08 s]
Raw data (loadavg): 1.00 1.01 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 838 0 0 0 57721 3120 0 0 25 0 1 0 1727984385 4710400 809 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1150 809 413 48 0 1102 0
[pid=26579] vsize: 4600
Current children cumulated CPU time (s) 924.27
Current children cumulated vsize (Kb) 6728

[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 838 0 0 0 58638 3149 0 0 19 0 1 0 1727984385 4710400 809 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1150 809 413 48 0 1102 0
[pid=26579] vsize: 4600
Current children cumulated CPU time (s) 933.73
Current children cumulated vsize (Kb) 6728

[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 838 0 0 0 59446 3216 0 0 17 0 1 0 1727984385 4710400 809 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1150 809 413 48 0 1102 0
[pid=26579] vsize: 4600
Current children cumulated CPU time (s) 942.48
Current children cumulated vsize (Kb) 6728

[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) R 26574 26574 17733 0 -1 0 844 0 0 0 60222 3290 0 0 18 0 1 0 1727984385 4710400 815 4294967295 134512640 134702520 3221223712 3221222832 134579031 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26579/statm): 1150 815 413 48 0 1102 0
[pid=26579] vsize: 4600
Current children cumulated CPU time (s) 950.98
Current children cumulated vsize (Kb) 6728

[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) R 26574 26574 17733 0 -1 0 846 0 0 0 61026 3359 0 0 19 0 1 0 1727984385 4710400 817 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1150 817 413 48 0 1102 0
[pid=26579] vsize: 4600
Current children cumulated CPU time (s) 959.71
Current children cumulated vsize (Kb) 6728

[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) R 26574 26574 17733 0 -1 0 846 0 0 0 61924 3393 0 0 25 0 1 0 1727984385 4710400 817 4294967295 134512640 134702520 3221223712 3221222608 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26579/statm): 1150 817 413 48 0 1102 0
[pid=26579] vsize: 4600
Current children cumulated CPU time (s) 969.03
Current children cumulated vsize (Kb) 6728

[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 846 0 0 0 62845 3420 0 0 19 0 1 0 1727984385 4710400 817 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1150 817 413 48 0 1102 0
[pid=26579] vsize: 4600
Current children cumulated CPU time (s) 978.51
Current children cumulated vsize (Kb) 6728

[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 847 0 0 0 63624 3495 0 0 19 0 1 0 1727984385 4710400 818 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1150 818 413 48 0 1102 0
[pid=26579] vsize: 4600
Current children cumulated CPU time (s) 987.05
Current children cumulated vsize (Kb) 6728

[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 847 0 0 0 64433 3561 0 0 17 0 1 0 1727984385 4710400 818 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1150 818 413 48 0 1102 0
[pid=26579] vsize: 4600
Current children cumulated CPU time (s) 995.8
Current children cumulated vsize (Kb) 6728

[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 848 0 0 0 65232 3628 0 0 22 0 1 0 1727984385 4710400 819 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1150 819 413 48 0 1102 0
[pid=26579] vsize: 4600
Current children cumulated CPU time (s) 1004.46
Current children cumulated vsize (Kb) 6728

[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 848 0 0 0 66106 3672 0 0 25 0 1 0 1727984385 4710400 819 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1150 819 413 48 0 1102 0
[pid=26579] vsize: 4600
Current children cumulated CPU time (s) 1013.64
Current children cumulated vsize (Kb) 6728

[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) R 26574 26574 17733 0 -1 0 848 0 0 0 67050 3692 0 0 17 0 1 0 1727984385 4710400 819 4294967295 134512640 134702520 3221223712 3221223104 134605859 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1150 819 413 48 0 1102 0
[pid=26579] vsize: 4600
Current children cumulated CPU time (s) 1023.28
Current children cumulated vsize (Kb) 6728

[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) R 26574 26574 17733 0 -1 0 849 0 0 0 67833 3768 0 0 22 0 1 0 1727984385 4710400 820 4294967295 134512640 134702520 3221223712 3221222608 134552731 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1150 820 413 48 0 1102 0
[pid=26579] vsize: 4600
Current children cumulated CPU time (s) 1031.87
Current children cumulated vsize (Kb) 6728

[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 849 0 0 0 68630 3834 0 0 18 0 1 0 1727984385 4710400 820 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26579/statm): 1150 820 413 48 0 1102 0
[pid=26579] vsize: 4600
Current children cumulated CPU time (s) 1040.5
Current children cumulated vsize (Kb) 6728

[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) T 26574 26574 17733 0 -1 0 849 0 0 0 69436 3901 0 0 20 0 1 0 1727984385 4710400 820 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/26579/statm): 1150 820 413 48 0 1102 0
[pid=26579] vsize: 4600
Current children cumulated CPU time (s) 1049.23
Current children cumulated vsize (Kb) 6728

[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 26579
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 378 1278 0 0 1 2 30258 1325 17 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26579/stat): 26579 (vallst) R 26574 26574 17733 0 -1 0 849 0 0 0 70351 3932 0 0 25 0 1 0 1727984385 4710400 820 4294967295 134512640 134702520 3221223712 3221222608 134553168 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26579/statm): 1150 820 413 48 0 1102 0
[pid=26579] vsize: 4600
Current children cumulated CPU time (s) 1058.69
Current children cumulated vsize (Kb) 6728
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=26579) exited with status: 2
New process pid=26580
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=26580) exited with status: 0
New process pid=26581
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+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 26581
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 417 2271 0 0 1 2 101367 5273 19 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26581/stat): 26581 (vallst) R 26574 26574 17733 0 -1 0 281 0 0 0 189 4 0 0 25 0 1 0 1728067096 2322432 253 4294967295 134512640 134702520 3221223712 3221222836 134553184 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26581/statm): 567 253 413 48 0 519 0
[pid=26581] vsize: 2268
Current children cumulated CPU time (s) 1068.36
Current children cumulated vsize (Kb) 4396

[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 26581
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 417 2271 0 0 1 2 101367 5273 19 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26581/stat): 26581 (vallst) T 26574 26574 17733 0 -1 0 283 0 0 0 1132 24 0 0 25 0 1 0 1728067096 2322432 255 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26581/statm): 567 255 413 48 0 519 0
[pid=26581] vsize: 2268
Current children cumulated CPU time (s) 1077.99
Current children cumulated vsize (Kb) 4396

[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 26581
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 417 2271 0 0 1 2 101367 5273 19 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26581/stat): 26581 (vallst) R 26574 26574 17733 0 -1 0 552 0 0 0 2022 61 0 0 25 0 1 0 1728067096 3432448 524 4294967295 134512640 134702520 3221223712 3221222608 134552263 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26581/statm): 838 524 413 48 0 790 0
[pid=26581] vsize: 3352
Current children cumulated CPU time (s) 1087.26
Current children cumulated vsize (Kb) 5480

[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 26581
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 417 2271 0 0 1 2 101367 5273 19 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26581/stat): 26581 (vallst) T 26574 26574 17733 0 -1 0 565 0 0 0 2878 110 0 0 18 0 1 0 1728067096 3432448 537 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26581/statm): 838 537 413 48 0 790 0
[pid=26581] vsize: 3352
Current children cumulated CPU time (s) 1096.31
Current children cumulated vsize (Kb) 5480

[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 26581
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 417 2271 0 0 1 2 101367 5273 19 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26581/stat): 26581 (vallst) T 26574 26574 17733 0 -1 0 567 0 0 0 3813 134 0 0 25 0 1 0 1728067096 3432448 539 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26581/statm): 838 539 413 48 0 790 0
[pid=26581] vsize: 3352
Current children cumulated CPU time (s) 1105.9
Current children cumulated vsize (Kb) 5480

[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 26581
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 417 2271 0 0 1 2 101367 5273 19 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26581/stat): 26581 (vallst) T 26574 26574 17733 0 -1 0 570 0 0 0 4731 162 0 0 25 0 1 0 1728067096 3567616 542 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26581/statm): 871 542 413 48 0 823 0
[pid=26581] vsize: 3484
Current children cumulated CPU time (s) 1115.36
Current children cumulated vsize (Kb) 5612

[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/58 26581
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 417 2271 0 0 1 2 101367 5273 19 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26581/stat): 26581 (vallst) T 26574 26574 17733 0 -1 0 577 0 0 0 5568 218 0 0 19 0 1 0 1728067096 3567616 549 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26581/statm): 871 549 413 48 0 823 0
[pid=26581] vsize: 3484
Current children cumulated CPU time (s) 1124.29
Current children cumulated vsize (Kb) 5612

[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 26581
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 417 2271 0 0 1 2 101367 5273 19 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26581/stat): 26581 (vallst) T 26574 26574 17733 0 -1 0 582 0 0 0 6475 252 0 0 25 0 1 0 1728067096 3567616 554 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26581/statm): 871 554 413 48 0 823 0
[pid=26581] vsize: 3484
Current children cumulated CPU time (s) 1133.7
Current children cumulated vsize (Kb) 5612

[startup+1250.1 s]
Raw data (loadavg): 1.07 1.02 1.00 2/58 26581
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 417 2271 0 0 1 2 101367 5273 19 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26581/stat): 26581 (vallst) R 26574 26574 17733 0 -1 0 582 0 0 0 7421 272 0 0 25 0 1 0 1728067096 3567616 554 4294967295 134512640 134702520 3221223712 3221222608 134557457 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26581/statm): 871 554 413 48 0 823 0
[pid=26581] vsize: 3484
Current children cumulated CPU time (s) 1143.36
Current children cumulated vsize (Kb) 5612

[startup+1260.1 s]
Raw data (loadavg): 1.06 1.02 1.00 2/58 26581
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 417 2271 0 0 1 2 101367 5273 19 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26581/stat): 26581 (vallst) R 26574 26574 17733 0 -1 0 590 0 0 0 8266 324 0 0 23 0 1 0 1728067096 3567616 562 4294967295 134512640 134702520 3221223712 3221222608 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/26581/statm): 871 562 413 48 0 823 0
[pid=26581] vsize: 3484
Current children cumulated CPU time (s) 1152.33
Current children cumulated vsize (Kb) 5612

[startup+1270.1 s]
Raw data (loadavg): 1.12 1.03 1.01 2/58 26581
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 417 2271 0 0 1 2 101367 5273 19 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26581/stat): 26581 (vallst) R 26574 26574 17733 0 -1 0 603 0 0 0 9088 384 0 0 25 0 1 0 1728067096 3702784 575 4294967295 134512640 134702520 3221223712 3221222608 134557173 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26581/statm): 904 575 413 48 0 856 0
[pid=26581] vsize: 3616
Current children cumulated CPU time (s) 1161.15
Current children cumulated vsize (Kb) 5744

[startup+1280.11 s]
Raw data (loadavg): 1.11 1.03 1.01 2/58 26581
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 417 2271 0 0 1 2 101367 5273 19 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26581/stat): 26581 (vallst) T 26574 26574 17733 0 -1 0 603 0 0 0 10029 406 0 0 25 0 1 0 1728067096 3702784 575 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26581/statm): 904 575 413 48 0 856 0
[pid=26581] vsize: 3616
Current children cumulated CPU time (s) 1170.78
Current children cumulated vsize (Kb) 5744

[startup+1290.11 s]
Raw data (loadavg): 1.09 1.03 1.01 1/58 26581
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 417 2271 0 0 1 2 101367 5273 19 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26581/stat): 26581 (vallst) T 26574 26574 17733 0 -1 0 605 0 0 0 10924 441 0 0 18 0 1 0 1728067096 3698688 577 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26581/statm): 903 577 413 48 0 855 0
[pid=26581] vsize: 3612
Current children cumulated CPU time (s) 1180.08
Current children cumulated vsize (Kb) 5740

[startup+1300.11 s]
Raw data (loadavg): 1.07 1.03 1.01 2/58 26581
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 417 2271 0 0 1 2 101367 5273 19 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26581/stat): 26581 (vallst) R 26574 26574 17733 0 -1 0 610 0 0 0 11768 494 0 0 17 0 1 0 1728067096 3698688 582 4294967295 134512640 134702520 3221223712 3221222832 134584452 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/26581/statm): 903 582 413 48 0 855 0
[pid=26581] vsize: 3612
Current children cumulated CPU time (s) 1189.05
Current children cumulated vsize (Kb) 5740

[startup+1310.11 s]
Raw data (loadavg): 1.06 1.03 1.00 2/58 26581
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 417 2271 0 0 1 2 101367 5273 19 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26581/stat): 26581 (vallst) T 26574 26574 17733 0 -1 0 612 0 0 0 12668 530 0 0 25 0 1 0 1728067096 3698688 584 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26581/statm): 903 584 413 48 0 855 0
[pid=26581] vsize: 3612
Current children cumulated CPU time (s) 1198.41
Current children cumulated vsize (Kb) 5740

[startup+1320.11 s]
Raw data (loadavg): 1.05 1.02 1.00 1/58 26581
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 417 2271 0 0 1 2 101367 5273 19 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26581/stat): 26581 (vallst) T 26574 26574 17733 0 -1 0 612 0 0 0 13617 551 0 0 25 0 1 0 1728067096 3698688 584 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26581/statm): 903 584 413 48 0 855 0
[pid=26581] vsize: 3612
Current children cumulated CPU time (s) 1208.11
Current children cumulated vsize (Kb) 5740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1320.11 s]
Raw data (loadavg): 1.05 1.02 1.00 1/58 26581
Raw data (/proc/26574/stat): 26574 (vallstSAT2005PB) S 26573 26574 17733 0 -1 0 417 2271 0 0 1 2 101367 5273 19 0 1 0 1727950275 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/26574/statm): 532 248 485 147 0 385 0
[pid=26574] vsize: 2128
Raw data (/proc/26581/stat): 26581 (vallst) T 26574 26574 17733 0 -1 0 612 0 0 0 13617 551 0 0 25 0 1 0 1728067096 3698688 584 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/26581/statm): 903 584 413 48 0 855 0
[pid=26581] vsize: 3612
Current children cumulated CPU time (s) 1208.11
Current children cumulated vsize (Kb) 5740

Sending SIGTERM to -26574
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=26583
New process pid=26584
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/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/820/stat
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/820/status
open syscall for file /proc/820/cmdline
open syscall for file /proc/820/environ
open syscall for file /proc/821/stat
open syscall for file /proc/821/status
open syscall for file /proc/821/cmdline
open syscall for file /proc/821/environ
open syscall for file /proc/1244/stat
open syscall for file /proc/1244/status
One traced child (pid=26581) exited with status: 3
open syscall for file /proc/1244/cmdline
open syscall for file /proc/1244/environ
open syscall for file /proc/1248/stat
open syscall for file /proc/1248/status
open syscall for file /proc/1248/cmdline
open syscall for file /proc/1248/environ
open syscall for file /proc/1270/stat
open syscall for file /proc/1270/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/1270/cmdline
open syscall for file /proc/1270/environ
open syscall for file /proc/1300/stat
open syscall for file /proc/1300/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/1300/cmdline
open syscall for file /proc/1300/environ
open syscall for file /proc/1344/stat
open syscall for file /proc/1344/status
open syscall for file /proc/1344/cmdline
open syscall for file /proc/1344/environ
open syscall for file /proc/1502/stat
open syscall for file /proc/1502/status
open syscall for file /proc/1502/cmdline
open syscall for file /proc/1502/environ
open syscall for file /proc/1526/stat
open syscall for file /proc/1526/status
open syscall for file /proc/1526/cmdline
open syscall for file /proc/1526/environ
open syscall for file /proc/1549/stat
open syscall for file /proc/1549/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/1549/cmdline
open syscall for file /proc/1549/environ
open syscall for file /proc/1580/stat
open syscall for file /proc/1580/status
open syscall for file /proc/1580/cmdline
open syscall for file /proc/1580/environ
open syscall for file /proc/1643/stat
open syscall for file /proc/1643/status
open syscall for file /proc/1643/cmdline
open syscall for file /proc/1643/environ
open syscall for file /proc/1644/stat
open syscall for file /proc/1644/status
open syscall for file /proc/1644/cmdline
open syscall for file /proc/1644/environ
open syscall for file /proc/1645/stat
open syscall for file /proc/1645/status
open syscall for file /proc/1645/cmdline
open syscall for file /proc/1645/environ
open syscall for file /proc/1646/stat
open syscall for file /proc/1646/status
open syscall for file /proc/1646/cmdline
open syscall for file /proc/1646/environ
open syscall for file /proc/1647/stat
open syscall for file /proc/1647/status
open syscall for file /proc/1647/cmdline
open syscall for file /proc/1647/environ
open syscall for file /proc/1648/stat
open syscall for file /proc/1648/status
open syscall for file /proc/1648/cmdline
open syscall for file /proc/1648/environ
open syscall for file /proc/1649/stat
open syscall for file /proc/1649/status
open syscall for file /proc/1649/cmdline
open syscall for file /proc/1649/environ
open syscall for file /proc/2198/stat
open syscall for file /proc/2198/status
open syscall for file /proc/2198/cmdline
open syscall for file /proc/2198/environ
open syscall for file /proc/773/stat
open syscall for file /proc/773/status
open syscall for file /proc/773/cmdline
open syscall for file /proc/773/environ
open syscall for file /proc/799/stat
open syscall for file /proc/799/status
open syscall for file /proc/799/cmdline
open syscall for file /proc/799/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/8660/stat
open syscall for file /proc/8660/status
open syscall for file /proc/8660/cmdline
open syscall for file /proc/8660/environ
open syscall for file /proc/2459/stat
open syscall for file /proc/2459/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/2459/cmdline
open syscall for file /proc/2459/environ
open syscall for file /proc/2494/stat
open syscall for file /proc/2494/status
open syscall for file /proc/2494/cmdline
open syscall for file /proc/2494/environ
open syscall for file /proc/17733/stat
open syscall for file /proc/17733/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/17733/cmdline
open syscall for file /proc/17733/environ
open syscall for file /proc/17734/stat
open syscall for file /proc/17734/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/17734/cmdline
open syscall for file /proc/17734/environ
open syscall for file /proc/17741/stat
open syscall for file /proc/17741/status
open syscall for file /proc/17741/cmdline
open syscall for file /proc/17741/environ
open syscall for file /proc/26537/stat
open syscall for file /proc/26537/status
open syscall for file /proc/26537/cmdline
open syscall for file /proc/26537/environ
open syscall for file /proc/26573/stat
open syscall for file /proc/26573/status
open syscall for file /proc/26573/cmdline
open syscall for file /proc/26573/environ
open syscall for file /proc/26574/stat
open syscall for file /proc/26574/status
open syscall for file /proc/26574/cmdline
open syscall for file /proc/26574/environ
open syscall for file /proc/26583/stat
open syscall for file /proc/26583/status
open syscall for file /proc/26583/cmdline
open syscall for file /proc/26583/environ
open syscall for file /proc/26584/stat
open syscall for file /proc/26584/status
open syscall for file /proc/26584/cmdline
open syscall for file /proc/26584/environ
One traced child (pid=26583) exited with status: 0
One traced child (pid=26584) exited with status: 0
New process pid=26585
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=26585) exited with status: 0
New process pid=26586
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=26586) exited with status: 0
One traced child (pid=26574) 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): 1320.6
CPU time (s): 1208.27
CPU user time (s): 1149.94
CPU system time (s): 58.3391
CPU usage (%): 91.4946
Max. virtual memory (cumulated for all children) (Kb): 6864

Verifier Data

ERROR: no interpretation found !