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-ii32e5.opb
MD5SUM6caf33eeba2c45b0896a04cb80501c4f
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 503
Optimality of the best value was proved YES
Number of terms in the objective function 1044
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 1044
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1044
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark322.98
Number of variables1044
Total number of constraints12158
Number of constraints which are clauses12158
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 1901

Launcher Data

LAUNCH ON wulflinc3 THE 2005-09-18 17:27:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7186 boxname=wulflinc3 idbench=154 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  6caf33eeba2c45b0896a04cb80501c4f  /oldhome/oroussel/tmp/wulflinc3/normalized-ii32e5.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc3/normalized-ii32e5.opb 0
IDLAUNCH: 7186
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        931804 kB
Buffers:         34144 kB
Cached:          42180 kB
SwapCached:        856 kB
Active:          61404 kB
Inactive:        17532 kB
HighTotal:      131008 kB
HighFree:        87360 kB
LowTotal:       903652 kB
LowFree:        844444 kB
SwapTotal:     2097136 kB
SwapFree:      2095712 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5720 kB
Slab:            18092 kB
Committed_AS:    72360 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 17:49:06 (client local time) WITH STATUS 0 IN 1201.63 SECONDS
stats: 7186 7 1201.63 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 0  (#equs: 0)
#decisions: 211;  #end-nodes: 125;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 125 / 170 (80)
#axs: 12159, #non-axs: 50
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:  529 (514:>=*);
#decisions: 141;  #end-nodes: 67;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 67 / 86 (80)
#axs: 12159, #non-axs: 50
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:  531 (512:>=*);
#decisions: 1783;  #end-nodes: 1063;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 624 / 1021 (80)
#axs: 12159, #non-axs: 400
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:  535 (508:>=*);
#decisions: 149;  #end-nodes: 55;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 55 / 80 (80)
#axs: 12159, #non-axs: 400
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:  537 (506:>=*);
#decisions: 29;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 12159, #non-axs: 400
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:  538 (505:>=*);
#decisions: 2225;  #end-nodes: 1335;
#proof improvement attempts: 0;  #restarts: 5
Current batch, end-nodes: 390 / 648 (81)
#axs: 12159, #non-axs: 661
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:  539 (504:>=*);
#decisions: 1790;  #end-nodes: 1252;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 54 / 131 (80)
#axs: 12159, #non-axs: 925
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:  540 (503:>=*);
#decisions: 418916;  #end-nodes: 258130;
#proof improvement attempts: 0;  #restarts: 576
Current batch, end-nodes: 0 / 252 (223)
#axs: 12184, #non-axs: 946
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:) 540 (503:>=*)

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: 25)
Time taken: 5 min, 47 sec

2:
seed: 0
Nr of vars set: 228  (#equs: 0)
Nr of vars set: 228  (#equs: 8)
#decisions: 362903;  #end-nodes: 219704;
#proof improvement attempts: 0;  #restarts: 576
Current batch, end-nodes: 0 / 753 (263)
#axs: 5558, #non-axs: 3392
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: 228  (#equs: 155)
Time taken: 4 min, 22 sec

3:
seed: 0
Nr of vars set: 228  (#equs: 0)
Nr of vars set: 228  (#equs: 3)
Interupt request received.
#decisions: 1092031;  #end-nodes: 673615;
#proof improvement attempts: 0;  #restarts: 1204
Current batch, end-nodes: 122 / 461 (461)
#axs: 5334, #non-axs: 6162
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: 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: 824  (#equs: 9)
Time taken: 9 min, 51 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/19053/stat): 19053 (vallstSAT2005PB) R 19052 19053 31915 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1784813796 712704 3 4294967295 134512640 135087896 3221224512 3221224512 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19053/statm): 174 3 169 147 0 27 0
[pid=19053] 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=19054
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=19054) exited with status: 0
New process pid=19055
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=19055) exited with status: 0
New process pid=19056
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/wulflinc3/normalized-ii32e5.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0032 s]
Raw data (loadavg): 0.93 0.98 0.95 1/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) T 19053 19053 31915 0 -1 0 427 0 0 0 838 57 0 0 21 0 1 0 1784813805 3158016 397 4294967295 134512640 134702520 3221223968 3221223336 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19056/statm): 771 397 413 48 0 723 0
[pid=19056] vsize: 3084
Current children cumulated CPU time (s) 8.97
Current children cumulated vsize (Kb) 5212

[startup+20.0051 s]
Raw data (loadavg): 0.94 0.98 0.95 2/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) R 19053 19053 31915 0 -1 0 636 0 0 0 1647 124 0 0 25 0 1 0 1784813805 5861376 606 4294967295 134512640 134702520 3221223968 3221223248 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19056/statm): 1431 606 413 48 0 1383 0
[pid=19056] vsize: 5724
Current children cumulated CPU time (s) 17.73
Current children cumulated vsize (Kb) 7852

[startup+30.0059 s]
Raw data (loadavg): 1.02 1.00 0.96 2/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) R 19053 19053 31915 0 -1 0 1160 0 0 0 2575 148 0 0 25 0 1 0 1784813805 5996544 1130 4294967295 134512640 134702520 3221223968 3221223248 134552345 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19056/statm): 1464 1130 413 48 0 1416 0
[pid=19056] vsize: 5856
Current children cumulated CPU time (s) 27.25
Current children cumulated vsize (Kb) 7984

[startup+40.0067 s]
Raw data (loadavg): 1.02 1.00 0.96 1/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) T 19053 19053 31915 0 -1 0 1199 0 0 0 3516 168 0 0 25 0 1 0 1784813805 6139904 1169 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19056/statm): 1499 1169 413 48 0 1451 0
[pid=19056] vsize: 5996
Current children cumulated CPU time (s) 36.86
Current children cumulated vsize (Kb) 8124

[startup+50.0086 s]
Raw data (loadavg): 1.02 1.00 0.96 1/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) T 19053 19053 31915 0 -1 0 1218 0 0 0 4451 190 0 0 25 0 1 0 1784813805 6148096 1188 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19056/statm): 1501 1188 413 48 0 1453 0
[pid=19056] vsize: 6004
Current children cumulated CPU time (s) 46.43
Current children cumulated vsize (Kb) 8132

[startup+60.0084 s]
Raw data (loadavg): 1.09 1.02 0.96 2/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) R 19053 19053 31915 0 -1 0 1246 0 0 0 5383 216 0 0 25 0 1 0 1784813805 6283264 1216 4294967295 134512640 134702520 3221223968 3221222864 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19056/statm): 1534 1216 413 48 0 1486 0
[pid=19056] vsize: 6136
Current children cumulated CPU time (s) 56.01
Current children cumulated vsize (Kb) 8264

[startup+70.0112 s]
Raw data (loadavg): 1.08 1.02 0.96 1/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) T 19053 19053 31915 0 -1 0 1264 0 0 0 6318 239 0 0 25 0 1 0 1784813805 6283264 1234 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19056/statm): 1534 1234 413 48 0 1486 0
[pid=19056] vsize: 6136
Current children cumulated CPU time (s) 65.59
Current children cumulated vsize (Kb) 8264

[startup+80.0121 s]
Raw data (loadavg): 1.07 1.01 0.96 2/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) R 19053 19053 31915 0 -1 0 1285 0 0 0 7246 262 0 0 25 0 1 0 1784813805 6426624 1255 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19056/statm): 1569 1255 413 48 0 1521 0
[pid=19056] vsize: 6276
Current children cumulated CPU time (s) 75.1
Current children cumulated vsize (Kb) 8404

[startup+90.0129 s]
Raw data (loadavg): 1.06 1.01 0.96 1/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) T 19053 19053 31915 0 -1 0 1295 0 0 0 8170 288 0 0 25 0 1 0 1784813805 6426624 1265 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19056/statm): 1569 1265 413 48 0 1521 0
[pid=19056] vsize: 6276
Current children cumulated CPU time (s) 84.6
Current children cumulated vsize (Kb) 8404

