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/miplib2003/normalized-mps-v2-13-7-aflow30a.opb
MD5SUMb74fb9cd57e8b4068255c4ac98aa23ca
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3432
Optimality of the best value was proved NO
Number of terms in the objective function 421
Biggest coefficient in the objective function 500
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 72290
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 12800
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 416734
Number of bits of the biggest sum of numbers19
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.05
Number of variables5932
Total number of constraints1321
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)450
Number of constraints which are nor clauses,nor cardinality constraints871
Minimum length of a constraint1
Maximum length of a constraint453

Trace number 9236

Launcher Data

LAUNCH ON wulflinc21 THE 2005-09-23 11:44:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7971 boxname=wulflinc21 idbench=939 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b74fb9cd57e8b4068255c4ac98aa23ca  /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-aflow30a.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-aflow30a.opb 0
IDLAUNCH: 7971
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.188
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.188
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:        938984 kB
Buffers:         11932 kB
Cached:          65520 kB
SwapCached:          0 kB
Active:          44840 kB
Inactive:        35548 kB
HighTotal:      131008 kB
HighFree:        61124 kB
LowTotal:       903652 kB
LowFree:        877860 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              56 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             9536 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 12:06:25 (client local time) WITH STATUS 0 IN 1205.93 SECONDS
stats: 7971 7 1205.93 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 11  (#equs: 11)
#decisions: 818149;  #end-nodes: 297208;
#proof improvement attempts: 0;  #restarts: 1152
Current batch, end-nodes: 0 / 367 (367)
#axs: 970, #non-axs: 1150
tight: meta-meta: start: 3, end: 4;  meta: start: 5, end (keep): 8
loose: meta-meta: start: 6, end: 8;  meta: start: 11, end (keep): 15
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: 18  (#equs: 11)
Time taken: 15 min, 31 sec

2:
seed: 0
Nr of vars set: 18  (#equs: 0)
Nr of vars set: 18  (#equs: 0)
Interupt request received.
#decisions: 238878;  #end-nodes: 76027;
#proof improvement attempts: 0;  #restarts: 412
Current batch, end-nodes: 205 / 265 (223)
#axs: 957, #non-axs: 1250
tight: meta-meta: start: 3, end: 4;  meta: start: 5, end (keep): 8
loose: meta-meta: start: 6, end: 8;  meta: start: 11, end (keep): 15
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 4272  (#equs: 0)
Time taken: 4 min, 34 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/6174/stat): 6174 (vallstSAT2005PB) R 6173 6174 4059 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 19926052 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6174/statm): 174 3 169 147 0 27 0
[pid=6174] 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=6175
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=6175) exited with status: 0
New process pid=6176
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=6176) exited with status: 0
New process pid=6177
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/wulflinc21/normalized-mps-v2-13-7-aflow30a.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0036 s]
Raw data (loadavg): 0.87 1.03 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 520 0 0 0 781 73 0 0 21 0 1 0 19926058 3473408 490 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 848 490 413 48 0 800 0
[pid=6177] vsize: 3392
Current children cumulated CPU time (s) 8.55
Current children cumulated vsize (Kb) 5520

[startup+20.0043 s]
Raw data (loadavg): 0.89 1.03 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 587 0 0 0 1539 155 0 0 24 0 1 0 19926058 5185536 557 4294967295 134512640 134702520 3221223952 3221223232 134553162 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1266 557 413 48 0 1218 0
[pid=6177] vsize: 5064
Current children cumulated CPU time (s) 16.95
Current children cumulated vsize (Kb) 7192

[startup+30.005 s]
Raw data (loadavg): 0.91 1.03 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 613 0 0 0 2384 208 0 0 25 0 1 0 19926058 5185536 583 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1266 583 413 48 0 1218 0
[pid=6177] vsize: 5064
Current children cumulated CPU time (s) 25.93
Current children cumulated vsize (Kb) 7192

[startup+40.0057 s]
Raw data (loadavg): 0.92 1.03 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 630 0 0 0 3240 259 0 0 25 0 1 0 19926058 5185536 600 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1266 600 413 48 0 1218 0
[pid=6177] vsize: 5064
Current children cumulated CPU time (s) 35
Current children cumulated vsize (Kb) 7192

[startup+50.0063 s]
Raw data (loadavg): 0.93 1.03 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 637 0 0 0 4075 313 0 0 21 0 1 0 19926058 5185536 607 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1266 607 413 48 0 1218 0
[pid=6177] vsize: 5064
Current children cumulated CPU time (s) 43.89
Current children cumulated vsize (Kb) 7192

[startup+60.007 s]
Raw data (loadavg): 0.94 1.03 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 637 0 0 0 4808 408 0 0 20 0 1 0 19926058 5185536 607 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1266 607 413 48 0 1218 0
[pid=6177] vsize: 5064
Current children cumulated CPU time (s) 52.17
Current children cumulated vsize (Kb) 7192

[startup+70.0077 s]
Raw data (loadavg): 0.95 1.03 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 638 0 0 0 5607 473 0 0 24 0 1 0 19926058 5185536 608 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1266 608 413 48 0 1218 0
[pid=6177] vsize: 5064
Current children cumulated CPU time (s) 60.81
Current children cumulated vsize (Kb) 7192

