Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-air04.opb
MD5SUM26490113618ae9605b5ebe6370b5910b
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 8904
Biggest coefficient in the objective function 2258
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 5135151
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 2258
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 5135151
Number of bits of the biggest sum of numbers23
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables8904
Total number of constraints9727
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)9727
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint368

Trace number 9346

Launcher Data

LAUNCH ON wulflinc20 THE 2005-09-23 12:44:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8087 boxname=wulflinc20 idbench=1055 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  26490113618ae9605b5ebe6370b5910b  /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-air04.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-air04.opb 0
IDLAUNCH: 8087
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.012
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.012
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        941920 kB
Buffers:         10132 kB
Cached:          65416 kB
SwapCached:          0 kB
Active:          45584 kB
Inactive:        32884 kB
HighTotal:      131008 kB
HighFree:        61124 kB
LowTotal:       903652 kB
LowFree:        880796 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8592 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 13:06:16 (client local time) WITH STATUS 0 IN 1207.78 SECONDS
stats: 8087 7 1207.78 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 1443  (#equs: 4)
#decisions: 596617;  #end-nodes: 267745;
#proof improvement attempts: 0;  #restarts: 480
Current batch, end-nodes: 0 / 206 (199)
#axs: 1652, #non-axs: 7230
tight: meta-meta: start: 5, end: 7;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 7, end: 10;  meta: start: 22, end (keep): 34
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: 1547  (#equs: 5)
Time taken: 6 min, 54 sec

2:
seed: 0
Nr of vars set: 1547  (#equs: 0)
Nr of vars set: 1547  (#equs: 0)
#decisions: 1140889;  #end-nodes: 563949;
#proof improvement attempts: 0;  #restarts: 576
Current batch, end-nodes: 0 / 519 (263)
#axs: 1629, #non-axs: 3248
tight: meta-meta: start: 3, end: 3;  meta: start: 4, end (keep): 5
loose: meta-meta: start: 5, end: 7;  meta: start: 14, end (keep): 19
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 1589  (#equs: 1)
Time taken: 11 min, 22 sec

3:
seed: 0
Nr of vars set: 1589  (#equs: 0)
Nr of vars set: 1589  (#equs: 0)
Interupt request received.
#decisions: 183849;  #end-nodes: 84154;
#proof improvement attempts: 0;  #restarts: 107
Current batch, end-nodes: 2981 / 3993 (186)
#axs: 1628, #non-axs: 3355
tight: meta-meta: start: 3, end: 3;  meta: start: 4, end (keep): 5
loose: meta-meta: start: 5, end: 7;  meta: start: 14, end (keep): 19
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 3139  (#equs: 0)
Time taken: 1 min, 50 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/5529/stat): 5529 (vallstSAT2005PB) R 5528 5529 4059 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20287393 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5529/statm): 174 3 169 147 0 27 0
[pid=5529] 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=5530
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=5530) exited with status: 0
New process pid=5531
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=5531) exited with status: 0
New process pid=5532
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/wulflinc20/normalized-mps-v2-13-7-air04.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0032 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 1156 0 0 0 896 36 0 0 25 0 1 0 20287401 6635520 1055 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 1620 1055 413 48 0 1572 0
[pid=5532] vsize: 6480
Current children cumulated CPU time (s) 9.33
Current children cumulated vsize (Kb) 8608

[startup+20.0039 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 1212 0 0 0 1768 78 0 0 22 0 1 0 20287401 12681216 1111 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3096 1111 413 48 0 3048 0
[pid=5532] vsize: 12384
Current children cumulated CPU time (s) 18.47
Current children cumulated vsize (Kb) 14512

[startup+30.0056 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 1423 0 0 0 2655 118 0 0 25 0 1 0 20287401 12681216 1322 4294967295 134512640 134702520 3221223952 3221159088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3096 1322 413 48 0 3048 0
[pid=5532] vsize: 12384
Current children cumulated CPU time (s) 27.74
Current children cumulated vsize (Kb) 14512

[startup+40.0063 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 1543 0 0 0 3561 149 0 0 25 0 1 0 20287401 12906496 1442 4294967295 134512640 134702520 3221223952 3221222976 134553100 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5532/statm): 3151 1442 413 48 0 3103 0
[pid=5532] vsize: 12604
Current children cumulated CPU time (s) 37.11
Current children cumulated vsize (Kb) 14732

[startup+50.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 2039 0 0 0 4468 185 0 0 25 0 1 0 20287401 13176832 1938 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3217 1938 413 48 0 3169 0
[pid=5532] vsize: 12868
Current children cumulated CPU time (s) 46.54
Current children cumulated vsize (Kb) 14996

[startup+60.0078 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 2620 0 0 0 5376 219 0 0 25 0 1 0 20287401 13312000 2519 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3250 2519 413 48 0 3202 0
[pid=5532] vsize: 13000
Current children cumulated CPU time (s) 55.96
Current children cumulated vsize (Kb) 15128

[startup+70.0085 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 2880 0 0 0 6286 250 0 0 25 0 1 0 20287401 13447168 2779 4294967295 134512640 134702520 3221223952 3221222976 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5532/statm): 3283 2779 413 48 0 3235 0
[pid=5532] vsize: 13132
Current children cumulated CPU time (s) 65.37
Current children cumulated vsize (Kb) 15260

[startup+80.0102 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 2883 0 0 0 7193 281 0 0 25 0 1 0 20287401 13598720 2782 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3320 2782 413 48 0 3272 0
[pid=5532] vsize: 13280
Current children cumulated CPU time (s) 74.75
Current children cumulated vsize (Kb) 15408

[startup+90.0109 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 2884 0 0 0 8100 311 0 0 25 0 1 0 20287401 13545472 2783 4294967295 134512640 134702520 3221223952 3221222976 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5532/statm): 3307 2783 413 48 0 3259 0
[pid=5532] vsize: 13228
Current children cumulated CPU time (s) 84.12
Current children cumulated vsize (Kb) 15356

[startup+100.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 2889 0 0 0 9005 346 0 0 25 0 1 0 20287401 13545472 2788 4294967295 134512640 134702520 3221223952 3221148668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5532/statm): 3307 2788 413 48 0 3259 0
[pid=5532] vsize: 13228
Current children cumulated CPU time (s) 93.52
Current children cumulated vsize (Kb) 15356

[startup+110.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 2892 0 0 0 9915 375 0 0 25 0 1 0 20287401 13545472 2791 4294967295 134512640 134702520 3221223952 3221223232 134552981 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5532/statm): 3307 2791 413 48 0 3259 0
[pid=5532] vsize: 13228
Current children cumulated CPU time (s) 102.91
Current children cumulated vsize (Kb) 15356

[startup+120.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 2897 0 0 0 10828 405 0 0 25 0 1 0 20287401 13545472 2796 4294967295 134512640 134702520 3221223952 3221146268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3307 2796 413 48 0 3259 0
[pid=5532] vsize: 13228
Current children cumulated CPU time (s) 112.34
Current children cumulated vsize (Kb) 15356

[startup+130.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 2901 0 0 0 11741 436 0 0 25 0 1 0 20287401 13545472 2800 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3307 2800 413 48 0 3259 0
[pid=5532] vsize: 13228
Current children cumulated CPU time (s) 121.78
Current children cumulated vsize (Kb) 15356

[startup+140.014 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 2903 0 0 0 12639 469 0 0 25 0 1 0 20287401 13545472 2802 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3307 2802 413 48 0 3259 0
[pid=5532] vsize: 13228
Current children cumulated CPU time (s) 131.09
Current children cumulated vsize (Kb) 15356

[startup+150.014 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 2911 0 0 0 13541 502 0 0 17 0 1 0 20287401 13549568 2810 4294967295 134512640 134702520 3221223952 3221223232 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5532/statm): 3308 2810 413 48 0 3260 0
[pid=5532] vsize: 13232
Current children cumulated CPU time (s) 140.44
Current children cumulated vsize (Kb) 15360

[startup+160.015 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 2926 0 0 0 14462 530 0 0 25 0 1 0 20287401 13684736 2825 4294967295 134512640 134702520 3221223952 3221222976 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5532/statm): 3341 2825 413 48 0 3293 0
[pid=5532] vsize: 13364
Current children cumulated CPU time (s) 149.93
Current children cumulated vsize (Kb) 15492

[startup+170.016 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 2937 0 0 0 15359 566 0 0 25 0 1 0 20287401 13684736 2836 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5532/statm): 3341 2836 413 48 0 3293 0
[pid=5532] vsize: 13364
Current children cumulated CPU time (s) 159.26
Current children cumulated vsize (Kb) 15492

[startup+180.016 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 2956 0 0 0 16270 596 0 0 25 0 1 0 20287401 13819904 2855 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3374 2855 413 48 0 3326 0
[pid=5532] vsize: 13496
Current children cumulated CPU time (s) 168.67
Current children cumulated vsize (Kb) 15624

[startup+190.017 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 2969 0 0 0 17189 623 0 0 25 0 1 0 20287401 13819904 2868 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3374 2868 413 48 0 3326 0
[pid=5532] vsize: 13496
Current children cumulated CPU time (s) 178.13
Current children cumulated vsize (Kb) 15624

[startup+200.018 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 2989 0 0 0 18107 653 0 0 25 0 1 0 20287401 13819904 2888 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3374 2888 413 48 0 3326 0
[pid=5532] vsize: 13496
Current children cumulated CPU time (s) 187.61
Current children cumulated vsize (Kb) 15624

[startup+210.019 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 3006 0 0 0 19026 684 0 0 25 0 1 0 20287401 13955072 2905 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3407 2905 413 48 0 3359 0
[pid=5532] vsize: 13628
Current children cumulated CPU time (s) 197.11
Current children cumulated vsize (Kb) 15756

[startup+220.019 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 3007 0 0 0 19940 713 0 0 25 0 1 0 20287401 13955072 2906 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3407 2906 413 48 0 3359 0
[pid=5532] vsize: 13628
Current children cumulated CPU time (s) 206.54
Current children cumulated vsize (Kb) 15756

[startup+230.02 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 3011 0 0 0 20845 747 0 0 25 0 1 0 20287401 13955072 2910 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3407 2910 413 48 0 3359 0
[pid=5532] vsize: 13628
Current children cumulated CPU time (s) 215.93
Current children cumulated vsize (Kb) 15756

[startup+240.021 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 3019 0 0 0 21751 778 0 0 25 0 1 0 20287401 13955072 2918 4294967295 134512640 134702520 3221223952 3221180368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3407 2918 413 48 0 3359 0
[pid=5532] vsize: 13628
Current children cumulated CPU time (s) 225.3
Current children cumulated vsize (Kb) 15756

[startup+250.021 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 3082 0 0 0 22673 805 0 0 25 0 1 0 20287401 14090240 2981 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5532/statm): 3440 2981 413 48 0 3392 0
[pid=5532] vsize: 13760
Current children cumulated CPU time (s) 234.79
Current children cumulated vsize (Kb) 15888

[startup+260.022 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 3143 0 0 0 23588 836 0 0 25 0 1 0 20287401 14090240 3042 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5532/statm): 3440 3042 413 48 0 3392 0
[pid=5532] vsize: 13760
Current children cumulated CPU time (s) 244.25
Current children cumulated vsize (Kb) 15888

[startup+270.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 3239 0 0 0 24510 861 0 0 25 0 1 0 20287401 15048704 3138 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5532/statm): 3674 3138 413 48 0 3626 0
[pid=5532] vsize: 14696
Current children cumulated CPU time (s) 253.72
Current children cumulated vsize (Kb) 16824

[startup+280.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 3324 0 0 0 25426 891 0 0 25 0 1 0 20287401 15048704 3223 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3674 3223 413 48 0 3626 0
[pid=5532] vsize: 14696
Current children cumulated CPU time (s) 263.18
Current children cumulated vsize (Kb) 16824

[startup+290.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 3384 0 0 0 26343 919 0 0 25 0 1 0 20287401 15183872 3283 4294967295 134512640 134702520 3221223952 3221223232 134557201 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3707 3283 413 48 0 3659 0
[pid=5532] vsize: 14828
Current children cumulated CPU time (s) 272.63
Current children cumulated vsize (Kb) 16956

[startup+300.024 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 3399 0 0 0 27272 945 0 0 25 0 1 0 20287401 15183872 3298 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5532/statm): 3707 3298 413 48 0 3659 0
[pid=5532] vsize: 14828
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (Kb) 16956

[startup+310.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 3399 0 0 0 28186 972 0 0 25 0 1 0 20287401 15183872 3298 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3707 3298 413 48 0 3659 0
[pid=5532] vsize: 14828
Current children cumulated CPU time (s) 291.59
Current children cumulated vsize (Kb) 16956

[startup+320.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 3430 0 0 0 29104 998 0 0 25 0 1 0 20287401 15319040 3329 4294967295 134512640 134702520 3221223952 3221192368 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3740 3329 413 48 0 3692 0
[pid=5532] vsize: 14960
Current children cumulated CPU time (s) 301.03
Current children cumulated vsize (Kb) 17088

[startup+330.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 3444 0 0 0 30027 1025 0 0 25 0 1 0 20287401 15319040 3343 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3740 3343 413 48 0 3692 0
[pid=5532] vsize: 14960
Current children cumulated CPU time (s) 310.53
Current children cumulated vsize (Kb) 17088

[startup+340.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 3465 0 0 0 30956 1050 0 0 25 0 1 0 20287401 15454208 3364 4294967295 134512640 134702520 3221223952 3221100848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5532/statm): 3773 3364 413 48 0 3725 0
[pid=5532] vsize: 15092
Current children cumulated CPU time (s) 320.07
Current children cumulated vsize (Kb) 17220

[startup+350.028 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 3469 0 0 0 31867 1081 0 0 25 0 1 0 20287401 15454208 3368 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3773 3368 413 48 0 3725 0
[pid=5532] vsize: 15092
Current children cumulated CPU time (s) 329.49
Current children cumulated vsize (Kb) 17220

[startup+360.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 3480 0 0 0 32795 1108 0 0 25 0 1 0 20287401 15454208 3379 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3773 3379 413 48 0 3725 0
[pid=5532] vsize: 15092
Current children cumulated CPU time (s) 339.04
Current children cumulated vsize (Kb) 17220

[startup+370.029 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 3495 0 0 0 33728 1130 0 0 25 0 1 0 20287401 15601664 3394 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3809 3394 413 48 0 3761 0
[pid=5532] vsize: 15236
Current children cumulated CPU time (s) 348.59
Current children cumulated vsize (Kb) 17364

[startup+380.03 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 3504 0 0 0 34653 1155 0 0 25 0 1 0 20287401 15601664 3403 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3809 3403 413 48 0 3761 0
[pid=5532] vsize: 15236
Current children cumulated CPU time (s) 358.09
Current children cumulated vsize (Kb) 17364

[startup+390.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 3510 0 0 0 35573 1182 0 0 25 0 1 0 20287401 15601664 3409 4294967295 134512640 134702520 3221223952 3221178448 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3809 3409 413 48 0 3761 0
[pid=5532] vsize: 15236
Current children cumulated CPU time (s) 367.56
Current children cumulated vsize (Kb) 17364

[startup+400.03 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 3516 0 0 0 36496 1211 0 0 25 0 1 0 20287401 15601664 3415 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5532/statm): 3809 3415 413 48 0 3761 0
[pid=5532] vsize: 15236
Current children cumulated CPU time (s) 377.08
Current children cumulated vsize (Kb) 17364

[startup+410.032 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 3566 0 0 0 37424 1233 0 0 25 0 1 0 20287401 15736832 3465 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5532/statm): 3842 3465 413 48 0 3794 0
[pid=5532] vsize: 15368
Current children cumulated CPU time (s) 386.58
Current children cumulated vsize (Kb) 17496

[startup+420.033 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 3624 0 0 0 38364 1254 0 0 25 0 1 0 20287401 16560128 3523 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5532/statm): 4043 3523 413 48 0 3995 0
[pid=5532] vsize: 16172
Current children cumulated CPU time (s) 396.19
Current children cumulated vsize (Kb) 18300

[startup+430.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 3644 0 0 0 39292 1280 0 0 25 0 1 0 20287401 16715776 3543 4294967295 134512640 134702520 3221223952 3221222816 134564346 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5532/statm): 4081 3543 413 48 0 4033 0
[pid=5532] vsize: 16324
Current children cumulated CPU time (s) 405.73
Current children cumulated vsize (Kb) 18452
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=5532) exited with status: 2
New process pid=5533
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=5533) exited with status: 0
New process pid=5534
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+440.035 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 537 0 0 0 37 3 0 0 23 0 1 0 20331360 5390336 508 4294967295 134512640 134702520 3221223712 3221223204 1074898590 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5534/statm): 1316 508 413 48 0 1268 0
[pid=5534] vsize: 5264
Current children cumulated CPU time (s) 415.23
Current children cumulated vsize (Kb) 7392

[startup+450.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 1044 0 0 0 962 29 0 0 25 0 1 0 20331360 6471680 1014 4294967295 134512640 134702520 3221223712 3221223152 134617880 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5534/statm): 1580 1014 413 48 0 1532 0
[pid=5534] vsize: 6320
Current children cumulated CPU time (s) 424.74
Current children cumulated vsize (Kb) 8448

[startup+460.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 1215 0 0 0 1880 59 0 0 25 0 1 0 20331360 12042240 1185 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 2940 1185 413 48 0 2892 0
[pid=5534] vsize: 11760
Current children cumulated CPU time (s) 434.22
Current children cumulated vsize (Kb) 13888

[startup+470.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 1855 0 0 0 2791 91 0 0 25 0 1 0 20331360 12312576 1825 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3006 1825 413 48 0 2958 0
[pid=5534] vsize: 12024
Current children cumulated CPU time (s) 443.65
Current children cumulated vsize (Kb) 14152

[startup+480.038 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 1892 0 0 0 3694 124 0 0 25 0 1 0 20331360 12468224 1862 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3044 1862 413 48 0 2996 0
[pid=5534] vsize: 12176
Current children cumulated CPU time (s) 453.01
Current children cumulated vsize (Kb) 14304

[startup+490.039 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 2461 0 0 0 4619 150 0 0 25 0 1 0 20331360 12873728 2431 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3143 2431 413 48 0 3095 0
[pid=5534] vsize: 12572
Current children cumulated CPU time (s) 462.52
Current children cumulated vsize (Kb) 14700

[startup+500.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 2471 0 0 0 5525 182 0 0 25 0 1 0 20331360 12877824 2441 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3144 2441 413 48 0 3096 0
[pid=5534] vsize: 12576
Current children cumulated CPU time (s) 471.9
Current children cumulated vsize (Kb) 14704

[startup+510.04 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 2477 0 0 0 6435 211 0 0 25 0 1 0 20331360 12877824 2447 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3144 2447 413 48 0 3096 0
[pid=5534] vsize: 12576
Current children cumulated CPU time (s) 481.29
Current children cumulated vsize (Kb) 14704

[startup+520.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 2482 0 0 0 7358 238 0 0 25 0 1 0 20331360 13041664 2452 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3184 2452 413 48 0 3136 0
[pid=5534] vsize: 12736
Current children cumulated CPU time (s) 490.79
Current children cumulated vsize (Kb) 14864

[startup+530.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 2483 0 0 0 8266 269 0 0 25 0 1 0 20331360 12980224 2453 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3169 2453 413 48 0 3121 0
[pid=5534] vsize: 12676
Current children cumulated CPU time (s) 500.18
Current children cumulated vsize (Kb) 14804

[startup+540.043 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 2490 0 0 0 9172 301 0 0 25 0 1 0 20331360 12980224 2460 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3169 2460 413 48 0 3121 0
[pid=5534] vsize: 12676
Current children cumulated CPU time (s) 509.56
Current children cumulated vsize (Kb) 14804

[startup+550.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 2742 0 0 0 10087 331 0 0 25 0 1 0 20331360 13115392 2712 4294967295 134512640 134702520 3221223712 3221222736 134550369 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3202 2712 413 48 0 3154 0
[pid=5534] vsize: 12808
Current children cumulated CPU time (s) 519.01
Current children cumulated vsize (Kb) 14936

[startup+560.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 2795 0 0 0 10986 367 0 0 25 0 1 0 20331360 13385728 2765 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3268 2765 413 48 0 3220 0
[pid=5534] vsize: 13072
Current children cumulated CPU time (s) 528.36
Current children cumulated vsize (Kb) 15200

[startup+570.045 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 2800 0 0 0 11885 404 0 0 25 0 1 0 20331360 13385728 2770 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3268 2770 413 48 0 3220 0
[pid=5534] vsize: 13072
Current children cumulated CPU time (s) 537.72
Current children cumulated vsize (Kb) 15200

[startup+580.045 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 2809 0 0 0 12788 439 0 0 25 0 1 0 20331360 13385728 2779 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3268 2779 413 48 0 3220 0
[pid=5534] vsize: 13072
Current children cumulated CPU time (s) 547.1
Current children cumulated vsize (Kb) 15200

[startup+590.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 2809 0 0 0 13706 465 0 0 25 0 1 0 20331360 13385728 2779 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3268 2779 413 48 0 3220 0
[pid=5534] vsize: 13072
Current children cumulated CPU time (s) 556.54
Current children cumulated vsize (Kb) 15200

[startup+600.046 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 2813 0 0 0 14594 502 0 0 21 0 1 0 20331360 13385728 2783 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3268 2783 413 48 0 3220 0
[pid=5534] vsize: 13072
Current children cumulated CPU time (s) 565.79
Current children cumulated vsize (Kb) 15200

[startup+610.048 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 2819 0 0 0 15484 538 0 0 25 0 1 0 20331360 13385728 2789 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3268 2789 413 48 0 3220 0
[pid=5534] vsize: 13072
Current children cumulated CPU time (s) 575.05
Current children cumulated vsize (Kb) 15200

[startup+620.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 2874 0 0 0 16398 569 0 0 25 0 1 0 20331360 13656064 2844 4294967295 134512640 134702520 3221223712 3221222992 134554270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3334 2844 413 48 0 3286 0
[pid=5534] vsize: 13336
Current children cumulated CPU time (s) 584.5
Current children cumulated vsize (Kb) 15464

[startup+630.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 2881 0 0 0 17290 610 0 0 25 0 1 0 20331360 13656064 2851 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3334 2851 413 48 0 3286 0
[pid=5534] vsize: 13336
Current children cumulated CPU time (s) 593.83
Current children cumulated vsize (Kb) 15464

[startup+640.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 2906 0 0 0 18224 635 0 0 25 0 1 0 20331360 13791232 2876 4294967295 134512640 134702520 3221223712 3221222960 134564360 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3367 2876 413 48 0 3319 0
[pid=5534] vsize: 13468
Current children cumulated CPU time (s) 603.42
Current children cumulated vsize (Kb) 15596

[startup+650.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 2916 0 0 0 19164 657 0 0 25 0 1 0 20331360 13791232 2886 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3367 2886 413 48 0 3319 0
[pid=5534] vsize: 13468
Current children cumulated CPU time (s) 613.04
Current children cumulated vsize (Kb) 15596

[startup+660.05 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 2920 0 0 0 20065 689 0 0 25 0 1 0 20331360 13791232 2890 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3367 2890 413 48 0 3319 0
[pid=5534] vsize: 13468
Current children cumulated CPU time (s) 622.37
Current children cumulated vsize (Kb) 15596

[startup+670.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 2924 0 0 0 20954 726 0 0 25 0 1 0 20331360 13791232 2894 4294967295 134512640 134702520 3221223712 3221222992 134557248 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3367 2894 413 48 0 3319 0
[pid=5534] vsize: 13468
Current children cumulated CPU time (s) 631.63
Current children cumulated vsize (Kb) 15596

[startup+680.052 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 2933 0 0 0 21857 758 0 0 25 0 1 0 20331360 13926400 2903 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3400 2903 413 48 0 3352 0
[pid=5534] vsize: 13600
Current children cumulated CPU time (s) 640.98
Current children cumulated vsize (Kb) 15728

[startup+690.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 2938 0 0 0 22774 786 0 0 25 0 1 0 20331360 13926400 2908 4294967295 134512640 134702520 3221223712 3221222608 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3400 2908 413 48 0 3352 0
[pid=5534] vsize: 13600
Current children cumulated CPU time (s) 650.43
Current children cumulated vsize (Kb) 15728

[startup+700.053 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 2938 0 0 0 23675 821 0 0 25 0 1 0 20331360 13926400 2908 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3400 2908 413 48 0 3352 0
[pid=5534] vsize: 13600
Current children cumulated CPU time (s) 659.79
Current children cumulated vsize (Kb) 15728

[startup+710.054 s]
Raw data (loadavg): 1.08 1.02 1.01 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 2949 0 0 0 24571 857 0 0 25 0 1 0 20331360 13926400 2919 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3400 2919 413 48 0 3352 0
[pid=5534] vsize: 13600
Current children cumulated CPU time (s) 669.11
Current children cumulated vsize (Kb) 15728

[startup+720.055 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 2983 0 0 0 25482 888 0 0 25 0 1 0 20331360 13926400 2953 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3400 2953 413 48 0 3352 0
[pid=5534] vsize: 13600
Current children cumulated CPU time (s) 678.53
Current children cumulated vsize (Kb) 15728

[startup+730.056 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3060 0 0 0 26401 917 0 0 25 0 1 0 20331360 14065664 3030 4294967295 134512640 134702520 3221223712 3221222992 134557183 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3434 3030 413 48 0 3386 0
[pid=5534] vsize: 13736
Current children cumulated CPU time (s) 688.01
Current children cumulated vsize (Kb) 15864

[startup+740.057 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3119 0 0 0 27336 939 0 0 25 0 1 0 20331360 14954496 3089 4294967295 134512640 134702520 3221223712 3221222992 134551020 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3651 3089 413 48 0 3603 0
[pid=5534] vsize: 14604
Current children cumulated CPU time (s) 697.58
Current children cumulated vsize (Kb) 16732

[startup+750.057 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3155 0 0 0 28278 959 0 0 25 0 1 0 20331360 15089664 3125 4294967295 134512640 134702520 3221223712 3221222992 134557289 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3684 3125 413 48 0 3636 0
[pid=5534] vsize: 14736
Current children cumulated CPU time (s) 707.2
Current children cumulated vsize (Kb) 16864

[startup+760.058 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3179 0 0 0 29220 979 0 0 25 0 1 0 20331360 15089664 3149 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3684 3149 413 48 0 3636 0
[pid=5534] vsize: 14736
Current children cumulated CPU time (s) 716.82
Current children cumulated vsize (Kb) 16864

[startup+770.059 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3200 0 0 0 30159 997 0 0 25 0 1 0 20331360 15224832 3170 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3717 3170 413 48 0 3669 0
[pid=5534] vsize: 14868
Current children cumulated CPU time (s) 726.39
Current children cumulated vsize (Kb) 16996

[startup+780.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3249 0 0 0 31081 1024 0 0 25 0 1 0 20331360 15224832 3219 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3717 3219 413 48 0 3669 0
[pid=5534] vsize: 14868
Current children cumulated CPU time (s) 735.88
Current children cumulated vsize (Kb) 16996

[startup+790.061 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3263 0 0 0 32006 1050 0 0 25 0 1 0 20331360 15224832 3233 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3717 3233 413 48 0 3669 0
[pid=5534] vsize: 14868
Current children cumulated CPU time (s) 745.39
Current children cumulated vsize (Kb) 16996

[startup+800.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3299 0 0 0 32921 1082 0 0 25 0 1 0 20331360 15224832 3269 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3717 3269 413 48 0 3669 0
[pid=5534] vsize: 14868
Current children cumulated CPU time (s) 754.86
Current children cumulated vsize (Kb) 16996

[startup+810.061 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3360 0 0 0 33833 1113 0 0 25 0 1 0 20331360 15360000 3330 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3750 3330 413 48 0 3702 0
[pid=5534] vsize: 15000
Current children cumulated CPU time (s) 764.29
Current children cumulated vsize (Kb) 17128

[startup+820.062 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3377 0 0 0 34763 1136 0 0 25 0 1 0 20331360 15360000 3347 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3750 3347 413 48 0 3702 0
[pid=5534] vsize: 15000
Current children cumulated CPU time (s) 773.82
Current children cumulated vsize (Kb) 17128

[startup+830.064 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3389 0 0 0 35688 1163 0 0 25 0 1 0 20331360 15360000 3359 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3750 3359 413 48 0 3702 0
[pid=5534] vsize: 15000
Current children cumulated CPU time (s) 783.34
Current children cumulated vsize (Kb) 17128

[startup+840.064 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3432 0 0 0 36616 1188 0 0 25 0 1 0 20331360 16248832 3402 4294967295 134512640 134702520 3221223712 3221222736 134557196 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3967 3402 413 48 0 3919 0
[pid=5534] vsize: 15868
Current children cumulated CPU time (s) 792.87
Current children cumulated vsize (Kb) 17996

[startup+850.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3440 0 0 0 37529 1217 0 0 25 0 1 0 20331360 16248832 3410 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3967 3410 413 48 0 3919 0
[pid=5534] vsize: 15868
Current children cumulated CPU time (s) 802.29
Current children cumulated vsize (Kb) 17996

[startup+860.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3463 0 0 0 38476 1234 0 0 25 0 1 0 20331360 16384000 3433 4294967295 134512640 134702520 3221223712 3221222832 134584469 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 4000 3433 413 48 0 3952 0
[pid=5534] vsize: 16000
Current children cumulated CPU time (s) 811.93
Current children cumulated vsize (Kb) 18128

[startup+870.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3488 0 0 0 39408 1257 0 0 25 0 1 0 20331360 16384000 3458 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 4000 3458 413 48 0 3952 0
[pid=5534] vsize: 16000
Current children cumulated CPU time (s) 821.48
Current children cumulated vsize (Kb) 18128

[startup+880.068 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3515 0 0 0 40337 1282 0 0 25 0 1 0 20331360 16531456 3485 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 4036 3485 413 48 0 3988 0
[pid=5534] vsize: 16144
Current children cumulated CPU time (s) 831.02
Current children cumulated vsize (Kb) 18272

[startup+890.069 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3516 0 0 0 41262 1306 0 0 25 0 1 0 20331360 16531456 3486 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 4036 3486 413 48 0 3988 0
[pid=5534] vsize: 16144
Current children cumulated CPU time (s) 840.51
Current children cumulated vsize (Kb) 18272

[startup+900.069 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3521 0 0 0 42164 1337 0 0 25 0 1 0 20331360 16474112 3491 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 4022 3491 413 48 0 3974 0
[pid=5534] vsize: 16088
Current children cumulated CPU time (s) 849.84
Current children cumulated vsize (Kb) 18216

[startup+910.071 s]
Raw data (loadavg): 1.00 1.00 1.00 1/59 5537
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3529 0 0 0 43094 1361 0 0 25 0 1 0 20331360 16474112 3499 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 4022 3499 413 48 0 3974 0
[pid=5534] vsize: 16088
Current children cumulated CPU time (s) 859.38
Current children cumulated vsize (Kb) 18216

[startup+920.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5589
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3540 0 0 0 44013 1387 0 0 25 0 1 0 20331360 16474112 3510 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 4022 3510 413 48 0 3974 0
[pid=5534] vsize: 16088
Current children cumulated CPU time (s) 868.83
Current children cumulated vsize (Kb) 18216

[startup+930.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5589
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3550 0 0 0 44939 1414 0 0 25 0 1 0 20331360 16609280 3520 4294967295 134512640 134702520 3221223712 3221222992 134553111 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 4055 3520 413 48 0 4007 0
[pid=5534] vsize: 16220
Current children cumulated CPU time (s) 878.36
Current children cumulated vsize (Kb) 18348

[startup+940.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5589
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3553 0 0 0 45845 1446 0 0 25 0 1 0 20331360 16609280 3523 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 4055 3523 413 48 0 4007 0
[pid=5534] vsize: 16220
Current children cumulated CPU time (s) 887.74
Current children cumulated vsize (Kb) 18348

[startup+950.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5589
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3558 0 0 0 46754 1477 0 0 25 0 1 0 20331360 16609280 3528 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 4055 3528 413 48 0 4007 0
[pid=5534] vsize: 16220
Current children cumulated CPU time (s) 897.14
Current children cumulated vsize (Kb) 18348

[startup+960.074 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5589
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3563 0 0 0 47654 1513 0 0 25 0 1 0 20331360 16609280 3533 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 4055 3533 413 48 0 4007 0
[pid=5534] vsize: 16220
Current children cumulated CPU time (s) 906.5
Current children cumulated vsize (Kb) 18348

[startup+970.075 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5591
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3574 0 0 0 48583 1536 0 0 25 0 1 0 20331360 16609280 3544 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 4055 3544 413 48 0 4007 0
[pid=5534] vsize: 16220
Current children cumulated CPU time (s) 916.02
Current children cumulated vsize (Kb) 18348

[startup+980.076 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 5593
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3582 0 0 0 49511 1562 0 0 25 0 1 0 20331360 16744448 3552 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 4088 3552 413 48 0 4040 0
[pid=5534] vsize: 16352
Current children cumulated CPU time (s) 925.56
Current children cumulated vsize (Kb) 18480

[startup+990.076 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3594 0 0 0 50430 1590 0 0 25 0 1 0 20331360 16744448 3564 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 4088 3564 413 48 0 4040 0
[pid=5534] vsize: 16352
Current children cumulated CPU time (s) 935.03
Current children cumulated vsize (Kb) 18480

[startup+1000.08 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3603 0 0 0 51352 1616 0 0 25 0 1 0 20331360 16744448 3573 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 4088 3573 413 48 0 4040 0
[pid=5534] vsize: 16352
Current children cumulated CPU time (s) 944.51
Current children cumulated vsize (Kb) 18480

[startup+1010.08 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3620 0 0 0 52283 1642 0 0 25 0 1 0 20331360 16879616 3590 4294967295 134512640 134702520 3221223712 3221012608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 4121 3590 413 48 0 4073 0
[pid=5534] vsize: 16484
Current children cumulated CPU time (s) 954.08
Current children cumulated vsize (Kb) 18612

[startup+1020.08 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3622 0 0 0 53194 1673 0 0 25 0 1 0 20331360 16883712 3592 4294967295 134512640 134702520 3221223712 3221166848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 4122 3592 413 48 0 4074 0
[pid=5534] vsize: 16488
Current children cumulated CPU time (s) 963.5
Current children cumulated vsize (Kb) 18616

[startup+1030.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3622 0 0 0 54117 1699 0 0 25 0 1 0 20331360 16883712 3592 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 4122 3592 413 48 0 4074 0
[pid=5534] vsize: 16488
Current children cumulated CPU time (s) 972.99
Current children cumulated vsize (Kb) 18616

[startup+1040.08 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3623 0 0 0 55027 1731 0 0 25 0 1 0 20331360 16883712 3593 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 4122 3593 413 48 0 4074 0
[pid=5534] vsize: 16488
Current children cumulated CPU time (s) 982.41
Current children cumulated vsize (Kb) 18616

[startup+1050.08 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3628 0 0 0 55944 1760 0 0 25 0 1 0 20331360 16883712 3598 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5534/statm): 4122 3598 413 48 0 4074 0
[pid=5534] vsize: 16488
Current children cumulated CPU time (s) 991.87
Current children cumulated vsize (Kb) 18616

[startup+1060.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3629 0 0 0 56876 1785 0 0 25 0 1 0 20331360 16883712 3599 4294967295 134512640 134702520 3221223712 3221222608 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5534/statm): 4122 3599 413 48 0 4074 0
[pid=5534] vsize: 16488
Current children cumulated CPU time (s) 1001.44
Current children cumulated vsize (Kb) 18616

[startup+1070.08 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3629 0 0 0 57764 1824 0 0 25 0 1 0 20331360 16883712 3599 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5534/statm): 4122 3599 413 48 0 4074 0
[pid=5534] vsize: 16488
Current children cumulated CPU time (s) 1010.71
Current children cumulated vsize (Kb) 18616

[startup+1080.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3633 0 0 0 58669 1857 0 0 25 0 1 0 20331360 16883712 3603 4294967295 134512640 134702520 3221223712 3221109548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5534/statm): 4122 3603 413 48 0 4074 0
[pid=5534] vsize: 16488
Current children cumulated CPU time (s) 1020.09
Current children cumulated vsize (Kb) 18616

[startup+1090.08 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3633 0 0 0 59556 1895 0 0 25 0 1 0 20331360 16883712 3603 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 4122 3603 413 48 0 4074 0
[pid=5534] vsize: 16488
Current children cumulated CPU time (s) 1029.34
Current children cumulated vsize (Kb) 18616

[startup+1100.09 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3636 0 0 0 60455 1931 0 0 25 0 1 0 20331360 16883712 3606 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5534/statm): 4122 3606 413 48 0 4074 0
[pid=5534] vsize: 16488
Current children cumulated CPU time (s) 1038.69
Current children cumulated vsize (Kb) 18616

[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3650 0 0 0 61342 1972 0 0 25 0 1 0 20331360 17018880 3620 4294967295 134512640 134702520 3221223712 3221222992 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 4155 3620 413 48 0 4107 0
[pid=5534] vsize: 16620
Current children cumulated CPU time (s) 1047.97
Current children cumulated vsize (Kb) 18748

[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3651 0 0 0 62246 2003 0 0 25 0 1 0 20331360 17018880 3621 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 4155 3621 413 48 0 4107 0
[pid=5534] vsize: 16620
Current children cumulated CPU time (s) 1057.32
Current children cumulated vsize (Kb) 18748

[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3651 0 0 0 63129 2044 0 0 25 0 1 0 20331360 17018880 3621 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 4155 3621 413 48 0 4107 0
[pid=5534] vsize: 16620
Current children cumulated CPU time (s) 1066.56
Current children cumulated vsize (Kb) 18748

[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3655 0 0 0 64034 2076 0 0 25 0 1 0 20331360 17018880 3625 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 4155 3625 413 48 0 4107 0
[pid=5534] vsize: 16620
Current children cumulated CPU time (s) 1075.93
Current children cumulated vsize (Kb) 18748

[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3661 0 0 0 64948 2108 0 0 25 0 1 0 20331360 17018880 3631 4294967295 134512640 134702520 3221223712 3221222608 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 4155 3631 413 48 0 4107 0
[pid=5534] vsize: 16620
Current children cumulated CPU time (s) 1085.39
Current children cumulated vsize (Kb) 18748

[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3662 0 0 0 65871 2135 0 0 25 0 1 0 20331360 17018880 3632 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 4155 3632 413 48 0 4107 0
[pid=5534] vsize: 16620
Current children cumulated CPU time (s) 1094.89
Current children cumulated vsize (Kb) 18748
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=5534) exited with status: 2
New process pid=5596
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=5596) exited with status: 0
New process pid=5597
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5597
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 417 7825 0 0 1 2 106268 3451 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5597/stat): 5597 (vallst) R 5529 5529 4059 0 -1 0 998 0 0 0 690 23 0 0 25 0 1 0 20403662 5976064 969 4294967295 134512640 134702520 3221223712 3221222848 134553160 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5597/statm): 1459 969 413 48 0 1411 0
[pid=5597] vsize: 5836
Current children cumulated CPU time (s) 1104.35
Current children cumulated vsize (Kb) 7964

[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5597
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 417 7825 0 0 1 2 106268 3451 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5597/stat): 5597 (vallst) R 5529 5529 4059 0 -1 0 999 0 0 0 1604 53 0 0 25 0 1 0 20403662 5976064 970 4294967295 134512640 134702520 3221223712 3221222816 134564360 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5597/statm): 1459 970 413 48 0 1411 0
[pid=5597] vsize: 5836
Current children cumulated CPU time (s) 1113.79
Current children cumulated vsize (Kb) 7964

[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5597
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 417 7825 0 0 1 2 106268 3451 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5597/stat): 5597 (vallst) R 5529 5529 4059 0 -1 0 1239 0 0 0 2492 89 0 0 25 0 1 0 20403662 10485760 1210 4294967295 134512640 134702520 3221223712 3221104448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5597/statm): 2560 1210 413 48 0 2512 0
[pid=5597] vsize: 10240
Current children cumulated CPU time (s) 1123.03
Current children cumulated vsize (Kb) 12368

[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5597
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 417 7825 0 0 1 2 106268 3451 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5597/stat): 5597 (vallst) T 5529 5529 4059 0 -1 0 2214 0 0 0 3386 129 0 0 25 0 1 0 20403662 10756096 2185 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5597/statm): 2626 2185 413 48 0 2578 0
[pid=5597] vsize: 10504
Current children cumulated CPU time (s) 1132.37
Current children cumulated vsize (Kb) 12632

[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5597
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 417 7825 0 0 1 2 106268 3451 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5597/stat): 5597 (vallst) R 5529 5529 4059 0 -1 0 2279 0 0 0 4279 169 0 0 25 0 1 0 20403662 11026432 2250 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5597/statm): 2692 2250 413 48 0 2644 0
[pid=5597] vsize: 10768
Current children cumulated CPU time (s) 1141.7
Current children cumulated vsize (Kb) 12896

[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5597
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 417 7825 0 0 1 2 106268 3451 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5597/stat): 5597 (vallst) T 5529 5529 4059 0 -1 0 2327 0 0 0 5178 202 0 0 25 0 1 0 20403662 11296768 2298 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5597/statm): 2758 2298 413 48 0 2710 0
[pid=5597] vsize: 11032
Current children cumulated CPU time (s) 1151.02
Current children cumulated vsize (Kb) 13160

[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5597
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 417 7825 0 0 1 2 106268 3451 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5597/stat): 5597 (vallst) R 5529 5529 4059 0 -1 0 2366 0 0 0 6094 230 0 0 25 0 1 0 20403662 11431936 2337 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5597/statm): 2791 2337 413 48 0 2743 0
[pid=5597] vsize: 11164
Current children cumulated CPU time (s) 1160.46
Current children cumulated vsize (Kb) 13292

[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5597
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 417 7825 0 0 1 2 106268 3451 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5597/stat): 5597 (vallst) R 5529 5529 4059 0 -1 0 2406 0 0 0 6995 263 0 0 25 0 1 0 20403662 11567104 2377 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5597/statm): 2824 2377 413 48 0 2776 0
[pid=5597] vsize: 11296
Current children cumulated CPU time (s) 1169.8
Current children cumulated vsize (Kb) 13424

[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5597
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 417 7825 0 0 1 2 106268 3451 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5597/stat): 5597 (vallst) T 5529 5529 4059 0 -1 0 2439 0 0 0 7907 295 0 0 25 0 1 0 20403662 11702272 2410 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5597/statm): 2857 2410 413 48 0 2809 0
[pid=5597] vsize: 11428
Current children cumulated CPU time (s) 1179.24
Current children cumulated vsize (Kb) 13556

[startup+1260.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5597
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 417 7825 0 0 1 2 106268 3451 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5597/stat): 5597 (vallst) T 5529 5529 4059 0 -1 0 2462 0 0 0 8801 329 0 0 25 0 1 0 20403662 11837440 2433 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5597/statm): 2890 2433 413 48 0 2842 0
[pid=5597] vsize: 11560
Current children cumulated CPU time (s) 1188.52
Current children cumulated vsize (Kb) 13688

[startup+1270.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5597
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 417 7825 0 0 1 2 106268 3451 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5597/stat): 5597 (vallst) T 5529 5529 4059 0 -1 0 2466 0 0 0 9710 361 0 0 25 0 1 0 20403662 11837440 2437 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5597/statm): 2890 2437 413 48 0 2842 0
[pid=5597] vsize: 11560
Current children cumulated CPU time (s) 1197.93
Current children cumulated vsize (Kb) 13688

[startup+1280.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5597
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 417 7825 0 0 1 2 106268 3451 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5597/stat): 5597 (vallst) R 5529 5529 4059 0 -1 0 2471 0 0 0 10609 398 0 0 25 0 1 0 20403662 11837440 2442 4294967295 134512640 134702520 3221223712 3221222992 134552322 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5597/statm): 2890 2442 413 48 0 2842 0
[pid=5597] vsize: 11560
Current children cumulated CPU time (s) 1207.29
Current children cumulated vsize (Kb) 13688



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1280.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5597
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 417 7825 0 0 1 2 106268 3451 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5597/stat): 5597 (vallst) R 5529 5529 4059 0 -1 0 2471 0 0 0 10609 398 0 0 25 0 1 0 20403662 11837440 2442 4294967295 134512640 134702520 3221223712 3221222992 134552322 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5597/statm): 2890 2442 413 48 0 2842 0
[pid=5597] vsize: 11560
Current children cumulated CPU time (s) 1207.29
Current children cumulated vsize (Kb) 13688

Sending SIGTERM to -5529
Sleeping 2 seconds
New process pid=5599
New process pid=5600
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
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/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/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/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/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/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/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/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/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/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/4041/stat
open syscall for file /proc/4041/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/4041/cmdline
open syscall for file /proc/4041/environ
open syscall for file /proc/4067/stat
open syscall for file /proc/4067/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/4067/cmdline
open syscall for file /proc/4067/environ
open syscall for file /proc/5490/stat
open syscall for file /proc/5490/status
open syscall for file /proc/5490/cmdline
open syscall for file /proc/5490/environ
open syscall for file /proc/5528/stat
open syscall for file /proc/5528/status
open syscall for file /proc/5528/cmdline
open syscall for file /proc/5528/environ
open syscall for file /proc/5529/stat
open syscall for file /proc/5529/status
open syscall for file /proc/5529/cmdline
open syscall for file /proc/5529/environ
open syscall for file /proc/5597/stat
open syscall for file /proc/5597/status
open syscall for file /proc/5597/cmdline
open syscall for file /proc/5597/environ
open syscall for file /proc/5599/stat
open syscall for file /proc/5599/status
open syscall for file /proc/5599/cmdline
open syscall for file /proc/5599/environ
open syscall for file /proc/5600/stat
open syscall for file /proc/5600/status
open syscall for file /proc/5600/cmdline
open syscall for file /proc/5600/environ
One traced child (pid=5599) exited with status: 0
One traced child (pid=5600) exited with status: 0
New process pid=5601
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
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5597) exited with status: 3
One traced child (pid=5601) exited with status: 0
New process pid=5602
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=5602) exited with status: 0
One traced child (pid=5529) 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): 1280.59
CPU time (s): 1207.78
CPU user time (s): 1169.17
CPU system time (s): 38.6111
CPU usage (%): 94.3144
Max. virtual memory (cumulated for all children) (Kb): 18748

Verifier Data

ERROR: no interpretation found !