[startup+100.014 s]
Raw data (loadavg): 1.05 1.01 0.96 2/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) R 19053 19053 31915 0 -1 0 1301 0 0 0 9114 310 0 0 25 0 1 0 1784813805 6426624 1271 4294967295 134512640 134702520 3221223968 3221222864 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19056/statm): 1569 1271 413 48 0 1521 0
[pid=19056] vsize: 6276
Current children cumulated CPU time (s) 94.26
Current children cumulated vsize (Kb) 8404

[startup+110.015 s]
Raw data (loadavg): 1.12 1.03 0.97 2/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) R 19053 19053 31915 0 -1 0 1301 0 0 0 10071 326 0 0 25 0 1 0 1784813805 6426624 1271 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19056/statm): 1569 1271 413 48 0 1521 0
[pid=19056] vsize: 6276
Current children cumulated CPU time (s) 103.99
Current children cumulated vsize (Kb) 8404

[startup+120.015 s]
Raw data (loadavg): 1.10 1.03 0.97 2/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) T 19053 19053 31915 0 -1 0 1309 0 0 0 10994 351 0 0 25 0 1 0 1784813805 6426624 1279 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19056/statm): 1569 1279 413 48 0 1521 0
[pid=19056] vsize: 6276
Current children cumulated CPU time (s) 113.47
Current children cumulated vsize (Kb) 8404

[startup+130.016 s]
Raw data (loadavg): 1.08 1.03 0.97 1/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) T 19053 19053 31915 0 -1 0 1317 0 0 0 11912 379 0 0 25 0 1 0 1784813805 6426624 1287 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19056/statm): 1569 1287 413 48 0 1521 0
[pid=19056] vsize: 6276
Current children cumulated CPU time (s) 122.93
Current children cumulated vsize (Kb) 8404

[startup+140.018 s]
Raw data (loadavg): 1.07 1.03 0.97 2/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) R 19053 19053 31915 0 -1 0 1325 0 0 0 12828 407 0 0 25 0 1 0 1784813805 6565888 1295 4294967295 134512640 134702520 3221223968 3221223520 134559140 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19056/statm): 1603 1295 413 48 0 1555 0
[pid=19056] vsize: 6412
Current children cumulated CPU time (s) 132.37
Current children cumulated vsize (Kb) 8540

[startup+150.019 s]
Raw data (loadavg): 1.06 1.02 0.97 1/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) T 19053 19053 31915 0 -1 0 1330 0 0 0 13742 434 0 0 25 0 1 0 1784813805 6565888 1300 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19056/statm): 1603 1300 413 48 0 1555 0
[pid=19056] vsize: 6412
Current children cumulated CPU time (s) 141.78
Current children cumulated vsize (Kb) 8540

[startup+160.02 s]
Raw data (loadavg): 1.05 1.02 0.97 2/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) R 19053 19053 31915 0 -1 0 1337 0 0 0 14654 467 0 0 25 0 1 0 1784813805 6565888 1307 4294967295 134512640 134702520 3221223968 3221222992 134553406 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19056/statm): 1603 1307 413 48 0 1555 0
[pid=19056] vsize: 6412
Current children cumulated CPU time (s) 151.23
Current children cumulated vsize (Kb) 8540

[startup+170.021 s]
Raw data (loadavg): 1.04 1.02 0.97 2/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) R 19053 19053 31915 0 -1 0 1337 0 0 0 15616 480 0 0 25 0 1 0 1784813805 6565888 1307 4294967295 134512640 134702520 3221223968 3221222864 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19056/statm): 1603 1307 413 48 0 1555 0
[pid=19056] vsize: 6412
Current children cumulated CPU time (s) 160.98
Current children cumulated vsize (Kb) 8540

[startup+180.021 s]
Raw data (loadavg): 1.04 1.02 0.97 1/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) T 19053 19053 31915 0 -1 0 1338 0 0 0 16555 502 0 0 25 0 1 0 1784813805 6569984 1308 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19056/statm): 1604 1308 413 48 0 1556 0
[pid=19056] vsize: 6416
Current children cumulated CPU time (s) 170.59
Current children cumulated vsize (Kb) 8544

[startup+190.023 s]
Raw data (loadavg): 1.03 1.02 0.97 1/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) T 19053 19053 31915 0 -1 0 1342 0 0 0 17461 535 0 0 25 0 1 0 1784813805 6569984 1312 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19056/statm): 1604 1312 413 48 0 1556 0
[pid=19056] vsize: 6416
Current children cumulated CPU time (s) 179.98
Current children cumulated vsize (Kb) 8544

[startup+200.024 s]
Raw data (loadavg): 1.02 1.02 0.97 2/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) T 19053 19053 31915 0 -1 0 1345 0 0 0 18364 569 0 0 19 0 1 0 1784813805 6569984 1315 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19056/statm): 1604 1315 413 48 0 1556 0
[pid=19056] vsize: 6416
Current children cumulated CPU time (s) 189.35
Current children cumulated vsize (Kb) 8544

[startup+210.025 s]
Raw data (loadavg): 1.02 1.02 0.97 2/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) R 19053 19053 31915 0 -1 0 1347 0 0 0 19325 583 0 0 25 0 1 0 1784813805 6754304 1317 4294967295 134512640 134702520 3221223968 3221222864 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19056/statm): 1649 1317 413 48 0 1601 0
[pid=19056] vsize: 6596
Current children cumulated CPU time (s) 199.1
Current children cumulated vsize (Kb) 8724

[startup+220.026 s]
Raw data (loadavg): 1.02 1.02 0.97 2/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) R 19053 19053 31915 0 -1 0 1348 0 0 0 20271 600 0 0 25 0 1 0 1784813805 6754304 1318 4294967295 134512640 134702520 3221223968 3221222864 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19056/statm): 1649 1318 413 48 0 1601 0
[pid=19056] vsize: 6596
Current children cumulated CPU time (s) 208.73
Current children cumulated vsize (Kb) 8724

[startup+230.027 s]
Raw data (loadavg): 1.01 1.02 0.97 2/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) R 19053 19053 31915 0 -1 0 1350 0 0 0 21187 627 0 0 25 0 1 0 1784813805 6754304 1320 4294967295 134512640 134702520 3221223968 3221222864 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19056/statm): 1649 1320 413 48 0 1601 0
[pid=19056] vsize: 6596
Current children cumulated CPU time (s) 218.16
Current children cumulated vsize (Kb) 8724

[startup+240.028 s]
Raw data (loadavg): 1.08 1.03 0.97 2/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) T 19053 19053 31915 0 -1 0 1351 0 0 0 22103 653 0 0 25 0 1 0 1784813805 6754304 1321 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19056/statm): 1649 1321 413 48 0 1601 0
[pid=19056] vsize: 6596
Current children cumulated CPU time (s) 227.58
Current children cumulated vsize (Kb) 8724

[startup+250.029 s]
Raw data (loadavg): 1.07 1.03 0.97 2/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) R 19053 19053 31915 0 -1 0 1358 0 0 0 23018 684 0 0 25 0 1 0 1784813805 6754304 1328 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19056/statm): 1649 1328 413 48 0 1601 0
[pid=19056] vsize: 6596
Current children cumulated CPU time (s) 237.04
Current children cumulated vsize (Kb) 8724

[startup+260.029 s]
Raw data (loadavg): 1.06 1.03 0.97 1/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) T 19053 19053 31915 0 -1 0 1358 0 0 0 23997 691 0 0 25 0 1 0 1784813805 6754304 1328 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19056/statm): 1649 1328 413 48 0 1601 0
[pid=19056] vsize: 6596
Current children cumulated CPU time (s) 246.9
Current children cumulated vsize (Kb) 8724

[startup+270.031 s]
Raw data (loadavg): 1.05 1.03 0.97 2/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) T 19053 19053 31915 0 -1 0 1358 0 0 0 24919 720 0 0 25 0 1 0 1784813805 6754304 1328 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19056/statm): 1649 1328 413 48 0 1601 0
[pid=19056] vsize: 6596
Current children cumulated CPU time (s) 256.41
Current children cumulated vsize (Kb) 8724

