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

Nameweb/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb
MD5SUM89f41bbcf2b70665bd7071c5b58e0ec8
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 129
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 510
Number of bits of the biggest sum of numbers9
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark323.626
Number of variables49621
Total number of constraints138346
Number of constraints which are clauses127390
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10956
Minimum length of a constraint1
Maximum length of a constraint15

Trace number 3573

Launcher Data

LAUNCH ON wulflinc12 THE 2005-09-19 01:49:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7372 boxname=wulflinc12 idbench=340 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  89f41bbcf2b70665bd7071c5b58e0ec8  /oldhome/oroussel/tmp/wulflinc12/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc12/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb 0
IDLAUNCH: 7372
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        877328 kB
Buffers:         39264 kB
Cached:          77628 kB
SwapCached:        544 kB
Active:          75136 kB
Inactive:        53964 kB
HighTotal:      131008 kB
HighFree:        53396 kB
LowTotal:       903652 kB
LowFree:        823932 kB
SwapTotal:     2097136 kB
SwapFree:      2096072 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5884 kB
Slab:            22684 kB
Committed_AS:    64164 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 02:09:46 (client local time) WITH STATUS 0 IN 207.81 SECONDS
stats: 7372 7 207.81 0

Solver Data

1:
seed: 0
Nr of vars set: 1  (#equs: 0)
Nr of vars set: 7952  (#equs: 910)
#decisions: 202338;  #end-nodes: 11612;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 141 (103)
#axs: 139255, #non-axs: 4827
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 7965  (#equs: 910)
Time taken: 5 min, 30 sec

2:
seed: 0
Nr of vars set: 7965  (#equs: 0)
Nr of vars set: 7979  (#equs: 1)
#decisions: 599109;  #end-nodes: 35651;
#proof improvement attempts: 0;  #restarts: 192
Current batch, end-nodes: 0 / 206 (167)
#axs: 112521, #non-axs: 17851
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 8044  (#equs: 1)
Time taken: 11 min, 9 sec

3:

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/28668/stat): 28668 (vallstSAT2005PB) R 28667 28668 8263 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1787821030 712704 3 4294967295 134512640 135087896 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28668/statm): 174 3 169 147 0 27 0
[pid=28668] 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=28669
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=28669) exited with status: 0
New process pid=28670
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=28670) exited with status: 0
New process pid=28671
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/wulflinc12/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0035 s]
Raw data (loadavg): 1.01 1.14 1.12 2/57 28671
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787821030 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 242 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28671/stat): 28671 (vallst) R 28668 28668 8263 0 -1 0 4537 0 0 0 961 22 0 0 25 0 1 0 1787821037 22261760 4262 4294967295 134512640 134702520 3221223936 3220667612 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28671/statm): 5435 4262 413 48 0 5387 0
[pid=28671] vsize: 21740
Current children cumulated CPU time (s) 9.85
Current children cumulated vsize (Kb) 23868

[startup+20.0043 s]
Raw data (loadavg): 1.01 1.14 1.12 2/57 28671
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787821030 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 242 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28671/stat): 28671 (vallst) R 28668 28668 8263 0 -1 0 4785 0 0 0 1945 30 0 0 25 0 1 0 1787821037 24166400 4510 4294967295 134512640 134702520 3221223936 3221223200 134550624 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28671/statm): 5900 4510 413 48 0 5852 0
[pid=28671] vsize: 23600
Current children cumulated CPU time (s) 19.77
Current children cumulated vsize (Kb) 25728

[startup+30.0051 s]
Raw data (loadavg): 1.01 1.13 1.12 1/57 28671
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787821030 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 242 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28671/stat): 28671 (vallst) T 28668 28668 8263 0 -1 0 4954 0 0 0 2787 85 0 0 19 0 1 0 1787821037 49680384 4666 4294967295 134512640 134702520 3221223936 3221223448 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/28671/statm): 12129 4666 413 48 0 12081 0
[pid=28671] vsize: 48516
Current children cumulated CPU time (s) 28.74
Current children cumulated vsize (Kb) 50644

[startup+40.006 s]
Raw data (loadavg): 1.00 1.13 1.12 2/57 28671
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787821030 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 242 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28671/stat): 28671 (vallst) R 28668 28668 8263 0 -1 0 4964 0 0 0 3724 106 0 0 25 0 1 0 1787821037 49680384 4676 4294967295 134512640 134702520 3221223936 3220621452 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28671/statm): 12129 4676 413 48 0 12081 0
[pid=28671] vsize: 48516
Current children cumulated CPU time (s) 38.32
Current children cumulated vsize (Kb) 50644

[startup+50.0078 s]
Raw data (loadavg): 1.00 1.12 1.11 2/57 28671
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787821030 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 242 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28671/stat): 28671 (vallst) R 28668 28668 8263 0 -1 0 5102 0 0 0 4724 106 0 0 25 0 1 0 1787821037 50245632 4814 4294967295 134512640 134702520 3221223936 3220054092 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28671/statm): 12267 4814 413 48 0 12219 0
[pid=28671] vsize: 49068
Current children cumulated CPU time (s) 48.32
Current children cumulated vsize (Kb) 51196

[startup+60.0086 s]
Raw data (loadavg): 1.00 1.12 1.11 2/57 28671
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787821030 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 242 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28671/stat): 28671 (vallst) R 28668 28668 8263 0 -1 0 5102 0 0 0 5723 107 0 0 25 0 1 0 1787821037 50245632 4814 4294967295 134512640 134702520 3221223936 3220732832 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28671/statm): 12267 4814 413 48 0 12219 0
[pid=28671] vsize: 49068
Current children cumulated CPU time (s) 58.32
Current children cumulated vsize (Kb) 51196

[startup+70.0095 s]
Raw data (loadavg): 1.00 1.11 1.11 2/57 28671
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787821030 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 242 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28671/stat): 28671 (vallst) R 28668 28668 8263 0 -1 0 5117 0 0 0 6651 131 0 0 25 0 1 0 1787821037 50245632 4823 4294967295 134512640 134702520 3221223936 3221223216 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28671/statm): 12267 4823 413 48 0 12219 0
[pid=28671] vsize: 49068
Current children cumulated CPU time (s) 67.84
Current children cumulated vsize (Kb) 51196

[startup+80.0113 s]
Raw data (loadavg): 1.00 1.11 1.11 2/57 28671
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787821030 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 242 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28671/stat): 28671 (vallst) R 28668 28668 8263 0 -1 0 5130 0 0 0 7587 154 0 0 25 0 1 0 1787821037 50245632 4836 4294967295 134512640 134702520 3221223936 3220775052 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28671/statm): 12267 4836 413 48 0 12219 0
[pid=28671] vsize: 49068
Current children cumulated CPU time (s) 77.43
Current children cumulated vsize (Kb) 51196

[startup+90.0122 s]
Raw data (loadavg): 1.00 1.11 1.11 2/57 28671
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787821030 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 242 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28671/stat): 28671 (vallst) R 28668 28668 8263 0 -1 0 5130 0 0 0 8587 154 0 0 25 0 1 0 1787821037 50245632 4836 4294967295 134512640 134702520 3221223936 3220539372 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28671/statm): 12267 4836 413 48 0 12219 0
[pid=28671] vsize: 49068
Current children cumulated CPU time (s) 87.43
Current children cumulated vsize (Kb) 51196

[startup+100.014 s]
Raw data (loadavg): 1.00 1.10 1.10 2/57 28671
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787821030 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 242 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28671/stat): 28671 (vallst) R 28668 28668 8263 0 -1 0 5130 0 0 0 9587 154 0 0 25 0 1 0 1787821037 50245632 4836 4294967295 134512640 134702520 3221223936 3221011232 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28671/statm): 12267 4836 413 48 0 12219 0
[pid=28671] vsize: 49068
Current children cumulated CPU time (s) 97.43
Current children cumulated vsize (Kb) 51196

[startup+110.015 s]
Raw data (loadavg): 1.00 1.10 1.10 2/57 28671
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787821030 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 242 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28671/stat): 28671 (vallst) R 28668 28668 8263 0 -1 0 5130 0 0 0 10587 154 0 0 25 0 1 0 1787821037 50245632 4836 4294967295 134512640 134702520 3221223936 3220543212 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28671/statm): 12267 4836 413 48 0 12219 0
[pid=28671] vsize: 49068
Current children cumulated CPU time (s) 107.43
Current children cumulated vsize (Kb) 51196