[startup+80.0084 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 651 0 0 0 6481 518 0 0 25 0 1 0 19926058 5300224 621 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1294 621 413 48 0 1246 0
[pid=6177] vsize: 5176
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 7304

[startup+90.009 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 657 0 0 0 7343 565 0 0 25 0 1 0 19926058 5300224 627 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1294 627 413 48 0 1246 0
[pid=6177] vsize: 5176
Current children cumulated CPU time (s) 79.09
Current children cumulated vsize (Kb) 7304

[startup+100.01 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 721 0 0 0 8232 604 0 0 24 0 1 0 19926058 5300224 691 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1294 691 413 48 0 1246 0
[pid=6177] vsize: 5176
Current children cumulated CPU time (s) 88.37
Current children cumulated vsize (Kb) 7304

[startup+110.011 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 722 0 0 0 8990 689 0 0 21 0 1 0 19926058 5300224 692 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1294 692 413 48 0 1246 0
[pid=6177] vsize: 5176
Current children cumulated CPU time (s) 96.8
Current children cumulated vsize (Kb) 7304

[startup+120.012 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 722 0 0 0 9766 766 0 0 25 0 1 0 19926058 5300224 692 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1294 692 413 48 0 1246 0
[pid=6177] vsize: 5176
Current children cumulated CPU time (s) 105.33
Current children cumulated vsize (Kb) 7304

[startup+130.013 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 724 0 0 0 10660 804 0 0 25 0 1 0 19926058 5300224 694 4294967295 134512640 134702520 3221223952 3221222976 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1294 694 413 48 0 1246 0
[pid=6177] vsize: 5176
Current children cumulated CPU time (s) 114.65
Current children cumulated vsize (Kb) 7304

[startup+140.013 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 728 0 0 0 11534 843 0 0 25 0 1 0 19926058 5300224 698 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1294 698 413 48 0 1246 0
[pid=6177] vsize: 5176
Current children cumulated CPU time (s) 123.78
Current children cumulated vsize (Kb) 7304

[startup+150.014 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 731 0 0 0 12436 878 0 0 25 0 1 0 19926058 5300224 701 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1294 701 413 48 0 1246 0
[pid=6177] vsize: 5176
Current children cumulated CPU time (s) 133.15
Current children cumulated vsize (Kb) 7304

[startup+160.015 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 741 0 0 0 13328 913 0 0 24 0 1 0 19926058 5300224 711 4294967295 134512640 134702520 3221223952 3221222976 134550645 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1294 711 413 48 0 1246 0
[pid=6177] vsize: 5176
Current children cumulated CPU time (s) 142.42
Current children cumulated vsize (Kb) 7304

[startup+170.015 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 741 0 0 0 14099 990 0 0 19 0 1 0 19926058 5300224 711 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1294 711 413 48 0 1246 0
[pid=6177] vsize: 5176
Current children cumulated CPU time (s) 150.9
Current children cumulated vsize (Kb) 7304

[startup+180.016 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 741 0 0 0 14903 1055 0 0 25 0 1 0 19926058 5300224 711 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1294 711 413 48 0 1246 0
[pid=6177] vsize: 5176
Current children cumulated CPU time (s) 159.59
Current children cumulated vsize (Kb) 7304

[startup+190.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 741 0 0 0 15814 1084 0 0 25 0 1 0 19926058 5300224 711 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1294 711 413 48 0 1246 0
[pid=6177] vsize: 5176
Current children cumulated CPU time (s) 168.99
Current children cumulated vsize (Kb) 7304

[startup+200.017 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 754 0 0 0 16719 1116 0 0 24 0 1 0 19926058 5394432 724 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1317 724 413 48 0 1269 0
[pid=6177] vsize: 5268
Current children cumulated CPU time (s) 178.36
Current children cumulated vsize (Kb) 7396

[startup+210.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 779 0 0 0 17632 1145 0 0 24 0 1 0 19926058 5394432 749 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1317 749 413 48 0 1269 0
[pid=6177] vsize: 5268
Current children cumulated CPU time (s) 187.78
Current children cumulated vsize (Kb) 7396

[startup+220.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 781 0 0 0 18539 1177 0 0 25 0 1 0 19926058 5394432 751 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1317 751 413 48 0 1269 0
[pid=6177] vsize: 5268
Current children cumulated CPU time (s) 197.17
Current children cumulated vsize (Kb) 7396

[startup+230.02 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 785 0 0 0 19423 1219 0 0 22 0 1 0 19926058 5394432 755 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1317 755 413 48 0 1269 0
[pid=6177] vsize: 5268
Current children cumulated CPU time (s) 206.43
Current children cumulated vsize (Kb) 7396

[startup+240.021 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 786 0 0 0 20214 1291 0 0 22 0 1 0 19926058 5394432 756 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1317 756 413 48 0 1269 0
[pid=6177] vsize: 5268
Current children cumulated CPU time (s) 215.06
Current children cumulated vsize (Kb) 7396

[startup+250.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 787 0 0 0 21087 1333 0 0 25 0 1 0 19926058 5394432 757 4294967295 134512640 134702520 3221223952 3221223232 134552268 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1317 757 413 48 0 1269 0
[pid=6177] vsize: 5268
Current children cumulated CPU time (s) 224.21
Current children cumulated vsize (Kb) 7396

[startup+260.023 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 798 0 0 0 21985 1366 0 0 24 0 1 0 19926058 5591040 768 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1365 768 413 48 0 1317 0
[pid=6177] vsize: 5460
Current children cumulated CPU time (s) 233.52
Current children cumulated vsize (Kb) 7588

[startup+270.023 s]
Raw data (loadavg): 1.08 1.03 1.01 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 839 0 0 0 22880 1403 0 0 25 0 1 0 19926058 5591040 809 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1365 809 413 48 0 1317 0
[pid=6177] vsize: 5460
Current children cumulated CPU time (s) 242.84
Current children cumulated vsize (Kb) 7588

[startup+280.023 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 874 0 0 0 23796 1433 0 0 25 0 1 0 19926058 5787648 844 4294967295 134512640 134702520 3221223952 3221223232 134552270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1413 844 413 48 0 1365 0
[pid=6177] vsize: 5652
Current children cumulated CPU time (s) 252.3
Current children cumulated vsize (Kb) 7780

[startup+290.024 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 903 0 0 0 24714 1461 0 0 25 0 1 0 19926058 5984256 873 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1461 873 413 48 0 1413 0
[pid=6177] vsize: 5844
Current children cumulated CPU time (s) 261.76
Current children cumulated vsize (Kb) 7972

[startup+300.024 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 921 0 0 0 25595 1503 0 0 19 0 1 0 19926058 6123520 891 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1495 891 413 48 0 1447 0
[pid=6177] vsize: 5980
Current children cumulated CPU time (s) 270.99
Current children cumulated vsize (Kb) 8108

[startup+310.026 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 921 0 0 0 26398 1576 0 0 23 0 1 0 19926058 6123520 891 4294967295 134512640 134702520 3221223952 3221222848 134550389 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1495 891 413 48 0 1447 0
[pid=6177] vsize: 5980
Current children cumulated CPU time (s) 279.75
Current children cumulated vsize (Kb) 8108

[startup+320.027 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 922 0 0 0 27291 1612 0 0 25 0 1 0 19926058 6098944 892 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1489 892 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 289.04
Current children cumulated vsize (Kb) 8084

[startup+330.027 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 935 0 0 0 28202 1641 0 0 25 0 1 0 19926058 6098944 905 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1489 905 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 298.44
Current children cumulated vsize (Kb) 8084

[startup+340.028 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 935 0 0 0 29120 1667 0 0 25 0 1 0 19926058 6098944 905 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1489 905 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 307.88
Current children cumulated vsize (Kb) 8084

[startup+350.029 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 949 0 0 0 30037 1694 0 0 25 0 1 0 19926058 6098944 919 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1489 919 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 317.32
Current children cumulated vsize (Kb) 8084

[startup+360.029 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1093 0 0 0 30956 1724 0 0 25 0 1 0 19926058 6098944 1063 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1489 1063 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 326.81
Current children cumulated vsize (Kb) 8084

[startup+370.031 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1166 0 0 0 31881 1750 0 0 25 0 1 0 19926058 6098944 1136 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1489 1136 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 336.32
Current children cumulated vsize (Kb) 8084

[startup+380.032 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1180 0 0 0 32777 1785 0 0 24 0 1 0 19926058 6098944 1150 4294967295 134512640 134702520 3221223952 3221222848 134552541 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1489 1150 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 345.63
Current children cumulated vsize (Kb) 8084

[startup+390.032 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1180 0 0 0 33603 1844 0 0 23 0 1 0 19926058 6098944 1150 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1489 1150 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 354.48
Current children cumulated vsize (Kb) 8084

[startup+400.033 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1180 0 0 0 34502 1877 0 0 25 0 1 0 19926058 6098944 1150 4294967295 134512640 134702520 3221223952 3221223172 134550208 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1489 1150 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 363.8
Current children cumulated vsize (Kb) 8084

[startup+410.034 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1180 0 0 0 35422 1904 0 0 25 0 1 0 19926058 6098944 1150 4294967295 134512640 134702520 3221223952 3221223232 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1489 1150 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 373.27
Current children cumulated vsize (Kb) 8084

[startup+420.034 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1180 0 0 0 36344 1930 0 0 25 0 1 0 19926058 6098944 1150 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1489 1150 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 382.75
Current children cumulated vsize (Kb) 8084

[startup+430.035 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1184 0 0 0 37272 1958 0 0 25 0 1 0 19926058 6098944 1154 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1489 1154 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 392.31
Current children cumulated vsize (Kb) 8084

[startup+440.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1187 0 0 0 38197 1983 0 0 24 0 1 0 19926058 6098944 1157 4294967295 134512640 134702520 3221223952 3221222848 134553458 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1489 1157 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 401.81
Current children cumulated vsize (Kb) 8084

[startup+450.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1187 0 0 0 39143 2003 0 0 25 0 1 0 19926058 6098944 1157 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1489 1157 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 411.47
Current children cumulated vsize (Kb) 8084

[startup+460.039 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1188 0 0 0 40068 2029 0 0 25 0 1 0 19926058 6098944 1158 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1489 1158 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 420.98
Current children cumulated vsize (Kb) 8084

[startup+470.04 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1191 0 0 0 40946 2070 0 0 24 0 1 0 19926058 6098944 1161 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1489 1161 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 430.17
Current children cumulated vsize (Kb) 8084

[startup+480.039 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1191 0 0 0 41774 2128 0 0 24 0 1 0 19926058 6098944 1161 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1489 1161 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 439.03
Current children cumulated vsize (Kb) 8084

[startup+490.04 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1191 0 0 0 42693 2155 0 0 25 0 1 0 19926058 6098944 1161 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1489 1161 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 448.49
Current children cumulated vsize (Kb) 8084

[startup+500.041 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1194 0 0 0 43616 2182 0 0 25 0 1 0 19926058 6098944 1164 4294967295 134512640 134702520 3221223952 3221223232 134553100 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1489 1164 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 457.99
Current children cumulated vsize (Kb) 8084

[startup+510.041 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1196 0 0 0 44539 2211 0 0 25 0 1 0 19926058 6098944 1166 4294967295 134512640 134702520 3221223952 3221223232 134553489 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1489 1166 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 467.51
Current children cumulated vsize (Kb) 8084

[startup+520.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1198 0 0 0 45462 2238 0 0 25 0 1 0 19926058 6098944 1168 4294967295 134512640 134702520 3221223952 3221223232 134553162 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1489 1168 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 477.01
Current children cumulated vsize (Kb) 8084

[startup+530.043 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1201 0 0 0 46388 2264 0 0 25 0 1 0 19926058 6098944 1171 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1489 1171 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 486.53
Current children cumulated vsize (Kb) 8084

[startup+540.647 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1201 0 0 0 47333 2283 0 0 25 0 1 0 19926058 6098944 1171 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1489 1171 413 48 0 1441 0
[pid=6177] vsize: 5956
Current children cumulated CPU time (s) 496.17
Current children cumulated vsize (Kb) 8084

[startup+550.648 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1202 0 0 0 48261 2307 0 0 25 0 1 0 19926058 6193152 1172 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1172 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 505.69
Current children cumulated vsize (Kb) 8176

[startup+560.649 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1203 0 0 0 49170 2339 0 0 25 0 1 0 19926058 6193152 1173 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1512 1173 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 515.1
Current children cumulated vsize (Kb) 8176

[startup+570.65 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1203 0 0 0 50038 2387 0 0 25 0 1 0 19926058 6193152 1173 4294967295 134512640 134702520 3221223952 3221222848 134553287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1173 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 524.26
Current children cumulated vsize (Kb) 8176

[startup+580.651 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1203 0 0 0 50962 2413 0 0 25 0 1 0 19926058 6193152 1173 4294967295 134512640 134702520 3221223952 3221223232 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1173 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 533.76
Current children cumulated vsize (Kb) 8176

[startup+590.652 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1204 0 0 0 51892 2434 0 0 25 0 1 0 19926058 6193152 1174 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1174 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 543.27
Current children cumulated vsize (Kb) 8176

[startup+600.652 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1206 0 0 0 52818 2461 0 0 24 0 1 0 19926058 6193152 1176 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1176 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 552.8
Current children cumulated vsize (Kb) 8176

[startup+610.654 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1206 0 0 0 53767 2480 0 0 25 0 1 0 19926058 6193152 1176 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1512 1176 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 562.48
Current children cumulated vsize (Kb) 8176

[startup+620.655 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1207 0 0 0 54692 2505 0 0 25 0 1 0 19926058 6193152 1177 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1177 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 571.98
Current children cumulated vsize (Kb) 8176

[startup+630.654 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1208 0 0 0 55625 2525 0 0 25 0 1 0 19926058 6193152 1178 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1178 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 581.51
Current children cumulated vsize (Kb) 8176

[startup+640.655 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1208 0 0 0 56556 2549 0 0 25 0 1 0 19926058 6193152 1178 4294967295 134512640 134702520 3221223952 3221222976 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1512 1178 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 591.06
Current children cumulated vsize (Kb) 8176

[startup+650.656 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1209 0 0 0 57497 2570 0 0 25 0 1 0 19926058 6193152 1179 4294967295 134512640 134702520 3221223952 3221223232 134552347 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1179 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 600.68
Current children cumulated vsize (Kb) 8176

[startup+660.656 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1210 0 0 0 58385 2611 0 0 21 0 1 0 19926058 6193152 1180 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1512 1180 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 609.97
Current children cumulated vsize (Kb) 8176

[startup+670.658 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1210 0 0 0 59252 2655 0 0 25 0 1 0 19926058 6193152 1180 4294967295 134512640 134702520 3221223952 3221222848 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1512 1180 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 619.08
Current children cumulated vsize (Kb) 8176

[startup+680.658 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1210 0 0 0 60194 2673 0 0 25 0 1 0 19926058 6193152 1180 4294967295 134512640 134702520 3221223952 3221223232 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1180 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 628.68
Current children cumulated vsize (Kb) 8176

[startup+690.658 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1211 0 0 0 61120 2702 0 0 25 0 1 0 19926058 6193152 1181 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1181 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 638.23
Current children cumulated vsize (Kb) 8176

[startup+700.659 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1213 0 0 0 62055 2722 0 0 25 0 1 0 19926058 6193152 1183 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1512 1183 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 647.78
Current children cumulated vsize (Kb) 8176

[startup+710.66 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1213 0 0 0 63000 2739 0 0 25 0 1 0 19926058 6193152 1183 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1183 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 657.4
Current children cumulated vsize (Kb) 8176

[startup+720.66 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1214 0 0 0 63933 2762 0 0 25 0 1 0 19926058 6193152 1184 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1512 1184 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 666.96
Current children cumulated vsize (Kb) 8176

[startup+730.661 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1215 0 0 0 64859 2786 0 0 25 0 1 0 19926058 6193152 1185 4294967295 134512640 134702520 3221223952 3221223232 134554260 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1512 1185 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 676.46
Current children cumulated vsize (Kb) 8176

[startup+740.663 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1215 0 0 0 65805 2804 0 0 25 0 1 0 19926058 6193152 1185 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1512 1185 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 686.1
Current children cumulated vsize (Kb) 8176

[startup+750.663 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1216 0 0 0 66735 2830 0 0 25 0 1 0 19926058 6193152 1186 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1186 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 695.66
Current children cumulated vsize (Kb) 8176

[startup+760.665 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1217 0 0 0 67636 2862 0 0 25 0 1 0 19926058 6193152 1187 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1187 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 704.99
Current children cumulated vsize (Kb) 8176

[startup+770.666 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1217 0 0 0 68498 2909 0 0 25 0 1 0 19926058 6193152 1187 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1187 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 714.08
Current children cumulated vsize (Kb) 8176

[startup+780.665 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1217 0 0 0 69411 2941 0 0 25 0 1 0 19926058 6193152 1187 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1187 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 723.53
Current children cumulated vsize (Kb) 8176

[startup+790.666 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1218 0 0 0 70333 2969 0 0 25 0 1 0 19926058 6193152 1188 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1188 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 733.03
Current children cumulated vsize (Kb) 8176

[startup+800.667 s]
Raw data (loadavg): 1.08 1.02 1.01 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1220 0 0 0 71268 2990 0 0 24 0 1 0 19926058 6193152 1190 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1190 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 742.59
Current children cumulated vsize (Kb) 8176

[startup+810.668 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1221 0 0 0 72198 3015 0 0 25 0 1 0 19926058 6193152 1191 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1512 1191 413 48 0 1464 0
[pid=6177] vsize: 6048
Current children cumulated CPU time (s) 752.14
Current children cumulated vsize (Kb) 8176

[startup+820.669 s]
Raw data (loadavg): 1.06 1.01 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1222 0 0 0 73120 3042 0 0 25 0 1 0 19926058 6283264 1192 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1534 1192 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 761.63
Current children cumulated vsize (Kb) 8264

[startup+830.669 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1222 0 0 0 74072 3060 0 0 25 0 1 0 19926058 6283264 1192 4294967295 134512640 134702520 3221223952 3221223232 134553340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1534 1192 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 771.33
Current children cumulated vsize (Kb) 8264

[startup+840.67 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1223 0 0 0 74992 3089 0 0 25 0 1 0 19926058 6283264 1193 4294967295 134512640 134702520 3221223952 3221223232 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1534 1193 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 780.82
Current children cumulated vsize (Kb) 8264

[startup+850.67 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1224 0 0 0 75922 3113 0 0 25 0 1 0 19926058 6283264 1194 4294967295 134512640 134702520 3221223952 3221222848 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1534 1194 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 790.36
Current children cumulated vsize (Kb) 8264

[startup+860.671 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1224 0 0 0 76871 3130 0 0 25 0 1 0 19926058 6283264 1194 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1534 1194 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 800.02
Current children cumulated vsize (Kb) 8264

[startup+870.672 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1226 0 0 0 77782 3158 0 0 25 0 1 0 19926058 6283264 1196 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1534 1196 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 809.41
Current children cumulated vsize (Kb) 8264

[startup+880.672 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1226 0 0 0 78662 3197 0 0 25 0 1 0 19926058 6283264 1196 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1534 1196 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 818.6
Current children cumulated vsize (Kb) 8264

[startup+890.673 s]
Raw data (loadavg): 1.09 1.02 1.00 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1226 0 0 0 79588 3220 0 0 25 0 1 0 19926058 6283264 1196 4294967295 134512640 134702520 3221223952 3221223232 134552981 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1534 1196 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 828.09
Current children cumulated vsize (Kb) 8264

[startup+900.674 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1227 0 0 0 80509 3247 0 0 25 0 1 0 19926058 6283264 1197 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1534 1197 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 837.57
Current children cumulated vsize (Kb) 8264

[startup+910.675 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1228 0 0 0 81461 3263 0 0 25 0 1 0 19926058 6283264 1198 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1534 1198 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 847.25
Current children cumulated vsize (Kb) 8264

[startup+920.676 s]
Raw data (loadavg): 1.13 1.04 1.01 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1230 0 0 0 82389 3288 0 0 25 0 1 0 19926058 6283264 1200 4294967295 134512640 134702520 3221223952 3221223232 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1534 1200 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 856.78
Current children cumulated vsize (Kb) 8264

[startup+930.677 s]
Raw data (loadavg): 1.18 1.05 1.01 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1231 0 0 0 83332 3307 0 0 24 0 1 0 19926058 6283264 1201 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1534 1201 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 866.4
Current children cumulated vsize (Kb) 8264

[startup+940.677 s]
Raw data (loadavg): 1.15 1.05 1.01 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1232 0 0 0 84270 3326 0 0 25 0 1 0 19926058 6283264 1202 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1534 1202 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 875.97
Current children cumulated vsize (Kb) 8264

[startup+950.678 s]
Raw data (loadavg): 1.13 1.05 1.01 2/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1233 0 0 0 85201 3350 0 0 25 0 1 0 19926058 6283264 1203 4294967295 134512640 134702520 3221223952 3221223232 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1534 1203 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 885.52
Current children cumulated vsize (Kb) 8264

[startup+960.679 s]
Raw data (loadavg): 1.11 1.05 1.01 1/56 6177
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1233 0 0 0 86156 3365 0 0 25 0 1 0 19926058 6283264 1203 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1534 1203 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 895.22
Current children cumulated vsize (Kb) 8264

[startup+970.679 s]
Raw data (loadavg): 1.17 1.06 1.01 1/56 6179
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) T 6174 6174 4059 0 -1 0 1235 0 0 0 87085 3390 0 0 25 0 1 0 19926058 6283264 1205 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1534 1205 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 904.76
Current children cumulated vsize (Kb) 8264

[startup+980.68 s]
Raw data (loadavg): 1.14 1.06 1.01 2/56 6179
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1235 0 0 0 88039 3405 0 0 25 0 1 0 19926058 6283264 1205 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6177/statm): 1534 1205 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 914.45
Current children cumulated vsize (Kb) 8264

[startup+990.681 s]
Raw data (loadavg): 1.12 1.06 1.01 2/56 6179
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19926052 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 242 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6177/stat): 6177 (vallst) R 6174 6174 4059 0 -1 0 1236 0 0 0 88923 3445 0 0 25 0 1 0 19926058 6283264 1206 4294967295 134512640 134702520 3221223952 3221222848 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6177/statm): 1534 1206 413 48 0 1486 0
[pid=6177] vsize: 6136
Current children cumulated CPU time (s) 923.69
Current children cumulated vsize (Kb) 8264
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=6177) exited with status: 2
New process pid=6180
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=6180) exited with status: 0
New process pid=6181
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+1000.68 s]
Raw data (loadavg): 1.10 1.05 1.01 2/56 6181
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) T 6174 6174 4059 0 -1 0 494 0 0 0 157 9 0 0 25 0 1 0 20025953 3481600 465 4294967295 134512640 134702520 3221223712 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6181/statm): 850 465 413 48 0 802 0
[pid=6181] vsize: 3400
Current children cumulated CPU time (s) 932.95
Current children cumulated vsize (Kb) 5528

[startup+1010.68 s]
Raw data (loadavg): 1.09 1.05 1.01 2/56 6181
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) T 6174 6174 4059 0 -1 0 497 0 0 0 1071 40 0 0 25 0 1 0 20025953 3481600 468 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6181/statm): 850 468 413 48 0 802 0
[pid=6181] vsize: 3400
Current children cumulated CPU time (s) 942.4
Current children cumulated vsize (Kb) 5528

[startup+1020.68 s]
Raw data (loadavg): 1.07 1.05 1.01 1/56 6181
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) T 6174 6174 4059 0 -1 0 618 0 0 0 1993 70 0 0 25 0 1 0 20025953 5218304 589 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6181/statm): 1274 589 413 48 0 1226 0
[pid=6181] vsize: 5096
Current children cumulated CPU time (s) 951.92
Current children cumulated vsize (Kb) 7224

[startup+1030.68 s]
Raw data (loadavg): 1.06 1.05 1.01 2/56 6181
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) R 6174 6174 4059 0 -1 0 634 0 0 0 2900 101 0 0 25 0 1 0 20025953 5218304 605 4294967295 134512640 134702520 3221223712 3221222992 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6181/statm): 1274 605 413 48 0 1226 0
[pid=6181] vsize: 5096
Current children cumulated CPU time (s) 961.3
Current children cumulated vsize (Kb) 7224

[startup+1040.68 s]
Raw data (loadavg): 1.12 1.06 1.01 2/56 6181
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) R 6174 6174 4059 0 -1 0 664 0 0 0 3823 127 0 0 25 0 1 0 20025953 5218304 635 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6181/statm): 1274 635 413 48 0 1226 0
[pid=6181] vsize: 5096
Current children cumulated CPU time (s) 970.79
Current children cumulated vsize (Kb) 7224

[startup+1050.68 s]
Raw data (loadavg): 1.11 1.06 1.01 2/58 6217
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) T 6174 6174 4059 0 -1 0 696 0 0 0 4725 163 0 0 17 0 1 0 20025953 5316608 667 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6181/statm): 1298 667 413 48 0 1250 0
[pid=6181] vsize: 5192
Current children cumulated CPU time (s) 980.17
Current children cumulated vsize (Kb) 7320

[startup+1060.69 s]
Raw data (loadavg): 1.09 1.06 1.01 2/56 6236
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) R 6174 6174 4059 0 -1 0 700 0 0 0 5625 198 0 0 25 0 1 0 20025953 5316608 671 4294967295 134512640 134702520 3221223712 3221222608 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6181/statm): 1298 671 413 48 0 1250 0
[pid=6181] vsize: 5192
Current children cumulated CPU time (s) 989.52
Current children cumulated vsize (Kb) 7320

[startup+1070.69 s]
Raw data (loadavg): 1.07 1.06 1.01 1/56 6236
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) T 6174 6174 4059 0 -1 0 700 0 0 0 6521 234 0 0 25 0 1 0 20025953 5316608 671 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6181/statm): 1298 671 413 48 0 1250 0
[pid=6181] vsize: 5192
Current children cumulated CPU time (s) 998.84
Current children cumulated vsize (Kb) 7320

[startup+1080.69 s]
Raw data (loadavg): 1.06 1.05 1.01 1/56 6236
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) T 6174 6174 4059 0 -1 0 702 0 0 0 7415 270 0 0 19 0 1 0 20025953 5316608 673 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6181/statm): 1298 673 413 48 0 1250 0
[pid=6181] vsize: 5192
Current children cumulated CPU time (s) 1008.14
Current children cumulated vsize (Kb) 7320

[startup+1090.69 s]
Raw data (loadavg): 1.05 1.05 1.01 1/56 6236
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) T 6174 6174 4059 0 -1 0 704 0 0 0 8321 304 0 0 25 0 1 0 20025953 5316608 675 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6181/statm): 1298 675 413 48 0 1250 0
[pid=6181] vsize: 5192
Current children cumulated CPU time (s) 1017.54
Current children cumulated vsize (Kb) 7320

[startup+1100.69 s]
Raw data (loadavg): 1.04 1.05 1.01 2/56 6236
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) R 6174 6174 4059 0 -1 0 708 0 0 0 9238 332 0 0 25 0 1 0 20025953 5316608 679 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6181/statm): 1298 679 413 48 0 1250 0
[pid=6181] vsize: 5192
Current children cumulated CPU time (s) 1026.99
Current children cumulated vsize (Kb) 7320

[startup+1110.69 s]
Raw data (loadavg): 1.04 1.05 1.00 1/56 6236
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) T 6174 6174 4059 0 -1 0 712 0 0 0 10144 364 0 0 25 0 1 0 20025953 5316608 683 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6181/statm): 1298 683 413 48 0 1250 0
[pid=6181] vsize: 5192
Current children cumulated CPU time (s) 1036.37
Current children cumulated vsize (Kb) 7320

[startup+1120.69 s]
Raw data (loadavg): 1.03 1.05 1.00 2/56 6238
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) R 6174 6174 4059 0 -1 0 726 0 0 0 11044 398 0 0 25 0 1 0 20025953 5451776 697 4294967295 134512640 134702520 3221223712 3221222608 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6181/statm): 1331 697 413 48 0 1283 0
[pid=6181] vsize: 5324
Current children cumulated CPU time (s) 1045.71
Current children cumulated vsize (Kb) 7452

[startup+1130.69 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) T 6174 6174 4059 0 -1 0 726 0 0 0 11934 437 0 0 25 0 1 0 20025953 5451776 697 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6181/statm): 1331 697 413 48 0 1283 0
[pid=6181] vsize: 5324
Current children cumulated CPU time (s) 1055
Current children cumulated vsize (Kb) 7452

[startup+1140.69 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) T 6174 6174 4059 0 -1 0 727 0 0 0 12851 467 0 0 25 0 1 0 20025953 5406720 698 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6181/statm): 1320 698 413 48 0 1272 0
[pid=6181] vsize: 5280
Current children cumulated CPU time (s) 1064.47
Current children cumulated vsize (Kb) 7408

[startup+1150.69 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) R 6174 6174 4059 0 -1 0 730 0 0 0 13772 494 0 0 25 0 1 0 20025953 5406720 701 4294967295 134512640 134702520 3221223712 3221222736 134553460 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6181/statm): 1320 701 413 48 0 1272 0
[pid=6181] vsize: 5280
Current children cumulated CPU time (s) 1073.95
Current children cumulated vsize (Kb) 7408

[startup+1160.69 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) T 6174 6174 4059 0 -1 0 732 0 0 0 14684 522 0 0 24 0 1 0 20025953 5406720 703 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6181/statm): 1320 703 413 48 0 1272 0
[pid=6181] vsize: 5280
Current children cumulated CPU time (s) 1083.35
Current children cumulated vsize (Kb) 7408

[startup+1170.69 s]
Raw data (loadavg): 1.09 1.05 1.01 2/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) R 6174 6174 4059 0 -1 0 735 0 0 0 15584 557 0 0 25 0 1 0 20025953 5406720 706 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6181/statm): 1320 706 413 48 0 1272 0
[pid=6181] vsize: 5280
Current children cumulated CPU time (s) 1092.7
Current children cumulated vsize (Kb) 7408

[startup+1180.7 s]
Raw data (loadavg): 1.08 1.05 1.00 2/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) R 6174 6174 4059 0 -1 0 738 0 0 0 16499 586 0 0 25 0 1 0 20025953 5406720 709 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6181/statm): 1320 709 413 48 0 1272 0
[pid=6181] vsize: 5280
Current children cumulated CPU time (s) 1102.14
Current children cumulated vsize (Kb) 7408

[startup+1190.7 s]
Raw data (loadavg): 1.06 1.05 1.00 1/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) T 6174 6174 4059 0 -1 0 741 0 0 0 17404 619 0 0 25 0 1 0 20025953 5406720 712 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6181/statm): 1320 712 413 48 0 1272 0
[pid=6181] vsize: 5280
Current children cumulated CPU time (s) 1111.52
Current children cumulated vsize (Kb) 7408

[startup+1200.7 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) T 6174 6174 4059 0 -1 0 741 0 0 0 18296 656 0 0 25 0 1 0 20025953 5406720 712 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6181/statm): 1320 712 413 48 0 1272 0
[pid=6181] vsize: 5280
Current children cumulated CPU time (s) 1120.81
Current children cumulated vsize (Kb) 7408

[startup+1210.7 s]
Raw data (loadavg): 1.05 1.04 1.00 2/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) R 6174 6174 4059 0 -1 0 741 0 0 0 19216 681 0 0 25 0 1 0 20025953 5406720 712 4294967295 134512640 134702520 3221223712 3221222992 134552864 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6181/statm): 1320 712 413 48 0 1272 0
[pid=6181] vsize: 5280
Current children cumulated CPU time (s) 1130.26
Current children cumulated vsize (Kb) 7408

[startup+1220.7 s]
Raw data (loadavg): 1.04 1.04 1.00 1/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) T 6174 6174 4059 0 -1 0 751 0 0 0 20126 711 0 0 25 0 1 0 20025953 5406720 722 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6181/statm): 1320 722 413 48 0 1272 0
[pid=6181] vsize: 5280
Current children cumulated CPU time (s) 1139.66
Current children cumulated vsize (Kb) 7408

[startup+1230.7 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) R 6174 6174 4059 0 -1 0 778 0 0 0 21033 743 0 0 25 0 1 0 20025953 5406720 749 4294967295 134512640 134702520 3221223712 3221222608 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6181/statm): 1320 749 413 48 0 1272 0
[pid=6181] vsize: 5280
Current children cumulated CPU time (s) 1149.05
Current children cumulated vsize (Kb) 7408

[startup+1240.7 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) T 6174 6174 4059 0 -1 0 783 0 0 0 21942 775 0 0 25 0 1 0 20025953 5406720 754 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6181/statm): 1320 754 413 48 0 1272 0
[pid=6181] vsize: 5280
Current children cumulated CPU time (s) 1158.46
Current children cumulated vsize (Kb) 7408

[startup+1250.7 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) R 6174 6174 4059 0 -1 0 787 0 0 0 22864 802 0 0 25 0 1 0 20025953 5406720 758 4294967295 134512640 134702520 3221223712 3221222992 134552284 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6181/statm): 1320 758 413 48 0 1272 0
[pid=6181] vsize: 5280
Current children cumulated CPU time (s) 1167.95
Current children cumulated vsize (Kb) 7408

[startup+1260.7 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) T 6174 6174 4059 0 -1 0 789 0 0 0 23763 836 0 0 25 0 1 0 20025953 5545984 760 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6181/statm): 1354 760 413 48 0 1306 0
[pid=6181] vsize: 5416
Current children cumulated CPU time (s) 1177.28
Current children cumulated vsize (Kb) 7544

[startup+1270.7 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) T 6174 6174 4059 0 -1 0 790 0 0 0 24661 870 0 0 25 0 1 0 20025953 5545984 761 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6181/statm): 1354 761 413 48 0 1306 0
[pid=6181] vsize: 5416
Current children cumulated CPU time (s) 1186.6
Current children cumulated vsize (Kb) 7544

[startup+1280.7 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) R 6174 6174 4059 0 -1 0 790 0 0 0 25589 893 0 0 25 0 1 0 20025953 5496832 761 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6181/statm): 1342 761 413 48 0 1294 0
[pid=6181] vsize: 5368
Current children cumulated CPU time (s) 1196.11
Current children cumulated vsize (Kb) 7496

[startup+1290.7 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) R 6174 6174 4059 0 -1 0 1013 0 0 0 26517 922 0 0 25 0 1 0 20025953 5496832 984 4294967295 134512640 134702520 3221223712 3221222992 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6181/statm): 1342 984 413 48 0 1294 0
[pid=6181] vsize: 5368
Current children cumulated CPU time (s) 1205.68
Current children cumulated vsize (Kb) 7496



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1290.7 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6240
Raw data (/proc/6174/stat): 6174 (vallstSAT2005PB) S 6173 6174 4059 0 -1 0 378 1611 0 0 1 1 89649 3478 18 0 1 0 19926052 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6174/statm): 532 248 485 147 0 385 0
[pid=6174] vsize: 2128
Raw data (/proc/6181/stat): 6181 (vallst) R 6174 6174 4059 0 -1 0 1013 0 0 0 26517 922 0 0 25 0 1 0 20025953 5496832 984 4294967295 134512640 134702520 3221223712 3221222992 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6181/statm): 1342 984 413 48 0 1294 0
[pid=6181] vsize: 5368
Current children cumulated CPU time (s) 1205.68
Current children cumulated vsize (Kb) 7496

Sending SIGTERM to -6174
Sleeping 2 seconds
New process pid=6242
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=6243
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/4042/stat
open syscall for file /proc/4042/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/4042/cmdline
open syscall for file /proc/4042/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/6135/stat
open syscall for file /proc/6135/status
open syscall for file /proc/6135/cmdline
open syscall for file /proc/6135/environ
open syscall for file /proc/6173/stat
open syscall for file /proc/6173/status
open syscall for file /proc/6173/cmdline
open syscall for file /proc/6173/environ
open syscall for file /proc/6174/stat
open syscall for file /proc/6174/status
open syscall for file /proc/6174/cmdline
open syscall for file /proc/6174/environ
open syscall for file /proc/6181/stat
open syscall for file /proc/6181/status
open syscall for file /proc/6181/cmdline
open syscall for file /proc/6181/environ
open syscall for file /proc/6242/stat
open syscall for file /proc/6242/status
open syscall for file /proc/6242/cmdline
open syscall for file /proc/6242/environ
open syscall for file /proc/6243/stat
open syscall for file /proc/6243/status
open syscall for file /proc/6243/cmdline
open syscall for file /proc/6243/environ
One traced child (pid=6242) exited with status: 0
One traced child (pid=6243) exited with status: 0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
New process pid=6244
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
One traced child (pid=6181) exited with status: 3
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=6244) exited with status: 0
New process pid=6245
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=6245) exited with status: 0
One traced child (pid=6174) 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): 1291.18
CPU time (s): 1205.93
CPU user time (s): 1161.82
CPU system time (s): 44.1143
CPU usage (%): 93.3972
Max. virtual memory (cumulated for all children) (Kb): 8264

Verifier Data

ERROR: no interpretation found !