[startup+280.032 s]
Raw data (loadavg): 1.04 1.03 0.97 1/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) T 19053 19053 31915 0 -1 0 1364 0 0 0 25835 752 0 0 25 0 1 0 1784813805 6754304 1334 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19056/statm): 1649 1334 413 48 0 1601 0
[pid=19056] vsize: 6596
Current children cumulated CPU time (s) 265.89
Current children cumulated vsize (Kb) 8724

[startup+290.033 s]
Raw data (loadavg): 1.04 1.03 0.97 1/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) T 19053 19053 31915 0 -1 0 1369 0 0 0 26744 785 0 0 24 0 1 0 1784813805 6754304 1339 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19056/statm): 1649 1339 413 48 0 1601 0
[pid=19056] vsize: 6596
Current children cumulated CPU time (s) 275.31
Current children cumulated vsize (Kb) 8724

[startup+300.034 s]
Raw data (loadavg): 1.03 1.02 0.97 2/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) R 19053 19053 31915 0 -1 0 1374 0 0 0 27641 819 0 0 25 0 1 0 1784813805 6754304 1344 4294967295 134512640 134702520 3221223968 3221222864 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19056/statm): 1649 1344 413 48 0 1601 0
[pid=19056] vsize: 6596
Current children cumulated CPU time (s) 284.62
Current children cumulated vsize (Kb) 8724

[startup+310.034 s]
Raw data (loadavg): 1.02 1.02 0.97 1/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) T 19053 19053 31915 0 -1 0 1374 0 0 0 28620 828 0 0 25 0 1 0 1784813805 6754304 1344 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19056/statm): 1649 1344 413 48 0 1601 0
[pid=19056] vsize: 6596
Current children cumulated CPU time (s) 294.5
Current children cumulated vsize (Kb) 8724

[startup+320.035 s]
Raw data (loadavg): 1.02 1.02 0.97 2/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) R 19053 19053 31915 0 -1 0 1374 0 0 0 29556 848 0 0 25 0 1 0 1784813805 6754304 1344 4294967295 134512640 134702520 3221223968 3221222992 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19056/statm): 1649 1344 413 48 0 1601 0
[pid=19056] vsize: 6596
Current children cumulated CPU time (s) 304.06
Current children cumulated vsize (Kb) 8724

[startup+330.036 s]
Raw data (loadavg): 1.02 1.02 0.97 2/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) R 19053 19053 31915 0 -1 0 1377 0 0 0 30459 881 0 0 25 0 1 0 1784813805 6754304 1347 4294967295 134512640 134702520 3221223968 3221223088 134573693 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19056/statm): 1649 1347 413 48 0 1601 0
[pid=19056] vsize: 6596
Current children cumulated CPU time (s) 313.42
Current children cumulated vsize (Kb) 8724

[startup+340.038 s]
Raw data (loadavg): 1.01 1.02 0.97 2/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) R 19053 19053 31915 0 -1 0 1380 0 0 0 31371 911 0 0 24 0 1 0 1784813805 6885376 1350 4294967295 134512640 134702520 3221223968 3221223248 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19056/statm): 1681 1350 413 48 0 1633 0
[pid=19056] vsize: 6724
Current children cumulated CPU time (s) 322.84
Current children cumulated vsize (Kb) 8852

[startup+350.039 s]
Raw data (loadavg): 1.01 1.02 0.97 2/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) R 19053 19053 31915 0 -1 0 1386 0 0 0 32284 941 0 0 25 0 1 0 1784813805 6885376 1356 4294967295 134512640 134702520 3221223968 3221222864 134551055 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19056/statm): 1681 1356 413 48 0 1633 0
[pid=19056] vsize: 6724
Current children cumulated CPU time (s) 332.27
Current children cumulated vsize (Kb) 8852

[startup+360.04 s]
Raw data (loadavg): 1.01 1.02 0.97 1/57 19056
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1784813796 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 242 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19056/stat): 19056 (vallst) T 19053 19053 31915 0 -1 0 1386 0 0 0 33265 948 0 0 25 0 1 0 1784813805 6885376 1356 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19056/statm): 1681 1356 413 48 0 1633 0
[pid=19056] vsize: 6724
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (Kb) 8852
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=19056) exited with status: 2
New process pid=19057
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=19057) exited with status: 0
New process pid=19058
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+370.041 s]
Raw data (loadavg): 1.01 1.02 0.97 2/57 19058
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 378 1761 0 0 2 1 33764 956 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19058/stat): 19058 (vallst) R 19053 19053 31915 0 -1 0 328 0 0 0 468 5 0 0 25 0 1 0 1784850321 3014656 299 4294967295 134512640 134702520 3221223712 3221222848 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19058/statm): 736 299 413 48 0 688 0
[pid=19058] vsize: 2944
Current children cumulated CPU time (s) 351.96
Current children cumulated vsize (Kb) 5072

[startup+380.042 s]
Raw data (loadavg): 1.01 1.02 0.97 2/57 19058
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 378 1761 0 0 2 1 33764 956 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19058/stat): 19058 (vallst) R 19053 19053 31915 0 -1 0 329 0 0 0 1442 15 0 0 25 0 1 0 1784850321 3014656 300 4294967295 134512640 134702520 3221223712 3221222848 134553035 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19058/statm): 736 300 413 48 0 688 0
[pid=19058] vsize: 2944
Current children cumulated CPU time (s) 361.8
Current children cumulated vsize (Kb) 5072

[startup+390.044 s]
Raw data (loadavg): 1.00 1.02 0.97 2/57 19058
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 378 1761 0 0 2 1 33764 956 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19058/stat): 19058 (vallst) R 19053 19053 31915 0 -1 0 920 0 0 0 2351 47 0 0 25 0 1 0 1784850321 5353472 891 4294967295 134512640 134702520 3221223712 3221222832 134584565 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19058/statm): 1307 891 413 48 0 1259 0
[pid=19058] vsize: 5228
Current children cumulated CPU time (s) 371.21
Current children cumulated vsize (Kb) 7356

[startup+400.046 s]
Raw data (loadavg): 1.00 1.01 0.97 2/57 19058
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 378 1761 0 0 2 1 33764 956 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19058/stat): 19058 (vallst) R 19053 19053 31915 0 -1 0 954 0 0 0 3242 84 0 0 23 0 1 0 1784850321 5484544 925 4294967295 134512640 134702520 3221223712 3221223104 134603653 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19058/statm): 1339 925 413 48 0 1291 0
[pid=19058] vsize: 5356
Current children cumulated CPU time (s) 380.49
Current children cumulated vsize (Kb) 7484

[startup+410.046 s]
Raw data (loadavg): 1.00 1.01 0.97 2/57 19058
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 378 1761 0 0 2 1 33764 956 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19058/stat): 19058 (vallst) R 19053 19053 31915 0 -1 0 964 0 0 0 4183 107 0 0 25 0 1 0 1784850321 5484544 935 4294967295 134512640 134702520 3221223712 3221222608 134552991 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19058/statm): 1339 935 413 48 0 1291 0
[pid=19058] vsize: 5356
Current children cumulated CPU time (s) 390.13
Current children cumulated vsize (Kb) 7484

[startup+420.047 s]
Raw data (loadavg): 1.00 1.01 0.97 2/57 19058
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 378 1761 0 0 2 1 33764 956 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19058/stat): 19058 (vallst) R 19053 19053 31915 0 -1 0 964 0 0 0 5161 114 0 0 25 0 1 0 1784850321 5484544 935 4294967295 134512640 134702520 3221223712 3221222608 134552550 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19058/statm): 1339 935 413 48 0 1291 0
[pid=19058] vsize: 5356
Current children cumulated CPU time (s) 399.98
Current children cumulated vsize (Kb) 7484

[startup+430.048 s]
Raw data (loadavg): 1.00 1.01 0.97 1/57 19058
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 378 1761 0 0 2 1 33764 956 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19058/stat): 19058 (vallst) T 19053 19053 31915 0 -1 0 973 0 0 0 6051 149 0 0 25 0 1 0 1784850321 5484544 944 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19058/statm): 1339 944 413 48 0 1291 0
[pid=19058] vsize: 5356
Current children cumulated CPU time (s) 409.23
Current children cumulated vsize (Kb) 7484