[startup+120.016 s]
Raw data (loadavg): 1.00 1.09 1.10 2/57 28671
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787821030 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 242 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28671/stat): 28671 (vallst) R 28668 28668 8263 0 -1 0 5142 0 0 0 11526 175 0 0 25 0 1 0 1787821037 50245632 4842 4294967295 134512640 134702520 3221223936 3221223216 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28671/statm): 12267 4842 413 48 0 12219 0
[pid=28671] vsize: 49068
Current children cumulated CPU time (s) 117.03
Current children cumulated vsize (Kb) 51196

[startup+130.018 s]
Raw data (loadavg): 1.00 1.09 1.10 2/57 28671
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787821030 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 242 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28671/stat): 28671 (vallst) R 28668 28668 8263 0 -1 0 5157 0 0 0 12446 202 0 0 25 0 1 0 1787821037 50245632 4857 4294967295 134512640 134702520 3221223936 3221088012 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28671/statm): 12267 4857 413 48 0 12219 0
[pid=28671] vsize: 49068
Current children cumulated CPU time (s) 126.5
Current children cumulated vsize (Kb) 51196

[startup+140.018 s]
Raw data (loadavg): 1.00 1.09 1.10 2/57 28671
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787821030 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 242 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28671/stat): 28671 (vallst) R 28668 28668 8263 0 -1 0 5157 0 0 0 13446 202 0 0 25 0 1 0 1787821037 50245632 4857 4294967295 134512640 134702520 3221223936 3221155712 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28671/statm): 12267 4857 413 48 0 12219 0
[pid=28671] vsize: 49068
Current children cumulated CPU time (s) 136.5
Current children cumulated vsize (Kb) 51196

[startup+150.02 s]
Raw data (loadavg): 1.00 1.08 1.09 2/57 28671
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787821030 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 242 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28671/stat): 28671 (vallst) R 28668 28668 8263 0 -1 0 5157 0 0 0 14446 202 0 0 25 0 1 0 1787821037 50245632 4857 4294967295 134512640 134702520 3221223936 3221126912 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28671/statm): 12267 4857 413 48 0 12219 0
[pid=28671] vsize: 49068
Current children cumulated CPU time (s) 146.5
Current children cumulated vsize (Kb) 51196

[startup+160.021 s]
Raw data (loadavg): 1.00 1.08 1.09 2/57 28671
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787821030 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 242 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28671/stat): 28671 (vallst) R 28668 28668 8263 0 -1 0 5157 0 0 0 15447 202 0 0 25 0 1 0 1787821037 50245632 4857 4294967295 134512640 134702520 3221223936 3220803552 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28671/statm): 12267 4857 413 48 0 12219 0
[pid=28671] vsize: 49068
Current children cumulated CPU time (s) 156.51
Current children cumulated vsize (Kb) 51196

[startup+170.022 s]
Raw data (loadavg): 1.00 1.08 1.09 1/57 28671
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787821030 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 242 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28671/stat): 28671 (vallst) T 28668 28668 8263 0 -1 0 5163 0 0 0 16444 203 0 0 25 0 1 0 1787821037 50245632 4857 4294967295 134512640 134702520 3221223936 3221223448 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/28671/statm): 12267 4857 413 48 0 12219 0
[pid=28671] vsize: 49068
Current children cumulated CPU time (s) 166.49
Current children cumulated vsize (Kb) 51196

[startup+180.023 s]
Raw data (loadavg): 1.00 1.08 1.09 1/57 28671
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787821030 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 242 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28671/stat): 28671 (vallst) T 28668 28668 8263 0 -1 0 5176 0 0 0 17348 234 0 0 25 0 1 0 1787821037 50245632 4870 4294967295 134512640 134702520 3221223936 3221223448 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/28671/statm): 12267 4870 413 48 0 12219 0
[pid=28671] vsize: 49068
Current children cumulated CPU time (s) 175.84
Current children cumulated vsize (Kb) 51196

[startup+190.025 s]
Raw data (loadavg): 1.00 1.07 1.09 2/57 28671
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787821030 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 242 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28671/stat): 28671 (vallst) R 28668 28668 8263 0 -1 0 5182 0 0 0 18335 239 0 0 25 0 1 0 1787821037 50245632 4876 4294967295 134512640 134702520 3221223936 3220198252 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28671/statm): 12267 4876 413 48 0 12219 0
[pid=28671] vsize: 49068
Current children cumulated CPU time (s) 185.76
Current children cumulated vsize (Kb) 51196

[startup+200.025 s]
Raw data (loadavg): 1.00 1.07 1.09 2/57 28671
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787821030 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 242 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28671/stat): 28671 (vallst) R 28668 28668 8263 0 -1 0 5182 0 0 0 19335 239 0 0 25 0 1 0 1787821037 50245632 4876 4294967295 134512640 134702520 3221223936 3221096652 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28671/statm): 12267 4876 413 48 0 12219 0
[pid=28671] vsize: 49068
Current children cumulated CPU time (s) 195.76
Current children cumulated vsize (Kb) 51196

[startup+210.026 s]
Raw data (loadavg): 1.00 1.07 1.09 2/57 28671
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787821030 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 242 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28671/stat): 28671 (vallst) R 28668 28668 8263 0 -1 0 5182 0 0 0 20336 239 0 0 25 0 1 0 1787821037 50245632 4876 4294967295 134512640 134702520 3221223936 3220811072 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28671/statm): 12267 4876 413 48 0 12219 0
[pid=28671] vsize: 49068
Current children cumulated CPU time (s) 205.77
Current children cumulated vsize (Kb) 51196

[startup+220.027 s]
Raw data (loadavg): 1.00 1.06 1.09 2/57 28671
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787821030 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 242 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28671/stat): 28671 (vallst) R 28668 28668 8263 0 -1 0 5182 0 0 0 21336 239 0 0 25 0 1 0 1787821037 50245632 4876 4294967295 134512640 134702520 3221223936 3220415072 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28671/statm): 12267 4876 413 48 0 12219 0
[pid=28671] vsize: 49068
Current children cumulated CPU time (s) 215.77
Current children cumulated vsize (Kb) 51196

[startup+230.028 s]
Raw data (loadavg): 1.00 1.06 1.08 2/57 28671
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787821030 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 242 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28671/stat): 28671 (vallst) R 28668 28668 8263 0 -1 0 5198 0 0 0 22272 261 0 0 25 0 1 0 1787821037 50245632 4886 4294967295 134512640 134702520 3221223936 3221223216 134553154 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28671/statm): 12267 4886 413 48 0 12219 0
[pid=28671] vsize: 49068
Current children cumulated CPU time (s) 225.35
Current children cumulated vsize (Kb) 51196

[startup+240.029 s]
Raw data (loadavg): 1.00 1.06 1.08 2/57 28671
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787821030 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 242 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28671/stat): 28671 (vallst) R 28668 28668 8263 0 -1 0 5213 0 0 0 23214 282 0 0 25 0 1 0 1787821037 50245632 4901 4294967295 134512640 134702520 3221223936 3220835552 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28671/statm): 12267 4901 413 48 0 12219 0
[pid=28671] vsize: 49068
Current children cumulated CPU time (s) 234.98
Current children cumulated vsize (Kb) 51196

[startup+250.031 s]
Raw data (loadavg): 1.00 1.06 1.08 2/57 28671
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787821030 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 242 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28671/stat): 28671 (vallst) R 28668 28668 8263 0 -1 0 5213 0 0 0 24215 282 0 0 25 0 1 0 1787821037 50245632 4901 4294967295 134512640 134702520 3221223936 3220789932 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28671/statm): 12267 4901 413 48 0 12219 0
[pid=28671] vsize: 49068
Current children cumulated CPU time (s) 244.99
Current children cumulated vsize (Kb) 51196

[startup+260.031 s]
Raw data (loadavg): 1.00 1.05 1.08 2/57 28671
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787821030 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 242 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28671/stat): 28671 (vallst) R 28668 28668 8263 0 -1 0 5213 0 0 0 25215 282 0 0 25 0 1 0 1787821037 50245632 4901 4294967295 134512640 134702520 3221223936 3221090592 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28671/statm): 12267 4901 413 48 0 12219 0
[pid=28671] vsize: 49068
Current children cumulated CPU time (s) 254.99
Current children cumulated vsize (Kb) 51196

[startup+270.032 s]
Raw data (loadavg): 1.00 1.05 1.08 2/57 28671
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787821030 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 242 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28671/stat): 28671 (vallst) R 28668 28668 8263 0 -1 0 5213 0 0 0 26215 282 0 0 25 0 1 0 1787821037 50245632 4901 4294967295 134512640 134702520 3221223936 3220799552 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28671/statm): 12267 4901 413 48 0 12219 0
[pid=28671] vsize: 49068
Current children cumulated CPU time (s) 264.99
Current children cumulated vsize (Kb) 51196

[startup+280.033 s]
Raw data (loadavg): 1.00 1.05 1.08 2/57 28671
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787821030 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 242 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28671/stat): 28671 (vallst) R 28668 28668 8263 0 -1 0 5221 0 0 0 27206 285 0 0 25 0 1 0 1787821037 50245632 4903 4294967295 134512640 134702520 3221223936 3221223216 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28671/statm): 12267 4903 413 48 0 12219 0
[pid=28671] vsize: 49068
Current children cumulated CPU time (s) 274.93
Current children cumulated vsize (Kb) 51196

[startup+290.035 s]
Raw data (loadavg): 1.00 1.05 1.08 1/57 28671
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787821030 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 242 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28671/stat): 28671 (vallst) T 28668 28668 8263 0 -1 0 5248 0 0 0 28129 310 0 0 25 0 1 0 1787821037 50380800 4930 4294967295 134512640 134702520 3221223936 3221223448 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/28671/statm): 12300 4930 413 48 0 12252 0
[pid=28671] vsize: 49200
Current children cumulated CPU time (s) 284.41
Current children cumulated vsize (Kb) 51328

[startup+300.036 s]
Raw data (loadavg): 1.00 1.05 1.08 2/57 28671
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787821030 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 242 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28671/stat): 28671 (vallst) R 28668 28668 8263 0 -1 0 5260 0 0 0 29093 323 0 0 25 0 1 0 1787821037 50380800 4942 4294967295 134512640 134702520 3221223936 3220453132 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28671/statm): 12300 4942 413 48 0 12252 0
[pid=28671] vsize: 49200
Current children cumulated CPU time (s) 294.18
Current children cumulated vsize (Kb) 51328

[startup+310.037 s]
Raw data (loadavg): 1.00 1.04 1.08 2/57 28671
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787821030 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 242 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28671/stat): 28671 (vallst) R 28668 28668 8263 0 -1 0 5260 0 0 0 30093 323 0 0 25 0 1 0 1787821037 50380800 4942 4294967295 134512640 134702520 3221223936 3219890412 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28671/statm): 12300 4942 413 48 0 12252 0
[pid=28671] vsize: 49200
Current children cumulated CPU time (s) 304.18
Current children cumulated vsize (Kb) 51328

[startup+320.037 s]
Raw data (loadavg): 1.00 1.04 1.08 2/57 28671
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787821030 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 242 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28671/stat): 28671 (vallst) R 28668 28668 8263 0 -1 0 5260 0 0 0 31092 324 0 0 25 0 1 0 1787821037 50380800 4942 4294967295 134512640 134702520 3221223936 3221027232 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28671/statm): 12300 4942 413 48 0 12252 0
[pid=28671] vsize: 49200
Current children cumulated CPU time (s) 314.18
Current children cumulated vsize (Kb) 51328

[startup+330.038 s]
Raw data (loadavg): 1.00 1.04 1.07 2/57 28671
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787821030 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 242 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28671/stat): 28671 (vallst) R 28668 28668 8263 0 -1 0 5260 0 0 0 32092 324 0 0 25 0 1 0 1787821037 50380800 4942 4294967295 134512640 134702520 3221223936 3220649452 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28671/statm): 12300 4942 413 48 0 12252 0
[pid=28671] vsize: 49200
Current children cumulated CPU time (s) 324.18
Current children cumulated vsize (Kb) 51328
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=28671) exited with status: 2
New process pid=28672
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=28672) exited with status: 0
New process pid=28673
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+340.039 s]
Raw data (loadavg): 1.00 1.04 1.07 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 2606 0 0 0 181 12 0 0 25 0 1 0 1787854837 19107840 2578 4294967295 134512640 134702520 3221223712 3221223368 134637365 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28673/statm): 4665 2578 413 48 0 4617 0
[pid=28673] vsize: 18660
Current children cumulated CPU time (s) 334.04
Current children cumulated vsize (Kb) 20788

[startup+350.041 s]
Raw data (loadavg): 1.07 1.05 1.08 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 3711 0 0 0 1172 19 0 0 25 0 1 0 1787854837 20877312 3682 4294967295 134512640 134702520 3221223712 3221060188 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28673/statm): 5097 3682 413 48 0 5049 0
[pid=28673] vsize: 20388
Current children cumulated CPU time (s) 344.02
Current children cumulated vsize (Kb) 22516

[startup+360.043 s]
Raw data (loadavg): 1.06 1.05 1.08 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 3711 0 0 0 2172 19 0 0 25 0 1 0 1787854837 20877312 3682 4294967295 134512640 134702520 3221223712 3220655888 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28673/statm): 5097 3682 413 48 0 5049 0
[pid=28673] vsize: 20388
Current children cumulated CPU time (s) 354.02
Current children cumulated vsize (Kb) 22516

[startup+370.044 s]
Raw data (loadavg): 1.05 1.05 1.08 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 3942 0 0 0 3140 30 0 0 25 0 1 0 1787854837 46592000 3912 4294967295 134512640 134702520 3221223712 3221222992 134552924 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28673/statm): 11375 3912 413 48 0 11327 0
[pid=28673] vsize: 45500
Current children cumulated CPU time (s) 363.81
Current children cumulated vsize (Kb) 47628

[startup+380.045 s]
Raw data (loadavg): 1.04 1.05 1.08 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4019 0 0 0 4039 65 0 0 25 0 1 0 1787854837 46862336 3989 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28673/statm): 11441 3989 413 48 0 11393 0
[pid=28673] vsize: 45764
Current children cumulated CPU time (s) 373.15
Current children cumulated vsize (Kb) 47892

[startup+390.047 s]
Raw data (loadavg): 1.04 1.04 1.07 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4152 0 0 0 4976 89 0 0 25 0 1 0 1787854837 47325184 4122 4294967295 134512640 134702520 3221223712 3221222188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28673/statm): 11554 4122 413 48 0 11506 0
[pid=28673] vsize: 46216
Current children cumulated CPU time (s) 382.76
Current children cumulated vsize (Kb) 48344

[startup+400.049 s]
Raw data (loadavg): 1.03 1.04 1.07 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4152 0 0 0 5976 90 0 0 25 0 1 0 1787854837 47325184 4122 4294967295 134512640 134702520 3221223712 3220918208 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28673/statm): 11554 4122 413 48 0 11506 0
[pid=28673] vsize: 46216
Current children cumulated CPU time (s) 392.77
Current children cumulated vsize (Kb) 48344

[startup+410.05 s]
Raw data (loadavg): 1.02 1.04 1.07 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4152 0 0 0 6976 90 0 0 25 0 1 0 1787854837 47325184 4122 4294967295 134512640 134702520 3221223712 3220347808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28673/statm): 11554 4122 413 48 0 11506 0
[pid=28673] vsize: 46216
Current children cumulated CPU time (s) 402.77
Current children cumulated vsize (Kb) 48344

[startup+420.051 s]
Raw data (loadavg): 1.02 1.04 1.07 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4171 0 0 0 7896 117 0 0 25 0 1 0 1787854837 47325184 4140 4294967295 134512640 134702520 3221223712 3221222932 134549017 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28673/statm): 11554 4140 413 48 0 11506 0
[pid=28673] vsize: 46216
Current children cumulated CPU time (s) 412.24
Current children cumulated vsize (Kb) 48344