[startup+440.048 s]
Raw data (loadavg): 1.00 1.01 0.97 1/57 19058
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 378 1761 0 0 2 1 33764 956 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19058/stat): 19058 (vallst) T 19053 19053 31915 0 -1 0 982 0 0 0 6942 185 0 0 25 0 1 0 1784850321 5619712 953 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19058/statm): 1372 953 413 48 0 1324 0
[pid=19058] vsize: 5488
Current children cumulated CPU time (s) 418.5
Current children cumulated vsize (Kb) 7616

[startup+450.049 s]
Raw data (loadavg): 1.00 1.01 0.97 2/57 19058
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 378 1761 0 0 2 1 33764 956 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19058/stat): 19058 (vallst) R 19053 19053 31915 0 -1 0 984 0 0 0 7891 203 0 0 25 0 1 0 1784850321 5619712 955 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19058/statm): 1372 955 413 48 0 1324 0
[pid=19058] vsize: 5488
Current children cumulated CPU time (s) 428.17
Current children cumulated vsize (Kb) 7616

[startup+460.05 s]
Raw data (loadavg): 1.00 1.01 0.97 1/57 19058
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 378 1761 0 0 2 1 33764 956 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19058/stat): 19058 (vallst) T 19053 19053 31915 0 -1 0 984 0 0 0 8870 211 0 0 25 0 1 0 1784850321 5619712 955 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19058/statm): 1372 955 413 48 0 1324 0
[pid=19058] vsize: 5488
Current children cumulated CPU time (s) 438.04
Current children cumulated vsize (Kb) 7616

[startup+470.051 s]
Raw data (loadavg): 1.00 1.01 0.97 1/57 19058
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 378 1761 0 0 2 1 33764 956 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19058/stat): 19058 (vallst) T 19053 19053 31915 0 -1 0 992 0 0 0 9757 249 0 0 25 0 1 0 1784850321 5619712 963 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19058/statm): 1372 963 413 48 0 1324 0
[pid=19058] vsize: 5488
Current children cumulated CPU time (s) 447.29
Current children cumulated vsize (Kb) 7616

[startup+480.052 s]
Raw data (loadavg): 1.00 1.01 0.97 2/57 19058
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 378 1761 0 0 2 1 33764 956 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19058/stat): 19058 (vallst) R 19053 19053 31915 0 -1 0 1001 0 0 0 10653 284 0 0 25 0 1 0 1784850321 5619712 972 4294967295 134512640 134702520 3221223712 3221222736 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19058/statm): 1372 972 413 48 0 1324 0
[pid=19058] vsize: 5488
Current children cumulated CPU time (s) 456.6
Current children cumulated vsize (Kb) 7616

[startup+490.054 s]
Raw data (loadavg): 1.00 1.01 0.97 1/57 19058
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 378 1761 0 0 2 1 33764 956 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19058/stat): 19058 (vallst) T 19053 19053 31915 0 -1 0 1005 0 0 0 11600 301 0 0 25 0 1 0 1784850321 5619712 976 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19058/statm): 1372 976 413 48 0 1324 0
[pid=19058] vsize: 5488
Current children cumulated CPU time (s) 466.24
Current children cumulated vsize (Kb) 7616

[startup+500.055 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 19058
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 378 1761 0 0 2 1 33764 956 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19058/stat): 19058 (vallst) R 19053 19053 31915 0 -1 0 1005 0 0 0 12582 306 0 0 25 0 1 0 1784850321 5619712 976 4294967295 134512640 134702520 3221223712 3221222608 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19058/statm): 1372 976 413 48 0 1324 0
[pid=19058] vsize: 5488
Current children cumulated CPU time (s) 476.11
Current children cumulated vsize (Kb) 7616

[startup+510.055 s]
Raw data (loadavg): 1.00 1.00 0.97 1/57 19058
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 378 1761 0 0 2 1 33764 956 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19058/stat): 19058 (vallst) T 19053 19053 31915 0 -1 0 1009 0 0 0 13471 342 0 0 25 0 1 0 1784850321 5619712 980 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19058/statm): 1372 980 413 48 0 1324 0
[pid=19058] vsize: 5488
Current children cumulated CPU time (s) 485.36
Current children cumulated vsize (Kb) 7616

[startup+520.056 s]
Raw data (loadavg): 1.00 1.00 0.97 1/57 19058
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 378 1761 0 0 2 1 33764 956 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19058/stat): 19058 (vallst) T 19053 19053 31915 0 -1 0 1016 0 0 0 14357 380 0 0 25 0 1 0 1784850321 5750784 987 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19058/statm): 1404 987 413 48 0 1356 0
[pid=19058] vsize: 5616
Current children cumulated CPU time (s) 494.6
Current children cumulated vsize (Kb) 7744

[startup+530.057 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 19058
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 378 1761 0 0 2 1 33764 956 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19058/stat): 19058 (vallst) R 19053 19053 31915 0 -1 0 1024 0 0 0 15260 412 0 0 25 0 1 0 1784850321 5750784 995 4294967295 134512640 134702520 3221223712 3221222608 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19058/statm): 1404 995 413 48 0 1356 0
[pid=19058] vsize: 5616
Current children cumulated CPU time (s) 503.95
Current children cumulated vsize (Kb) 7744

[startup+540.059 s]
Raw data (loadavg): 1.00 1.00 0.97 1/57 19058
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 378 1761 0 0 2 1 33764 956 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19058/stat): 19058 (vallst) T 19053 19053 31915 0 -1 0 1024 0 0 0 16242 418 0 0 25 0 1 0 1784850321 5750784 995 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19058/statm): 1404 995 413 48 0 1356 0
[pid=19058] vsize: 5616
Current children cumulated CPU time (s) 513.83
Current children cumulated vsize (Kb) 7744

[startup+550.061 s]
Raw data (loadavg): 1.08 1.02 0.98 1/57 19058
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 378 1761 0 0 2 1 33764 956 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19058/stat): 19058 (vallst) T 19053 19053 31915 0 -1 0 1027 0 0 0 17168 442 0 0 25 0 1 0 1784850321 5750784 998 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19058/statm): 1404 998 413 48 0 1356 0
[pid=19058] vsize: 5616
Current children cumulated CPU time (s) 523.33
Current children cumulated vsize (Kb) 7744

[startup+560.061 s]
Raw data (loadavg): 1.14 1.03 0.98 2/57 19058
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 378 1761 0 0 2 1 33764 956 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19058/stat): 19058 (vallst) R 19053 19053 31915 0 -1 0 1037 0 0 0 18064 478 0 0 25 0 1 0 1784850321 5750784 1008 4294967295 134512640 134702520 3221223712 3221222608 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19058/statm): 1404 1008 413 48 0 1356 0
[pid=19058] vsize: 5616
Current children cumulated CPU time (s) 532.65
Current children cumulated vsize (Kb) 7744

[startup+570.062 s]
Raw data (loadavg): 1.12 1.03 0.98 1/57 19058
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 378 1761 0 0 2 1 33764 956 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19058/stat): 19058 (vallst) T 19053 19053 31915 0 -1 0 1051 0 0 0 18956 516 0 0 25 0 1 0 1784850321 5885952 1022 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19058/statm): 1437 1022 413 48 0 1389 0
[pid=19058] vsize: 5748
Current children cumulated CPU time (s) 541.95
Current children cumulated vsize (Kb) 7876

[startup+580.063 s]
Raw data (loadavg): 1.10 1.03 0.98 2/57 19058
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 378 1761 0 0 2 1 33764 956 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19058/stat): 19058 (vallst) T 19053 19053 31915 0 -1 0 1061 0 0 0 19871 546 0 0 25 0 1 0 1784850321 5885952 1032 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19058/statm): 1437 1032 413 48 0 1389 0
[pid=19058] vsize: 5748
Current children cumulated CPU time (s) 551.4
Current children cumulated vsize (Kb) 7876