[startup+430.053 s]
Raw data (loadavg): 1.02 1.04 1.07 1/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) T 28668 28668 8263 0 -1 0 4197 0 0 0 8798 149 0 0 25 0 1 0 1787854837 47460352 4166 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/28673/statm): 11587 4166 413 48 0 11539 0
[pid=28673] vsize: 46348
Current children cumulated CPU time (s) 421.58
Current children cumulated vsize (Kb) 48476

[startup+440.053 s]
Raw data (loadavg): 1.01 1.04 1.07 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4305 0 0 0 9794 151 0 0 25 0 1 0 1787854837 47898624 4274 4294967295 134512640 134702520 3221223712 3220675168 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28673/statm): 11694 4274 413 48 0 11646 0
[pid=28673] vsize: 46776
Current children cumulated CPU time (s) 431.56
Current children cumulated vsize (Kb) 48904

[startup+450.055 s]
Raw data (loadavg): 1.01 1.03 1.07 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4305 0 0 0 10794 151 0 0 25 0 1 0 1787854837 47898624 4274 4294967295 134512640 134702520 3221223712 3220968108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28673/statm): 11694 4274 413 48 0 11646 0
[pid=28673] vsize: 46776
Current children cumulated CPU time (s) 441.56
Current children cumulated vsize (Kb) 48904

[startup+460.056 s]
Raw data (loadavg): 1.01 1.03 1.07 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4305 0 0 0 11794 151 0 0 25 0 1 0 1787854837 47898624 4274 4294967295 134512640 134702520 3221223712 3220462528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28673/statm): 11694 4274 413 48 0 11646 0
[pid=28673] vsize: 46776
Current children cumulated CPU time (s) 451.56
Current children cumulated vsize (Kb) 48904

[startup+470.057 s]
Raw data (loadavg): 1.01 1.03 1.07 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4317 0 0 0 12729 172 0 0 25 0 1 0 1787854837 47898624 4285 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28673/statm): 11694 4285 413 48 0 11646 0
[pid=28673] vsize: 46776
Current children cumulated CPU time (s) 461.12
Current children cumulated vsize (Kb) 48904

[startup+480.058 s]
Raw data (loadavg): 1.01 1.03 1.07 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4345 0 0 0 13624 209 0 0 25 0 1 0 1787854837 47898624 4313 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28673/statm): 11694 4313 413 48 0 11646 0
[pid=28673] vsize: 46776
Current children cumulated CPU time (s) 470.44
Current children cumulated vsize (Kb) 48904

[startup+490.06 s]
Raw data (loadavg): 1.00 1.03 1.06 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4354 0 0 0 14585 220 0 0 25 0 1 0 1787854837 47898624 4322 4294967295 134512640 134702520 3221223712 3221207148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28673/statm): 11694 4322 413 48 0 11646 0
[pid=28673] vsize: 46776
Current children cumulated CPU time (s) 480.16
Current children cumulated vsize (Kb) 48904

[startup+500.061 s]
Raw data (loadavg): 1.00 1.03 1.06 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4354 0 0 0 15586 221 0 0 25 0 1 0 1787854837 47898624 4322 4294967295 134512640 134702520 3221223712 3221046368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11694 4322 413 48 0 11646 0
[pid=28673] vsize: 46776
Current children cumulated CPU time (s) 490.18
Current children cumulated vsize (Kb) 48904

[startup+510.062 s]
Raw data (loadavg): 1.00 1.03 1.06 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4354 0 0 0 16586 221 0 0 25 0 1 0 1787854837 47898624 4322 4294967295 134512640 134702520 3221223712 3220766208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11694 4322 413 48 0 11646 0
[pid=28673] vsize: 46776
Current children cumulated CPU time (s) 500.18
Current children cumulated vsize (Kb) 48904

[startup+520.062 s]
Raw data (loadavg): 1.00 1.02 1.06 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4354 0 0 0 17586 221 0 0 25 0 1 0 1787854837 47898624 4322 4294967295 134512640 134702520 3221223712 3220291148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11694 4322 413 48 0 11646 0
[pid=28673] vsize: 46776
Current children cumulated CPU time (s) 510.18
Current children cumulated vsize (Kb) 48904

[startup+530.063 s]
Raw data (loadavg): 1.00 1.02 1.06 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) T 28668 28668 8263 0 -1 0 4366 0 0 0 18489 252 0 0 25 0 1 0 1787854837 47898624 4333 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11694 4333 413 48 0 11646 0
[pid=28673] vsize: 46776
Current children cumulated CPU time (s) 519.52
Current children cumulated vsize (Kb) 48904

[startup+540.064 s]
Raw data (loadavg): 1.00 1.02 1.06 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4393 0 0 0 19387 282 0 0 25 0 1 0 1787854837 48033792 4360 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28673/statm): 11727 4360 413 48 0 11679 0
[pid=28673] vsize: 46908
Current children cumulated CPU time (s) 528.8
Current children cumulated vsize (Kb) 49036

[startup+550.066 s]
Raw data (loadavg): 1.00 1.02 1.06 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4403 0 0 0 20370 288 0 0 25 0 1 0 1787854837 48033792 4370 4294967295 134512640 134702520 3221223712 3221025568 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11727 4370 413 48 0 11679 0
[pid=28673] vsize: 46908
Current children cumulated CPU time (s) 538.69
Current children cumulated vsize (Kb) 49036

[startup+560.067 s]
Raw data (loadavg): 1.00 1.02 1.06 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4403 0 0 0 21370 288 0 0 25 0 1 0 1787854837 48033792 4370 4294967295 134512640 134702520 3221223712 3221030048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11727 4370 413 48 0 11679 0
[pid=28673] vsize: 46908
Current children cumulated CPU time (s) 548.69
Current children cumulated vsize (Kb) 49036

[startup+570.067 s]
Raw data (loadavg): 1.00 1.02 1.06 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4403 0 0 0 22370 288 0 0 25 0 1 0 1787854837 48033792 4370 4294967295 134512640 134702520 3221223712 3220693408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11727 4370 413 48 0 11679 0
[pid=28673] vsize: 46908
Current children cumulated CPU time (s) 558.69
Current children cumulated vsize (Kb) 49036

[startup+580.068 s]
Raw data (loadavg): 1.00 1.02 1.06 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4404 0 0 0 23350 296 0 0 25 0 1 0 1787854837 48033792 4370 4294967295 134512640 134702520 3221223712 3221222992 134553080 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28673/statm): 11727 4370 413 48 0 11679 0
[pid=28673] vsize: 46908
Current children cumulated CPU time (s) 568.57
Current children cumulated vsize (Kb) 49036

[startup+590.069 s]
Raw data (loadavg): 1.08 1.03 1.06 1/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) T 28668 28668 8263 0 -1 0 4417 0 0 0 24254 330 0 0 25 0 1 0 1787854837 48033792 4383 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/28673/statm): 11727 4383 413 48 0 11679 0
[pid=28673] vsize: 46908
Current children cumulated CPU time (s) 577.95
Current children cumulated vsize (Kb) 49036

[startup+600.071 s]
Raw data (loadavg): 1.14 1.05 1.06 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4435 0 0 0 25175 355 0 0 25 0 1 0 1787854837 48033792 4401 4294967295 134512640 134702520 3221223712 3220429548 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11727 4401 413 48 0 11679 0
[pid=28673] vsize: 46908
Current children cumulated CPU time (s) 587.41
Current children cumulated vsize (Kb) 49036

[startup+610.072 s]
Raw data (loadavg): 1.12 1.05 1.06 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4435 0 0 0 26175 355 0 0 25 0 1 0 1787854837 48033792 4401 4294967295 134512640 134702520 3221223712 3221074048 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11727 4401 413 48 0 11679 0
[pid=28673] vsize: 46908
Current children cumulated CPU time (s) 597.41
Current children cumulated vsize (Kb) 49036

[startup+620.072 s]
Raw data (loadavg): 1.10 1.04 1.06 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4435 0 0 0 27175 355 0 0 25 0 1 0 1787854837 48033792 4401 4294967295 134512640 134702520 3221223712 3220784428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11727 4401 413 48 0 11679 0
[pid=28673] vsize: 46908
Current children cumulated CPU time (s) 607.41
Current children cumulated vsize (Kb) 49036