[startup+590.064 s]
Raw data (loadavg): 1.08 1.03 0.98 2/57 19058
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 378 1761 0 0 2 1 33764 956 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19058/stat): 19058 (vallst) R 19053 19053 31915 0 -1 0 1061 0 0 0 20854 551 0 0 25 0 1 0 1784850321 5885952 1032 4294967295 134512640 134702520 3221223712 3221222608 134550611 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19058/statm): 1437 1032 413 48 0 1389 0
[pid=19058] vsize: 5748
Current children cumulated CPU time (s) 561.28
Current children cumulated vsize (Kb) 7876

[startup+600.065 s]
Raw data (loadavg): 1.07 1.03 0.98 1/57 19058
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 378 1761 0 0 2 1 33764 956 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19058/stat): 19058 (vallst) T 19053 19053 31915 0 -1 0 1065 0 0 0 21762 584 0 0 25 0 1 0 1784850321 5885952 1036 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19058/statm): 1437 1036 413 48 0 1389 0
[pid=19058] vsize: 5748
Current children cumulated CPU time (s) 570.69
Current children cumulated vsize (Kb) 7876

[startup+610.066 s]
Raw data (loadavg): 1.06 1.03 0.98 2/57 19058
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 378 1761 0 0 2 1 33764 956 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19058/stat): 19058 (vallst) T 19053 19053 31915 0 -1 0 1070 0 0 0 22664 618 0 0 25 0 1 0 1784850321 5885952 1041 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19058/statm): 1437 1041 413 48 0 1389 0
[pid=19058] vsize: 5748
Current children cumulated CPU time (s) 580.05
Current children cumulated vsize (Kb) 7876

[startup+620.067 s]
Raw data (loadavg): 1.05 1.02 0.98 2/57 19058
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 378 1761 0 0 2 1 33764 956 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19058/stat): 19058 (vallst) T 19053 19053 31915 0 -1 0 1077 0 0 0 23549 658 0 0 24 0 1 0 1784850321 5885952 1048 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19058/statm): 1437 1048 413 48 0 1389 0
[pid=19058] vsize: 5748
Current children cumulated CPU time (s) 589.3
Current children cumulated vsize (Kb) 7876

[startup+630.068 s]
Raw data (loadavg): 1.04 1.02 0.98 2/57 19058
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 378 1761 0 0 2 1 33764 956 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19058/stat): 19058 (vallst) R 19053 19053 31915 0 -1 0 1081 0 0 0 24485 680 0 0 25 0 1 0 1784850321 5885952 1052 4294967295 134512640 134702520 3221223712 3221222608 134552981 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19058/statm): 1437 1052 413 48 0 1389 0
[pid=19058] vsize: 5748
Current children cumulated CPU time (s) 598.88
Current children cumulated vsize (Kb) 7876

[startup+640.069 s]
Raw data (loadavg): 1.04 1.02 0.98 2/57 19058
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 378 1761 0 0 2 1 33764 956 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19058/stat): 19058 (vallst) T 19053 19053 31915 0 -1 0 1081 0 0 0 25467 686 0 0 25 0 1 0 1784850321 5885952 1052 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19058/statm): 1437 1052 413 48 0 1389 0
[pid=19058] vsize: 5748
Current children cumulated CPU time (s) 608.76
Current children cumulated vsize (Kb) 7876
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=19058) exited with status: 2
New process pid=19059
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=19059) exited with status: 0
New process pid=19060
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+650.07 s]
Raw data (loadavg): 1.03 1.02 0.98 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 353 0 0 0 844 7 0 0 25 0 1 0 1784877942 2752512 325 4294967295 134512640 134702520 3221223712 3221222848 134552270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19060/statm): 672 325 413 48 0 624 0
[pid=19060] vsize: 2688
Current children cumulated CPU time (s) 618.56
Current children cumulated vsize (Kb) 4816

[startup+660.071 s]
Raw data (loadavg): 1.02 1.02 0.98 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) T 19053 19053 31915 0 -1 0 772 0 0 0 1804 21 0 0 25 0 1 0 1784877942 4501504 744 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1099 744 413 48 0 1051 0
[pid=19060] vsize: 4396
Current children cumulated CPU time (s) 628.3
Current children cumulated vsize (Kb) 6524

[startup+670.073 s]
Raw data (loadavg): 1.02 1.02 0.98 1/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) T 19053 19053 31915 0 -1 0 802 0 0 0 2693 59 0 0 25 0 1 0 1784877942 4501504 774 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19060/statm): 1099 774 413 48 0 1051 0
[pid=19060] vsize: 4396
Current children cumulated CPU time (s) 637.57
Current children cumulated vsize (Kb) 6524

[startup+680.074 s]
Raw data (loadavg): 1.02 1.02 0.98 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 817 0 0 0 3590 91 0 0 25 0 1 0 1784877942 4636672 789 4294967295 134512640 134702520 3221223712 3221222608 134552270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19060/statm): 1132 789 413 48 0 1084 0
[pid=19060] vsize: 4528
Current children cumulated CPU time (s) 646.86
Current children cumulated vsize (Kb) 6656

[startup+690.076 s]
Raw data (loadavg): 1.01 1.02 0.98 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 817 0 0 0 4565 101 0 0 25 0 1 0 1784877942 4636672 789 4294967295 134512640 134702520 3221223712 3221222608 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19060/statm): 1132 789 413 48 0 1084 0
[pid=19060] vsize: 4528
Current children cumulated CPU time (s) 656.71
Current children cumulated vsize (Kb) 6656

[startup+700.077 s]
Raw data (loadavg): 1.01 1.02 0.98 1/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) T 19053 19053 31915 0 -1 0 825 0 0 0 5490 127 0 0 25 0 1 0 1784877942 4636672 797 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19060/statm): 1132 797 413 48 0 1084 0
[pid=19060] vsize: 4528
Current children cumulated CPU time (s) 666.22
Current children cumulated vsize (Kb) 6656

[startup+710.077 s]
Raw data (loadavg): 1.01 1.02 0.98 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 837 0 0 0 6378 164 0 0 25 0 1 0 1784877942 4636672 809 4294967295 134512640 134702520 3221223712 3221222608 134557705 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19060/statm): 1132 809 413 48 0 1084 0
[pid=19060] vsize: 4528
Current children cumulated CPU time (s) 675.47
Current children cumulated vsize (Kb) 6656

[startup+720.079 s]
Raw data (loadavg): 1.09 1.03 0.99 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 850 0 0 0 7278 199 0 0 25 0 1 0 1784877942 4771840 822 4294967295 134512640 134702520 3221223712 3221222608 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19060/statm): 1165 822 413 48 0 1117 0
[pid=19060] vsize: 4660
Current children cumulated CPU time (s) 684.82
Current children cumulated vsize (Kb) 6788

[startup+730.08 s]
Raw data (loadavg): 1.07 1.03 0.99 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 850 0 0 0 8252 209 0 0 25 0 1 0 1784877942 4771840 822 4294967295 134512640 134702520 3221223712 3221222608 134557166 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1165 822 413 48 0 1117 0
[pid=19060] vsize: 4660
Current children cumulated CPU time (s) 694.66
Current children cumulated vsize (Kb) 6788

[startup+740.081 s]
Raw data (loadavg): 1.06 1.03 0.99 1/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) T 19053 19053 31915 0 -1 0 855 0 0 0 9165 238 0 0 21 0 1 0 1784877942 4771840 827 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1165 827 413 48 0 1117 0
[pid=19060] vsize: 4660
Current children cumulated CPU time (s) 704.08
Current children cumulated vsize (Kb) 6788

[startup+750.082 s]
Raw data (loadavg): 1.05 1.03 0.99 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 865 0 0 0 10053 279 0 0 25 0 1 0 1784877942 4771840 837 4294967295 134512640 134702520 3221223712 3221222608 134552550 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1165 837 413 48 0 1117 0
[pid=19060] vsize: 4660
Current children cumulated CPU time (s) 713.37
Current children cumulated vsize (Kb) 6788