[startup+630.074 s]
Raw data (loadavg): 1.08 1.04 1.06 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4435 0 0 0 28176 355 0 0 25 0 1 0 1787854837 48033792 4401 4294967295 134512640 134702520 3221223712 3220167168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11727 4401 413 48 0 11679 0
[pid=28673] vsize: 46908
Current children cumulated CPU time (s) 617.42
Current children cumulated vsize (Kb) 49036

[startup+640.075 s]
Raw data (loadavg): 1.07 1.04 1.06 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4466 0 0 0 29078 385 0 0 25 0 1 0 1787854837 48033792 4431 4294967295 134512640 134702520 3221223712 3221222992 134550688 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28673/statm): 11727 4431 413 48 0 11679 0
[pid=28673] vsize: 46908
Current children cumulated CPU time (s) 626.74
Current children cumulated vsize (Kb) 49036

[startup+650.077 s]
Raw data (loadavg): 1.06 1.04 1.06 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4501 0 0 0 29976 418 0 0 25 0 1 0 1787854837 48168960 4466 4294967295 134512640 134702520 3221223712 3221049708 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28673/statm): 11760 4466 413 48 0 11712 0
[pid=28673] vsize: 47040
Current children cumulated CPU time (s) 636.05
Current children cumulated vsize (Kb) 49168

[startup+660.078 s]
Raw data (loadavg): 1.05 1.04 1.06 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4501 0 0 0 30976 418 0 0 25 0 1 0 1787854837 48168960 4466 4294967295 134512640 134702520 3221223712 3220249408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11760 4466 413 48 0 11712 0
[pid=28673] vsize: 47040
Current children cumulated CPU time (s) 646.05
Current children cumulated vsize (Kb) 49168

[startup+670.079 s]
Raw data (loadavg): 1.04 1.04 1.06 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4501 0 0 0 31976 418 0 0 25 0 1 0 1787854837 48168960 4466 4294967295 134512640 134702520 3221223712 3220941568 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11760 4466 413 48 0 11712 0
[pid=28673] vsize: 47040
Current children cumulated CPU time (s) 656.05
Current children cumulated vsize (Kb) 49168

[startup+680.08 s]
Raw data (loadavg): 1.04 1.03 1.06 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4501 0 0 0 32976 418 0 0 25 0 1 0 1787854837 48168960 4466 4294967295 134512640 134702520 3221223712 3220417088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11760 4466 413 48 0 11712 0
[pid=28673] vsize: 47040
Current children cumulated CPU time (s) 666.05
Current children cumulated vsize (Kb) 49168

[startup+690.08 s]
Raw data (loadavg): 1.03 1.03 1.06 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4503 0 0 0 33887 448 0 0 25 0 1 0 1787854837 48168960 4467 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28673/statm): 11760 4467 413 48 0 11712 0
[pid=28673] vsize: 47040
Current children cumulated CPU time (s) 675.46
Current children cumulated vsize (Kb) 49168

[startup+700.082 s]
Raw data (loadavg): 1.02 1.03 1.05 1/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) T 28668 28668 8263 0 -1 0 4505 0 0 0 34786 482 0 0 25 0 1 0 1787854837 48168960 4469 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/28673/statm): 11760 4469 413 48 0 11712 0
[pid=28673] vsize: 47040
Current children cumulated CPU time (s) 684.79
Current children cumulated vsize (Kb) 49168

[startup+710.083 s]
Raw data (loadavg): 1.02 1.03 1.05 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4506 0 0 0 35770 486 0 0 25 0 1 0 1787854837 48168960 4470 4294967295 134512640 134702520 3221223712 3220630208 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11760 4470 413 48 0 11712 0
[pid=28673] vsize: 47040
Current children cumulated CPU time (s) 694.67
Current children cumulated vsize (Kb) 49168

[startup+720.084 s]
Raw data (loadavg): 1.02 1.03 1.05 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4506 0 0 0 36771 486 0 0 25 0 1 0 1787854837 48168960 4470 4294967295 134512640 134702520 3221223712 3220994028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11760 4470 413 48 0 11712 0
[pid=28673] vsize: 47040
Current children cumulated CPU time (s) 704.68
Current children cumulated vsize (Kb) 49168

[startup+730.085 s]
Raw data (loadavg): 1.01 1.03 1.05 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4506 0 0 0 37771 486 0 0 25 0 1 0 1787854837 48168960 4470 4294967295 134512640 134702520 3221223712 3220701888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11760 4470 413 48 0 11712 0
[pid=28673] vsize: 47040
Current children cumulated CPU time (s) 714.68
Current children cumulated vsize (Kb) 49168

[startup+740.086 s]
Raw data (loadavg): 1.01 1.03 1.05 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4506 0 0 0 38771 486 0 0 25 0 1 0 1787854837 48168960 4470 4294967295 134512640 134702520 3221223712 3220025388 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11760 4470 413 48 0 11712 0
[pid=28673] vsize: 47040
Current children cumulated CPU time (s) 724.68
Current children cumulated vsize (Kb) 49168

[startup+750.086 s]
Raw data (loadavg): 1.01 1.02 1.05 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4510 0 0 0 39673 517 0 0 25 0 1 0 1787854837 48168960 4473 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28673/statm): 11760 4473 413 48 0 11712 0
[pid=28673] vsize: 47040
Current children cumulated CPU time (s) 734.01
Current children cumulated vsize (Kb) 49168

[startup+760.087 s]
Raw data (loadavg): 1.01 1.02 1.05 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4515 0 0 0 40577 550 0 0 25 0 1 0 1787854837 48168960 4478 4294967295 134512640 134702520 3221223712 3221214348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28673/statm): 11760 4478 413 48 0 11712 0
[pid=28673] vsize: 47040
Current children cumulated CPU time (s) 743.38
Current children cumulated vsize (Kb) 49168

[startup+770.088 s]
Raw data (loadavg): 1.01 1.02 1.05 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4515 0 0 0 41577 550 0 0 25 0 1 0 1787854837 48168960 4478 4294967295 134512640 134702520 3221223712 3221173068 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11760 4478 413 48 0 11712 0
[pid=28673] vsize: 47040
Current children cumulated CPU time (s) 753.38
Current children cumulated vsize (Kb) 49168

[startup+780.089 s]
Raw data (loadavg): 1.00 1.02 1.05 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4515 0 0 0 42577 550 0 0 25 0 1 0 1787854837 48168960 4478 4294967295 134512640 134702520 3221223712 3220961868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11760 4478 413 48 0 11712 0
[pid=28673] vsize: 47040
Current children cumulated CPU time (s) 763.38
Current children cumulated vsize (Kb) 49168

[startup+790.09 s]
Raw data (loadavg): 1.00 1.02 1.05 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4515 0 0 0 43577 550 0 0 25 0 1 0 1787854837 48168960 4478 4294967295 134512640 134702520 3221223712 3220531648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11760 4478 413 48 0 11712 0
[pid=28673] vsize: 47040
Current children cumulated CPU time (s) 773.38
Current children cumulated vsize (Kb) 49168

[startup+800.091 s]
Raw data (loadavg): 1.00 1.02 1.04 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4518 0 0 0 44532 564 0 0 25 0 1 0 1787854837 48168960 4480 4294967295 134512640 134702520 3221223712 3221222992 134552128 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28673/statm): 11760 4480 413 48 0 11712 0
[pid=28673] vsize: 47040
Current children cumulated CPU time (s) 783.07
Current children cumulated vsize (Kb) 49168

[startup+810.092 s]
Raw data (loadavg): 1.00 1.02 1.04 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4543 0 0 0 45436 595 0 0 25 0 1 0 1787854837 48168960 4505 4294967295 134512640 134702520 3221223712 3221222972 134549068 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11760 4505 413 48 0 11712 0
[pid=28673] vsize: 47040
Current children cumulated CPU time (s) 792.42
Current children cumulated vsize (Kb) 49168

[startup+820.093 s]
Raw data (loadavg): 1.00 1.02 1.04 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4564 0 0 0 46379 616 0 0 25 0 1 0 1787854837 48168960 4526 4294967295 134512640 134702520 3221223712 3220648108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28673/statm): 11760 4526 413 48 0 11712 0
[pid=28673] vsize: 47040
Current children cumulated CPU time (s) 802.06
Current children cumulated vsize (Kb) 49168

[startup+830.094 s]
Raw data (loadavg): 1.00 1.02 1.04 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4564 0 0 0 47378 616 0 0 25 0 1 0 1787854837 48168960 4526 4294967295 134512640 134702520 3221223712 3221168928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11760 4526 413 48 0 11712 0
[pid=28673] vsize: 47040
Current children cumulated CPU time (s) 812.05
Current children cumulated vsize (Kb) 49168

[startup+840.095 s]
Raw data (loadavg): 1.00 1.02 1.04 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4564 0 0 0 48378 616 0 0 25 0 1 0 1787854837 48168960 4526 4294967295 134512640 134702520 3221223712 3220834208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11760 4526 413 48 0 11712 0
[pid=28673] vsize: 47040
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (Kb) 49168

[startup+850.097 s]
Raw data (loadavg): 1.00 1.01 1.04 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4564 0 0 0 49378 616 0 0 25 0 1 0 1787854837 48168960 4526 4294967295 134512640 134702520 3221223712 3220294668 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11760 4526 413 48 0 11712 0
[pid=28673] vsize: 47040
Current children cumulated CPU time (s) 832.05
Current children cumulated vsize (Kb) 49168

[startup+860.098 s]
Raw data (loadavg): 1.00 1.01 1.04 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4589 0 0 0 50277 650 0 0 25 0 1 0 1787854837 48304128 4550 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11793 4550 413 48 0 11745 0
[pid=28673] vsize: 47172
Current children cumulated CPU time (s) 841.38
Current children cumulated vsize (Kb) 49300

[startup+870.098 s]
Raw data (loadavg): 1.00 1.01 1.04 1/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) T 28668 28668 8263 0 -1 0 4627 0 0 0 51167 688 0 0 25 0 1 0 1787854837 48304128 4588 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11793 4588 413 48 0 11745 0
[pid=28673] vsize: 47172
Current children cumulated CPU time (s) 850.66
Current children cumulated vsize (Kb) 49300

[startup+880.1 s]
Raw data (loadavg): 1.00 1.01 1.04 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4642 0 0 0 52110 709 0 0 25 0 1 0 1787854837 48304128 4603 4294967295 134512640 134702520 3221223712 3221155788 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11793 4603 413 48 0 11745 0
[pid=28673] vsize: 47172
Current children cumulated CPU time (s) 860.3
Current children cumulated vsize (Kb) 49300

[startup+890.101 s]
Raw data (loadavg): 1.00 1.01 1.04 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4642 0 0 0 53110 709 0 0 25 0 1 0 1787854837 48304128 4603 4294967295 134512640 134702520 3221223712 3220931648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11793 4603 413 48 0 11745 0
[pid=28673] vsize: 47172
Current children cumulated CPU time (s) 870.3
Current children cumulated vsize (Kb) 49300

[startup+900.102 s]
Raw data (loadavg): 1.00 1.01 1.04 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4642 0 0 0 54111 709 0 0 25 0 1 0 1787854837 48304128 4603 4294967295 134512640 134702520 3221223712 3220483628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11793 4603 413 48 0 11745 0
[pid=28673] vsize: 47172
Current children cumulated CPU time (s) 880.31
Current children cumulated vsize (Kb) 49300

[startup+910.103 s]
Raw data (loadavg): 1.08 1.03 1.04 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4659 0 0 0 55058 727 0 0 25 0 1 0 1787854837 48304128 4619 4294967295 134512640 134702520 3221223712 3221222992 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28673/statm): 11793 4619 413 48 0 11745 0
[pid=28673] vsize: 47172
Current children cumulated CPU time (s) 889.96
Current children cumulated vsize (Kb) 49300

[startup+920.104 s]
Raw data (loadavg): 1.07 1.02 1.04 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4690 0 0 0 55943 764 0 0 25 0 1 0 1787854837 48304128 4650 4294967295 134512640 134702520 3221223712 3221222932 134549017 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28673/statm): 11793 4650 413 48 0 11745 0
[pid=28673] vsize: 47172
Current children cumulated CPU time (s) 899.18
Current children cumulated vsize (Kb) 49300

[startup+930.106 s]
Raw data (loadavg): 1.06 1.02 1.04 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4714 0 0 0 56878 784 0 0 25 0 1 0 1787854837 48304128 4674 4294967295 134512640 134702520 3221223712 3220890188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11793 4674 413 48 0 11745 0
[pid=28673] vsize: 47172
Current children cumulated CPU time (s) 908.73
Current children cumulated vsize (Kb) 49300

[startup+940.106 s]
Raw data (loadavg): 1.05 1.02 1.04 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4714 0 0 0 57878 784 0 0 25 0 1 0 1787854837 48304128 4674 4294967295 134512640 134702520 3221223712 3221140748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11793 4674 413 48 0 11745 0
[pid=28673] vsize: 47172
Current children cumulated CPU time (s) 918.73
Current children cumulated vsize (Kb) 49300

[startup+950.108 s]
Raw data (loadavg): 1.04 1.02 1.04 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4714 0 0 0 58879 784 0 0 25 0 1 0 1787854837 48304128 4674 4294967295 134512640 134702520 3221223712 3220909088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11793 4674 413 48 0 11745 0
[pid=28673] vsize: 47172
Current children cumulated CPU time (s) 928.74
Current children cumulated vsize (Kb) 49300

[startup+960.109 s]
Raw data (loadavg): 1.03 1.02 1.03 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4714 0 0 0 59879 784 0 0 25 0 1 0 1787854837 48304128 4674 4294967295 134512640 134702520 3221223712 3220445228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11793 4674 413 48 0 11745 0
[pid=28673] vsize: 47172
Current children cumulated CPU time (s) 938.74
Current children cumulated vsize (Kb) 49300

[startup+970.11 s]
Raw data (loadavg): 1.03 1.02 1.03 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4721 0 0 0 60817 805 0 0 25 0 1 0 1787854837 48304128 4680 4294967295 134512640 134702520 3221223712 3221222992 134552439 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28673/statm): 11793 4680 413 48 0 11745 0
[pid=28673] vsize: 47172
Current children cumulated CPU time (s) 948.33
Current children cumulated vsize (Kb) 49300

[startup+980.112 s]
Raw data (loadavg): 1.02 1.02 1.03 1/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) T 28668 28668 8263 0 -1 0 4760 0 0 0 61692 847 0 0 25 0 1 0 1787854837 48439296 4719 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11826 4719 413 48 0 11778 0
[pid=28673] vsize: 47304
Current children cumulated CPU time (s) 957.5
Current children cumulated vsize (Kb) 49432

[startup+990.112 s]
Raw data (loadavg): 1.02 1.02 1.03 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4792 0 0 0 62576 886 0 0 25 0 1 0 1787854837 48439296 4751 4294967295 134512640 134702520 3221223712 3221222960 134564360 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28673/statm): 11826 4751 413 48 0 11778 0
[pid=28673] vsize: 47304
Current children cumulated CPU time (s) 966.73
Current children cumulated vsize (Kb) 49432

[startup+1000.11 s]
Raw data (loadavg): 1.02 1.02 1.03 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4795 0 0 0 63571 888 0 0 25 0 1 0 1787854837 48439296 4754 4294967295 134512640 134702520 3221223712 3220739788 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11826 4754 413 48 0 11778 0
[pid=28673] vsize: 47304
Current children cumulated CPU time (s) 976.7
Current children cumulated vsize (Kb) 49432

[startup+1010.12 s]
Raw data (loadavg): 1.01 1.02 1.03 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4795 0 0 0 64571 888 0 0 25 0 1 0 1787854837 48439296 4754 4294967295 134512640 134702520 3221223712 3221008428 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11826 4754 413 48 0 11778 0
[pid=28673] vsize: 47304
Current children cumulated CPU time (s) 986.7
Current children cumulated vsize (Kb) 49432