[startup+760.083 s]
Raw data (loadavg): 1.04 1.03 0.99 1/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) T 19053 19053 31915 0 -1 0 874 0 0 0 10947 316 0 0 25 0 1 0 1784877942 4771840 846 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1165 846 413 48 0 1117 0
[pid=19060] vsize: 4660
Current children cumulated CPU time (s) 722.68
Current children cumulated vsize (Kb) 6788

[startup+770.084 s]
Raw data (loadavg): 1.04 1.03 0.99 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 874 0 0 0 11922 324 0 0 25 0 1 0 1784877942 4771840 846 4294967295 134512640 134702520 3221223712 3221222608 134556507 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19060/statm): 1165 846 413 48 0 1117 0
[pid=19060] vsize: 4660
Current children cumulated CPU time (s) 732.51
Current children cumulated vsize (Kb) 6788

[startup+780.085 s]
Raw data (loadavg): 1.03 1.02 0.99 1/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) T 19053 19053 31915 0 -1 0 875 0 0 0 12849 349 0 0 25 0 1 0 1784877942 4902912 847 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1197 847 413 48 0 1149 0
[pid=19060] vsize: 4788
Current children cumulated CPU time (s) 742.03
Current children cumulated vsize (Kb) 6916

[startup+790.086 s]
Raw data (loadavg): 1.02 1.02 0.99 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 880 0 0 0 13729 391 0 0 22 0 1 0 1784877942 4902912 852 4294967295 134512640 134702520 3221223712 3221222992 134553091 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19060/statm): 1197 852 413 48 0 1149 0
[pid=19060] vsize: 4788
Current children cumulated CPU time (s) 751.25
Current children cumulated vsize (Kb) 6916

[startup+800.087 s]
Raw data (loadavg): 1.02 1.02 0.99 1/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) T 19053 19053 31915 0 -1 0 889 0 0 0 14616 430 0 0 24 0 1 0 1784877942 4902912 861 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1197 861 413 48 0 1149 0
[pid=19060] vsize: 4788
Current children cumulated CPU time (s) 760.51
Current children cumulated vsize (Kb) 6916

[startup+810.088 s]
Raw data (loadavg): 1.02 1.02 0.99 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 890 0 0 0 15586 440 0 0 25 0 1 0 1784877942 4902912 862 4294967295 134512640 134702520 3221223712 3221222608 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1197 862 413 48 0 1149 0
[pid=19060] vsize: 4788
Current children cumulated CPU time (s) 770.31
Current children cumulated vsize (Kb) 6916

[startup+820.089 s]
Raw data (loadavg): 1.01 1.02 0.99 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 891 0 0 0 16528 461 0 0 25 0 1 0 1784877942 4902912 863 4294967295 134512640 134702520 3221223712 3221222608 134553397 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1197 863 413 48 0 1149 0
[pid=19060] vsize: 4788
Current children cumulated CPU time (s) 779.94
Current children cumulated vsize (Kb) 6916

[startup+830.089 s]
Raw data (loadavg): 1.01 1.02 0.99 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 898 0 0 0 17407 500 0 0 25 0 1 0 1784877942 4902912 870 4294967295 134512640 134702520 3221223712 3221222608 134557504 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19060/statm): 1197 870 413 48 0 1149 0
[pid=19060] vsize: 4788
Current children cumulated CPU time (s) 789.12
Current children cumulated vsize (Kb) 6916

[startup+840.091 s]
Raw data (loadavg): 1.01 1.02 0.99 1/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) T 19053 19053 31915 0 -1 0 904 0 0 0 18288 540 0 0 25 0 1 0 1784877942 4902912 876 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19060/statm): 1197 876 413 48 0 1149 0
[pid=19060] vsize: 4788
Current children cumulated CPU time (s) 798.33
Current children cumulated vsize (Kb) 6916

[startup+850.092 s]
Raw data (loadavg): 1.01 1.02 0.99 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 907 0 0 0 19214 567 0 0 25 0 1 0 1784877942 4902912 879 4294967295 134512640 134702520 3221223712 3221222608 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1197 879 413 48 0 1149 0
[pid=19060] vsize: 4788
Current children cumulated CPU time (s) 807.86
Current children cumulated vsize (Kb) 6916

[startup+860.093 s]
Raw data (loadavg): 1.01 1.02 0.99 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 907 0 0 0 20191 575 0 0 25 0 1 0 1784877942 4902912 879 4294967295 134512640 134702520 3221223712 3221222608 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19060/statm): 1197 879 413 48 0 1149 0
[pid=19060] vsize: 4788
Current children cumulated CPU time (s) 817.71
Current children cumulated vsize (Kb) 6916

[startup+870.094 s]
Raw data (loadavg): 1.00 1.02 0.99 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 910 0 0 0 21072 613 0 0 25 0 1 0 1784877942 5029888 882 4294967295 134512640 134702520 3221223712 3221222608 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19060/statm): 1228 882 413 48 0 1180 0
[pid=19060] vsize: 4912
Current children cumulated CPU time (s) 826.9
Current children cumulated vsize (Kb) 7040

[startup+880.096 s]
Raw data (loadavg): 1.00 1.01 0.99 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 917 0 0 0 21947 657 0 0 25 0 1 0 1784877942 5029888 889 4294967295 134512640 134702520 3221223712 3221222608 134552868 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1228 889 413 48 0 1180 0
[pid=19060] vsize: 4912
Current children cumulated CPU time (s) 836.09
Current children cumulated vsize (Kb) 7040

[startup+890.098 s]
Raw data (loadavg): 1.00 1.01 0.99 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 922 0 0 0 22833 695 0 0 22 0 1 0 1784877942 5029888 894 4294967295 134512640 134702520 3221223712 3221222608 134552792 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1228 894 413 48 0 1180 0
[pid=19060] vsize: 4912
Current children cumulated CPU time (s) 845.33
Current children cumulated vsize (Kb) 7040

[startup+900.099 s]
Raw data (loadavg): 1.00 1.01 0.99 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 922 0 0 0 23813 703 0 0 25 0 1 0 1784877942 5029888 894 4294967295 134512640 134702520 3221223712 3221222608 134553142 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1228 894 413 48 0 1180 0
[pid=19060] vsize: 4912
Current children cumulated CPU time (s) 855.21
Current children cumulated vsize (Kb) 7040

[startup+910.1 s]
Raw data (loadavg): 1.00 1.01 0.99 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 926 0 0 0 24736 734 0 0 25 0 1 0 1784877942 5029888 898 4294967295 134512640 134702520 3221223712 3221222608 134557183 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1228 898 413 48 0 1180 0
[pid=19060] vsize: 4912
Current children cumulated CPU time (s) 864.75
Current children cumulated vsize (Kb) 7040

[startup+920.101 s]
Raw data (loadavg): 1.00 1.01 0.99 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 928 0 0 0 25612 778 0 0 25 0 1 0 1784877942 5029888 900 4294967295 134512640 134702520 3221223712 3221222736 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19060/statm): 1228 900 413 48 0 1180 0
[pid=19060] vsize: 4912
Current children cumulated CPU time (s) 873.95
Current children cumulated vsize (Kb) 7040

[startup+930.102 s]
Raw data (loadavg): 1.00 1.01 0.99 1/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) T 19053 19053 31915 0 -1 0 935 0 0 0 26499 814 0 0 25 0 1 0 1784877942 5029888 907 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1228 907 413 48 0 1180 0
[pid=19060] vsize: 4912
Current children cumulated CPU time (s) 883.18
Current children cumulated vsize (Kb) 7040

[startup+940.103 s]
Raw data (loadavg): 1.08 1.03 1.00 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) T 19053 19053 31915 0 -1 0 942 0 0 0 27361 864 0 0 25 0 1 0 1784877942 5029888 914 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1228 914 413 48 0 1180 0
[pid=19060] vsize: 4912
Current children cumulated CPU time (s) 892.3
Current children cumulated vsize (Kb) 7040

[startup+950.105 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 942 0 0 0 28340 871 0 0 25 0 1 0 1784877942 5029888 914 4294967295 134512640 134702520 3221223712 3221222608 134552981 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19060/statm): 1228 914 413 48 0 1180 0
[pid=19060] vsize: 4912
Current children cumulated CPU time (s) 902.16
Current children cumulated vsize (Kb) 7040