[startup+1020.12 s]
Raw data (loadavg): 1.01 1.01 1.03 2/57 28673
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 378 5641 0 0 2 1 32869 339 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28673/stat): 28673 (vallst) R 28668 28668 8263 0 -1 0 4795 0 0 0 65571 888 0 0 25 0 1 0 1787854837 48439296 4754 4294967295 134512640 134702520 3221223712 3220549868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28673/statm): 11826 4754 413 48 0 11778 0
[pid=28673] vsize: 47304
Current children cumulated CPU time (s) 996.7
Current children cumulated vsize (Kb) 49432
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=28673) exited with status: 2
New process pid=28674
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=28674) exited with status: 0
New process pid=28675
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+1030.12 s]
Raw data (loadavg): 1.01 1.01 1.03 2/57 28675
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 416 10581 0 0 2 1 99073 1242 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28675/stat): 28675 (vallst) R 28668 28668 8263 0 -1 0 3609 0 0 0 320 18 0 0 25 0 1 0 1787923707 19369984 3580 4294967295 134512640 134702520 3221223712 3221141788 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28675/statm): 4729 3580 413 48 0 4681 0
[pid=28675] vsize: 18916
Current children cumulated CPU time (s) 1006.56
Current children cumulated vsize (Kb) 21044

[startup+1040.12 s]
Raw data (loadavg): 1.01 1.01 1.03 2/57 28675
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 416 10581 0 0 2 1 99073 1242 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28675/stat): 28675 (vallst) R 28668 28668 8263 0 -1 0 3935 0 0 0 1318 19 0 0 25 0 1 0 1787923707 20705280 3906 4294967295 134512640 134702520 3221223712 3221068528 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28675/statm): 5055 3906 413 48 0 5007 0
[pid=28675] vsize: 20220
Current children cumulated CPU time (s) 1016.55
Current children cumulated vsize (Kb) 22348

[startup+1050.12 s]
Raw data (loadavg): 1.00 1.01 1.03 2/57 28675
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 416 10581 0 0 2 1 99073 1242 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28675/stat): 28675 (vallst) R 28668 28668 8263 0 -1 0 3935 0 0 0 2319 19 0 0 25 0 1 0 1787923707 20705280 3906 4294967295 134512640 134702520 3221223712 3220702108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28675/statm): 5055 3906 413 48 0 5007 0
[pid=28675] vsize: 20220
Current children cumulated CPU time (s) 1026.56
Current children cumulated vsize (Kb) 22348

[startup+1060.12 s]
Raw data (loadavg): 1.00 1.01 1.02 1/57 28675
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 416 10581 0 0 2 1 99073 1242 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28675/stat): 28675 (vallst) T 28668 28668 8263 0 -1 0 4153 0 0 0 3299 25 0 0 25 0 1 0 1787923707 45285376 4119 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/28675/statm): 11056 4119 413 48 0 11008 0
[pid=28675] vsize: 44224
Current children cumulated CPU time (s) 1036.42
Current children cumulated vsize (Kb) 46352

[startup+1070.12 s]
Raw data (loadavg): 1.00 1.01 1.02 1/57 28675
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 416 10581 0 0 2 1 99073 1242 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28675/stat): 28675 (vallst) T 28668 28668 8263 0 -1 0 4264 0 0 0 4182 68 0 0 25 0 1 0 1787923707 45555712 4230 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/28675/statm): 11122 4230 413 48 0 11074 0
[pid=28675] vsize: 44488
Current children cumulated CPU time (s) 1045.68
Current children cumulated vsize (Kb) 46616

[startup+1080.12 s]
Raw data (loadavg): 1.00 1.01 1.02 1/57 28675
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 416 10581 0 0 2 1 99073 1242 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28675/stat): 28675 (vallst) T 28668 28668 8263 0 -1 0 4297 0 0 0 5069 104 0 0 20 0 1 0 1787923707 45555712 4263 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/28675/statm): 11122 4263 413 48 0 11074 0
[pid=28675] vsize: 44488
Current children cumulated CPU time (s) 1054.91
Current children cumulated vsize (Kb) 46616

[startup+1090.12 s]
Raw data (loadavg): 1.00 1.01 1.02 2/57 28675
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 416 10581 0 0 2 1 99073 1242 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28675/stat): 28675 (vallst) R 28668 28668 8263 0 -1 0 4309 0 0 0 6029 119 0 0 25 0 1 0 1787923707 45690880 4275 4294967295 134512640 134702520 3221223712 3220921888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28675/statm): 11155 4275 413 48 0 11107 0
[pid=28675] vsize: 44620
Current children cumulated CPU time (s) 1064.66
Current children cumulated vsize (Kb) 46748

[startup+1100.12 s]
Raw data (loadavg): 1.00 1.01 1.02 2/57 28675
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 416 10581 0 0 2 1 99073 1242 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28675/stat): 28675 (vallst) R 28668 28668 8263 0 -1 0 4319 0 0 0 6996 130 0 0 25 0 1 0 1787923707 45690880 4284 4294967295 134512640 134702520 3221223712 3221222992 134553045 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28675/statm): 11155 4284 413 48 0 11107 0
[pid=28675] vsize: 44620
Current children cumulated CPU time (s) 1074.44
Current children cumulated vsize (Kb) 46748

[startup+1110.13 s]
Raw data (loadavg): 1.00 1.01 1.02 1/57 28675
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 416 10581 0 0 2 1 99073 1242 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28675/stat): 28675 (vallst) T 28668 28668 8263 0 -1 0 4346 0 0 0 7874 171 0 0 25 0 1 0 1787923707 45690880 4311 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/28675/statm): 11155 4311 413 48 0 11107 0
[pid=28675] vsize: 44620
Current children cumulated CPU time (s) 1083.63
Current children cumulated vsize (Kb) 46748

[startup+1120.13 s]
Raw data (loadavg): 1.00 1.00 1.02 1/57 28675
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 416 10581 0 0 2 1 99073 1242 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28675/stat): 28675 (vallst) T 28668 28668 8263 0 -1 0 4371 0 0 0 8762 209 0 0 25 0 1 0 1787923707 45690880 4336 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/28675/statm): 11155 4336 413 48 0 11107 0
[pid=28675] vsize: 44620
Current children cumulated CPU time (s) 1092.89
Current children cumulated vsize (Kb) 46748

[startup+1130.13 s]
Raw data (loadavg): 1.00 1.00 1.02 2/57 28675
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 416 10581 0 0 2 1 99073 1242 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28675/stat): 28675 (vallst) R 28668 28668 8263 0 -1 0 4523 0 0 0 9752 213 0 0 25 0 1 0 1787923707 46301184 4488 4294967295 134512640 134702520 3221223712 3220737548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28675/statm): 11304 4488 413 48 0 11256 0
[pid=28675] vsize: 45216
Current children cumulated CPU time (s) 1102.83
Current children cumulated vsize (Kb) 47344

[startup+1140.13 s]
Raw data (loadavg): 1.00 1.00 1.02 2/57 28675
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 416 10581 0 0 2 1 99073 1242 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28675/stat): 28675 (vallst) R 28668 28668 8263 0 -1 0 4523 0 0 0 10752 213 0 0 25 0 1 0 1787923707 46301184 4488 4294967295 134512640 134702520 3221223712 3221004608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28675/statm): 11304 4488 413 48 0 11256 0
[pid=28675] vsize: 45216
Current children cumulated CPU time (s) 1112.83
Current children cumulated vsize (Kb) 47344

[startup+1150.13 s]
Raw data (loadavg): 1.00 1.00 1.02 2/57 28675
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 416 10581 0 0 2 1 99073 1242 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28675/stat): 28675 (vallst) R 28668 28668 8263 0 -1 0 4523 0 0 0 11752 213 0 0 25 0 1 0 1787923707 46301184 4488 4294967295 134512640 134702520 3221223712 3220548428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28675/statm): 11304 4488 413 48 0 11256 0
[pid=28675] vsize: 45216
Current children cumulated CPU time (s) 1122.83
Current children cumulated vsize (Kb) 47344

[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 1.02 2/57 28675
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 416 10581 0 0 2 1 99073 1242 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28675/stat): 28675 (vallst) R 28668 28668 8263 0 -1 0 4532 0 0 0 12689 235 0 0 25 0 1 0 1787923707 46436352 4496 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28675/statm): 11337 4496 413 48 0 11289 0
[pid=28675] vsize: 45348
Current children cumulated CPU time (s) 1132.42
Current children cumulated vsize (Kb) 47476