[startup+960.106 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 943 0 0 0 29263 896 0 0 25 0 1 0 1784877942 5165056 915 4294967295 134512640 134702520 3221223712 3221222608 134552768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19060/statm): 1261 915 413 48 0 1213 0
[pid=19060] vsize: 5044
Current children cumulated CPU time (s) 911.64
Current children cumulated vsize (Kb) 7172

[startup+970.108 s]
Raw data (loadavg): 1.05 1.02 1.00 1/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) T 19053 19053 31915 0 -1 0 944 0 0 0 30138 940 0 0 25 0 1 0 1784877942 5156864 916 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19060/statm): 1259 916 413 48 0 1211 0
[pid=19060] vsize: 5036
Current children cumulated CPU time (s) 920.83
Current children cumulated vsize (Kb) 7164

[startup+980.109 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 947 0 0 0 31026 977 0 0 19 0 1 0 1784877942 5156864 919 4294967295 134512640 134702520 3221223712 3221222992 134553107 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19060/statm): 1259 919 413 48 0 1211 0
[pid=19060] vsize: 5036
Current children cumulated CPU time (s) 930.08
Current children cumulated vsize (Kb) 7164

[startup+990.109 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 953 0 0 0 31898 1019 0 0 25 0 1 0 1784877942 5156864 925 4294967295 134512640 134702520 3221223712 3221222992 134554270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19060/statm): 1259 925 413 48 0 1211 0
[pid=19060] vsize: 5036
Current children cumulated CPU time (s) 939.22
Current children cumulated vsize (Kb) 7164

[startup+1000.11 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 960 0 0 0 32833 1040 0 0 25 0 1 0 1784877942 5156864 932 4294967295 134512640 134702520 3221223712 3221222608 134552266 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1259 932 413 48 0 1211 0
[pid=19060] vsize: 5036
Current children cumulated CPU time (s) 948.78
Current children cumulated vsize (Kb) 7164

[startup+1010.11 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) T 19053 19053 31915 0 -1 0 960 0 0 0 33807 1049 0 0 25 0 1 0 1784877942 5156864 932 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1259 932 413 48 0 1211 0
[pid=19060] vsize: 5036
Current children cumulated CPU time (s) 958.61
Current children cumulated vsize (Kb) 7164

[startup+1020.11 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 962 0 0 0 34684 1090 0 0 25 0 1 0 1784877942 5156864 934 4294967295 134512640 134702520 3221223712 3221222608 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19060/statm): 1259 934 413 48 0 1211 0
[pid=19060] vsize: 5036
Current children cumulated CPU time (s) 967.79
Current children cumulated vsize (Kb) 7164

[startup+1030.11 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) T 19053 19053 31915 0 -1 0 966 0 0 0 35559 1133 0 0 25 0 1 0 1784877942 5156864 938 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1259 938 413 48 0 1211 0
[pid=19060] vsize: 5036
Current children cumulated CPU time (s) 976.97
Current children cumulated vsize (Kb) 7164

[startup+1040.11 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) T 19053 19053 31915 0 -1 0 970 0 0 0 36415 1181 0 0 23 0 1 0 1784877942 5156864 942 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1259 942 413 48 0 1211 0
[pid=19060] vsize: 5036
Current children cumulated CPU time (s) 986.01
Current children cumulated vsize (Kb) 7164

[startup+1050.11 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 976 0 0 0 37300 1219 0 0 25 0 1 0 1784877942 5156864 948 4294967295 134512640 134702520 3221223712 3221222608 134551086 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19060/statm): 1259 948 413 48 0 1211 0
[pid=19060] vsize: 5036
Current children cumulated CPU time (s) 995.24
Current children cumulated vsize (Kb) 7164

[startup+1060.12 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) T 19053 19053 31915 0 -1 0 976 0 0 0 38278 1227 0 0 25 0 1 0 1784877942 5156864 948 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1259 948 413 48 0 1211 0
[pid=19060] vsize: 5036
Current children cumulated CPU time (s) 1005.1
Current children cumulated vsize (Kb) 7164

[startup+1070.12 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) T 19053 19053 31915 0 -1 0 977 0 0 0 39186 1256 0 0 25 0 1 0 1784877942 5156864 949 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1259 949 413 48 0 1211 0
[pid=19060] vsize: 5036
Current children cumulated CPU time (s) 1014.47
Current children cumulated vsize (Kb) 7164

[startup+1080.12 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 982 0 0 0 40082 1288 0 0 25 0 1 0 1784877942 5287936 954 4294967295 134512640 134702520 3221223712 3221222832 134578856 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19060/statm): 1291 954 413 48 0 1243 0
[pid=19060] vsize: 5164
Current children cumulated CPU time (s) 1023.75
Current children cumulated vsize (Kb) 7292

[startup+1090.12 s]
Raw data (loadavg): 1.08 1.03 1.00 1/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) T 19053 19053 31915 0 -1 0 987 0 0 0 40950 1333 0 0 24 0 1 0 1784877942 5287936 959 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1291 959 413 48 0 1243 0
[pid=19060] vsize: 5164
Current children cumulated CPU time (s) 1032.88
Current children cumulated vsize (Kb) 7292

[startup+1100.12 s]
Raw data (loadavg): 1.15 1.04 1.01 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) T 19053 19053 31915 0 -1 0 991 0 0 0 41830 1377 0 0 25 0 1 0 1784877942 5287936 963 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1291 963 413 48 0 1243 0
[pid=19060] vsize: 5164
Current children cumulated CPU time (s) 1042.12
Current children cumulated vsize (Kb) 7292

[startup+1110.12 s]
Raw data (loadavg): 1.12 1.04 1.00 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 995 0 0 0 42717 1416 0 0 25 0 1 0 1784877942 5287936 967 4294967295 134512640 134702520 3221223712 3221222608 134552868 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1291 967 413 48 0 1243 0
[pid=19060] vsize: 5164
Current children cumulated CPU time (s) 1051.38
Current children cumulated vsize (Kb) 7292

[startup+1120.12 s]
Raw data (loadavg): 1.10 1.04 1.00 1/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) T 19053 19053 31915 0 -1 0 995 0 0 0 43696 1424 0 0 25 0 1 0 1784877942 5287936 967 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1291 967 413 48 0 1243 0
[pid=19060] vsize: 5164
Current children cumulated CPU time (s) 1061.25
Current children cumulated vsize (Kb) 7292

[startup+1130.12 s]
Raw data (loadavg): 1.09 1.04 1.00 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) T 19053 19053 31915 0 -1 0 997 0 0 0 44618 1452 0 0 25 0 1 0 1784877942 5287936 969 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1291 969 413 48 0 1243 0
[pid=19060] vsize: 5164
Current children cumulated CPU time (s) 1070.75
Current children cumulated vsize (Kb) 7292

[startup+1140.12 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) T 19053 19053 31915 0 -1 0 1001 0 0 0 45488 1494 0 0 25 0 1 0 1784877942 5287936 973 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1291 973 413 48 0 1243 0
[pid=19060] vsize: 5164
Current children cumulated CPU time (s) 1079.87
Current children cumulated vsize (Kb) 7292

[startup+1150.12 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 1005 0 0 0 46373 1537 0 0 25 0 1 0 1784877942 5287936 977 4294967295 134512640 134702520 3221223712 3221222608 134557173 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1291 977 413 48 0 1243 0
[pid=19060] vsize: 5164
Current children cumulated CPU time (s) 1089.15
Current children cumulated vsize (Kb) 7292

[startup+1160.12 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 1009 0 0 0 47260 1576 0 0 25 0 1 0 1784877942 5287936 981 4294967295 134512640 134702520 3221223712 3221223184 134657210 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1291 981 413 48 0 1243 0
[pid=19060] vsize: 5164
Current children cumulated CPU time (s) 1098.41
Current children cumulated vsize (Kb) 7292

[startup+1170.12 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) T 19053 19053 31915 0 -1 0 1011 0 0 0 48186 1602 0 0 25 0 1 0 1784877942 5287936 983 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1291 983 413 48 0 1243 0
[pid=19060] vsize: 5164
Current children cumulated CPU time (s) 1107.93
Current children cumulated vsize (Kb) 7292

[startup+1180.13 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) T 19053 19053 31915 0 -1 0 1011 0 0 0 49160 1611 0 0 25 0 1 0 1784877942 5287936 983 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1291 983 413 48 0 1243 0
[pid=19060] vsize: 5164
Current children cumulated CPU time (s) 1117.76
Current children cumulated vsize (Kb) 7292

[startup+1190.13 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) T 19053 19053 31915 0 -1 0 1014 0 0 0 50036 1653 0 0 25 0 1 0 1784877942 5287936 986 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1291 986 413 48 0 1243 0
[pid=19060] vsize: 5164
Current children cumulated CPU time (s) 1126.94
Current children cumulated vsize (Kb) 7292

[startup+1200.13 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) T 19053 19053 31915 0 -1 0 1018 0 0 0 50912 1696 0 0 21 0 1 0 1784877942 5619712 990 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1372 990 413 48 0 1324 0
[pid=19060] vsize: 5488
Current children cumulated CPU time (s) 1136.13
Current children cumulated vsize (Kb) 7616

[startup+1210.13 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 1021 0 0 0 51779 1741 0 0 23 0 1 0 1784877942 5619712 993 4294967295 134512640 134702520 3221223712 3221222832 134578840 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19060/statm): 1372 993 413 48 0 1324 0
[pid=19060] vsize: 5488
Current children cumulated CPU time (s) 1145.25
Current children cumulated vsize (Kb) 7616

[startup+1220.13 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 1026 0 0 0 52668 1778 0 0 25 0 1 0 1784877942 5619712 998 4294967295 134512640 134702520 3221223712 3221222608 134552894 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1372 998 413 48 0 1324 0
[pid=19060] vsize: 5488
Current children cumulated CPU time (s) 1154.51
Current children cumulated vsize (Kb) 7616

[startup+1230.13 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 1028 0 0 0 53558 1818 0 0 25 0 1 0 1784877942 5619712 1000 4294967295 134512640 134702520 3221223712 3221222608 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19060/statm): 1372 1000 413 48 0 1324 0
[pid=19060] vsize: 5488
Current children cumulated CPU time (s) 1163.81
Current children cumulated vsize (Kb) 7616

[startup+1240.13 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 1028 0 0 0 54539 1825 0 0 25 0 1 0 1784877942 5619712 1000 4294967295 134512640 134702520 3221223712 3221222592 134553196 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1372 1000 413 48 0 1324 0
[pid=19060] vsize: 5488
Current children cumulated CPU time (s) 1173.69
Current children cumulated vsize (Kb) 7616

[startup+1250.13 s]
Raw data (loadavg): 1.08 1.04 1.00 2/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) R 19053 19053 31915 0 -1 0 1029 0 0 0 55429 1864 0 0 20 0 1 0 1784877942 5619712 1001 4294967295 134512640 134702520 3221223712 3221222832 134573837 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19060/statm): 1372 1001 413 48 0 1324 0
[pid=19060] vsize: 5488
Current children cumulated CPU time (s) 1182.98
Current children cumulated vsize (Kb) 7616

[startup+1260.13 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) T 19053 19053 31915 0 -1 0 1032 0 0 0 56320 1904 0 0 25 0 1 0 1784877942 5619712 1004 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19060/statm): 1372 1004 413 48 0 1324 0
[pid=19060] vsize: 5488
Current children cumulated CPU time (s) 1192.29
Current children cumulated vsize (Kb) 7616

[startup+1270.13 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) T 19053 19053 31915 0 -1 0 1033 0 0 0 57187 1947 0 0 23 0 1 0 1784877942 5619712 1005 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19060/statm): 1372 1005 413 48 0 1324 0
[pid=19060] vsize: 5488
Current children cumulated CPU time (s) 1201.39
Current children cumulated vsize (Kb) 7616



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1270.14 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 19060
Raw data (/proc/19053/stat): 19053 (vallstSAT2005PB) S 19052 19053 31915 0 -1 0 417 2986 0 0 2 1 59356 1646 19 0 1 0 1784813796 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/19053/statm): 532 248 485 147 0 385 0
[pid=19053] vsize: 2128
Raw data (/proc/19060/stat): 19060 (vallst) T 19053 19053 31915 0 -1 0 1033 0 0 0 57187 1947 0 0 23 0 1 0 1784877942 5619712 1005 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19060/statm): 1372 1005 413 48 0 1324 0
[pid=19060] vsize: 5488
Current children cumulated CPU time (s) 1201.39
Current children cumulated vsize (Kb) 7616

Sending SIGTERM to -19053
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=19062
New process pid=19063
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1665/stat
open syscall for file /proc/1665/status
open syscall for file /proc/1665/cmdline
open syscall for file /proc/1665/environ
open syscall for file /proc/31324/stat
open syscall for file /proc/31324/status
open syscall for file /proc/31324/cmdline
open syscall for file /proc/31324/environ
open syscall for file /proc/10661/stat
open syscall for file /proc/10661/status
open syscall for file /proc/10661/cmdline
open syscall for file /proc/10661/environ
open syscall for file /proc/10688/stat
open syscall for file /proc/10688/status
open syscall for file /proc/10688/cmdline
open syscall for file /proc/10688/environ
open syscall for file /proc/10712/stat
open syscall for file /proc/10712/status
open syscall for file /proc/10712/cmdline
open syscall for file /proc/10712/environ
open syscall for file /proc/24729/stat
open syscall for file /proc/24729/status
open syscall for file /proc/24729/cmdline
open syscall for file /proc/24729/environ
open syscall for file /proc/24730/stat
open syscall for file /proc/24730/status
open syscall for file /proc/24730/cmdline
open syscall for file /proc/24730/environ
open syscall for file /proc/2696/stat
open syscall for file /proc/2696/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/2696/cmdline
open syscall for file /proc/2696/environ
open syscall for file /proc/2731/stat
open syscall for file /proc/2731/status
open syscall for file /proc/2731/cmdline
open syscall for file /proc/2731/environ
open syscall for file /proc/31915/stat
open syscall for file /proc/31915/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/31915/cmdline
open syscall for file /proc/31915/environ
open syscall for file /proc/31916/stat
open syscall for file /proc/31916/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/31916/cmdline
open syscall for file /proc/31916/environ
open syscall for file /proc/31925/stat
open syscall for file /proc/31925/status
open syscall for file /proc/31925/cmdline
open syscall for file /proc/31925/environ
open syscall for file /proc/19016/stat
open syscall for file /proc/19016/status
open syscall for file /proc/19016/cmdline
open syscall for file /proc/19016/environ
open syscall for file /proc/19052/stat
open syscall for file /proc/19052/status
open syscall for file /proc/19052/cmdline
open syscall for file /proc/19052/environ
open syscall for file /proc/19053/stat
open syscall for file /proc/19053/status
open syscall for file /proc/19053/cmdline
open syscall for file /proc/19053/environ
open syscall for file /proc/19060/stat
open syscall for file /proc/19060/status
open syscall for file /proc/19060/cmdline
open syscall for file /proc/19060/environ
open syscall for file /proc/19062/stat
open syscall for file /proc/19062/status
open syscall for file /proc/19062/cmdline
open syscall for file /proc/19062/environ
open syscall for file /proc/19063/stat
open syscall for file /proc/19063/status
open syscall for file /proc/19063/cmdline
open syscall for file /proc/19063/environ
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=19062) exited with status: 0
One traced child (pid=19060) exited with status: 3
One traced child (pid=19063) exited with status: 0
New process pid=19064
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=19064) exited with status: 0
New process pid=19065
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=19065) exited with status: 0
One traced child (pid=19053) 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): 1270.63
CPU time (s): 1201.63
CPU user time (s): 1165.6
CPU system time (s): 36.0225
CPU usage (%): 94.569
Max. virtual memory (cumulated for all children) (Kb): 8852

Verifier Data

ERROR: no interpretation found !