[startup+1170.13 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 28675
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 416 10581 0 0 2 1 99073 1242 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28675/stat): 28675 (vallst) R 28668 28668 8263 0 -1 0 4556 0 0 0 13585 269 0 0 25 0 1 0 1787923707 46436352 4520 4294967295 134512640 134702520 3221223712 3221222976 134553191 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28675/statm): 11337 4520 413 48 0 11289 0
[pid=28675] vsize: 45348
Current children cumulated CPU time (s) 1141.72
Current children cumulated vsize (Kb) 47476

[startup+1180.13 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 28675
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 416 10581 0 0 2 1 99073 1242 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28675/stat): 28675 (vallst) R 28668 28668 8263 0 -1 0 4578 0 0 0 14487 303 0 0 25 0 1 0 1787923707 46436352 4542 4294967295 134512640 134702520 3221223712 3220978828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28675/statm): 11337 4542 413 48 0 11289 0
[pid=28675] vsize: 45348
Current children cumulated CPU time (s) 1151.08
Current children cumulated vsize (Kb) 47476

[startup+1190.13 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 28675
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 416 10581 0 0 2 1 99073 1242 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28675/stat): 28675 (vallst) R 28668 28668 8263 0 -1 0 4578 0 0 0 15487 303 0 0 25 0 1 0 1787923707 46436352 4542 4294967295 134512640 134702520 3221223712 3221070028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28675/statm): 11337 4542 413 48 0 11289 0
[pid=28675] vsize: 45348
Current children cumulated CPU time (s) 1161.08
Current children cumulated vsize (Kb) 47476

[startup+1200.14 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 28675
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 416 10581 0 0 2 1 99073 1242 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28675/stat): 28675 (vallst) R 28668 28668 8263 0 -1 0 4578 0 0 0 16487 303 0 0 25 0 1 0 1787923707 46436352 4542 4294967295 134512640 134702520 3221223712 3220824608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28675/statm): 11337 4542 413 48 0 11289 0
[pid=28675] vsize: 45348
Current children cumulated CPU time (s) 1171.08
Current children cumulated vsize (Kb) 47476

[startup+1210.14 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 28675
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 416 10581 0 0 2 1 99073 1242 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28675/stat): 28675 (vallst) R 28668 28668 8263 0 -1 0 4578 0 0 0 17488 303 0 0 25 0 1 0 1787923707 46436352 4542 4294967295 134512640 134702520 3221223712 3220342688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/28675/statm): 11337 4542 413 48 0 11289 0
[pid=28675] vsize: 45348
Current children cumulated CPU time (s) 1181.09
Current children cumulated vsize (Kb) 47476

[startup+1220.14 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 28675
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 416 10581 0 0 2 1 99073 1242 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28675/stat): 28675 (vallst) R 28668 28668 8263 0 -1 0 4588 0 0 0 18411 331 0 0 19 0 1 0 1787923707 46436352 4551 4294967295 134512640 134702520 3221223712 3221222992 134553426 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28675/statm): 11337 4551 413 48 0 11289 0
[pid=28675] vsize: 45348
Current children cumulated CPU time (s) 1190.6
Current children cumulated vsize (Kb) 47476

[startup+1230.14 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 28675
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 416 10581 0 0 2 1 99073 1242 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28675/stat): 28675 (vallst) R 28668 28668 8263 0 -1 0 4612 0 0 0 19287 371 0 0 25 0 1 0 1787923707 46436352 4575 4294967295 134512640 134702520 3221223712 3221222960 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28675/statm): 11337 4575 413 48 0 11289 0
[pid=28675] vsize: 45348
Current children cumulated CPU time (s) 1199.76
Current children cumulated vsize (Kb) 47476

[startup+1240.14 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 28675
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 416 10581 0 0 2 1 99073 1242 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28675/stat): 28675 (vallst) R 28668 28668 8263 0 -1 0 4636 0 0 0 20168 412 0 0 25 0 1 0 1787923707 46571520 4599 4294967295 134512640 134702520 3221223712 3221200748 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28675/statm): 11370 4599 413 48 0 11322 0
[pid=28675] vsize: 45480
Current children cumulated CPU time (s) 1208.98
Current children cumulated vsize (Kb) 47608



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1240.14 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 28675
Raw data (/proc/28668/stat): 28668 (vallstSAT2005PB) S 28667 28668 8263 0 -1 0 416 10581 0 0 2 1 99073 1242 19 0 1 0 1787821030 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/28668/statm): 532 248 485 147 0 385 0
[pid=28668] vsize: 2128
Raw data (/proc/28675/stat): 28675 (vallst) R 28668 28668 8263 0 -1 0 4636 0 0 0 20168 412 0 0 25 0 1 0 1787923707 46571520 4599 4294967295 134512640 134702520 3221223712 3221200748 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/28675/statm): 11370 4599 413 48 0 11322 0
[pid=28675] vsize: 45480
Current children cumulated CPU time (s) 1208.98
Current children cumulated vsize (Kb) 47608

Sending SIGTERM to -28668
Sleeping 2 seconds
New process pid=28677
New process pid=28678
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1665/stat
open syscall for file /proc/1665/status
open syscall for file /proc/1665/cmdline
open syscall for file /proc/1665/environ
open syscall for file /proc/17755/stat
open syscall for file /proc/17755/status
open syscall for file /proc/17755/cmdline
open syscall for file /proc/17755/environ
open syscall for file /proc/25194/stat
open syscall for file /proc/25194/status
open syscall for file /proc/25194/cmdline
open syscall for file /proc/25194/environ
open syscall for file /proc/25221/stat
open syscall for file /proc/25221/status
open syscall for file /proc/25221/cmdline
open syscall for file /proc/25221/environ
open syscall for file /proc/25245/stat
open syscall for file /proc/25245/status
open syscall for file /proc/25245/cmdline
open syscall for file /proc/25245/environ
open syscall for file /proc/7115/stat
open syscall for file /proc/7115/status
open syscall for file /proc/7115/cmdline
open syscall for file /proc/7115/environ
open syscall for file /proc/7679/stat
open syscall for file /proc/7679/status
open syscall for file /proc/7679/cmdline
open syscall for file /proc/7679/environ
open syscall for file /proc/23170/stat
open syscall for file /proc/23170/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/23170/cmdline
open syscall for file /proc/23170/environ
open syscall for file /proc/23206/stat
open syscall for file /proc/23206/status
open syscall for file /proc/23206/cmdline
open syscall for file /proc/23206/environ
open syscall for file /proc/8263/stat
open syscall for file /proc/8263/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/8263/cmdline
open syscall for file /proc/8263/environ
open syscall for file /proc/8264/stat
open syscall for file /proc/8264/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/8264/cmdline
open syscall for file /proc/8264/environ
open syscall for file /proc/8273/stat
open syscall for file /proc/8273/status
open syscall for file /proc/8273/cmdline
open syscall for file /proc/8273/environ
open syscall for file /proc/28631/stat
open syscall for file /proc/28631/status
open syscall for file /proc/28631/cmdline
open syscall for file /proc/28631/environ
open syscall for file /proc/28667/stat
open syscall for file /proc/28667/status
open syscall for file /proc/28667/cmdline
open syscall for file /proc/28667/environ
open syscall for file /proc/28668/stat
open syscall for file /proc/28668/status
open syscall for file /proc/28668/cmdline
open syscall for file /proc/28668/environ
open syscall for file /proc/28675/stat
open syscall for file /proc/28675/status
open syscall for file /proc/28675/cmdline
open syscall for file /proc/28675/environ
open syscall for file /proc/28677/stat
open syscall for file /proc/28677/status
open syscall for file /proc/28677/cmdline
open syscall for file /proc/28677/environ
open syscall for file /proc/28678/stat
open syscall for file /proc/28678/status
open syscall for file /proc/28678/cmdline
open syscall for file /proc/28678/environ
One traced child (pid=28678) exited with status: 0
One traced child (pid=28677) exited with status: 0
New process pid=28679
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=28679) exited with status: 0
New process pid=28680
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=28680) exited with status: 0
One traced child (pid=28668) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -28668
One traced child (pid=28675) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1242.16
CPU time (s): 207.81
CPU user time (s): 203.679
CPU system time (s): 4.13137
CPU usage (%): 16.7298
Max. virtual memory (cumulated for all children) (Kb): 51328

Verifier Data

ERROR: no interpretation found !